projects / gentoo.git / commit
| author | Alexis Ballier <aballier@gentoo.org> | |
| Sat, 23 Jan 2016 17:28:28 +0000 (18:28 +0100) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Sat, 23 Jan 2016 17:28:36 +0000 (18:28 +0100) | ||
| commit | 45ad531930a4073deb4e3638ea32c80271ed35b5 | |
| tree | 9cbfca3507c6803dfec51852f65256f6b7093d8b | tree | snapshot |
| parent | 22aa1d77f19a26dbba1ab08bc97058dcbf4c7929 | commit | diff |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.5.ebuild | [new file with mode: 0644] | blob |
| sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch | [new file with mode: 0644] | blob |