diff options
author | Mark Wright <gienah@gentoo.org> | 2013-01-10 12:31:25 +0000 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2013-01-10 12:31:25 +0000 |
commit | 41094bf3c5949cb7662ea2182477a41e3c962c93 (patch) | |
tree | 418659894da1b5fcb651fbf34224343f3551deb5 /licenses/oasis | |
parent | Bump to 2.0.4 (diff) | |
download | gentoo-2-41094bf3c5949cb7662ea2182477a41e3c962c93.tar.gz gentoo-2-41094bf3c5949cb7662ea2182477a41e3c962c93.tar.bz2 gentoo-2-41094bf3c5949cb7662ea2182477a41e3c962c93.zip |
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps
(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'licenses/oasis')
0 files changed, 0 insertions, 0 deletions