agda 2.6.1-1build2 source package in Ubuntu
Changelog
agda (2.6.1-1build2) hirsute; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek <email address hidden> Thu, 29 Oct 2020 20:18:09 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Hirsute
- Original maintainer:
- Ubuntu Developers
- 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.1.orig.tar.gz | 2.5 MiB | 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 |
| agda_2.6.1-1build2.debian.tar.xz | 9.9 KiB | c8e574de00a2609282c82d3da2b27195b0add2067a4a734c67e39560112a5c77 |
| agda_2.6.1-1build2.dsc | 4.2 KiB | 859d915167e6e657cd978fff639b7d4f65bd834e28aa9abf0ecff41163f3cc9a |
Available diffs
- diff from 2.6.1-1build1 to 2.6.1-1build2 (310 bytes)
Binary packages built by this source
- agda: No summary available for agda in ubuntu impish.
No description available for agda in ubuntu impish.
- agda-bin: No summary available for agda-bin in ubuntu hirsute.
No description available for agda-bin in ubuntu hirsute.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu hirsute.
No description available for elpa-agda2-mode in ubuntu hirsute.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu hirsute.
No description available for libghc-agda-dev in ubuntu hirsute.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu impish.
No description available for libghc-agda-doc in ubuntu impish.
