3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science
Gabriel Ebner be261a1ede isabelle: refactor
Fixes #33337
2019-03-14 11:48:30 +01:00
..
astronomy gildas: 20190301_a -> 20190301_b 2019-03-11 21:43:41 +01:00
biology picard-tools: 2.18.25 -> 2.18.27 2019-03-11 03:37:34 -07:00
chemistry Merge pull request #55299 from r-ryantm/auto-update/jmol 2019-02-06 13:15:46 +01:00
electronics gtkwave: 3.3.98 -> 3.3.99 2019-03-03 17:13:47 +01:00
geometry
logic isabelle: refactor 2019-03-14 11:48:30 +01:00
machine-learning Fix sc2-headless map hash (#56320) 2019-02-25 01:08:12 +01:00
math sage: fix docbuild (#57294) 2019-03-10 21:42:54 +00:00
medicine/aliza
misc Merge pull request #56498 from ariutta/patch-1 2019-03-11 11:20:50 +08:00
molecular-dynamics gromacs: 2018.4 -> 2019 2019-01-03 05:58:09 -08:00
physics sherpa: 2.2.5 -> 2.2.6 2019-01-24 18:46:15 -05:00
programming
robotics
spyder spyder: 3.2.8 -> 3.3.3 2019-02-17 14:40:54 +01:00