Back to agda PTS page

Accepted agda 2.6.0.1-1 (source) into unstable



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

Format: 1.8
Date: Sat, 31 Aug 2019 10:02:33 -0400
Source: agda
Architecture: source
Version: 2.6.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Changes:
 agda (2.6.0.1-1) unstable; urgency=medium
 .
   * New upstream version.
Checksums-Sha1:
 75c5a3c515c101dc6f19991c7a92e726557df009 4190 agda_2.6.0.1-1.dsc
 91e6b136b91b160ea7e52426eba1eef850b075b5 2372106 agda_2.6.0.1.orig.tar.gz
 8936c9c0ce3e344c451463d57513780480bc1e94 10012 agda_2.6.0.1-1.debian.tar.xz
 74507f4cb13d79ac6f2a52e77c5d9aa3b7d910d9 14794 agda_2.6.0.1-1_source.buildinfo
Checksums-Sha256:
 2f8aeb45c35122da8af5d0557abec7f478e06135c75c23d7fee4919696ead98d 4190 agda_2.6.0.1-1.dsc
 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 2372106 agda_2.6.0.1.orig.tar.gz
 eba46b44678cdfcf69e819dd40265677ea3fcc609418a98eefd4639796c82c25 10012 agda_2.6.0.1-1.debian.tar.xz
 928f248c22bb01ba1c984f4610335568f0c21a5d5c59e18773351b0f976aef1b 14794 agda_2.6.0.1-1_source.buildinfo
Files:
 5f412ce5942e1cb1bd6070520dd637a9 4190 haskell optional agda_2.6.0.1-1.dsc
 05c683172d1008cf6f3a2452a013b75c 2372106 haskell optional agda_2.6.0.1.orig.tar.gz
 ff3e4e51a3e68fa8c37a428ed7e9c32d 10012 haskell optional agda_2.6.0.1-1.debian.tar.xz
 6c09019fd852450820b38b8a195bd9ae 14794 haskell optional agda_2.6.0.1-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAl1qf5kRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKil9w/9G68OpKiRhBwJwaPOeiaLl4UqPf7CAYJZ
U7z01hnxp7k7AGvvgEeDd6d4VdNtjkWUoEOotB09ryzL/Tua5riVXZFevz4OGQxa
FwBvSKrsQkYTmcdIGESvqiRZKbblcakqen1F9UGC16xpsIYT2nB8HT1wX6Bw+Qct
JRACuU2NnIAWgiYGbf258bPPoMxzfeTx7bXqkhm4PPUqjaa1W+Hjt6imQFGzM2eX
/FE4ImsSdZVtOaZPSWe1ylJCEewXyRueJgb10jPuiAgs9IokTAWm8H3PUfSGv9AY
1W9gbqyxXcLChcthJ8Leg4J1Uv6fR661f4JTVzd7ZiQIARjeDFfXWmtdeLwfs/k8
XdxGNdwzbvmNCoPnFK8yMs9WSX5QHC6rDFkUlGOQZ1KSrtd54YRZJ3yLJBNrNDdK
y4OEFuk2NqhORoVZYK0SCN7Edwg/E/MW1sWP09XL5lyEd2XSZNjg6DlAmu1RjrV4
3CMoXX+osSiN80+aIbTGwVeD8/u+jU6cV9AaY0QpoZgx5UjQ6k7Fw/vSUVio4PgU
wcqjdKyBaaKMTxn2UcNByuL6e6f21VJLHwY3PO2Sq1urVdfUOEhbuoAY8ZJfLwO+
AoRcLRVL8hEoMKPLIlpl9l7mSPoaGcE1ARXd6PUH/n+zwQOSp6mYPHRqPFdvpnWQ
U02+JiCXUfo=
=C/jr
-----END PGP SIGNATURE-----