nixpkgs/pkgs/applications/science
Jörg Thalheim 5dc7a70f65
Merge pull request #38589 from badi/tlatools
Add TLAPS and TLA+ Toolbox
2018-04-17 14:51:35 +01:00
..
astronomy celestia: clean up 2018-04-15 17:21:23 +02:00
biology Merge pull request #38165 from r-ryantm/auto-update/picard-tools 2018-04-08 21:21:14 -05:00
chemistry treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
electronics gtkwave: 3.3.87 -> 3.3.89 2018-03-31 12:23:34 -05:00
geometry pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
logic Merge pull request #38589 from badi/tlatools 2018-04-17 14:51:35 +01:00
machine-learning torchPackages.{sundown,lbase64}: mark as broken 2018-04-12 23:04:04 +02:00
math Merge pull request #38768 from timokau/singular-4.1.1 2018-04-12 11:40:06 +00:00
medicine/aliza treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
misc openmvg: mark as broken 2018-04-12 23:04:02 +02:00
molecular-dynamics pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
physics sherpa: 2.2.1 -> 2.2.4 2017-08-31 14:32:05 -04:00
programming fdr: 4.2.0 -> 4.2.3 2017-12-29 02:01:31 +01:00
robotics qgroundcontrol: 3.2.7 -> 3.3.0 2018-03-24 12:08:06 +01:00
spyder python27Packages.spyder: 3.2.7 -> 3.2.8 2018-03-30 19:57:40 +01:00