agda 2.6.0.1-1build1 source package in Ubuntu
Changelog
agda (2.6.0.1-1build1) eoan; urgency=medium * Rebuild against new GHC abi. -- Gianfranco Costamagna <email address hidden> Sun, 01 Sep 2019 20:11:22 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Eoan
- 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.6.0.1.orig.tar.gz | 2.3 MiB | 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 |
agda_2.6.0.1-1build1.debian.tar.xz | 9.8 KiB | 0251e6a17cdb38b1911655624f62a5c9c3051cbeadaf1669fbd027ccb710e9cb |
agda_2.6.0.1-1build1.dsc | 4.1 KiB | bcdad1058be8eb8e57db7f50afc2b37efe56a88cb5c00232091e11fff00970d7 |
Available diffs
Binary packages built by this source
- agda: No summary available for agda in ubuntu eoan.
No description available for agda in ubuntu eoan.
- agda-bin: No summary available for agda-bin in ubuntu eoan.
No description available for agda-bin in ubuntu eoan.
- agda-mode: No summary available for agda-mode in ubuntu eoan.
No description available for agda-mode in ubuntu eoan.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu eoan.
No description available for elpa-agda2-mode in ubuntu eoan.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu eoan.
No description available for libghc-agda-dev in ubuntu eoan.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu eoan.
No description available for libghc-agda-doc in ubuntu eoan.