Accepted agda 2.5.4.1-1 (source) into unstable
-----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-----