diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-01-10 12:31:38 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-01-10 12:31:38 +0000 |
| commit | b029ab07ad5b503a38417b31326c9b64a3efc1ad (patch) | |
| tree | 1f1ff9acccb3d7d874c375894e60f880d4997cc1 /licenses/oasis | |
| parent | Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --... (diff) | |
| download | gentoo-2-b029ab07ad5b503a38417b31326c9b64a3efc1ad.tar.gz gentoo-2-b029ab07ad5b503a38417b31326c9b64a3efc1ad.tar.bz2 gentoo-2-b029ab07ad5b503a38417b31326c9b64a3efc1ad.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