diff options
author | Kacper Kowalik <xarthisius@gentoo.org> | 2014-09-21 15:46:44 +0000 |
---|---|---|
committer | Kacper Kowalik <xarthisius@gentoo.org> | 2014-09-21 15:46:44 +0000 |
commit | 4c234f1a5d422871d0d26e1be37ea72d3f1aff89 (patch) | |
tree | 0a7fa884fedbabf78aa2c5c0202e215919bc98b3 /sci-mathematics/agda-executable | |
parent | NMU: Version bump. Fixes bug #519642. (diff) | |
download | gentoo-2-4c234f1a5d422871d0d26e1be37ea72d3f1aff89.tar.gz gentoo-2-4c234f1a5d422871d0d26e1be37ea72d3f1aff89.tar.bz2 gentoo-2-4c234f1a5d422871d0d26e1be37ea72d3f1aff89.zip |
Initial import, ebuild written by me
(Portage version: 2.2.12-r1/cvs/Linux x86_64, signed Manifest commit with key 0x5D21B852895192F9)
Diffstat (limited to 'sci-mathematics/agda-executable')
0 files changed, 0 insertions, 0 deletions