| author | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 14:37:25 +0000 (15:37 +0100) | ||
| committer | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 14:39:25 +0000 (15:39 +0100) | ||
| commit | 4e2efc914fdca78085ff8cd8af4283bcc2efcff3 | |
| tree | 0c4912248313252aef6200108a74d518ee75df16 | tree | snapshot |
| parent | b34ff9965dac1d8058194c7aea328d72d3e9463e | commit | diff |
| sci-mathematics/agda/Manifest | diff | blob | history | |
| sci-mathematics/agda/agda-2.4.0.1.ebuild | [deleted file] | blob | history |
| sci-mathematics/agda/agda-2.4.2.2-r1.ebuild | [deleted file] | blob | history |
| sci-mathematics/agda/agda-2.4.2.3-r1.ebuild | [deleted file] | blob | history |
| sci-mathematics/agda/agda-2.4.2.3-r2.ebuild | [deleted file] | blob | history |
| sci-mathematics/agda/agda-2.4.2.3-r3.ebuild | [deleted file] | blob | history |