this repo has no description
Merge pull request #27678 from mattam82/update-coq-archives
Point coq/coqide/coq-stdlib release tarballs to checksum-stable released tarballs
authored by
Marcello Seri
and committed by
GitHub
1fc4c815
48e47466
+65
-65
+1
-1
packages/coq-core/coq-core.8.17.0/opam
+1
-1
packages/coq-core/coq-core.8.17.0/opam
···
61
61
depopts: ["coq-native"]
62
62
63
63
url {
64
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
64
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
65
65
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
66
66
}
+1
-1
packages/coq-core/coq-core.8.17.1/opam
+1
-1
packages/coq-core/coq-core.8.17.1/opam
···
60
60
depopts: ["coq-native"]
61
61
62
62
url {
63
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
63
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
64
64
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
65
65
}
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.0/opam
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.0/opam
···
48
48
depopts: ["coq-native"]
49
49
50
50
url {
51
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
51
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
52
52
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
53
53
}
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.1/opam
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.1/opam
···
48
48
depopts: ["coq-native"]
49
49
50
50
url {
51
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
51
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
52
52
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
53
53
}
+1
-1
packages/coq/coq.8.10.0/opam
+1
-1
packages/coq/coq.8.10.0/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.10.0.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0.tar.gz"
44
44
checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"
45
45
}
46
46
extra-source "fix-parallel-make.patch" {
+1
-1
packages/coq/coq.8.10.1/opam
+1
-1
packages/coq/coq.8.10.1/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.10.1.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1.tar.gz"
51
51
checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.10.2/opam
+1
-1
packages/coq/coq.8.10.2/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.10.2.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2.tar.gz"
51
51
checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.11.0/opam
+1
-1
packages/coq/coq.8.11.0/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.11.0.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0.tar.gz"
51
51
checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.11.1/opam
+1
-1
packages/coq/coq.8.11.1/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.11.1.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1.tar.gz"
51
51
checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.11.2/opam
+1
-1
packages/coq/coq.8.11.2/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.11.2.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2.tar.gz"
51
51
checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.12.0/opam
+1
-1
packages/coq/coq.8.12.0/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.12.0.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0.tar.gz"
51
51
checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.12.1/opam
+1
-1
packages/coq/coq.8.12.1/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.12.1.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1.tar.gz"
51
51
checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.12.2/opam
+1
-1
packages/coq/coq.8.12.2/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.12.2.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2.tar.gz"
51
51
checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.13.0/opam
+1
-1
packages/coq/coq.8.13.0/opam
···
54
54
patches: [ "disable_warn_70.patch" ]
55
55
56
56
url {
57
-
src: "https://github.com/coq/coq/archive/V8.13.0.tar.gz"
57
+
src: "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0.tar.gz"
58
58
checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"
59
59
}
60
60
extra-source "disable_warn_70.patch" {
+1
-1
packages/coq/coq.8.13.1/opam
+1
-1
packages/coq/coq.8.13.1/opam
···
54
54
patches: [ "disable_warn_70.patch" ]
55
55
56
56
url {
57
-
src: "https://github.com/coq/coq/archive/V8.13.1.tar.gz"
57
+
src: "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1.tar.gz"
58
58
checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"
59
59
}
60
60
extra-source "disable_warn_70.patch" {
+1
-1
packages/coq/coq.8.13.2/opam
+1
-1
packages/coq/coq.8.13.2/opam
···
54
54
patches: [ "disable_warn_70.patch" ]
55
55
56
56
url {
57
-
src: "https://github.com/coq/coq/archive/V8.13.2.tar.gz"
57
+
src: "https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2.tar.gz"
58
58
checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"
59
59
}
60
60
extra-source "disable_warn_70.patch" {
+1
-1
packages/coq/coq.8.14.0/opam
+1
-1
packages/coq/coq.8.14.0/opam
···
52
52
patches: [ "dune-install-set-root.patch" "ld_stricter.patch" "disable_warn_70.patch" ]
53
53
54
54
url {
55
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.14.0.tar.gz"
55
+
src: "https://github.com/coq/coq/releases/download/V8.14.0/coq-8.14.0.tar.gz"
56
56
checksum: "sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"
57
57
}
58
58
extra-source "ld_stricter.patch" {
+1
-1
packages/coq/coq.8.14.1/opam
+1
-1
packages/coq/coq.8.14.1/opam
···
52
52
patches: [ "ld_stricter.patch" ]
53
53
54
54
url {
55
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.14.1.tar.gz"
55
+
src: "https://github.com/coq/coq/releases/download/V8.14.1/coq-8.14.1.tar.gz"
56
56
checksum: "sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3"
57
57
}
58
58
extra-source "ld_stricter.patch" {
+1
-1
packages/coq/coq.8.15.0/opam
+1
-1
packages/coq/coq.8.15.0/opam
+1
-1
packages/coq/coq.8.15.1/opam
+1
-1
packages/coq/coq.8.15.1/opam
+1
-1
packages/coq/coq.8.15.2/opam
+1
-1
packages/coq/coq.8.15.2/opam
+1
-1
packages/coq/coq.8.16.0/opam
+1
-1
packages/coq/coq.8.16.0/opam
+1
-1
packages/coq/coq.8.16.1/opam
+1
-1
packages/coq/coq.8.16.1/opam
+1
-1
packages/coq/coq.8.17.0/opam
+1
-1
packages/coq/coq.8.17.0/opam
···
40
40
dev-repo: "git+https://github.com/coq/coq.git"
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
44
44
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
45
45
}
+1
-1
packages/coq/coq.8.17.1/opam
+1
-1
packages/coq/coq.8.17.1/opam
···
40
40
dev-repo: "git+https://github.com/coq/coq.git"
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
44
44
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
45
45
}
+1
-1
packages/coq/coq.8.7.0/opam
+1
-1
packages/coq/coq.8.7.0/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.7.0.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.7.0/coq-8.7.0.tar.gz"
67
67
checksum: [
68
68
"sha256=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297"
69
69
"md5=4d79181b17c63fe5287aeaf6263077e7"
+1
-1
packages/coq/coq.8.7.1+1/opam
+1
-1
packages/coq/coq.8.7.1+1/opam
···
65
65
synopsis: "Formal proof management system"
66
66
flags: light-uninstall
67
67
url {
68
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
68
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
69
69
checksum: [
70
70
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
71
71
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coq/coq.8.7.1+2/opam
+1
-1
packages/coq/coq.8.7.1+2/opam
···
67
67
synopsis: "Formal proof management system"
68
68
flags: light-uninstall
69
69
url {
70
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
70
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
71
71
checksum: [
72
72
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
73
73
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coq/coq.8.7.1/opam
+1
-1
packages/coq/coq.8.7.1/opam
···
62
62
synopsis: "Formal proof management system"
63
63
flags: light-uninstall
64
64
url {
65
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
65
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
66
66
checksum: [
67
67
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
68
68
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coq/coq.8.7.2/opam
+1
-1
packages/coq/coq.8.7.2/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.7.2.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"
67
67
checksum: [
68
68
"sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"
69
69
"md5=470c8f2bd74a085e1f71d5e4770e64e7"
+1
-1
packages/coq/coq.8.8.0/opam
+1
-1
packages/coq/coq.8.8.0/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.8.0.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0.tar.gz"
67
67
checksum: [
68
68
"sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"
69
69
"md5=9c97bb78eb051178d8b3731ae042c73f"
+1
-1
packages/coq/coq.8.8.1/opam
+1
-1
packages/coq/coq.8.8.1/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.8.1.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1.tar.gz"
67
67
checksum: [
68
68
"sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"
69
69
"md5=2dc320d35d4b1ffce5db1dc92c3aeb24"
+1
-1
packages/coq/coq.8.8.2/opam
+1
-1
packages/coq/coq.8.8.2/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"
67
67
checksum: [
68
68
"sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"
69
69
"md5=5d693cd1953a0dd74920b43d183bc26c"
+1
-1
packages/coq/coq.8.9.0/opam
+1
-1
packages/coq/coq.8.9.0/opam
···
58
58
synopsis: "Formal proof management system"
59
59
flags: light-uninstall
60
60
url {
61
-
src: "https://github.com/coq/coq/archive/V8.9.0.tar.gz"
61
+
src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"
62
62
checksum: [
63
63
"sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"
64
64
"md5=490c89609c1271fe7f20e6ea1bd107b5"
+1
-1
packages/coq/coq.8.9.1/opam
+1
-1
packages/coq/coq.8.9.1/opam
···
40
40
patches: ["ocaml408_compat.patch"]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.9.1.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"
44
44
checksum: [
45
45
"sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"
46
46
"md5=b0e47c588ca498073ad35eb5627a8852"
+1
-1
packages/coqide-server/coqide-server.8.17.0/opam
+1
-1
packages/coqide-server/coqide-server.8.17.0/opam
···
35
35
dev-repo: "git+https://github.com/coq/coq.git"
36
36
37
37
url {
38
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
38
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
39
39
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
40
40
}
+1
-1
packages/coqide-server/coqide-server.8.17.1/opam
+1
-1
packages/coqide-server/coqide-server.8.17.1/opam
···
35
35
dev-repo: "git+https://github.com/coq/coq.git"
36
36
37
37
url {
38
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
38
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
39
39
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
40
40
}
+1
-1
packages/coqide/coqide.8.10.0/opam
+1
-1
packages/coqide/coqide.8.10.0/opam
···
36
36
patches: ["fix-parallel-make.patch"]
37
37
38
38
url {
39
-
src: "https://github.com/coq/coq/archive/V8.10.0.tar.gz"
39
+
src: "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0.tar.gz"
40
40
checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"
41
41
}
42
42
extra-source "fix-parallel-make.patch" {
+1
-1
packages/coqide/coqide.8.10.1/opam
+1
-1
packages/coqide/coqide.8.10.1/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.10.1.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1.tar.gz"
44
44
checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"
45
45
}
46
46
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.10.2/opam
+1
-1
packages/coqide/coqide.8.10.2/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.10.2.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2.tar.gz"
44
44
checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"
45
45
}
46
46
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.11.0/opam
+1
-1
packages/coqide/coqide.8.11.0/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.11.0.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0.tar.gz"
44
44
checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"
45
45
}
46
46
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.11.1/opam
+1
-1
packages/coqide/coqide.8.11.1/opam
···
41
41
]
42
42
43
43
url {
44
-
src: "https://github.com/coq/coq/archive/V8.11.1.tar.gz"
44
+
src: "https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1.tar.gz"
45
45
checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"
46
46
}
47
47
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.11.2/opam
+1
-1
packages/coqide/coqide.8.11.2/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.11.2.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2.tar.gz"
46
46
checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.12.0/opam
+1
-1
packages/coqide/coqide.8.12.0/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.12.0.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0.tar.gz"
46
46
checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.12.1/opam
+1
-1
packages/coqide/coqide.8.12.1/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.12.1.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1.tar.gz"
46
46
checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.12.2/opam
+1
-1
packages/coqide/coqide.8.12.2/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.12.2.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2.tar.gz"
46
46
checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.13.0/opam
+1
-1
packages/coqide/coqide.8.13.0/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.13.0.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0.tar.gz"
46
46
checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.13.1/opam
+1
-1
packages/coqide/coqide.8.13.1/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.13.1.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1.tar.gz"
46
46
checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.13.2/opam
+1
-1
packages/coqide/coqide.8.13.2/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.13.2.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2.tar.gz"
46
46
checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.14.0/opam
+1
-1
packages/coqide/coqide.8.14.0/opam
+1
-1
packages/coqide/coqide.8.14.1/opam
+1
-1
packages/coqide/coqide.8.14.1/opam
+1
-1
packages/coqide/coqide.8.15.0/opam
+1
-1
packages/coqide/coqide.8.15.0/opam
+1
-1
packages/coqide/coqide.8.15.1/opam
+1
-1
packages/coqide/coqide.8.15.1/opam
+1
-1
packages/coqide/coqide.8.15.2/opam
+1
-1
packages/coqide/coqide.8.15.2/opam
+1
-1
packages/coqide/coqide.8.16.0/opam
+1
-1
packages/coqide/coqide.8.16.0/opam
+1
-1
packages/coqide/coqide.8.16.1/opam
+1
-1
packages/coqide/coqide.8.16.1/opam
+1
-1
packages/coqide/coqide.8.17.0/opam
+1
-1
packages/coqide/coqide.8.17.0/opam
···
39
39
dev-repo: "git+https://github.com/coq/coq.git"
40
40
41
41
url {
42
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
42
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
43
43
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
44
44
}
+1
-1
packages/coqide/coqide.8.17.1/opam
+1
-1
packages/coqide/coqide.8.17.1/opam
···
39
39
dev-repo: "git+https://github.com/coq/coq.git"
40
40
41
41
url {
42
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
42
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
43
43
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
44
44
}
+1
-1
packages/coqide/coqide.8.7.1/opam
+1
-1
packages/coqide/coqide.8.7.1/opam
···
37
37
synopsis: "IDE of the Coq formal proof management system."
38
38
flags: light-uninstall
39
39
url {
40
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
40
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
41
41
checksum: [
42
42
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
43
43
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coqide/coqide.8.7.2/opam
+1
-1
packages/coqide/coqide.8.7.2/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.7.2.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"
42
42
checksum: [
43
43
"sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"
44
44
"md5=470c8f2bd74a085e1f71d5e4770e64e7"
+1
-1
packages/coqide/coqide.8.8.0/opam
+1
-1
packages/coqide/coqide.8.8.0/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.8.0.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0.tar.gz"
42
42
checksum: [
43
43
"sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"
44
44
"md5=9c97bb78eb051178d8b3731ae042c73f"
+1
-1
packages/coqide/coqide.8.8.1/opam
+1
-1
packages/coqide/coqide.8.8.1/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.8.1.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1.tar.gz"
42
42
checksum: [
43
43
"sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"
44
44
"md5=2dc320d35d4b1ffce5db1dc92c3aeb24"
+1
-1
packages/coqide/coqide.8.8.2/opam
+1
-1
packages/coqide/coqide.8.8.2/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"
42
42
checksum: [
43
43
"sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"
44
44
"md5=5d693cd1953a0dd74920b43d183bc26c"
+1
-1
packages/coqide/coqide.8.9.0/opam
+1
-1
packages/coqide/coqide.8.9.0/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system"
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.9.0.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"
42
42
checksum: [
43
43
"sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"
44
44
"md5=490c89609c1271fe7f20e6ea1bd107b5"
+1
-1
packages/coqide/coqide.8.9.1/opam
+1
-1
packages/coqide/coqide.8.9.1/opam
···
37
37
]
38
38
39
39
url {
40
-
src: "https://github.com/coq/coq/archive/V8.9.1.tar.gz"
40
+
src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"
41
41
checksum: [
42
42
"sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"
43
43
"md5=b0e47c588ca498073ad35eb5627a8852"