diff options
| author |   Mark Wright <gienah@gentoo.org> | 2019-09-24 19:45:23 +1000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2019-09-24 19:45:23 +1000 |
| commit | 983a017561dee1f3d28f9e3cc71f40ffdccbec41 (patch) | |
| tree | e570532c9754a1d2a2d2908274303107102e8689 /app-laptop | |
| parent | sys-kernel/vanilla-sources: Automated version bump to 3.16.74 - remove old. (diff) | |
| download | gentoo-983a017561dee1f3d28f9e3cc71f40ffdccbec41.tar.gz gentoo-983a017561dee1f3d28f9e3cc71f40ffdccbec41.tar.bz2 gentoo-983a017561dee1f3d28f9e3cc71f40ffdccbec41.zip | |
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>
Diffstat (limited to 'app-laptop')
0 files changed, 0 insertions, 0 deletions