Back to agda PTS page

Accepted agda 2.5.4.1-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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: source
Version: 2.5.4.1-3
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-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:
 612a3a85ad79efa1bcd514360c58c74fcea32e37 3870 agda_2.5.4.1-3.dsc
 ab63e7dbb99ca7ff60a63d5cdcbaefc907d04762 9928 agda_2.5.4.1-3.debian.tar.xz
 b62d75f27c4d2fc84accd8f154bc923ce573f603 12284 agda_2.5.4.1-3_amd64.buildinfo
Checksums-Sha256:
 d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9 3870 agda_2.5.4.1-3.dsc
 aa66a9e92f0eb8132c99de531e6196ac9a9d8b7aff302622d8562249b7562981 9928 agda_2.5.4.1-3.debian.tar.xz
 5800c1d83949c0621006daa58f2a0b345adb739acafd9d3108b6fc03c7f90594 12284 agda_2.5.4.1-3_amd64.buildinfo
Files:
 47c9a42c5a4e66ce23ab7c72e9eafbbf 3870 haskell optional agda_2.5.4.1-3.dsc
 840d04368b645d8e6e3ab5bce2e1a57e 9928 haskell optional agda_2.5.4.1-3.debian.tar.xz
 2905b0f72f4e786a9b232c039ddf4401 12284 haskell optional agda_2.5.4.1-3_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAlvLkrYUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzjKg//eeUOPjq9RmptjGJM+WVSgrTN6ofS
1a9oPuLR2zwSXG1IIm4pu+t/iWHF2AVq5iJnZqAW2W71Qj2nvfcX4sWGazqqu75h
+1aHVweziuXY58Bx6TdqN9nkMeRH6m1JCWrt6tAaw00sbpFvt8onieL0Wny0EJDW
6YVBRiWmYMUqxDHiGyS/LCgyTuNmQKaNDsrueFG7LWFJcGtpCuwUsZ09iXxrVAt4
7Fl7p2d39qI4/n039EPBVXGYohwAQgpj+tjAsbG7HzYJ2+2w5NHnCL6iB8B47nhJ
z89EWK6AJJAIIARv7yeqtyE3kTNc4TOoyVeoC2YYyP4eIMeIhMFjN8u7M+LjZ6KU
sX5tJsqDxRLXhwdbKyLkB/sxiB2M/M8vrGfpcGISeEGcgt7o0ev7xl3fcbuEB+/o
WUlZ271jnezweiT1u8Z+0sMCpFFGoiSLgXR+G/ocyOE7YwSJCP48qhBbwYVj/eH3
XZMZa1HdaKLklH6kxGUStYC05jtKQJ/CUjVH2szDLGHjNv+7lE+sAhREPf//0JG8
fwvsYqH8agEWEzVvX0caoYtfKcIAjF56Ues3p5AowlqqCvyne37+VUFuBUPRE2PC
sn1gnkUmWfHn16QIEKiqIezm7zwYpffVA/1NI88F/E/+HyW7/SLV1/MR0D+0Qqlp
b6JB260CIB0queE=
=tvbv
-----END PGP SIGNATURE-----