this repo has no description
Merge pull request #26032 from hannesm/git-robur-away
opam-graph and ohex are backed up to opam-source-archivs now
authored by
Anil Madhavapeddy
and committed by
GitHub
2926702f
a3f56522
+5
-5
+2
-2
packages/ohex/ohex.0.1.0/opam
+2
-2
packages/ohex/ohex.0.1.0/opam
···
19
19
]
20
20
dev-repo: "git+https://git.robur.coop/robur/ohex.git"
21
21
url {
22
-
src: "https://git.robur.coop/robur/ohex/archive/v0.1.0.tar.gz"
22
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ohex-0.1.0.tar.gz"
23
23
checksum: [
24
24
"md5=49e29e60782df33e881dd0fd2ec17020"
25
25
"sha512=60f934d0a18eb8d637d97b714da0bb2afd552e83639ba71455f05c587b07f362056c3bd47ba5ae6f25faeb8c5e47a167c48bc59d0891eec3845179ea63c25621"
26
26
]
27
-
}
27
+
}
+2
-2
packages/ohex/ohex.0.2.0/opam
+2
-2
packages/ohex/ohex.0.2.0/opam
···
19
19
]
20
20
dev-repo: "git+https://git.robur.coop/robur/ohex.git"
21
21
url {
22
-
src: "https://git.robur.coop/robur/ohex/archive/v0.2.0.tar.gz"
22
+
src: "https://github.com/ocaml/opam-source-archives/raw/main/ohex-0.2.0.tar.gz"
23
23
checksum: [
24
24
"md5=77f2cbe75b9efd528a2b3478a8d4f3d4"
25
25
"sha512=af72a9699f81878cc7d247a92a28332a8e34f247ad6bd477f8c7ae7f2970b73c4750a31eedf8eeb43ca8d19ae3c4c4f8a9d5421a40b73eb1f1711f44b14ff3e6"
26
26
]
27
-
}
27
+
}
+1
-1
packages/opam-graph/opam-graph.0.1.1/opam
+1
-1
packages/opam-graph/opam-graph.0.1.1/opam
···
29
29
dev-repo: "git+https://git.robur.coop/robur/opam-graph.git"
30
30
url {
31
31
src:
32
-
"https://git.robur.coop/attachments/aabe0e23-c411-4747-a44e-62e33f7f0658"
32
+
"https://github.com/ocaml/opam-source-archives/raw/main/opam-graph-0.1.1.tar.gz"
33
33
checksum: [
34
34
"sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e"
35
35
]