Skip to content

Commit 836eb7e

Browse files
kit-ty-katekit-ty-kate
authored
Merge pull request ocaml#22838 from clarus/guillaume-claret@update-urls-coq-of-ocaml
coq-of-ocaml: update the urls of the repo
2 parents 44f15ea + 5d108c5 commit 836eb7e

File tree

8 files changed

+32
-32
lines changed
  • packages/coq-of-ocaml
    • coq-of-ocaml.2.2.1
    • coq-of-ocaml.2.3.0
    • coq-of-ocaml.2.4.0
    • coq-of-ocaml.2.4.1
    • coq-of-ocaml.2.5.0
    • coq-of-ocaml.2.5.1
    • coq-of-ocaml.2.5.2+4.12
    • coq-of-ocaml.2.5.2+4.13

8 files changed

+32
-32
lines changed

‎packages/coq-of-ocaml/coq-of-ocaml.2.2.1/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/clarus/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -34,7 +34,7 @@ tags: [
3434
synopsis: "Compile a subset of OCaml to Coq"
3535

3636
url {
37-
src: "https://github.com/clarus/coq-of-ocaml/archive/2.2.1.tar.gz"
37+
src: "https://github.com/formal-land/coq-of-ocaml/archive/2.2.1.tar.gz"
3838
checksum: [
3939
"sha256=3185fe93e13ce05f409307f04f30de4cbbbdd644b85570f2ef629780b57af174"
4040
"sha512=835ca0b5f464c602317dedf55c15ca7e4d0f99c88fdda925a595632fe8dc63f6c15e6f4a5578bd211d9fab4fae44d7e61235af786e30f8bb1b2454f55faa6269"

‎packages/coq-of-ocaml/coq-of-ocaml.2.3.0/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/clarus/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -34,7 +34,7 @@ tags: [
3434
synopsis: "Compile a subset of OCaml to Coq"
3535

3636
url {
37-
src: "https://github.com/clarus/coq-of-ocaml/archive/2.3.0.tar.gz"
37+
src: "https://github.com/formal-land/coq-of-ocaml/archive/2.3.0.tar.gz"
3838
checksum: [
3939
"sha256=889046cbfdc479b02aa9a97bcb6284df7539eba60e0f37f03c365e658445395d"
4040
"sha512=eec30792f4ab93a4ce9f8b94880c6e44bd7bc11424e24258c20e06e414af10fc108435543976e9c962ed7bbf17384cfe3bcf9114c90aeb57f3e1e188716537fe"

‎packages/coq-of-ocaml/coq-of-ocaml.2.4.0/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/clarus/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -34,7 +34,7 @@ tags: [
3434
synopsis: "Compile a subset of OCaml to Coq"
3535

3636
url {
37-
src: "https://github.com/clarus/coq-of-ocaml/archive/2.4.0.tar.gz"
37+
src: "https://github.com/formal-land/coq-of-ocaml/archive/2.4.0.tar.gz"
3838
checksum: [
3939
"sha256=c7996fa56404815f4b87395c910a1cfb4a60ad05fd03ea26604e5ef1f4d345bc"
4040
"sha512=a92cb1c0c505dcfd58084e4000d90e9816ea3abfd9f9778662306fb7818af3bbfca757822acda4e4ba907b24c81ab703db3b324373c13fa9209f491a3ef4ca8d"

‎packages/coq-of-ocaml/coq-of-ocaml.2.4.1/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/clarus/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -35,7 +35,7 @@ tags: [
3535
synopsis: "Compile a subset of OCaml to Coq"
3636

3737
url {
38-
src: "https://github.com/clarus/coq-of-ocaml/archive/2.4.1.tar.gz"
38+
src: "https://github.com/formal-land/coq-of-ocaml/archive/2.4.1.tar.gz"
3939
checksum: [
4040
"sha256=5856656d5542475e7eaf9e82a8348d85754f5c1ef1c56240ca97234793fb68ff"
4141
"sha512=44530bce7d40c8a27459db17c504b2a14d9c37fdbb0658df70bcf376df4309bd88222b89a069d8534c09eb40f1394dabda2bade9e44a9fde5a49b01fc9325d35"

‎packages/coq-of-ocaml/coq-of-ocaml.2.5.0/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/clarus/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -36,7 +36,7 @@ tags: [
3636
synopsis: "Compile a subset of OCaml to Coq"
3737

3838
url {
39-
src: "https://github.com/clarus/coq-of-ocaml/archive/2.5.0.tar.gz"
39+
src: "https://github.com/formal-land/coq-of-ocaml/archive/2.5.0.tar.gz"
4040
checksum: [
4141
"sha256=d58dc0f9223fdf228f995ddc020c9e54499d8d8adf579f07ab900ba88f2967d4"
4242
"sha512=ed60c61e3c534c4e4b81262a54e0a5896d25070251ed8c7ea68f6f1e4c9374d5f61c35f5093881d061517213973f77d3ba9ab0ea178343164eb1588b928fbe80"

‎packages/coq-of-ocaml/coq-of-ocaml.2.5.1/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/clarus/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -36,7 +36,7 @@ tags: [
3636
synopsis: "Compile a subset of OCaml to Coq"
3737

3838
url {
39-
src: "https://github.com/clarus/coq-of-ocaml/releases/download/2.5.1/coq-of-ocaml-full.2.5.1.tar.gz"
39+
src: "https://github.com/formal-land/coq-of-ocaml/releases/download/2.5.1/coq-of-ocaml-full.2.5.1.tar.gz"
4040
checksum: [
4141
"sha256=809eaf4d5d21f6169aefc8c1fe4eb366dc44cfbda26ea3671087cc455e4409c5"
4242
"sha512=252f941e20fd7b0ede673fab647c8a60a28777d3de14ebaea38099efb9964ce1f717f8c516b6e48b322ed4cecf86578abdee62e7b48d044f805bf830986a00b8"

‎packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.12/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/foobar-land/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/foobar-land/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/foobar-land/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -36,7 +36,7 @@ tags: [
3636
synopsis: "Compile a subset of OCaml to Coq"
3737

3838
url {
39-
src: "https://github.com/foobar-land/coq-of-ocaml/releases/download/2.5.2/coq-of-ocaml-full.2.5.2.tar.gz"
39+
src: "https://github.com/formal-land/coq-of-ocaml/releases/download/2.5.2/coq-of-ocaml-full.2.5.2.tar.gz"
4040
checksum: [
4141
"sha256=55564be48ccbdb5b7bcaced6480365e099b8bd7193454b613a4398fd033247ac"
4242
"sha512=712c9d594f6f045c127dd9883315286ad83268f7e627771b17437e167d5bbfd221fa79d071b1e77e04e80d219b820dfef14eb0494433e778c9ecfd52d131e665"

‎packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.13/opam‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
3-
homepage: "https://github.com/foobar-land/coq-of-ocaml"
4-
dev-repo: "git+https://github.com/foobar-land/coq-of-ocaml.git"
5-
bug-reports: "https://github.com/foobar-land/coq-of-ocaml/issues"
3+
homepage: "https://github.com/formal-land/coq-of-ocaml"
4+
dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
5+
bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
66
authors: ["Guillaume Claret"]
77
license: "MIT"
88
build: [
@@ -36,7 +36,7 @@ tags: [
3636
synopsis: "Compile a subset of OCaml to Coq"
3737

3838
url {
39-
src: "https://github.com/foobar-land/coq-of-ocaml/releases/download/2.5.2/coq-of-ocaml-full.2.5.2+4.13.tar.gz"
39+
src: "https://github.com/formal-land/coq-of-ocaml/releases/download/2.5.2/coq-of-ocaml-full.2.5.2+4.13.tar.gz"
4040
checksum: [
4141
"sha256=9dfde155240061a70b803715609246d360605d887035070b160190e21f672dbd"
4242
"sha512=259a034fdff6cc0ca4af935eb07ec4dac7916a199452bec2bccbf5b6e26f6dfbcbd33ba53dfe63d0fc64a9c04763129e76ff6d04ebd53bb24e378b96457651ec"

0 commit comments

Comments
 (0)