Ubuntu
agda-stdlib package

agda-stdlib 0.3-1ubuntu2 source package in Ubuntu

Changelog

agda-stdlib (0.3-1ubuntu2) lucid; urgency=low

  * debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
    timeouts on some slow architectures.
 -- Iain Lane <email address hidden>   Tue, 16 Feb 2010 12:05:13 +0000

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Lucid
Original maintainer:
Iain Lane
Architectures:
any
Section:
libs
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda-stdlib_0.3.orig.tar.gz 149.7 KiB 6761d21659ef90cedf039290d8bda3ffb252575fb3e0bb67e6f783f65bb161b3
agda-stdlib_0.3-1ubuntu2.diff.gz 3.6 KiB 505e092c89b6a368885db60d4d8008a3d3787447c58302626a25ec6d1cac6a58
agda-stdlib_0.3-1ubuntu2.dsc 1.3 KiB dac31e5689b4acccbaf6fd35b92ea6e803821ba3ff765a02769da67a531eb04a

Available diffs

View changes file

Binary packages built by this source

agda-stdlib: No summary available for agda-stdlib in ubuntu lucid.

No description available for agda-stdlib in ubuntu lucid.

agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu maverick.

No description available for agda-stdlib-doc in ubuntu maverick.