Austin Seipp 5fc4f17862 yices: 2.5.3 -> 2.5.4 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-11-05 12:49:38 -06:00
..
astronomy
biology	bowtie2: init at 2.3.3.1	2017-10-22 00:11:49 +02:00
chemistry
electronics	ngspice: Build shared library	2017-11-02 19:26:06 -04:00
geometry
logic	yices: 2.5.3 -> 2.5.4	2017-11-05 12:49:38 -06:00
machine-learning	shogun: init at 6.0.0	2017-10-29 10:20:55 +01:00
math	pari: enable darwin build	2017-10-30 18:24:22 +01:00
medicine/aliza
misc	fix source root locations.	2017-11-02 13:53:36 +00:00
molecular-dynamics
physics
programming
robotics
spyder