projects / gentoo.git / commit
| author | Patrice Clement <monsieurp@gentoo.org> | |
| Sat, 25 Jun 2016 20:51:41 +0000 (20:51 +0000) | ||
| committer | Patrice Clement <monsieurp@gentoo.org> | |
| Sat, 25 Jun 2016 21:03:07 +0000 (21:03 +0000) | ||
| commit | fcefefe71ba9b05fa30693775f6adcc36b03c4a6 | |
| tree | 619a697d3f8da8f51da8905dee9634b08eac465e | tree | snapshot |
| parent | 5a7ad02075ebb4cb74929a1a532279b5f92a009b | commit | diff |
| sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch | [deleted file] | blob | history |
| sci-mathematics/coq/files/coq-8.4_p5-hevea.patch | [deleted file] | blob | history |
| sci-mathematics/coq/files/coqide.desktop | [deleted file] | blob | history |