-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 01 Oct 2018 17:50:16 +0300 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: source Version: 2.5.4.1-2 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> 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-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) Checksums-Sha1: 5f675680d5b0e5118af5f25dc7fd82950b6af2c0 4239 agda_2.5.4.1-2.dsc 5aa32f7a46f7e0987d7c62460242fb6e67b57d03 9936 agda_2.5.4.1-2.debian.tar.xz d3bf91477192f208b875dad05afb18aa5e259bf9 5771 agda_2.5.4.1-2_source.buildinfo Checksums-Sha256: dcd6636ed8b40b1a8720167f1146f2c213837878766062d8e231c0954244fa0c 4239 agda_2.5.4.1-2.dsc 650fd06faf1cd2758953889b0e838aedf86a852085b08a7b52a23fb26c034a20 9936 agda_2.5.4.1-2.debian.tar.xz f6cf89c63f6133acf35a342f812c111cba9d8d1aac05d222875ad2528e9247f8 5771 agda_2.5.4.1-2_source.buildinfo Files: dd887fbdb0b41f6d3668c22e95948a5d 4239 haskell optional agda_2.5.4.1-2.dsc 58ccd64413d94eaa1ff982a3e9f71c73 9936 haskell optional agda_2.5.4.1-2.debian.tar.xz 8e0d45d97d44804f493f1c8e1cdb7e9e 5771 haskell optional agda_2.5.4.1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAluybOgUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDzgkg/+J9/KqA+nabkoCznCxg8pcNRUhVm8 RgTo5NYtpQIIF7mCxR8neZpUXDchm2JlgGreE5d955wLp6P8HzuBUVmFXop5W6TJ n/OED2dP67xXZccKATsd6bK/yw8pNEDzGar+/1gFi+NOR/qJwHB5I6Z0vEoc7WU5 6i/tjGxLCK1tyTwa8IBUydMZ4SLDjGhIR25EZEsFmKwWgGMxjKaj3Pih4IR44R3h aQ9GlpSOH97qhy9q2etLc/EjRYwC+yHc5wBRdW78PAlH+sxDv3mJax2SDYVZLy+J ZVjtf7Ng95T7o2BwgKzVPr9zU/sumgzCZmoxnRfDMJMAKlgaNxDXNL3l2hqmbw28 FlsuB0ZlFihgkwvau51qDgq/YvWVI2rCVUrhQAqkP9/zTohH6lONtkaLwya/KZGF qAGvPU+qPlF3u2UscZcVfOux+cT/9a+Uf/HdxzPksV/LDoAopq9/9Tn/AEcjeR7a oyGpM0mP8mMrwrGxZXRaMQyA2IFaKrioHW5FUPYVlhoWqjmMS11UAUtM+M2kTLGp XsBAuTHQxgIPCl0TRjW01wdfxK45apuhGQxuSxHggeoVUEZ2/os/ktJ17a+blmJC 1UEqMoTGct2MuPYWFmWOtlW37qDz7q1+2X+ke1kBaPAxckJlkPbJlfbD469fGe47 R3oIN4+q0lbmCvI= =tMQ+ -----END PGP SIGNATURE-----
