Accepted agda 2.5.3-5 (source) into unstable
-----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@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@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-----
Reply to: