sci-mathematics/coq: bump to 8.5pl2
authorAlexis Ballier <aballier@gentoo.org>
Wed, 13 Jul 2016 12:55:30 +0000 (14:55 +0200)
committerAlexis Ballier <aballier@gentoo.org>
Wed, 13 Jul 2016 12:55:38 +0000 (14:55 +0200)
commit392e3abc1b00db32c5bad6f3a829c643bf8e4d6f
treef5f72df8d916ec83f9a2bf47bcd35561e59b3343
parent659bf2a1dd3a586af37f83d95a5045a2ba835be7
sci-mathematics/coq: bump to 8.5pl2

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