Update all CUDF package definition files

packages/cudf/cudf.0.6.3/opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-maintainer: "https://github.com/ocaml/opam-repository/issues"
+maintainer: "[email protected]"
 substs: ["cudf.ocp"]
 build: [
   ["ocp-build" "-init"]
@@ -22,6 +22,6 @@ extra-files: [
   ["META" "md5=a6f24d3256cfffe346863448dfe147ef"]
 ]
 url {
-  src: "https://gforge.inria.fr/frs/download.php/31910/cudf-0.6.3.tar.gz"
-  checksum: "md5=40c4e2c50ea96d0c9e565db16d20639a"
+  src: "https://gitlab.com/irill/cudf/-/archive/v0.6.3/cudf-v0.6.3.tar.gz"
+  checksum: "md5=2032050868dac5e7fbc1d91673820160"
 }

packages/cudf/cudf.0.7/opam

@@ -23,6 +23,6 @@ CUDF (for Common Upgradeability Description Format) is a format for
 describing upgrade scenarios in package-based Free and Open Source
 Software distribution."""
 url {
-  src: "https://gforge.inria.fr/frs/download.php/33593/cudf-0.7.tar.gz"
-  checksum: "md5=2047222fcf78278c6a24ac619fc39abb"
+  src: "https://gitlab.com/irill/cudf/-/archive/v0.7/cudf-v0.7.tar.gz"
+  checksum: "md5=dcdf66ca91859372b5cce06872e493e6"
 }

packages/cudf/cudf.0.8/opam

@@ -2,8 +2,8 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 homepage: "http://www.mancoosi.org/cudf/"
 authors: ["Roberto di Cosmo <[email protected]>" "Stefano Zacchiroli" "Pietro Abate"]
-bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse"
-dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/cudf/cudf.git"
+bug-reports: "https://gitlab.com/irill/cudf/-/issues"
+dev-repo: "git+https://gitlab.com/irill/cudf.git"
 build: [make "all" "opt" "DOC="]
 depends: [
   "ocaml"
@@ -27,6 +27,6 @@ CUDF (for Common Upgradeability Description Format) is a format for
 describing upgrade scenarios in package-based Free and Open Source
 Software distribution."""
 url {
-  src: "https://gforge.inria.fr/frs/download.php/file/34659/cudf-0.8.tar.gz"
-  checksum: "md5=abf34d3daedd81580b7b32a871341b2f"
+  src: "https://gitlab.com/irill/cudf/-/archive/v0.8/cudf-v0.8.tar.gz"
+  checksum: "md5=3baa29de4bf43b708376c079fa1c90fc"
 }

packages/cudf/cudf.0.9-1/opam

@@ -2,8 +2,8 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 authors: ["Roberto di Cosmo <[email protected]>" "Stefano Zacchiroli" "Pietro Abate"]
 homepage: "http://www.mancoosi.org/cudf/"
-bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse"
-dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/cudf/cudf.git"
+bug-reports: "https://gitlab.com/irill/cudf/-/issues"
+dev-repo: "git+https://gitlab.com/irill/cudf.git"
 build: [make "all" "opt" "DOC="]
 depends: [
   "ocaml"
@@ -22,6 +22,6 @@ CUDF (for Common Upgradeability Description Format) is a format for
 describing upgrade scenarios in package-based Free and Open Source
 Software distribution."""
 url {
-  src: "https://github.com/ocaml/opam-source-archives/raw/main/cudf-0.9.tar.gz"
-  checksum: "md5=a4c0e652e56e74c7b388a43f9258d119"
+  src: "https://gitlab.com/irill/cudf/-/archive/v0.9/cudf-v0.9.tar.gz"
+  checksum: "md5=04f49e3227dc78a21fe32c3beab8c56e"
 }

packages/cudf/cudf.0.9/opam

@@ -2,8 +2,8 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 authors: ["Roberto di Cosmo <[email protected]>" "Stefano Zacchiroli" "Pietro Abate"]
 homepage: "http://www.mancoosi.org/cudf/"
-bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse"
-dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/cudf/cudf.git"
+bug-reports: "https://gitlab.com/irill/cudf/-/issues"
+dev-repo: "git+https://gitlab.com/irill/cudf.git"
 build: [make "all" "opt" "DOC="]
 depends: [
   "ocaml"
@@ -26,6 +26,6 @@ CUDF (for Common Upgradeability Description Format) is a format for
 describing upgrade scenarios in package-based Free and Open Source
 Software distribution."""
 url {
-  src: "https://github.com/ocaml/opam-source-archives/raw/main/cudf-0.9.tar.gz"
-  checksum: "md5=a4c0e652e56e74c7b388a43f9258d119"
+  src: "https://gitlab.com/irill/cudf/-/archive/v0.9/cudf-v0.9.tar.gz"
+  checksum: "md5=04f49e3227dc78a21fe32c3beab8c56e"
 }