Accepted agda-stdlib 0.12-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 23 Jun 2016 19:43:37 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.12-2
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Helmut Grohne <helmut@subdivi.de>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Changes:
agda-stdlib (0.12-2) unstable; urgency=medium
.
* Team upload.
* Add Breaks: agda-bin << 2.5.1: agdai files incompatible
* Switch Enhances from agda-mode to elpa-agda2-mode
* 60agda-stdlib.el: Switch to agda2-program-args as agda2-include-dirs is
deprecated
* Skip running tests when DEB_BUILD_OPTIONS contains nocheck.
Checksums-Sha1:
4b50fb7d2e3beb8ce926d2ad828abae490a8d5f1 2155 agda-stdlib_0.12-2.dsc
8fe842ad457609539b1e6ca59edba731984bae40 4996 agda-stdlib_0.12-2.debian.tar.xz
Checksums-Sha256:
9de3ac03c97f9a287b283c0ce68cea0b4c9b67d4b886375215d1a16ed5eff290 2155 agda-stdlib_0.12-2.dsc
4b76be7b82f401fd7968fd238d986bd3ad09acea44af71ee7e2524c9fcd1c86c 4996 agda-stdlib_0.12-2.debian.tar.xz
Files:
e15faaae19a64bb96b4839a1f1c33b76 2155 libs extra agda-stdlib_0.12-2.dsc
deac9f431a540c60ad8abcaacf406c64 4996 libs extra agda-stdlib_0.12-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJXbCFBAAoJEC0aqs8kRERCAhEP/RZWqjtOzUnDMr8JU72TCHHL
UzzC1rh8jd4HmrBOUkJYVy3Zbl/NwVw7iM9Zyq2ycCJq4AxtWw1I5RUMbfMotIX5
RryPHpT2OJUO/Sbs1JUBkazGncN7j2WGGKhhJZ1EESmmX9vFMGhJNv2bKlrq7ZrH
sgZ8mpxbYp9XQ7q6Ow2hvW2JkNEad5aevgPvHhc/Npy7z/x4wX4081wOkWU7ixSr
sQ++fCwfO0q20CFpBwbyWqgOl/l7AhrW8nG6errz4Y7cFS9hYn1dkyla9RnMSxxM
SkecxtchrFdUQgPwNcxMpDPz0ifiGwJ1mV7kSGEttuQKl9AJ7BgKKA/E3H/9HbO2
/z5jabG0I1se/z9hXJ8kP/r87QkAUGFFLd1Ig+zT5zrVp3cN6n44g7NelMe1zswB
jTmWvtPPH7CMUYAQZCiI+yoU1vacHsPTLp2yePcWPpQEAoLlRN4LzaF3gEz807X/
06zKE2q5cWMd0/ov0xbsQxHk2mdpbHuxwHuf+BX/6XN0Fpi/nVMCy1ckQOVKcir9
vZEGKiyKxYnAW/39mKEJ6uXpAKhhVVEc1wcm0rDgZepedbWr1evZkBGPN1my15Il
ET8QuI5bTuvcq50hE5GHVdBfyae1KxFShDgMM/qMIZHg5eTPZBEfCVrQ/V5ayxZD
qQc7ElHPbWJVM4fcWrFR
=Oqpw
-----END PGP SIGNATURE-----