author | Alexis Ballier <aballier@gentoo.org> | |
Mon, 23 Jan 2017 09:18:44 +0000 (10:18 +0100) | ||
committer | Alexis Ballier <aballier@gentoo.org> | |
Mon, 23 Jan 2017 09:18:44 +0000 (10:18 +0100) | ||
commit | 7b808055aa6318019d8b24d676963bb6ad0dfd62 | |
tree | 74ac0e736777f79f41aed6cb6b5f35f3e38b9b94 | tree | snapshot |
parent | 50e4df3eca96ce158fd0e386259d47645a7a57e6 | commit | diff |
sci-mathematics/coq/coq-8.5.ebuild | diff | blob | history | |
sci-mathematics/coq/coq-8.5_p3.ebuild | diff | blob | history | |
sci-mathematics/coq/coq-8.6.ebuild | diff | blob | history |