sci-mathematics/coq: bump to 8.5pl1
authorAlexis Ballier <aballier@gentoo.org>
Mon, 11 Apr 2016 05:55:47 +0000 (07:55 +0200)
committerAlexis Ballier <aballier@gentoo.org>
Mon, 11 Apr 2016 05:55:54 +0000 (07:55 +0200)
commit34d7ae636f2768fcb371f3f404654d67013ef02f
tree32d94413a6c7e2558e9c136219012bc8c54f8166
parentf1fc7bdbb2ed98129536359ffa9e88331728513e
sci-mathematics/coq: bump to 8.5pl1

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.5_p1.ebuild [new file with mode: 0644]