projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05ffb03) | patch
sci-mathematics/coq: Bump to 8.9.1
authorMark Wright <gienah@gentoo.org>
Tue, 24 Sep 2019 09:45:23 +0000 (19:45 +1000)
committerMark Wright <gienah@gentoo.org>
Tue, 24 Sep 2019 09:45:23 +0000 (19:45 +1000)
commit983a017561dee1f3d28f9e3cc71f40ffdccbec41
treee570532c9754a1d2a2d2908274303107102e8689tree | snapshot
parent05ffb033975b85cae19b17994268ee8bbb4e4f74commit | diff
sci-mathematics/coq: Bump to 8.9.1

Thanks to Han and Anton Kochkov for requesting the bump.

Closes: https://bugs.gentoo.org/653864
Closes: https://bugs.gentoo.org/672038
Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Mark Wright <gienah@gentoo.org>
sci-mathematics/coq/Manifest diff | blob | history
sci-mathematics/coq/coq-8.9.1.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.