this repo has no description

Merge pull request #19873 from samoht/camlp5

Fix location of old camlp5 archives

Changed files
+5 -5
packages
camlp5
camlp5.6.12
camlp5.6.13
camlp5.6.14
camlp5.6.15
camlp5.6.16
+1 -1
packages/camlp5/camlp5.6.12/opam
···
]
extra-files: ["camlp5.install" "md5=b16bcaf28bfb364236b2181fb50a6564"]
url {
-
src: "http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.12.tgz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/camlp5-6.12.tgz"
checksum: "md5=d49d30b62396b7285f3d609ac90c3fe5"
}
+1 -1
packages/camlp5/camlp5.6.13/opam
···
]
extra-files: ["camlp5.install" "md5=b16bcaf28bfb364236b2181fb50a6564"]
url {
-
src: "http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.13.tgz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/camlp5-6.13.tgz"
checksum: "md5=1e75b167a0c00bd47fb24e4101f5f21f"
}
+1 -1
packages/camlp5/camlp5.6.14/opam
···
]
extra-files: ["camlp5.install" "md5=b16bcaf28bfb364236b2181fb50a6564"]
url {
-
src: "http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.14.tgz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/camlp5-6.14.tgz"
checksum: "md5=f603baad3d742048889911e2d4795ac9"
}
+1 -1
packages/camlp5/camlp5.6.15/opam
···
]
extra-files: ["camlp5.install" "md5=b16bcaf28bfb364236b2181fb50a6564"]
url {
-
src: "http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.15.tgz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/camlp5-6.15.tgz"
checksum: "md5=ad79f4b4384109fbb92b1b3bcb105224"
}
+1 -1
packages/camlp5/camlp5.6.16/opam
···
]
extra-files: ["camlp5.install" "md5=b16bcaf28bfb364236b2181fb50a6564"]
url {
-
src: "http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.16.tgz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/camlp5-6.16.tgz"
checksum: "md5=c096732e42e61629d4a640be15790dba"
}