| author | Alexis Ballier <aballier@gentoo.org> | |
| Mon, 11 Apr 2016 05:55:47 +0000 (07:55 +0200) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Mon, 11 Apr 2016 05:55:54 +0000 (07:55 +0200) | ||
| commit | 34d7ae636f2768fcb371f3f404654d67013ef02f | |
| tree | 32d94413a6c7e2558e9c136219012bc8c54f8166 | tree | snapshot |
| parent | f1fc7bdbb2ed98129536359ffa9e88331728513e | commit | diff |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.5_p1.ebuild | [new file with mode: 0644] | blob |