this repo has no description

Merge pull request #19883 from avsm/fix-javalib-archives

javalib: fix archives now gforge is down

Changed files
+3 -3
packages
javalib
javalib.2.2.2
javalib.2.3
javalib.2.3a
+1 -1
packages/javalib/javalib.2.2.2/opam
···
Java byte-code programs, benefiting from the strength of OCaml language."""
flags: light-uninstall
url {
-
src: "https://gforge.inria.fr/frs/download.php/31494/javalib-2.2.2.tar.bz2"
checksum: "md5=a04dfea2e7fb23636c23d24096cefc07"
}
···
Java byte-code programs, benefiting from the strength of OCaml language."""
flags: light-uninstall
url {
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/javalib-2.2.2.tar.bz2"
checksum: "md5=a04dfea2e7fb23636c23d24096cefc07"
}
+1 -1
packages/javalib/javalib.2.3/opam
···
Java byte-code programs, benefiting from the strength of OCaml language."""
flags: light-uninstall
url {
-
src: "https://gforge.inria.fr/frs/download.php/33090/javalib-2.3.tar.bz2"
checksum: "md5=9b79ea9cfd2b30e0e6c2c655b989532f"
}
···
Java byte-code programs, benefiting from the strength of OCaml language."""
flags: light-uninstall
url {
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/javalib-2.3.tar.bz2"
checksum: "md5=9b79ea9cfd2b30e0e6c2c655b989532f"
}
+1 -1
packages/javalib/javalib.2.3a/opam
···
flags: light-uninstall
extra-files: ["patch-javalib.diff" "md5=b924bffea0f5b1b7637886429fe8e743"]
url {
-
src: "https://gforge.inria.fr/frs/download.php/33090/javalib-2.3.tar.bz2"
checksum: "md5=9b79ea9cfd2b30e0e6c2c655b989532f"
}
···
flags: light-uninstall
extra-files: ["patch-javalib.diff" "md5=b924bffea0f5b1b7637886429fe8e743"]
url {
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/javalib-2.3.tar.bz2"
checksum: "md5=9b79ea9cfd2b30e0e6c2c655b989532f"
}