Format: 1.8 Date: Sat, 20 Oct 2018 23:22:18 +0300 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: i386 Version: 2.5.4.1-3 Distribution: disco-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Ilias Tsitsimpis Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-mode - transitional dummy package for elpa-agda2-mode elpa-agda2-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language libghc-agda-doc - dependently typed functional programming language Changes: 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. Checksums-Sha1: d72512d65fadb1b81b77ca42c32208c0f29a1d51 5834332 agda-bin_2.5.4.1-3_i386.deb fc5e6c4a7941c05a1838b4227c9aca82525499c8 10540 agda_2.5.4.1-3_i386.buildinfo b44d418ff4880a1165ce9ba73cea9fa557149d0a 16687972 libghc-agda-dev_2.5.4.1-3_i386.deb Checksums-Sha256: 9ab9e346aa7e46ba5b6f746d457ecacd2ba8d9bef657ab95924042d80a53cd31 5834332 agda-bin_2.5.4.1-3_i386.deb 13ae03a772d8fa2dc87530d727867113febe0cb5d7261c0e3d25b6402615d813 10540 agda_2.5.4.1-3_i386.buildinfo 79a2ab58733cb5ece6577ab5d1dedd67b2643367f4360a255f2aa3167650f000 16687972 libghc-agda-dev_2.5.4.1-3_i386.deb Files: abd8ae6ae7fd45376fb62d8dcb6bf31c 5834332 haskell optional agda-bin_2.5.4.1-3_i386.deb 4a5f05cbcd93e1d2d3bd76be4f05a7f7 10540 haskell optional agda_2.5.4.1-3_i386.buildinfo c9beb54c25c4768c9bcb956edda7c2da 16687972 haskell optional libghc-agda-dev_2.5.4.1-3_i386.deb