Pjotr Prins 6d70506401 Small fixes to ARB ... Included older kernel headers svn path=/nixpkgs/trunk/; revision=12961		2008-10-05 10:56:47 +00:00
..
biology	Small fixes to ARB	2008-10-05 10:56:47 +00:00
electronics/ngspice	added ngspice	2008-08-21 20:43:53 +00:00
geometry/drgeo	Added DrGeo	2008-06-27 19:15:01 +00:00
logic/coq	Added a preliminary expression for Coq (no IDE support yet).	2008-06-04 15:10:05 +00:00
math	Move maxima close to scilab. (applications/science/math)	2008-09-05 17:21:45 +00:00