projects / gentoo.git / commit
| author | Matthieu Sozeau <mattam@gentoo.org> | |
| Thu, 18 Nov 2004 22:52:52 +0000 (22:52 +0000) | ||
| committer | Matthieu Sozeau <mattam@gentoo.org> | |
| Thu, 18 Nov 2004 22:52:52 +0000 (22:52 +0000) | ||
| commit | 1e3567c70b1670869d9f34b9217ff781bd236927 | |
| tree | 882bef0a5f475a736cc1b65f391444cf90554e71 | tree | snapshot |
| parent | 7bfae49b8979b3c6f0734943ba80930c11939c50 | commit | diff |
| app-sci/coq/ChangeLog | diff | blob | history | |
| app-sci/coq/Manifest | diff | blob | history | |
| app-sci/coq/coq-8.0-r1.ebuild | diff | blob | history | |
| app-sci/coq/files/coq-8.0-ocaml-3.08.1.patch | [new file with mode: 0644] | blob |