1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 14:11:36 +00:00
nixpkgs/pkgs/applications/science
Austin Seipp da6eec001a nixpkgs: z3 4.3.2 -> 4.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-11 22:10:56 -05:00
..
astronomy qt5: make qt-5.4.1 default 2015-03-24 17:14:56 -05:00
biology Remove arb and then-orphaned lesstif93 2015-05-26 11:46:41 +02:00
chemistry/avogadro
electronics nixpkgs: verilator 3.872 2015-05-31 17:37:56 -05:00
geometry tetgen 1.4.3 -> 1.5.0 2015-05-25 13:35:54 +02:00
logic nixpkgs: z3 4.3.2 -> 4.4.0 2015-06-11 22:10:56 -05:00
math Don't use "with licenses;" for single licences 2015-05-28 19:20:29 +02:00
misc unmaintain a bunch of packages 2015-01-13 22:33:49 +01:00
molecular-dynamics/gromacs Don't use "with licenses;" for single licences 2015-05-28 19:20:29 +02:00
programming Fixed some descriptions 2015-04-28 10:55:20 +02:00
spyder Fix many package descriptions 2014-08-24 22:31:37 +02:00