Pjotr Prins 13463a6f01 MrBayes - a biology package for phylogeny ... svn path=/nixpkgs/trunk/; revision=11986		2008-06-05 13:35:45 +00:00
..
biology	MrBayes - a biology package for phylogeny	2008-06-05 13:35:45 +00:00
logic/coq	Added a preliminary expression for Coq (no IDE support yet).	2008-06-04 15:10:05 +00:00