Accepted agda-stdlib 0.17-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 23 Nov 2018 17:54:52 -0700
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.17-1
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Sean Whitton <spwhitton@spwhitton.name>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Changes:
agda-stdlib (0.17-1) unstable; urgency=medium
.
* Team upload.
* New upstream release.
- Bump dep bounds on agda-bin & libghc-agda-dev.
Require 2.5.4.1 per upstream changelog.
Assume, at least for now, that agda-stdlib will break with 2.5.5.
* Drop spurious period from end of Standards-Version field.
* Point Vcs-* at salsa.
Checksums-Sha1:
bd6c82eec6b3820ee1457b57653168f42404ea55 2234 agda-stdlib_0.17-1.dsc
801be853df2d670c6a15d7abd7ecb7751256231c 397328 agda-stdlib_0.17.orig.tar.gz
6245e40c52e21b38866962c74dec69f64249f9c2 5312 agda-stdlib_0.17-1.debian.tar.xz
Checksums-Sha256:
71b3470293812b22a02b0bd8cfaea699d3ab1003672ea879da9207c21827c1ee 2234 agda-stdlib_0.17-1.dsc
ba4abf7451da119e73103edda66e04bcef0c440d2cf5a75dc4fe47f911cedbe8 397328 agda-stdlib_0.17.orig.tar.gz
13a34a7dfbad7ef59288678dd5a97e892af0a35af666bbff2b42022be7cd9835 5312 agda-stdlib_0.17-1.debian.tar.xz
Files:
c3ff28acbba9dbc57147bc077e7d38f2 2234 libs optional agda-stdlib_0.17-1.dsc
43c10d7da03125373a5cb1bbacbc52fa 397328 libs optional agda-stdlib_0.17.orig.tar.gz
fe5a92027169ee279fbfef54a07f70af 5312 libs optional agda-stdlib_0.17-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlv4oakACgkQaVt65L8G
YkAiGw/+LFWfpVCichcIKP4hnCMUn2+raNXUl8QqgW2sld6wBTcCZ51IzCvHQtd8
RbQDVIcjD5/DjPASOSqaVFwOQ1XOxmJR/H6tPU6TZ62WrpE+t+GWV8E+J7f7LFjE
t3F2Vce4Cc/X4oy3KpyokMM9z6QKSQEOKi3fWgxEyegsvW8amIQagGii5LkfoAp8
gwMtK4G1E4X5lWhTJWM9xTZAOjbQIhEPlDQUzKVKVo3gG9RewQz5vhqHMn1BiMce
h45szDYy8Fc6v5JGJEsH4bqOgSnzqVS8KAN3sKw0AXfD3HJ/poYperrDQRP0v1h7
n1yyRKP4ZuG1BXgFjagVnmfUX3WfCGLapaZm6Ox1O8VeUbWSART+6lJjDjMV3+4X
HeXhbG7J6ypC2wNzmwqyr2KOeUVwE+EzlOsyyRHI7a9dE00zAk+D1DgM3B9jpxrc
F1BeicnoFiTmwTaN/hiLSnsrOV2HfO3Ng6QbTv6CyHk/ACK4eR27V6o9D5zjt0aY
PbDbSMg2CSE6NMTSE3oHYcI82nOHIuI5/apqyo6IjTi3+JdRRAHln2u+y6gabBht
DM7/IQ0Gg8in5KxDT3E9VdhkylBNHbpkCtFotsX9N5JrP0cdocEnVtZe/xNS97p6
ArNApqh9ahvNbH9fzNUYFQB5pw2pXFyHYqTWB5vBb8PTaz8UGT0=
=cS32
-----END PGP SIGNATURE-----