agda 2.5.4.1-2 source package in Debian
Changelog
agda (2.5.4.1-2) unstable; urgency=medium * Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3) * Remove build dependency on libghc-text-dev (provided by ghc-8.4.3) * Remove build dependency on libghc-stm-dev (provided by ghc-8.4.3) -- Ilias Tsitsimpis <email address hidden> Mon, 01 Oct 2018 17:50:16 +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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.5.4.1-2.dsc | 4.1 KiB | dcd6636ed8b40b1a8720167f1146f2c213837878766062d8e231c0954244fa0c |
agda_2.5.4.1.orig.tar.gz | 1.9 MiB | 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f |
agda_2.5.4.1-2.debian.tar.xz | 9.7 KiB | 650fd06faf1cd2758953889b0e838aedf86a852085b08a7b52a23fb26c034a20 |
No changes file available.