agda 2.6.0.1-1build5 source package in Ubuntu
Changelog
agda (2.6.0.1-1build5) groovy; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek <email address hidden> Wed, 01 Jul 2020 18:50:46 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Groovy
- 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.0.1.orig.tar.gz | 2.3 MiB | 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 |
agda_2.6.0.1-1build5.debian.tar.xz | 10.0 KiB | 78793d2ff943a4662cacef9232d5994339bf569990b5a5ebe12fa4f4034f2869 |
agda_2.6.0.1-1build5.dsc | 4.2 KiB | b643d307eb5401d8e53c70389cf2a05fa4386d4387b20a056e1eaf836889e8b0 |
Available diffs
- diff from 2.6.0.1-1build4 to 2.6.0.1-1build5 (323 bytes)