this repo has no description

Merge pull request #22033 from kit-ty-kate/fix-16

Fix the url of all the packages missing after github account 'jeremiedimino' was deleted

Kate 42a177d7 46185c6d

Changed files
+8 -12
packages
optcomp
optcomp.1.4
optcomp.1.5
optcomp.1.6
ppx_tools
ppx_tools.0.99.3
ppxfind
ppxfind.1.1
ppxfind.1.2
ppxfind.1.3
ppxfind.1.4
+1 -1
packages/optcomp/optcomp.1.4/opam
···
synopsis: "Optional compilation with cpp-like directives"
flags: light-uninstall
url {
-
src: "https://download.ocamlcore.org/optcomp/optcomp/1.4/optcomp-1.4.tar.gz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/optcomp-1.4.tar.gz"
checksum: "md5=696e603c47c9e02554ab659b57d1da56"
}
+1 -1
packages/optcomp/optcomp.1.5/opam
···
synopsis: "Optional compilation with cpp-like directives"
flags: light-uninstall
url {
-
src: "https://github.com/jeremiedimino/optcomp/archive/1.5.tar.gz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/optcomp-1.5.tar.gz"
checksum: "md5=06e70c9c886b2f8663a736a99a2b933b"
}
+1 -1
packages/optcomp/optcomp.1.6/opam
···
synopsis: "Optional compilation with cpp-like directives"
flags: light-uninstall
url {
-
src: "https://github.com/jeremiedimino/optcomp/archive/1.6.tar.gz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/optcomp-1.6.tar.gz"
checksum: "md5=d3587244dba1b8b10f24d0b60a8c700d"
}
+1 -1
packages/ppx_tools/ppx_tools.0.99.3/opam
···
synopsis: "Tools for authors of ppx rewriters and other syntactic tools"
flags: light-uninstall
url {
-
src: "http://github.com/jeremiedimino/ppx_tools/archive/ppx_tools_0.99.3.tar.gz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ppx_tools-0.99.3.tar.gz"
checksum: "md5=eeda1c5b2d790c4f566aeed5b960b910"
}
+1 -2
packages/ppxfind/ppxfind.1.1/opam
···
Ppxfind is a small command line tool that among other things allows
to use old style ppx rewriters with jbuilder."""
url {
-
src:
-
"https://github.com/jeremiedimino/ppxfind/releases/download/1.1/ppxfind-1.1.tbz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ppxfind-1.1.tbz"
checksum: "md5=9be19346b530d2dfb862f1cc1562ae21"
}
conflicts: [ "dune" {= "1.2.0" | = "1.2.1"} ]
+1 -2
packages/ppxfind/ppxfind.1.2/opam
···
Ppxfind is a small command line tool that among other things allows
to use old style ppx rewriters with jbuilder."""
url {
-
src:
-
"https://github.com/jeremiedimino/ppxfind/releases/download/1.2/ppxfind-1.2.tbz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ppxfind-1.2.tbz"
checksum: "md5=3c6f81800bb816e190a64f9898481f82"
}
conflicts: [ "dune" {= "1.2.0" | = "1.2.1"} ]
+1 -2
packages/ppxfind/ppxfind.1.3/opam
···
to use old style ppx rewriters with jbuilder.
"""
url {
-
src:
-
"https://github.com/jeremiedimino/ppxfind/releases/download/1.3/ppxfind-1.3.tbz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ppxfind-1.3.tbz"
checksum: [
"sha256=d49db026d0e74212c4b475b4e628aa57508c7452a0682d8c96e80c130ab892e4"
"sha512=dd81bf5b3413f99a3c39f25e5e747f8d57d3bacac6a1fda92478af317e2d543294b4937982c94cf010978fcd71b1cfbfce1edbaa0c3d03973079296fda89689f"
+1 -2
packages/ppxfind/ppxfind.1.4/opam
···
]
dev-repo: "git+https://github.com/jeremiedimino/ppxfind.git"
url {
-
src:
-
"https://github.com/jeremiedimino/ppxfind/releases/download/1.4/ppxfind-1.4.tbz"
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ppxfind-1.4.tbz"
checksum: [
"sha256=98291c69f04f7f7b7cdad1b5d786c70fc595559d4663cc04cb711ac132db4971"
"sha512=f80b0ee09fb536aa9f154da80d06a1b68ba3b10605fb7338bd6449beb5c8d00e983bf66b4a63e12659ae1410fea56d0a2c4cfd43584616438504628035bcb981"