agda 2.5.1.1-3 source package in Debian
Changelog
agda (2.5.1.1-3) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams <email address hidden> Thu, 27 Oct 2016 18:32:12 -0400
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Stretch | release | main | haskell |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.5.1.1-3.dsc | 4.1 KiB | 4cd50c2c794a4f9e83fca4e818b8de3c5a88932c5e4b1f56bf48c0d18ad0a52f |
agda_2.5.1.1.orig.tar.gz | 1.1 MiB | 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 |
agda_2.5.1.1-3.debian.tar.xz | 8.8 KiB | fc5425eb7e3305a5aef67ebdd4b7e4e57bd8342c14f49a006545e6e8eaa29537 |
Available diffs
No changes file available.