nixpkgs/pkgs/applications/science
Maximilian Bosch 2cfc0bb7ee tamarin-prover: fix ghc 8.4 build (#46597)
See https://hydra.nixos.org/build/81125645

`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:

a08f6e4007

The build is divided in several derivations, therefore the patch had to
be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to
ensure that the patch applies properly during the `patchPhase'.

Addresses #45960
2018-09-13 14:11:09 +02:00
..
astronomy gildas: add alternative url for the source code (#46145) 2018-09-06 15:10:21 +01:00
biology seaview: init at 4.7 (#46595) 2018-09-13 14:10:44 +02:00
chemistry jmol: 14.29.17 -> 14.29.19 2018-09-06 19:54:40 -07:00
electronics verilator: 3.924 -> 3.926 (#45797) 2018-09-01 12:14:00 +02:00
geometry drgeo: add license + homepage 2018-09-08 14:42:12 +02:00
logic tamarin-prover: fix ghc 8.4 build (#46597) 2018-09-13 14:11:09 +02:00
machine-learning pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
math almonds: update license 2018-09-09 02:04:34 +02:00
medicine/aliza treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
misc root: add license 2018-09-08 14:51:28 +02:00
molecular-dynamics gromacs: 2018.2 -> 2018.3 (#46275) 2018-09-12 23:07:27 +02:00
physics treewide: http -> https sources (#42676) 2018-06-28 20:43:35 +02:00
programming plm: remove dead homepage link, mark as broken 2018-09-02 01:46:25 +02:00
robotics apmplanner2: fixed wrong path in .desktop file 2018-08-25 00:39:58 +02:00
spyder spyder: use python3 2018-07-26 12:43:18 +02:00