nixpkgs/pkgs/applications/science
Marco Maggesi bf394d80ec Update url for Isabelle2011
svn path=/nixpkgs/trunk/; revision=30574
2011-11-26 18:45:15 +00:00
..
astronomy gravit: cosmetic 2011-11-08 10:01:14 +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 Move qt3/qt4 choice to .nix expressions 2011-09-20 22:49:13 +00:00
geometry Fix DrGeo build 2010-11-19 04:07:34 +00:00
logic Update url for Isabelle2011 2011-11-26 18:45:15 +00:00
math pari-gp-2.5.0 2011-08-09 20:20:58 +00:00
misc Downgrading boinc to the last stable version. 2011-10-13 08:58:45 +00:00