agda_2.5.3-5_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 29 Apr 2018 08:41:41 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-5
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Clint Adams <clint at debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-mode - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language
 libghc-agda-doc - dependently typed functional programming language
Changes:
 agda (2.5.3-5) unstable; urgency=medium
 .
   * Patch for newer EdisonCore.
Checksums-Sha1:
 e08c0e3867464eabb6f498d7d8a56c9d647bc6b0 4661 agda_2.5.3-5.dsc
 10378949e5d360b0901b7d1651ae8f1820263eea 1201344 agda_2.5.3.orig.tar.gz
 f017abd793e41b43305c9db0bf084e03aeee8d6a 10064 agda_2.5.3-5.debian.tar.xz
 fae71135de6777357ff83e32b4004657e6487d2a 8104 agda_2.5.3-5_source.buildinfo
Checksums-Sha256:
 6a143f110dfc0a00a1f06b595522fcd85912f5367b592e8488417327ce128dc0 4661 agda_2.5.3-5.dsc
 aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 1201344 agda_2.5.3.orig.tar.gz
 1d15cc9cbb2a4ac95ead190dedbbb0e864a78b866704edf5527b68677fc04b22 10064 agda_2.5.3-5.debian.tar.xz
 cd8343c2944d0da8655032b91d84498f79e65a6a4bdaf03af246e08b011467df 8104 agda_2.5.3-5_source.buildinfo
Files:
 cbf574a96d0c0874dd4cb8075bbe7427 4661 haskell optional agda_2.5.3-5.dsc
 3cab31f59cb3f49137fb6b64ba70125f 1201344 haskell optional agda_2.5.3.orig.tar.gz
 b8d9dc49f33eb7862a2c5f72938b9026 10064 haskell optional agda_2.5.3-5.debian.tar.xz
 c0a19e4ffb14865361e98ca0fb775982 8104 haskell optional agda_2.5.3-5_source.buildinfo

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAlrlvaRfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1
ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKgeihAAjFF/uF0l5Icba+l1AaReyjmfUs8R8Hev
/R1bbqA2p1m2QstANiQgADr7OdvEZpoioqnCrvozd8acMZXW/OvA0IlCOKpCPcqZ
dwk4JbL3j3p9s+P3RAuAyiKnadcxPxT1fKCH5OrsmoVS9+8xzTqimiwcK4prG50X
9ORSL1VEUwZWEKxdE5dyiDYxsz0gp8bJM7k8VaJTZSXR4YMX8uPukHECGlSCAaom
qAQk1+nL7rlA+3OD3wq/pbmJFivU1WSmqw7n/ksfsx8iA+Cwny1gl7BvRfdQEPvV
rug5GDmH9rcOcHEa2YdJO1ZShvDV+R8KjuzFqW2pnxf5KmR1deAe+nVSIYawuU1T
OcqDclS5V5DKD8pp2cbCKqSqsHZ6fubyICroRNtLkiPbJ/N+EhQwepTUElFROZg6
tKZU/CUQh+G8stSXG2zuaB0efoCcGQAXj6vpcMX8YU+sDqf9CtO8dkBltpPJvsdf
Uximw26vldJHdScVq0nL2eCJ78aXR15/QGiJOleNOcWmGRVJG7U36BUXUC180cb4
9OGtioSxoK9XFgFn2OGxKzgzObgun9x7Ntr5J1Zhm52MZJnB7kMlGtD6hV4CBVIb
7JeotlMIhUd00rbqOIeS6sYvBzRMwlaTMi8GlS5Qd9cnhoVbMpfbbYe6Fa6bb62k
3/AnyX+tIpc=
=IpGj
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.