projects / gentoo.git / commit
| author | Olivier Fisette <ribosome@gentoo.org> | |
| Tue, 28 Dec 2004 05:01:49 +0000 (05:01 +0000) | ||
| committer | Olivier Fisette <ribosome@gentoo.org> | |
| Tue, 28 Dec 2004 05:01:49 +0000 (05:01 +0000) | ||
| commit | 9b08555463d5cf43274db31e19660eced643c53c | |
| tree | cb5653e6cbe1b9e5412967cbb45619a565e7a0d9 | tree | snapshot |
| parent | 7b178c56045be550acd985410a5060bfc668f6aa | commit | diff |
| app-sci/coq/ChangeLog | [deleted file] | blob | history |
| app-sci/coq/Manifest | [deleted file] | blob | history |
| app-sci/coq/coq-7.4.ebuild | [deleted file] | blob | history |
| app-sci/coq/coq-8.0-r1.ebuild | [deleted file] | blob | history |
| app-sci/coq/coq-8.0.ebuild | [deleted file] | blob | history |
| app-sci/coq/files/coq-8.0-byteflags.patch | [deleted file] | blob | history |
| app-sci/coq/files/coq-8.0-ocaml-3.08.1.patch | [deleted file] | blob | history |
| app-sci/coq/files/coqide.desktop | [deleted file] | blob | history |
| app-sci/coq/files/digest-coq-7.4 | [deleted file] | blob | history |
| app-sci/coq/files/digest-coq-8.0 | [deleted file] | blob | history |
| app-sci/coq/files/digest-coq-8.0-r1 | [deleted file] | blob | history |
| app-sci/coq/files/ocaml-3.07.patch | [deleted file] | blob | history |
| app-sci/coq/metadata.xml | [deleted file] | blob | history |