Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069		2009-11-02 11:44:27 +00:00
..
biology
electronics
geometry/drgeo
logic/coq	Updated Coq to version 8.2pl1	2009-11-02 11:44:27 +00:00
math	pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changes	2009-10-29 12:53:22 +00:00
xplanet	Added XPlanet support to kdeedu-4.3.1, not that is an essential feature but it looks cool :-)	2009-09-11 14:06:51 +00:00