projects / gentoo.git / commit
| author | Alexis Ballier <aballier@gentoo.org> | |
| Thu, 13 Jul 2017 21:20:38 +0000 (23:20 +0200) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Thu, 13 Jul 2017 22:09:34 +0000 (00:09 +0200) | ||
| commit | 75f659b0c5cde57481f29d939a90559e59027b60 | |
| tree | 9aed45ff14da4254c870099d24f6e9f8feaeefb0 | tree | snapshot |
| parent | 23ca3ecd5c3cba24b679d5f5ba97c27635b29211 | commit | diff |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.5.ebuild | [deleted file] | blob | history |
| sci-mathematics/coq/coq-8.5_p3.ebuild | [deleted file] | blob | history |
| sci-mathematics/coq/files/coq-8.4_p5-no-clean-before-test.patch | [deleted file] | blob | history |
| sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch | [deleted file] | blob | history |