From 5b0fdad5dfa736dfe06932fe537d188d4b29a505 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 31 Jul 2019 09:40:10 +0000
Subject: coqPackages.flocq: fetch sources from gitlab

---
 pkgs/development/coq-modules/flocq/default.nix | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'pkgs/development/coq-modules')

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;
   };
 
-- 
cgit 1.4.1