bump to pl2
authorThomas Kahle <tomka@gentoo.org>
Sat, 13 Aug 2011 12:53:00 +0000 (12:53 +0000)
committerThomas Kahle <tomka@gentoo.org>
Sat, 13 Aug 2011 12:53:00 +0000 (12:53 +0000)
commitf4b22c027bbf755d150e67f92a963fb6c1bf6f39
tree5a2514145b4e948ae9a8acfc9996346b2727bc8e
parentb8406556e312003cc3410dabbbf47ddb8ed8059a
bump to pl2

Package-Manager: portage-2.1.10.10/cvs/Linux i686
sci-mathematics/coq/ChangeLog
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.3_p2.ebuild [new file with mode: 0644]