projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5add80) | patch
sci-mathematics/coq: remove old
authorAlexis Ballier <aballier@gentoo.org>
Mon, 23 Jan 2017 09:04:30 +0000 (10:04 +0100)
committerAlexis Ballier <aballier@gentoo.org>
Mon, 23 Jan 2017 09:04:30 +0000 (10:04 +0100)
commit50e4df3eca96ce158fd0e386259d47645a7a57e6
tree14351224f4df13c275ba814b464889b4ad4798a9tree | snapshot
parentf5add80db83aba50dd9015184a6564cec0773c58commit | diff
sci-mathematics/coq: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1
sci-mathematics/coq/Manifest diff | blob | history
sci-mathematics/coq/coq-8.5_p1.ebuild [deleted file] blob | history
sci-mathematics/coq/coq-8.5_p2.ebuild [deleted file] blob | history
sci-mathematics/coq/files/oc43.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.