author | Sergei Trofimovich <slyfox@gentoo.org> | |
Wed, 15 Feb 2017 22:20:01 +0000 (22:20 +0000) | ||
committer | Sergei Trofimovich <slyfox@gentoo.org> | |
Thu, 16 Feb 2017 10:21:24 +0000 (10:21 +0000) | ||
commit | 3351557e82e54d622248b2679384b7885d0236cc | |
tree | 44307e2cb72ace64fad09689545d20e8acf07cb0 | tree | snapshot |
parent | 287a1f98dfc62419be02fd4a80ecaccac6b9dea8 | commit | diff |
sci-mathematics/agda-stdlib/Manifest | diff | blob | history | |
sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild | [new file with mode: 0644] | blob |