Pjotr Prins 2a845ebb7a Removing clustalw2 package - may come back later ... svn path=/nixpkgs/trunk/; revision=12400		2008-07-23 08:37:00 +00:00
..
biology	Removing clustalw2 package - may come back later	2008-07-23 08:37:00 +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