sci-mathematics/coq: Clean up old.
authorPatrice Clement <monsieurp@gentoo.org>
Sat, 25 Jun 2016 20:48:45 +0000 (20:48 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Sat, 25 Jun 2016 21:02:56 +0000 (21:02 +0000)
commit5a7ad02075ebb4cb74929a1a532279b5f92a009b
tree9cf9c1df99911475f74d0149c3499518f6b31b3d
parent5acd3b7460ed72b77d2757695f4c7270ce725334
sci-mathematics/coq: Clean up old.

Package-Manager: portage-2.2.28
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.4_p5.ebuild [deleted file]
sci-mathematics/coq/coq-8.4_p6.ebuild [deleted file]