agda 2.5.1.1-3build2 source package in Ubuntu
Changelog
agda (2.5.1.1-3build2) zesty; urgency=medium * Bump directory bounds -- Gianfranco Costamagna <email address hidden> Fri, 27 Jan 2017 07:34:56 +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-3build2.debian.tar.xz | 9.0 KiB | 04da9be96759e78897001282b1f638fd03b6356a38553e2bb9367cec345897fb |
agda_2.5.1.1-3build2.dsc | 4.0 KiB | 4f2e10bb16afb00a3d33bef743bdbffeff0f3626eaffb52de91f3b4d3fa3b10b |
Available diffs
- diff from 2.5.1.1-3build1 to 2.5.1.1-3build2 (785 bytes)