Timo Kaufmann 69d9700c61 sage: add list of past test failures		2019-08-02 18:09:18 +02:00
..
astronomy
biology	Merge pull request #63282 from jbedo/strelka	2019-08-01 23:44:58 +00:00
chemistry
electronics	verilog: Add optional dependencies	2019-08-02 10:34:39 +02:00
geometry
logic	cryptoverif: 2.01 -> 2.01pl1	2019-07-23 19:32:45 -05:00
machine-learning
math	sage: add list of past test failures	2019-08-02 18:09:18 +02:00
medicine/aliza
misc	google-gflags: move to aliases.nix	2019-07-25 09:18:32 +00:00
molecular-dynamics
physics
programming
robotics