Thomas Tuegel 494dc2af2e Merge pull request #23423 from ttuegel/fricas ... fricas: 1.2.2 -> 1.3.1		2017-03-03 09:49:47 -06:00
..
astronomy
biology
chemistry
electronics	verilator: 3.884 -> 3.900	2017-02-27 15:22:50 +01:00
geometry
logic
machine-learning/torch
math	fricas: 1.2.2 -> 1.3.1	2017-03-02 19:39:55 -06:00
misc	ikarus: remove	2017-03-03 13:43:04 +01:00
molecular-dynamics
physics
programming
robotics
spyder