diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-06-13 14:17:39 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-06-19 09:24:34 +0000 |
| commit | 1f2a3a2df227e9e2abbf57db9c0352cb222dcc70 (patch) | |
| tree | eab83bd59d038d8d198b18fd838c3447f054eaf5 | |
| parent | 85c551a1ed721e7159faa4fc20244b7be732ba05 (diff) | |
| download | nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.tar nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.tar.gz nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.tar.bz2 nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.tar.lz nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.tar.xz nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.tar.zst nixpkgs-1f2a3a2df227e9e2abbf57db9c0352cb222dcc70.zip | |
gappa: 1.2 -> 1.3.5
| -rw-r--r-- | pkgs/applications/science/logic/gappa/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/gappa/default.nix b/pkgs/applications/science/logic/gappa/default.nix index 71114d2f9e1..7522eb4790e 100644 --- a/pkgs/applications/science/logic/gappa/default.nix +++ b/pkgs/applications/science/logic/gappa/default.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, gmp, mpfr, boost }: stdenv.mkDerivation { - name = "gappa-1.2"; + name = "gappa-1.3.5"; src = fetchurl { - url = https://gforge.inria.fr/frs/download.php/file/34787/gappa-1.2.0.tar.gz; - sha256 = "03hfzmaf5jm54sjpbks20q7qixpmagrfbnyyc276vgmiyslk4dkh"; + url = https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.3.5.tar.gz; + sha256 = "0q1wdiwqj6fsbifaayb1zkp20bz8a1my81sqjsail577jmzwi07w"; }; buildInputs = [ gmp mpfr boost.dev ]; |