| author | Alexis Ballier <aballier@gentoo.org> | |
| Tue, 18 Jul 2017 17:13:58 +0000 (19:13 +0200) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Tue, 18 Jul 2017 17:18:24 +0000 (19:18 +0200) | ||
| commit | 510d11ec66f3399aad91e58310a40ad96d8a6dee | |
| tree | 3cf37befa73ed080f7a8bb1d60d5636a8b7a0e0a | tree | snapshot |
| parent | 4dd669fafc70477a3ff6fe7926818265c39e3635 | commit | diff |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.6.1.ebuild | [new file with mode: 0644] | blob |