agda 2.5.1.1-4 source package in Ubuntu
Changelog
agda (2.5.1.1-4) unstable; urgency=medium
[ Sean Whitton ]
* Remove myself as an uploader.
I do not expect to be able to look after this package for the buster
cycle.
[ Gianfranco Costamagna ]
* Team upload
* Bump directory bounds for ghc 8.0.2
* debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
- upstream build fix with new ghc
-- Gianfranco Costamagna <email address hidden> Fri, 27 Jan 2017 07:54:20 +0100
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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.5.1.1-4.dsc | 3.9 KiB | 4e2e447f45584b26a0728ec523e0fdbbfd1148e3923cb915ad89beae2fb22a93 |
| agda_2.5.1.1.orig.tar.gz | 1.1 MiB | 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 |
| agda_2.5.1.1-4.debian.tar.xz | 9.4 KiB | 8719c68ccd3f5d38ba1f0361fbc15a4d463f13d68730038eebfcf4fa4ad0f20f |
Available diffs
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu artful.
No description available for agda in ubuntu artful.
- agda-bin: No summary available for agda-bin in ubuntu artful.
No description available for agda-bin in ubuntu artful.
- agda-mode: No summary available for agda-mode in ubuntu artful.
No description available for agda-mode in ubuntu artful.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu artful.
No description available for elpa-agda2-mode in ubuntu artful.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu artful.
No description available for libghc-agda-dev in ubuntu artful.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu artful.
No description available for libghc-agda-doc in ubuntu artful.
