3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science
Damien Cassou 8f7d11e39c Merge pull request #14468 from vbgl/why3-0.87
why3: 0.86.3 -> 0.87.0
2016-04-05 19:15:52 +02:00
..
astronomy stellarium: update to 0.14.2 2016-03-04 23:05:48 +01:00
biology minc-tools: init at 2.3.00 2016-02-23 14:03:56 -05:00
chemistry/avogadro
electronics kicad: 2013 stable -> 4.0.2 2016-03-31 15:29:39 +02:00
geometry drgeo: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
logic Merge pull request #14468 from vbgl/why3-0.87 2016-04-05 19:15:52 +02:00
machine-learning/torch torch: add unsup package 2016-03-22 22:20:45 +03:00
math lp_solve: mark as broken 2016-03-19 12:46:22 +01:00
misc pkgs.motuclient: move application away from pythonPackages 2016-03-02 09:41:02 +01:00
molecular-dynamics lammps: init at 2016-02-16 2016-04-01 18:37:52 -04:00
programming/plm Revert "Added K Framework package." 2015-08-29 15:38:33 +02:00
robotics gazebo: init at 6.5.1 and 7.0.0 2016-03-28 11:44:37 -07:00
spyder buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00