-----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-----