Accepted agda 2.5.4.1-2 (source) into unstable
-----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-----