agda-bin 2.2.6-1build1 source package in Ubuntu
Changelog
agda-bin (2.2.6-1build1) lucid; urgency=low * Rebuild to pick up new libghc6-agda-* 2.2.6-2 -- Iain Lane <email address hidden> Wed, 03 Feb 2010 11:06:09 +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-bin_2.2.6.orig.tar.gz | 1.6 KiB | 7baab70c305989c02ef206095f19a15cb70abe536f6e647bcd3844ebb3c0f2fc |
agda-bin_2.2.6-1build1.diff.gz | 2.4 KiB | e04822589263a2d0b0242cfbef7b4f3b92bee7c7700fdf8982056f7e13066342 |
agda-bin_2.2.6-1build1.dsc | 1.3 KiB | 87030f8d13985700eb49c4d6aa029d98e5cfad8491676dba08d64b2477159818 |
Available diffs
- diff from 2.2.6-1 to 2.2.6-1build1 (450 bytes)
Binary packages built by this source
- agda-bin: No summary available for agda-bin in ubuntu lucid.
No description available for agda-bin in ubuntu lucid.