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