diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-04-12 17:58:37 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-12 18:00:33 +0200 |
commit | eb472103d1b4496f6c7b72a1f1997d06f4ce7b97 (patch) | |
tree | 1cd6d0ea8448afd055d3a37937d595c79b0b8bb8 /sci-mathematics/coq | |
parent | media-gfx/eog-plugins: remove picasa USE flag (diff) | |
download | gentoo-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.ebuild | 2 |
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 |