| author | Alexis Ballier <aballier@gentoo.org> | |
| Tue, 15 Nov 2016 09:29:49 +0000 (10:29 +0100) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Tue, 15 Nov 2016 09:36:02 +0000 (10:36 +0100) | ||
| commit | 09762c0b7aef328edabb50aee2d01cd64d3bded7 | |
| tree | 57a5c376ff4bdc60bb77dff0f0fc2b89638dd906 | tree | snapshot |
| parent | aa84b8dd6f5a4877ac08470029424a634c97e287 | commit | diff |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.5_p3.ebuild | [new file with mode: 0644] | blob |