diff options
author | Mark Wright <gienah@gentoo.org> | 2014-07-02 15:24:45 +0000 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2014-07-02 15:24:45 +0000 |
commit | 79fbd3ef9c3e460bb187b5d8ce632eb4a16e0234 (patch) | |
tree | 3a0904e6bb95ce034a6625d80fbf0913c0440db8 /perl-core | |
parent | Bump agda-stdlib to 0.8 (diff) | |
download | gentoo-2-79fbd3ef9c3e460bb187b5d8ce632eb4a16e0234.tar.gz gentoo-2-79fbd3ef9c3e460bb187b5d8ce632eb4a16e0234.tar.bz2 gentoo-2-79fbd3ef9c3e460bb187b5d8ce632eb4a16e0234.zip |
Bump agda-stdlib to 0.8
(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'perl-core')
0 files changed, 0 insertions, 0 deletions