nixpkgs/pkgs/applications/science
Marco Maggesi a041cad70a Update HOL Light to r89
svn path=/nixpkgs/trunk/; revision=26916
2011-04-21 14:39:29 +00:00
..
biology
electronics Updating gtkwave 2011-03-22 11:36:58 +00:00
geometry Fix DrGeo build 2010-11-19 04:07:34 +00:00
logic Update HOL Light to r89 2011-04-21 14:39:29 +00:00
math Package for msieve. 2011-04-21 12:48:07 +00:00
misc SimGrid 3.5. 2010-12-17 17:48:12 +00:00
xplanet