agda 2.4.0.2-1 source package in Ubuntu
Changelog
agda (2.4.0.2-1) unstable; urgency=medium * [6e140ac] Imported Upstream version 2.4.0.2 * [2049fc8] Update Build-Depends to match control * [93dc4d4] Install the new primitives * [e48f40f] Fix typo dev→doc -- Iain Lane <email address hidden> Tue, 05 Aug 2014 06:38:12 +0100
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.4.0.2-1.dsc | 3.8 KiB | 2e842c24aeb35fbcdf4a8179b167b4fcf072171b9fe8c11223c802f67fdc86d1 |
agda_2.4.0.2.orig.tar.gz | 889.1 KiB | 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d |
agda_2.4.0.2-1.debian.tar.xz | 7.0 KiB | ff5f214fd626afa7d97c0a575aef08837b7fe1b14aec6c3127ddeda345db695e |
Available diffs
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu utopic.
No description available for agda in ubuntu utopic.
- agda-bin: No summary available for agda-bin in ubuntu utopic.
No description available for agda-bin in ubuntu utopic.
- agda-mode: No summary available for agda-mode in ubuntu utopic.
No description available for agda-mode in ubuntu utopic.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu utopic.
No description available for libghc-agda-dev in ubuntu utopic.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu utopic.
No description available for libghc-agda-doc in ubuntu utopic.