coqPackages.flocq: fetch sources from gitlab

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