nixpkgs/pkgs/applications/science
Yurii Rashkovskii cc8369c461 why3: 1.2.1 -> 1.3.1
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
2020-07-30 23:05:08 +02:00
..
astronomy stellarium: 0.20.1 -> 0.20.2 2020-06-22 20:30:42 +02:00
biology itsx: enable on darwin 2020-07-28 13:48:55 -05:00
chemistry Merge pull request #92796 from r-ryantm/auto-update/jmol 2020-07-09 18:43:50 +02:00
electronics maintainers: update name to anna 2020-07-28 19:48:16 -07:00
geometry gama: init at 2.09 2020-07-18 18:58:22 +01:00
logic why3: 1.2.1 -> 1.3.1 2020-07-30 23:05:08 +02:00
machine-learning finalfrontier: 0.9.3 -> 0.9.4 2020-07-27 11:02:09 +02:00
math geogebra: 5-0-574-0 -> 5-0-593-0 2020-07-24 15:11:42 +10:00
medicine treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
misc rink: 0.4.5 -> 0.5.0 2020-07-18 13:30:05 +03:00
molecular-dynamics gromacs: 2020.2 -> 2020.3 2020-07-13 07:11:49 +00:00
physics Merge pull request #70487 from esclear/xflr5 2020-05-27 00:00:05 +02:00
programming treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
robotics qgroundcontrol: 4.0.8 -> 4.0.9 2020-07-11 15:27:23 -04:00