sci-mathematics/coq: bump to 8.6
authorAlexis Ballier <aballier@gentoo.org>
Mon, 19 Dec 2016 12:05:14 +0000 (13:05 +0100)
committerAlexis Ballier <aballier@gentoo.org>
Mon, 19 Dec 2016 12:07:27 +0000 (13:07 +0100)
commit37a8e76548e74a613935f5452c3a1a5eefc35e4b
tree06de89c2295760aada34ece33b730c8a2e99c0db
parentb00c014a05c67c0a31495138019466e40a7d33d5
sci-mathematics/coq: bump to 8.6

Package-Manager: Portage-2.3.3, Repoman-2.3.1
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.6.ebuild [new file with mode: 0644]