3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science
Vincent Laporte 014a30da93 why3: 0.86.2 -> 0.86.3
And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).
2016-03-04 09:29:10 +01:00
..
astronomy refactor to use autoreconfHook where possible 2016-01-18 10:45:31 +01:00
biology minc-tools: init at 2.3.00 2016-02-23 14:03:56 -05:00
chemistry/avogadro avogadro: build documentation 2013-12-18 18:18:22 +02:00
electronics gtkwave: update to 3.3.70 2016-03-02 12:42:20 +01:00
geometry drgeo: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
logic why3: 0.86.2 -> 0.86.3 2016-03-04 09:29:10 +01:00
math Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
misc pkgs.motuclient: move application away from pythonPackages 2016-03-02 09:41:02 +01:00
molecular-dynamics/gromacs gromacs: 4.6.5 -> 4.6.7 + MPI support 2016-02-24 10:34:22 +01:00
programming/plm Revert "Added K Framework package." 2015-08-29 15:38:33 +02:00
spyder buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00