sci-mathematics/coq: bump to 8.5pl3
authorAlexis Ballier <aballier@gentoo.org>
Tue, 15 Nov 2016 09:29:49 +0000 (10:29 +0100)
committerAlexis Ballier <aballier@gentoo.org>
Tue, 15 Nov 2016 09:36:02 +0000 (10:36 +0100)
commit09762c0b7aef328edabb50aee2d01cd64d3bded7
tree57a5c376ff4bdc60bb77dff0f0fc2b89638dd906
parentaa84b8dd6f5a4877ac08470029424a634c97e287
sci-mathematics/coq: bump to 8.5pl3

Package-Manager: portage-2.3.2
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.5_p3.ebuild [new file with mode: 0644]