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 Pocket 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

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.