diff options
| author |   Chris Reffett <creffett@gentoo.org> | 2014-01-27 23:42:21 +0000 |
|---|---|---|
| committer | Chris Reffett <creffett@gentoo.org> | 2014-01-27 23:42:21 +0000 |
| commit | a67be73793c731acd04a05ae77dcae45482fd45f (patch) | |
| tree | 48ef224c3085c52cf58962ed3be50ea406a32e4d /sci-mathematics/agda-stdlib | |
| parent | Version bump for bug 491150 (diff) | |
| download | historical-a67be73793c731acd04a05ae77dcae45482fd45f.tar.gz historical-a67be73793c731acd04a05ae77dcae45482fd45f.tar.bz2 historical-a67be73793c731acd04a05ae77dcae45482fd45f.zip | |
Version bump
Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64
Manifest-Sign-Key: 0x42618354
Diffstat (limited to 'sci-mathematics/agda-stdlib')
0 files changed, 0 insertions, 0 deletions