diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-11-18 07:49:45 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-11-18 07:49:45 +0000 |
| commit | 2338d51656e2b9b1571fa2814814b2702653b82b (patch) | |
| tree | 6ddddebce3a92a2481f8694caa4cecbe989af855 /dev-ruby/ruby-shout | |
| parent | Bump agda to 2.3.2 (diff) | |
| download | historical-2338d51656e2b9b1571fa2814814b2702653b82b.tar.gz historical-2338d51656e2b9b1571fa2814814b2702653b82b.tar.bz2 historical-2338d51656e2b9b1571fa2814814b2702653b82b.zip | |
Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2
Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'dev-ruby/ruby-shout')
0 files changed, 0 insertions, 0 deletions