Accepted agda 2.4.0.2-2b1 (source)

Philip Muškovac yofel at kubuntu.org
Thu Aug 21 23:02:04 EDT 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 22 Aug 2014 02:56:23 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.0.2-2b1
Distribution: staging
Urgency: high
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Philip Muškovac <yofel at kubuntu.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
 agda (2.4.0.2-2b1) staging; urgency=high
 .
   * No-change rebuild against updated haskell libraries
Checksums-Sha1:
 4c68770cc436f2d8fc996860c5747b5b28ea73d0 3888 agda_2.4.0.2-2b1.dsc
 be39c0d619491a5767c2b5629b7ca504727084e9 7448 agda_2.4.0.2-2b1.debian.tar.xz
Checksums-Sha256:
 ec9044dd37802f158c088aeec6e23a0a5a6c7493ec905888396febc7f5e0dea5 3888 agda_2.4.0.2-2b1.dsc
 aed6b72552aed95034f2970bcc7163d881333f3e1687e80ecc63a9fe08292ff6 7448 agda_2.4.0.2-2b1.debian.tar.xz
Files:
 43212fd47e0cc85936f0c26bf79785b7 3888 haskell extra agda_2.4.0.2-2b1.dsc
 672f99fdfc54baa4125e4ab3e2a58f7a 7448 haskell extra agda_2.4.0.2-2b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJT9rFeAAoJEKBN28suwKn/qWMQALV7cM4ZRnCVO9E4cgVm8sYC
dNl+RKfIpvhbC7PsZI2RF68fHCuGO/YTlkTlT3F5ju6LsN3VxbXMO3BbfTfqTIBE
C8ZQPZe7VfvT6CaMAuOHGgso2duECJLSj2TX1kJGNViBYsVb02yofTDpD4gVFO7x
0k6rK0N8net7ThJ9zi+ZINeaa8KOF+u83C0atCrUhQ6KJ0zWqn4X/gHZrWMyE/tj
i8BS1P3UKkeWM9EZFBSt8rA4DUUmgGfca38sooGbN5dqQHVXBRonR9uuJmX9h6Cs
EU9sg1vS/v0FPsZXSIMAGF6Ixv8gFyR+UAyte06MYU6TPG8i3ApQAbFimAfCp+XT
h+88C4j4JeSZHzBqrW1s6GekAjKq4mZpuBVOG+krrL1kEzPPmqwLN+zIiJZDsrNK
lmQXMz37uiazT6WYn65p4mKPlTEE+iitM+Wr0N9bOeZGH/m8i2FiJLeIwcd/P7nu
VPvhwSFQiwxIte4iMFRIvjGF3o1VOWTBe1OkXCkkrhxq19pR/mLu7LOjm3A5hBbq
IhVTFO3Z80auD5CRvmf95yWjnV5yIU8TQYMpPuPgoBZVsUkRrHvVCCSfIfX1CHu2
AaOHzXM7d81jX8BZ+DEaHu2mE0XcITHh8F0U5A4bqXDzKE/7CrIrc1f8dEb2MLBD
s3p2DcezWgBUdVHM+4YY
=v4l1
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list