| author | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 21:07:28 +0000 (22:07 +0100) | ||
| committer | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 21:24:36 +0000 (22:24 +0100) | ||
| commit | bdf8483c7e14f6ebe1fb5cf8c79ce290688f3278 | |
| tree | 700c4a8282bfbcdde82311803c34cd7f283d4d93 | tree | snapshot |
| parent | 963885db33cd5c7cbf3a4d096c7cb381bf6f745f | commit | diff |
| sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | [new file with mode: 0644] | blob |
| sci-mathematics/agda/files/agda-make_install.patch | [deleted file] | blob | history |