author | Sergei Trofimovich <slyfox@gentoo.org> | |
Wed, 15 Feb 2017 22:18:19 +0000 (22:18 +0000) | ||
committer | Sergei Trofimovich <slyfox@gentoo.org> | |
Thu, 16 Feb 2017 10:21:23 +0000 (10:21 +0000) | ||
commit | 287a1f98dfc62419be02fd4a80ecaccac6b9dea8 | |
tree | 33814f3bdef18dac5ef1815f68477e76e4197ae5 | tree | snapshot |
parent | 4f70aacacff82814258dba0b253ffbe172157093 | commit | diff |
sci-mathematics/agda/Manifest | diff | blob | history | |
sci-mathematics/agda/agda-2.5.2-r1.ebuild | [new file with mode: 0644] | blob |
sci-mathematics/agda/metadata.xml | diff | blob | history |