diff options
| author |   Johannes Huber <johu@gentoo.org> | 2012-06-04 07:32:59 +0000 |
|---|---|---|
| committer | Johannes Huber <johu@gentoo.org> | 2012-06-04 07:32:59 +0000 |
| commit | e38104c18aef1944e24c2714aef87a0a10bf4846 (patch) | |
| tree | d30b321e59eb3f295cefe1708e9c1db1c6c41e59 /sci-mathematics/agda/files | |
| parent | Stable for x86, wrt bug #414375 (diff) | |
| download | gentoo-2-e38104c18aef1944e24c2714aef87a0a10bf4846.tar.gz gentoo-2-e38104c18aef1944e24c2714aef87a0a10bf4846.tar.bz2 gentoo-2-e38104c18aef1944e24c2714aef87a0a10bf4846.zip | |
Stable for x86, wrt bug #414375
(Portage version: 2.2.0_alpha109/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda/files')
0 files changed, 0 insertions, 0 deletions