Lorenz Leutgeb d50a6db016 z3: Add Java Bindings (#92096) ... Introduce new arguments to build Java Bindings, and to disable building of Python bindings. Default behaviour is preserved.		2020-08-15 07:37:38 +02:00
..
astronomy
biology	kssd: 1.0 -> 1.1	2020-08-14 15:06:11 +00:00
chemistry	Merge pull request #94779 from r-ryantm/auto-update/marvin	2020-08-09 12:45:42 -07:00
electronics	Merge pull request #93613 from baracoder/init-openhantek6022	2020-08-11 17:33:16 +02:00
geometry	gama: init at 2.09	2020-07-18 18:58:22 +01:00
logic	z3: Add Java Bindings (#92096)	2020-08-15 07:37:38 +02:00
machine-learning	Merge pull request #93954 from danieldk/finalfusion-utils	2020-08-05 13:03:18 +02:00
math	geogebra: 5-0-574-0 -> 5-0-593-0	2020-07-24 15:11:42 +10:00
medicine	aliza: 1.48.10 -> 1.98.32	2020-08-10 11:16:16 +02:00
misc	root: don't propagated python interpreter	2020-08-09 10:44:15 -07:00
molecular-dynamics	gromacs: 2020.2 -> 2020.3	2020-07-13 07:11:49 +00:00
physics
programming
robotics	qgroundcontrol: 4.0.8 -> 4.0.9	2020-07-11 15:27:23 -04:00