Publishing details

• Published on 2019-06-14
• Copied from debian sid in Primary Archive for Debian GNU/Linux

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

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• agda_2.5.4.1-3.debian.tar.xz (9.7 KiB)
• agda_2.5.4.1-3.dsc (3.8 KiB)
• agda_2.5.4.1.orig.tar.gz (1.9 MiB)