sci-mathematics/agda: bump up to 2.5.2
authorSergei Trofimovich <slyfox@gentoo.org>
Wed, 15 Feb 2017 22:18:19 +0000 (22:18 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Thu, 16 Feb 2017 10:21:23 +0000 (10:21 +0000)
commit287a1f98dfc62419be02fd4a80ecaccac6b9dea8
tree33814f3bdef18dac5ef1815f68477e76e4197ae5
parent4f70aacacff82814258dba0b253ffbe172157093
sci-mathematics/agda: bump up to 2.5.2

Package-Manager: Portage-2.3.3, Repoman-2.3.1
sci-mathematics/agda/Manifest
sci-mathematics/agda/agda-2.5.2-r1.ebuild [new file with mode: 0644]
sci-mathematics/agda/metadata.xml