Branches for Lucid

Name Status Last Modified Last Commit
lp:ubuntu/lucid/agda-stdlib 1 Development 2010-02-16 12:05:13 UTC
4. debian/rules, debian/watcher.sh: Add ...

Author: Iain Lane
Revision Date: 2010-02-16 12:05:13 UTC

debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures.

11 of 1 result