this repo has no description

Merge pull request #19807 from LasseBlaauwbroek/master

Fix dose3 archives after shutdown of gforce.infia.fr

Changed files
+8 -10
packages
dose3
dose3.4.3
dose3.5.0
dose3.5.0.1
dose3.5.0.1-1
+2 -2
packages/dose3/dose3.4.3/opam
···
"md5=618265012624df95902a98f756f1ca13"
]
url {
-
src: "https://gforge.inria.fr/frs/download.php/file/35797/dose3-4.3.tar.gz"
-
checksum: "md5=bb8b6be9a9d10b8b5e1906fac3861284"
+
src: "https://gitlab.com/irill/dose3/-/archive/4.3/dose3-4.3.tar.gz"
+
checksum: "md5=dd2ba7bb01acfd2e9c3e0c98d438576b"
}
+2 -3
packages/dose3/dose3.5.0.1-1/opam
···
["0005-Fix-compatibility-with-ocamlgraph-2.0.patch" "md5=e17b0f0aaede654a19fb3f0e2e46c61a"]
]
url {
-
src:
-
"https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz"
-
checksum: "md5=e7d4b1840383c6732f29a47c08ba5650"
+
src: "https://gitlab.com/irill/dose3/-/archive/5.0.1/dose3-5.0.1.tar.gz"
+
checksum: "md5=a81080f36f477fdebf63c4a979e251cd"
}
+2 -3
packages/dose3/dose3.5.0.1/opam
···
["0001-Install-mli-cmx-etc.patch" "md5=977b675e7e6e7ccc5d3d57534370c68c"]
]
url {
-
src:
-
"https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz"
-
checksum: "md5=e7d4b1840383c6732f29a47c08ba5650"
+
src: "https://gitlab.com/irill/dose3/-/archive/5.0.1/dose3-5.0.1.tar.gz"
+
checksum: "md5=a81080f36f477fdebf63c4a979e251cd"
}
+2 -2
packages/dose3/dose3.5.0/opam
···
"md5=618265012624df95902a98f756f1ca13"
]
url {
-
src: "https://gforge.inria.fr/frs/download.php/file/35975/dose3-5.0.tar.gz"
-
checksum: "md5=228c6a73a0759783fd01181047046610"
+
src: "https://gitlab.com/irill/dose3/-/archive/5.0/dose3-5.0.tar.gz"
+
checksum: "md5=b65076530d13517db05a2c5e8520b252"
}