John Wiegley 89720d851a coqPackages_8_7: New expression, but don't make it the default yet		2017-10-22 12:43:27 -07:00
..
astronomy
biology	bowtie2: init at 2.3.3.1	2017-10-22 00:11:49 +02:00
chemistry
electronics
geometry
logic	coqPackages_8_7: New expression, but don't make it the default yet	2017-10-22 12:43:27 -07:00
machine-learning
math	cntk: Disable parallel building	2017-10-22 18:19:03 +03:00
medicine/aliza
misc
molecular-dynamics
physics
programming
robotics
spyder