agda 2.5.2-2build1 source package in Ubuntu
Changelog
agda (2.5.2-2build1) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Sat, 15 Jul 2017 10:36:30 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Artful
- 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.orig.tar.gz | 1.2 MiB | d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 |
agda_2.5.2-2build1.debian.tar.xz | 8.9 KiB | d40b2b8560b7bf3b6c30dea5964f2d936d417cf2a7fd980be6a9b00736104004 |
agda_2.5.2-2build1.dsc | 4.0 KiB | c726a4a24c0b640abced94066d49ae6ddda579a31473ede9c775d3d8995edb3f |
Available diffs
- diff from 2.5.1.1-4build1 to 2.5.2-2build1 (752.0 KiB)
- diff from 2.5.2-2 (in Debian) to 2.5.2-2build1 (304 bytes)
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.