Ben Siraphob a5049e8caa Merge pull request #130971 from siraben/parallel-coq ... coq: enable parallel building		2021-07-22 10:00:42 +07:00
..
astronomy	treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*	2021-07-14 03:35:21 +02:00
biology	treewide: convert phases that contain ":" to dont* = true (#130500)	2021-07-18 23:42:48 +02:00
chemistry	octopus: cleanup derivation	2021-07-12 14:15:05 +02:00
electronics	kicad-unstable: needs python	2021-07-13 12:47:26 +02:00
geometry	treewide: remove meta.version	2021-07-18 00:07:38 +02:00
logic	Merge pull request #130971 from siraben/parallel-coq	2021-07-22 10:00:42 +07:00
machine-learning
math	pcalc: 20141224 -> 20181202	2021-07-18 08:40:09 +02:00
medicine
misc	Merge pull request #130925 from SuperSandro2000/python-aliases	2021-07-22 03:21:11 +02:00
molecular-dynamics
networking/sumo
physics
programming	fdr: deprecate phases	2021-07-14 16:42:23 +02:00
robotics