Mario Rodas b2df6d541d

lean: 3.7.0 -> 3.7.2

2020-03-22 04:20:00 -05:00

..

astronomy

gildas: 20200101_a -> 20200201_a

2020-02-20 15:28:57 +01:00

biology

Merge pull request #81706 from r-ryantm/auto-update/picard-tools

2020-03-04 07:26:05 -05:00

chemistry

Merge pull request #81604 from markuskowa/upd-octopus

2020-03-03 12:45:16 +01:00

electronics

Merge pull request #82610 from r-ryantm/auto-update/eagle

2020-03-20 06:21:30 -05:00

geometry

…

logic

lean: 3.7.0 -> 3.7.2

2020-03-22 04:20:00 -05:00

machine-learning

torchPackages, torch-repl: remove

2020-02-28 20:56:42 +01:00

math

Merge pull request #81611 from r-ryantm/auto-update/R

2020-03-14 14:29:05 +01:00

medicine

…

misc

foldingathome: Make FAHControl be able to start the FAHViewer (#82925)

2020-03-19 13:05:54 +00:00

molecular-dynamics

gromacs: 2020 -> 2020.1

2020-03-04 23:10:39 +00:00

physics

…

programming

…

robotics

qgroundcontrol: Fix build

2020-03-14 03:18:39 +00:00