diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-09-13 06:58:33 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-09-13 06:58:33 +0000 |
| commit | 74128ba4f2af3179fa64cda02431f4f065110129 (patch) | |
| tree | 0c04354a74e8ac16bac3d74c59d41631e0742279 /sci-mathematics/kodkod | |
| parent | Bump agda-stdlib to 0.7 (diff) | |
| download | historical-74128ba4f2af3179fa64cda02431f4f065110129.tar.gz historical-74128ba4f2af3179fa64cda02431f4f065110129.tar.bz2 historical-74128ba4f2af3179fa64cda02431f4f065110129.zip | |
Patch agda 2.3.2.1 for haskell-src-exts 1.14
Package-Manager: portage-2.2.3/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/kodkod')
0 files changed, 0 insertions, 0 deletions