Back to agda PTS page

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