Marc Weber 2d354aa6f1 added ngspice ...

svn path=/nixpkgs/trunk/; revision=12686

2008-08-21 20:43:53 +00:00

..

biology

Removing clustalw2 package - may come back later

2008-07-23 08:37:00 +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