diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-07-31 09:40:10 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-05 09:21:02 +0000 |
| commit | 5b0fdad5dfa736dfe06932fe537d188d4b29a505 (patch) | |
| tree | 694ca3044153303894ec9db8420a57e4e2a59f2e /pkgs/development/coq-modules | |
| parent | bc1417c5578002a8349f04329a9510f643b24500 (diff) | |
| download | nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.tar nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.tar.gz nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.tar.bz2 nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.tar.lz nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.tar.xz nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.tar.zst nixpkgs-5b0fdad5dfa736dfe06932fe537d188d4b29a505.zip | |
coqPackages.flocq: fetch sources from gitlab
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; }; |