nixpkgs/pkgs/applications/science
R. RyanTM 40e648b7ab yices: 2.5.4 -> 2.6.0
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.
2018-07-11 08:45:45 -05:00
..
astronomy stellarium: 0.18.0 -> 0.18.1 (#42949) 2018-07-05 00:24:22 +02:00
biology igv: 2.4.10 -> 2.4.11 (#43003) 2018-07-09 16:02:34 +02:00
chemistry treewide: fix derivation names 2018-05-28 05:59:57 -07:00
electronics verilator: Allow building on Darwin as well as Linux 2018-07-05 15:17:17 -07:00
geometry pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
logic yices: 2.5.4 -> 2.6.0 2018-07-11 08:45:45 -05:00
machine-learning treewide: add version to packages 2018-05-25 15:48:05 -05:00
math qalculate-gtk: 2.6.0 -> 2.6.1 2018-07-11 00:45:08 -07:00
medicine/aliza treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
misc Merge pull request #42590 from TimPut/openmvsbuildfix 2018-06-28 22:33:40 -04:00
molecular-dynamics gromacs: 2018.1 -> 2018.2 (#42504) 2018-06-27 19:02:19 +02:00
physics treewide: http -> https sources (#42676) 2018-06-28 20:43:35 +02:00
programming treewide: remove callPackage_i686 2018-07-05 14:04:52 -04:00
robotics treewide: http -> https sources (#42676) 2018-06-28 20:43:35 +02:00
spyder python.pkgs.spyder: fix setup.py patch 2018-05-25 11:00:14 +01:00