Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069		2009-11-02 11:44:27 +00:00
..
biology	Updated PAML package to 4.2a	2009-02-26 15:22:13 +00:00
electronics
geometry/drgeo	big breaking change: renaming lib.getAttr to lib.attrByPath	2009-05-24 10:57:41 +00:00
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