-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 30 Sep 2018 11:01:07 +0300 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: source Version: 2.5.4.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@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.4.1-1) unstable; urgency=medium . [ Clint Adams ] * Set Rules-Requires-Root to no. . [ Ilias Tsitsimpis ] * New upstream release Checksums-Sha1: a9c775fedfa6db94011a610b469a73c33d67221a 4497 agda_2.5.4.1-1.dsc 8717e3b8fef13f09576dde1e272b84ac7cb3b17f 1989201 agda_2.5.4.1.orig.tar.gz e6339a8b13b0f92a003003c61c575aebce8bd1e3 9936 agda_2.5.4.1-1.debian.tar.xz 614271f378bec734cdb7089fe87bcf211540d151 5800 agda_2.5.4.1-1_source.buildinfo Checksums-Sha256: 1ab1239959ac203fd79bb56da0b59f358f6b02621a887fa1f1f6709e16a92ebb 4497 agda_2.5.4.1-1.dsc 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f 1989201 agda_2.5.4.1.orig.tar.gz dd78ce913be5ea8833c6480c673a54a56be6c12d6a2bcc466ddbbc74a6026bca 9936 agda_2.5.4.1-1.debian.tar.xz 775da4a19d869bc0c92d70e98c6ff0870c9e0d3bef16e2fa02f89bd49b7239bb 5800 agda_2.5.4.1-1_source.buildinfo Files: f51d243930adb49680f2aa8bce9b5f78 4497 haskell optional agda_2.5.4.1-1.dsc a805e2803e8ca937e754e80413075f67 1989201 haskell optional agda_2.5.4.1.orig.tar.gz 37bdd51e064cfbe0d86744a2716de8aa 9936 haskell optional agda_2.5.4.1-1.debian.tar.xz 40a6813e673c734254471b9fb99a9f38 5800 haskell optional agda_2.5.4.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAluwqqYUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDypdhAAt7oY0rnei2LEV/xpGMYxt4Ex6pWM e0AA9V1o/2Qn6WnCFPmgDjKmrTCcNocJ6hIqQfxhzmMGCBkjNgMJf3PxJSfi3dVa IjtBbwiJ8yPrjwVT1zK99kNkcs5RTjCdmJqWa9jRQY3bWHH69KGEvyUqSk7BflH/ 0P1yVAyIYv6AsmM/1msAxVvxYs4cMcq0JNNxZCLfK3L05h1ikfdZMLgXzmenYyFZ s5/qcwgkKkkx8tPYGTPIejxfQjsGWIv8YPANbNStIQTQkJfYzy0q6dz6NiR6naOs XSk+oInPyjTkhfts9l3WQxzDvwXGYzz3CyFsoUQpmzUjNkDDabk2wui19wpcwsPp vDwuYTshjfkuc7BrwTi/aHsxecN865sYuXHSO2jOUlDoUMfLzyF7IkB3bTH31H3J W7TFrriV+a6qA9CoWp8bPMIto1GPpmQWdYtbKbpU5kMlD6UdTulLRJCRtH/VEaLO h+m77hGwGnzqXGRdOJ5ztYQUtJa9FDofYYhB70f7F4i2wE6d6hKAmmlMBNOwWc04 o7puPZ19PWSUYXCX1PMw5k5XwLdx4D4v+b1IFZ40avst/9X/1nH3S63FSE8UsHTp nXkvq0ISfT0TPAJRdELT5ZjpCCMEwnL5FzvWakVNtx1S7rUR4zaevp0MUfYAYGyQ epaxY0dDVKvDhfM= =0cC9 -----END PGP SIGNATURE-----
