| author | Andreas Sturmlechner <asturm@gentoo.org> | |
| Mon, 9 Apr 2018 19:28:31 +0000 (21:28 +0200) | ||
| committer | Andreas Sturmlechner <asturm@gentoo.org> | |
| Mon, 9 Apr 2018 19:30:47 +0000 (21:30 +0200) | ||
| commit | 352187786b501cc74cffc08ca3ea9bea2bf911ba | |
| tree | a4b050eb7b12f5a2ed9a78d3169869430c69b2da | tree | snapshot |
| parent | 35b1f24c754583f3a70f1eedf8c1045e54b478e0 | commit | diff |
| sci-mathematics/coq/coq-8.6.1.ebuild | diff | blob | history | |
| sci-mathematics/coq/coq-8.6.ebuild | diff | blob | history |