lp:ubuntu/lucid/agda-stdlib
- Get this branch:
- bzr branch lp:ubuntu/lucid/agda-stdlib
Branch information
Recent revisions
- 4. By Iain Lane
-
debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures. - 3. By Iain Lane
-
* Upload to Lucid. Cannot immediately upload to sid as agda is tied up in a
GHC transition taking place.
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required becuase upstream's buildsys invokes
runhaskell, which isn't available everywhere.
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:ubuntu/maverick/agda-stdlib