agda 2.5.4.1-3 source package in Ubuntu
Changelog
agda (2.5.4.1-3) unstable; urgency=medium
* Remove build dependency on non-existing libghc-edisoncore-dev.
The correct package is libghc-edison-core-dev.
* Remove build dependency on *-prof packages.
No profiling package is being built.
-- Ilias Tsitsimpis <email address hidden> Sat, 20 Oct 2018 23:22:18 +0300
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.4.1-3.dsc | 3.8 KiB | d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9 |
| agda_2.5.4.1.orig.tar.gz | 1.9 MiB | 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f |
| agda_2.5.4.1-3.debian.tar.xz | 9.7 KiB | aa66a9e92f0eb8132c99de531e6196ac9a9d8b7aff302622d8562249b7562981 |
Available diffs
- diff from 2.5.3-5build3 (in Ubuntu) to 2.5.4.1-3 (597.9 KiB)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu disco.
No description available for agda in ubuntu disco.
- agda-bin: No summary available for agda-bin in ubuntu eoan.
No description available for agda-bin in ubuntu eoan.
- agda-mode: No summary available for agda-mode in ubuntu disco.
No description available for agda-mode in ubuntu disco.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu eoan.
No description available for elpa-agda2-mode in ubuntu eoan.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu disco.
No description available for libghc-agda-dev in ubuntu disco.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu eoan.
No description available for libghc-agda-doc in ubuntu eoan.
