Accepted agda 2.3.2.2-1b1 (source)

Jon Severinsson jon at severinsson.net
Tue Jun 17 02:17:04 EDT 2014


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

Format: 1.8
Date: Tue, 17 Jun 2014 08:02:07 +0200
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.3.2.2-1b1
Distribution: staging
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Jon Severinsson <jon at severinsson.net>
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.3.2.2-1b1) staging; urgency=low
 .
   * No-change rebuild against updated haskell libraries.
Checksums-Sha1:
 99a45663534ee6656ea9ad1e68864d76614af189 3332 agda_2.3.2.2-1b1.dsc
 4528bc51f71c35616fb99fd97bfbb48407565b28 7060 agda_2.3.2.2-1b1.debian.tar.xz
Checksums-Sha256:
 ba4613cf7b87070ad9f6e73b44a386ea6aec1fb38bf787f45e09a21f54c6e9e0 3332 agda_2.3.2.2-1b1.dsc
 8616aaffd81ff38f676fff51cb4f9a6a1a53ed4b4f5bbcd0997280afd49da483 7060 agda_2.3.2.2-1b1.debian.tar.xz
Files:
 6ec9bdbbd470de3b6aec9d1d4984248d 3332 haskell extra agda_2.3.2.2-1b1.dsc
 6aeb6c65245e4d4ee042ddd48e075f81 7060 haskell extra agda_2.3.2.2-1b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJTn9nlAAoJEM27o554QVrS+VIP/RbyAVL3DPVvWZG4s7Gk5tQh
1SWiXceRx2rMYq6SjLZzrU7ni2+tDeKPjmXABhfRTi9GOqnoPmU8VAKPdoeeSIXP
8rJRGETJOoY+Oq8t3RkefEETcg9MFlOSnGSgxBxoyniXtAUeoFuG89Qvhd4LSy0S
8RH0uoUM2VSjzQRlKVqa9C8aJlh4YCvydv5lzwB/mjeK53ry6dvTSv0DI7C/hMYt
hGgYMkDGnnIFyG6cBPm5b4qAJdmlx9lxSD1ibnHk+/87ixkhNsC7uL7eEszjEZ2A
PcQJJ2pxRLyQrQOV3FRX576ed3AIiBWgg2q0BDtT30SNZ97PPTji3RHLBA/qjXGB
QC6WVOtRXmi/ICHIctGL8rOZriV044WKhMQ5LxUmBgpk+y61SEtnto2Cnh//I0go
uTmmpUb+8SK8TU/kKdcS3nRu9gzBahRQnEwANX5ZCGRHVoQ8wB2+M5o4OaauVsAG
QzKzq+vu3P/qQMyobJVj+Dbv9YCNiWCGXDZ6GvJ4Qzhar08i1fcwSNNIp5hmEntk
7kd433YA3nPmrCrbn1iE9J13/0DW4Onb4rSK+Us3RwshykT2QGE3DfEaMRBnjzJF
AEja3XG1j7ER1ttqzowLQgU9G2pL/HVtnG2/wDXdwdn109ENEh7QF838ArooohI+
aSvQUYkoZJpTIcTru/lQ
=NCVV
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list