Accepted agda 2.5.3-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 13 Oct 2017 22:54:31 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata@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${haskell:ShortB
libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
agda (2.5.3-3) unstable; urgency=medium
.
* Search for .agda-lib files in /var/lib/agda
So that agda -l standard-library works out of te box
Checksums-Sha1:
8cc14a2ec8fd095152797112735b4cb6676f2025 4580 agda_2.5.3-3.dsc
9869bcc4dc041aff189482ec0ff91b700985deae 9744 agda_2.5.3-3.debian.tar.xz
3db9ed2e7590fa54c75b404c49e8a2c4f0f4ba3e 8541 agda_2.5.3-3_source.buildinfo
Checksums-Sha256:
e8701daad190c64ea6328d6b9b811d526b7f9968d4df3d970b1158d5a6b6e676 4580 agda_2.5.3-3.dsc
80d4f17c7d5dbe1ad0cd9fcd83cbf8dca8db7ac3edbae4698a4b39c60a4a19e6 9744 agda_2.5.3-3.debian.tar.xz
282b7a004096bc5c0321b8676b3cd425bb95efa138f1400dd370dc771d381a7e 8541 agda_2.5.3-3_source.buildinfo
Files:
96042acb3148f0432e17e65b9617bba1 4580 haskell extra agda_2.5.3-3.dsc
015709a87bf5607a3b26c725c1dada8f 9744 haskell extra agda_2.5.3-3.debian.tar.xz
0c740aa6e1afc57d8382ed56cc3b2a50 8541 haskell extra agda_2.5.3-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEGkYIf5Vdk8V8YFcbPZCKs/D79R8FAlnhfNQACgkQPZCKs/D7
9R9rPxAArPkvE9CDe8NVzvBdRsI3EV1fQp08EHvF4bpXmtlYwmd+0ie5D6cgtWRH
omkQrzZRbaS1A7Y0na/cz7aiASEOt93gkKElNTkkycwV0pijpuOLJBCw9T6sp8sY
r+S2TKMwa0zfxZ8hUW9rbEg76LnjuDl83AkD02Nau8rqSWwffEbWiOxrDpqVzkqC
Fo53iGlyl7P2clnTPdojGj41Zo/BcZiUFTBbZP2QtJ3sGqPHEkyGBjIytaDXeWqQ
esCAAXKIVMx317VC+SMxvvwKYwkrc7e1tcAlHQ4in5sAhb8mZssu9GjggJRzzlRM
WtaRON5iuqKqgIWGQ8zoMtmDxCrIeyQ5f3f4WoKPeH4t0Hp6KSxpVy2EaVzPiSxV
2R4jdpSWFqzf/HnGobaaOiEoOpNuYcb3YWp9K//2xvc9X4ZCC4hnE+IBb2MLj8r2
k71eWdqJwiHPqmwKEyt02/dqvp6bFyqMusWzNRCodODqalSkV2n8/He6agkVQ1qE
fhrEYT0n9iJvvXGmcJ+XxcWzeh2zkzUf4/HuoKuTVsQeogVZFIZi4LkVCAnHkgL/
ga3L9P7mVTlOSnvxZT+ys1x5w3LFlVl+9yCxoIB6yWsroJi3fvqz7182QFsXo7Ih
4wJ4WO73Ws+RUxK1QFFddqHDgeFFHhkT5X0Gw10shVxTBHVXLYI=
=jQ3B
-----END PGP SIGNATURE-----