Marco Maggesi 9a5f7b1630 hol_light: 2017-07-06 -> 2018-09-30 ... Also handle compatibility with newer version of OCaml (depend on num library as needed).		2018-10-06 15:49:09 +00:00
..
astronomy	gildas: 20180901_a -> 20181001_a (#47657)	2018-10-02 12:49:33 +02:00
biology	bowtie2: 2.3.4.2 -> 2.3.4.3	2018-10-03 21:49:10 -07:00
chemistry	Merge pull request #47043 from r-ryantm/auto-update/jmol	2018-09-27 12:09:01 +02:00
electronics	verilator: 3.926 -> 4.002	2018-10-02 09:56:10 -05:00
geometry	drgeo: add license + homepage	2018-09-08 14:42:12 +02:00
logic	hol_light: 2017-07-06 -> 2018-09-30	2018-10-06 15:49:09 +00:00
machine-learning
math	Merge pull request #47831 from r-ryantm/auto-update/calc	2018-10-04 23:31:38 +01:00
medicine/aliza
misc	root5: init at 5.34.36	2018-09-24 14:34:49 -04:00
molecular-dynamics	gromacs: 2018.2 -> 2018.3 (#46275)	2018-09-12 23:07:27 +02:00
physics	xfitter: init at 2.0.0	2018-09-24 14:34:49 -04:00
programming	plm: remove dead homepage link, mark as broken	2018-09-02 01:46:25 +02:00
robotics	apmplanner2: fixed wrong path in .desktop file	2018-08-25 00:39:58 +02:00
spyder