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
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