agda 2.5.1.1-3build4 source package in Ubuntu
Changelog
agda (2.5.1.1-3build4) artful; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek <email address hidden> Wed, 21 Jun 2017 05:28:44 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Artful
- 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.5.1.1.orig.tar.gz | 1.1 MiB | 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 |
| agda_2.5.1.1-3build4.debian.tar.xz | 9.6 KiB | df51de39e4a83b476daa304e44a43614c98ce093a3f6149cf1d63a85df862aa0 |
| agda_2.5.1.1-3build4.dsc | 4.1 KiB | dff95f3a26aff078ddc3986a5ab3afcd97b8e88a86c91a3be1d02e96e3a12c99 |
Available diffs
- diff from 2.5.1.1-3build3 to 2.5.1.1-3build4 (510 bytes)
