sci-mathematics/coq: bump to 8.6.1
authorAlexis Ballier <aballier@gentoo.org>
Tue, 18 Jul 2017 17:13:58 +0000 (19:13 +0200)
committerAlexis Ballier <aballier@gentoo.org>
Tue, 18 Jul 2017 17:18:24 +0000 (19:18 +0200)
commit510d11ec66f3399aad91e58310a40ad96d8a6dee
tree3cf37befa73ed080f7a8bb1d60d5636a8b7a0e0a
parent4dd669fafc70477a3ff6fe7926818265c39e3635
sci-mathematics/coq: bump to 8.6.1

Package-Manager: Portage-2.3.6, Repoman-2.3.2
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.6.1.ebuild [new file with mode: 0644]