diff options
| author |   Andreas K. Hüttel <dilfridge@gentoo.org> | 2013-07-12 20:27:49 +0000 |
|---|---|---|
| committer | Andreas K. Hüttel <dilfridge@gentoo.org> | 2013-07-12 20:27:49 +0000 |
| commit | 9d4fe23c908ccfc9a8f2d0b5b79e4131998b531b (patch) | |
| tree | 2151c35dfb813e3b61962a44d8854661ff7087ca /sci-mathematics/agda-stdlib | |
| parent | moved the pytest-runner dep to test? () (diff) | |
| download | gentoo-2-9d4fe23c908ccfc9a8f2d0b5b79e4131998b531b.tar.gz gentoo-2-9d4fe23c908ccfc9a8f2d0b5b79e4131998b531b.tar.bz2 gentoo-2-9d4fe23c908ccfc9a8f2d0b5b79e4131998b531b.zip | |
Untested version bump. Builds.
(Portage version: 2.2.0_alpha188/cvs/Linux x86_64, signed Manifest commit with key EBE6A336BE19039C!)
Diffstat (limited to 'sci-mathematics/agda-stdlib')
0 files changed, 0 insertions, 0 deletions