agda 2.5.1.1-4build2 source package in Ubuntu
Changelog
agda (2.5.1.1-4build2) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Thu, 06 Jul 2017 09:35:29 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Artful
- 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-4build2.debian.tar.xz | 9.5 KiB | 322328fc5cb81e88cb8ffeacac01a28cd68ff5aecf2cf0031d41c331d9b5a5d7 |
agda_2.5.1.1-4build2.dsc | 3.9 KiB | ca19a1e13cb963f9cdcfb96db6977233123ec7b94c47f126eb53af50c80f54df |
Available diffs
- diff from 2.5.1.1-4build1 to 2.5.1.1-4build2 (304 bytes)