| author | Alexis Ballier <aballier@gentoo.org> | |
| Wed, 13 Jul 2016 12:55:30 +0000 (14:55 +0200) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Wed, 13 Jul 2016 12:55:38 +0000 (14:55 +0200) | ||
| commit | 392e3abc1b00db32c5bad6f3a829c643bf8e4d6f | |
| tree | f5f72df8d916ec83f9a2bf47bcd35561e59b3343 | tree | snapshot |
| parent | 659bf2a1dd3a586af37f83d95a5045a2ba835be7 | commit | diff |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.5_p2.ebuild | [new file with mode: 0644] | blob |