Marco Maggesi c713b0ed67 Preliminary version of package ssreflect ... Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145		2009-11-05 15:08:12 +00:00
..
biology	Updated PAML package to 4.2a	2009-02-26 15:22:13 +00:00
electronics	Adding alliance 5.0	2009-02-08 16:28:31 +00:00
geometry/drgeo	big breaking change: renaming lib.getAttr to lib.attrByPath	2009-05-24 10:57:41 +00:00
logic	Preliminary version of package ssreflect	2009-11-05 15:08:12 +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