diff options
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/flocq/default.nix | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/pkgs/development/coq-modules/flocq/default.nix b/pkgs/development/coq-modules/flocq/default.nix index 6e2ec3626fb..d9ad7d6e3be 100644 --- a/pkgs/development/coq-modules/flocq/default.nix +++ b/pkgs/development/coq-modules/flocq/default.nix @@ -1,14 +1,12 @@ -{ stdenv, bash, which, autoconf, automake, fetchurl, coq }: +{ stdenv, bash, which, autoconf, automake, fetchzip, coq }: let params = if stdenv.lib.versionAtLeast coq.coq-version "8.7" then { version = "3.2.0"; - uid = "38103"; - sha256 = "1snvzyyj6l1fv7nb70x5w8rjnhk483g9x8gszl9ls8qn2gd35fs0"; + sha256 = "15bi36x7zj0glsb3s2gwqd4wswhfzh36rbp7imbyff53a7nna95l"; } else { version = "2.6.1"; - uid = "37454"; - sha256 = "06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin"; + sha256 = "1y4czkfrd8p37vwv198nns4hz1brfv71na17pxsidwpxy7qnyfw1"; } ; in @@ -17,8 +15,8 @@ stdenv.mkDerivation rec { name = "coq${coq.coq-version}-flocq-${version}"; inherit (params) version; - src = fetchurl { - url = "https://gforge.inria.fr/frs/download.php/file/${params.uid}/flocq-${version}.tar.gz"; + src = fetchzip { + url = "https://gitlab.inria.fr/flocq/flocq/-/archive/flocq-${version}.tar.gz"; inherit (params) sha256; }; |