agda 2.2.6-2ubuntu1 source package in Ubuntu
Changelog
agda (2.2.6-2ubuntu1) lucid; urgency=low
* debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
timeouts on some arches.
-- Iain Lane <email address hidden> Sun, 07 Feb 2010 23:18:03 +0000
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Lucid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.2.6.orig.tar.gz | 414.4 KiB | 19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e |
| agda_2.2.6-2ubuntu1.diff.gz | 4.7 KiB | 86b686ef4089a0147dcd15f2d9a9fecd2ecb12e39ac3ff249dfe0f4e037ac969 |
| agda_2.2.6-2ubuntu1.dsc | 3.0 KiB | 52251d868b6fd5fd1018737e57775e0d479adc80d1bc9eed1fb126de7d486502 |
Available diffs
- diff from 2.2.6-2 to 2.2.6-2ubuntu1 (801 bytes)
Binary packages built by this source
- agda-mode: No summary available for agda-mode in ubuntu lucid.
No description available for agda-mode in ubuntu lucid.
- haskell-agda-doc: No summary available for haskell-agda-doc in ubuntu lucid.
No description available for haskell-agda-doc in ubuntu lucid.
- libghc6-agda-dev: No summary available for libghc6-agda-dev in ubuntu lucid.
No description available for libghc6-agda-dev in ubuntu lucid.
- libghc6-agda-prof: No summary available for libghc6-agda-prof in ubuntu lucid.
No description available for libghc6-agda-prof in ubuntu lucid.
