summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-04-12 17:58:37 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-04-12 18:00:33 +0200
commiteb472103d1b4496f6c7b72a1f1997d06f4ce7b97 (patch)
tree1cd6d0ea8448afd055d3a37937d595c79b0b8bb8 /sci-mathematics/coq
parentmedia-gfx/eog-plugins: remove picasa USE flag (diff)
downloadgentoo-eb472103d1b4496f6c7b72a1f1997d06f4ce7b97.tar.gz
gentoo-eb472103d1b4496f6c7b72a1f1997d06f4ce7b97.tar.bz2
gentoo-eb472103d1b4496f6c7b72a1f1997d06f4ce7b97.zip
sci-mathematics/coq: update bug reference
Closes: https://bugs.gentoo.org/904186 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r--sci-mathematics/coq/coq-8.17.0.ebuild2
1 files changed, 1 insertions, 1 deletions
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