marcnnn e46ca1b95f cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808) ... * cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514 * cvc4: use stable url upstream delete their tarballs		2017-05-20 14:00:39 +01:00
..
astronomy	treewide: purge maintainers.urkud	2017-03-27 19:52:29 +02:00
biology	Merge pull request #25594 from mimadrid/update/htslib-1.4	2017-05-11 07:08:56 +01:00
chemistry	treewide: purge maintainers.urkud	2017-03-27 19:52:29 +02:00
electronics	kicad: update to 4.0.6	2017-05-04 20:39:20 +02:00
geometry	treewide: explicitly specify gtk and related package versions	2016-09-12 18:26:06 +03:00
logic	cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)	2017-05-20 14:00:39 +01:00
machine-learning/torch	replace makeSearchPath tree-wise to take care of possible multiple outputs	2016-04-13 22:09:41 +03:00
math	Merge pull request #25588 from mimadrid/update/weka-3.8.1	2017-05-09 17:39:05 +08:00
misc	openmvs: init at current master (#25672)	2017-05-12 20:07:11 +01:00
molecular-dynamics	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
physics	sherpa: add useful dependencies	2017-01-07 01:36:51 -05:00
programming	fdr: init at 4.2.0	2017-02-24 11:00:02 +00:00
robotics	qgroundcontrol: broken on Qt 5.6	2017-03-25 08:49:39 -05:00
spyder	Python: use PyPI mirror (#15001)	2016-04-26 13:38:03 +01:00