agda 2.5.2-2 source package in Ubuntu
Changelog
agda (2.5.2-2) unstable; urgency=medium * Team upload. * Bump ieee754 bounds. -- Gianfranco Costamagna <email address hidden> Mon, 10 Jul 2017 12:54:36 +0200
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.5.2-2.dsc | 4.0 KiB | c51fd41bf0a5db8e5ab70b948a58e11567dd42dcf645fa44f52d78cd343d92a8 |
| agda_2.5.2.orig.tar.gz | 1.2 MiB | d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 |
| agda_2.5.2-2.debian.tar.xz | 8.8 KiB | 2b668c25270e208494d9649eff1466e73f35e40bf91877bf99de53a687ee4529 |
Available diffs
- diff from 2.5.2-2~build1 (in Ubuntu) to 2.5.2-2 (231 bytes)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu artful.
No description available for agda in ubuntu artful.
- agda-bin: No summary available for agda-bin in ubuntu artful.
No description available for agda-bin in ubuntu artful.
- agda-mode: No summary available for agda-mode in ubuntu artful.
No description available for agda-mode in ubuntu artful.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu artful.
No description available for elpa-agda2-mode in ubuntu artful.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu artful.
No description available for libghc-agda-dev in ubuntu artful.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu artful.
No description available for libghc-agda-doc in ubuntu artful.
