1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 22:50:49 +00:00
nixpkgs/pkgs/applications/science
Marco Maggesi a9d2f34301 Update HOL Light to release 102
svn path=/nixpkgs/trunk/; revision=28718
2011-08-21 08:41:22 +00:00
..
astronomy stellarium: build this package on Linux only 2011-07-15 12:47:20 +00:00
biology * More cleanup. 2010-07-28 18:01:17 +00:00
chemistry/avogadro Fix typo in URL 2011-08-15 23:39:11 +00:00
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 release 102 2011-08-21 08:41:22 +00:00
math pari-gp-2.5.0 2011-08-09 20:20:58 +00:00
misc Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6 2011-07-01 09:53:11 +00:00