| author | Jauhien Piatlicki <jauhien@gentoo.org> | |
| Wed, 13 Jan 2016 10:47:17 +0000 (11:47 +0100) | ||
| committer | Jauhien Piatlicki <jauhien@gentoo.org> | |
| Wed, 13 Jan 2016 10:48:36 +0000 (11:48 +0100) | ||
| commit | 48a5452baa282fe2426ab7a02b8723557274f668 | |
| tree | 88f09843d5c449666a64adf99e1286a5c0c6450c | tree | snapshot |
| parent | 31b95fca4a4aff9dbb4767e3ea04ff7d4ea2a96c | commit | diff |
| sci-mathematics/agda/agda-2.4.2.3-r3.ebuild | [new file with mode: 0644] | blob |