diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-07-11 19:30:45 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-07-15 07:55:52 +0200 |
| commit | e57571bdb6ff5e4938555994aa98f2373083e5f0 (patch) | |
| tree | 7c9a46a5f41400070ce1c827e5ef22c98d455c50 /pkgs/applications | |
| parent | fe653f953d3a1f09ef6888f0ecc3490b2f2a0216 (diff) | |
| download | nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.tar nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.tar.gz nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.tar.bz2 nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.tar.lz nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.tar.xz nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.tar.zst nixlib-e57571bdb6ff5e4938555994aa98f2373083e5f0.zip | |
gappa: 1.3.5 → 1.4.0
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/gappa/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/gappa/default.nix b/pkgs/applications/science/logic/gappa/default.nix index c7c5c9c6fa70..be1d6f253bc5 100644 --- a/pkgs/applications/science/logic/gappa/default.nix +++ b/pkgs/applications/science/logic/gappa/default.nix @@ -4,8 +4,8 @@ stdenv.mkDerivation { name = "gappa-1.4.0"; src = fetchurl { - url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.4.0.tar.gz"; - sha256 = "sha256-/IDIf5XnFBqVllgH5GtQ6C8g7vxheaVcXNoZiXlsPGA="; + url = "https://gforge.inria.fr/frs/download.php/file/38436/gappa-1.4.0.tar.gz"; + sha256 = "12x42z901pr05ldmparqdi8sq9s7fxbavhzk2dbq3l6hy247dwbb"; }; buildInputs = [ gmp mpfr boost.dev ]; |