remove ptex dep as it is going away
authorAlexis Ballier <aballier@gentoo.org>
Wed, 5 Oct 2011 18:54:43 +0000 (18:54 +0000)
committerAlexis Ballier <aballier@gentoo.org>
Wed, 5 Oct 2011 18:54:43 +0000 (18:54 +0000)
commit0b384dbe3b06f0fea0a02dbaeacd4073ea5c6857
tree474b55c1c6e58a4c03b18ff6dfe80b44cc26fd2f
parent2b11139f9b79542f709e413ab0cfc7cac0254540
remove ptex dep as it is going away

Package-Manager: portage-2.2.0_alpha61/cvs/Linux x86_64
sci-mathematics/coq/ChangeLog
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.3_p1.ebuild
sci-mathematics/coq/coq-8.3_p2.ebuild