summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-04-12 17:41:40 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-04-12 17:41:40 +0100
commit5b36c18aaba339882ed70281371a1059d9e7943f (patch)
treeee1cf1ca0dffa2095e5f17a0f50578fee7f5562e /sci-mathematics/coq
parentd15be4fe2ff3e70717117a938dbe5a11cec60a7b (diff)
gentoo auto-resync : 12:04:2023 - 17:41:40
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r--sci-mathematics/coq/Manifest2
-rw-r--r--sci-mathematics/coq/coq-8.17.0.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 3097d08bf5c4..f96805c38305 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -7,5 +7,5 @@ EBUILD coq-8.12.0-r2.ebuild 1853 BLAKE2B 2a34013702abba1c9e1116397822684fcfd0906
EBUILD coq-8.13.0-r1.ebuild 1827 BLAKE2B c14222f64269417e09c02f581a281a5328cb71e203d365019a939846bd2c2d61c8a059e64f3df0027472927b8e36aea6b2b998de86799cd1c425481a3d98e3d3 SHA512 faad0043cabc4f2d2fa129878a233ba11d0ced13fbd2c0f947c6ee380a5a1efceb65bcc0ee8e84f4116a9c3b78beb940865c07aafd22816911a39a69f9b23138
EBUILD coq-8.15.2.ebuild 2402 BLAKE2B a1f9f44c17ea51c1a0536d02eaddbeba7eb5e441ec8562da3b9776dbafafbd30c50beb821d248e0a51dc56b3a5bec7feb36811d92277609d405b01229bdda17f SHA512 45c64aa13323c97c29dd4eeccc5b4e228b6abf51a3717bf62dee0c102df13c9a809073150d82be8ae7a07d43f62f52b4b7d2a69908f0ffed646b64a44d46c7e3
EBUILD coq-8.16.1.ebuild 2418 BLAKE2B 09538efce3b1ba1b96141fe56b4328ed5fdd9a2c3aeeabb94ab35af59027748e4e75f456edd6ea81d97f8a7cd2ace7c6a89af1c815139168bd2728ad8ceafc7e SHA512 37dd16c4b7d7ebb9c380f47e24c25bbdf361db401d593f1a0d21cd0842dc4a1c6ebfd1bafd1d6c661885811f2b00c3d1665e78efcc385c478216b832e7889a51
-EBUILD coq-8.17.0.ebuild 2318 BLAKE2B aedaaffa25443144c96c551980610b726b21fadc80a972ed9aad4c56d3c72e0415e88ec169c95e5c19e052933e9d0eb75ccc642f2bb34d78e0ad91740a2f3de2 SHA512 45e8b76a4bf851c2be74e1ed9c38de28ec95a320d73620806abd1124a59d7b843713ab0cd7592b42beed53509f01ccbb91eee96a293505123879f17c8bd845d6
+EBUILD coq-8.17.0.ebuild 2318 BLAKE2B 43895300c1c9b754f5c1d1cfc2140318f8ef32014bcfa59e47e21931efe8d9d115637791b0ddad99c6ecea9fefc172bfddaaef048cffe99ae769fdb807cef8eb SHA512 6f9149a727109283ec4f4ca883016478f0e77464542ca3798e068d3eea2d682eba1b226b37bdc1bc9e4c35c8c19997e1720f3abf2d42c6fc790d148137e0f8a4
MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc
diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild
index f8376e6eeb69..f634026e1cda 100644
--- a/sci-mathematics/coq/coq-8.17.0.ebuild
+++ b/sci-mathematics/coq/coq-8.17.0.ebuild
@@ -54,7 +54,7 @@ BDEPEND="
DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md CREDITS INSTALL.md README.md )
src_prepare() {
- # Remove failing tests. bug #859877
+ # Remove failing tests. bug #904186
rm -r test-suite/coq-makefile/timing || die
default