agda-bin 2.3.0.1-1 source package in Ubuntu
Changelog
agda-bin (2.3.0.1-1) unstable; urgency=low * New upstream release -- Joachim Breitner <email address hidden> Mon, 12 Mar 2012 14:31:48 +0100
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Precise | release | universe | haskell |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda-bin_2.3.0.1-1.dsc | 1.3 KiB | c9f43888cb808ac4ff9c93de850fdbac760108f1afd495d5666c82485d8830e2 |
agda-bin_2.3.0.1.orig.tar.gz | 1.7 KiB | 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 |
agda-bin_2.3.0.1-1.diff.gz | 2.9 KiB | 90a69a575cf80e327050b0762f5f29b291fc9df003ada748e36e95648491c0a5 |
Available diffs
- diff from 2.3.0-1 to 2.3.0.1-1 (1.1 KiB)
No changes file available.
Binary packages built by this source
- agda-bin: No summary available for agda-bin in ubuntu raring.
No description available for agda-bin in ubuntu raring.