nixpkgs/pkgs/applications/science
Austin Seipp fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.

Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-19 18:54:38 -06:00
..
astronomy stellarium: 0.18.2 -> 0.18.3 2018-12-24 04:42:47 -08:00
biology picard-tools: 2.18.21 -> 2.18.23 2019-01-16 21:43:19 -08:00
chemistry marvin: init at 19.1.0 2019-01-15 00:23:38 +10:00
electronics Merge branch 'master' into staging-next 2019-01-12 12:19:34 +01:00
geometry drgeo: add license + homepage 2018-09-08 14:42:12 +02:00
logic tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic 2019-01-19 18:54:38 -06:00
machine-learning shogun: remove liblapack 2018-11-08 14:42:29 -06:00
math sage: fix transient ecl error (#54285) 2019-01-18 23:02:03 +01:00
medicine/aliza
misc Merge branch 'master' into staging-next 2019-01-12 12:19:34 +01:00
molecular-dynamics gromacs: 2018.4 -> 2019 2019-01-03 05:58:09 -08:00
physics quantomatic: init at 0.7 2018-11-26 21:51:58 +00:00
programming plm: remove dead homepage link, mark as broken 2018-09-02 01:46:25 +02:00
robotics qgroundcontrol: fixes #49870 2018-11-14 13:12:20 +01:00
spyder