agda 2.5.1.1-3build1 source package in Ubuntu
Changelog
agda (2.5.1.1-3build1) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Thu, 26 Jan 2017 06:14:24 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Zesty
- 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.1.1.orig.tar.gz | 1.1 MiB | 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 |
agda_2.5.1.1-3build1.debian.tar.xz | 8.9 KiB | 594d04a8b505e93e9acd6ac0650ade17ade8c60efdf0fb56ebaa4bfbad386f0e |
agda_2.5.1.1-3build1.dsc | 4.0 KiB | 5cefaa20229fe6f2229c9a0a5e5fc5aff0a5623fc8ce5fc4b297cda09967864d |