sci-mathematics/agda-stdlib: bump up to 2.5.2.0.13
authorSergei Trofimovich <slyfox@gentoo.org>
Wed, 15 Feb 2017 22:20:01 +0000 (22:20 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Thu, 16 Feb 2017 10:21:24 +0000 (10:21 +0000)
commit3351557e82e54d622248b2679384b7885d0236cc
tree44307e2cb72ace64fad09689545d20e8acf07cb0
parent287a1f98dfc62419be02fd4a80ecaccac6b9dea8
sci-mathematics/agda-stdlib: bump up to 2.5.2.0.13

Package-Manager: Portage-2.3.3, Repoman-2.3.1
sci-mathematics/agda-stdlib/Manifest
sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild [new file with mode: 0644]