Back to agda PTS page

Accepted agda 2.5.3-2 (source amd64 all) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 13 Oct 2017 20:53:19 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source amd64 all
Version: 2.5.3-2
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-2) unstable; urgency=medium
 .
   * Typo in build-depends
Checksums-Sha1:
 8ce00af8cc206dcd36a3e5e19d902723d11bacad 4580 agda_2.5.3-2.dsc
 f4931ddde12b4fa68a5241a9411714729d7fbb2d 9080 agda_2.5.3-2.debian.tar.xz
 00c279a09066009be8bb14068f3f9d1ed2833e40 5801920 agda-bin_2.5.3-2_amd64.deb
 046002d0284e158bdab6226c1f8fcb66ec503723 105476 agda-mode_2.5.3-2_all.deb
 d05417eaf84102ac19f056e18d2839f8e82d5557 105902 agda_2.5.3-2_all.deb
 2963a834631a747c4e026d84885148aaf944f66b 13257 agda_2.5.3-2_amd64.buildinfo
 7d9d657e94d56060cf40d0b06e60acfd6b31baa0 142852 elpa-agda2-mode_2.5.3-2_all.deb
 814fb2f715187b39209954f361ffff0356929cc7 15949140 libghc-agda-dev_2.5.3-2_amd64.deb
 f9a9d42b889eead607e38753fc4d2e7d707f8755 2865722 libghc-agda-doc_2.5.3-2_all.deb
Checksums-Sha256:
 1896ca25d952753e9dcc9af222fe0cd481ed23b00e213e3817f7ca00f95797f7 4580 agda_2.5.3-2.dsc
 cbfc090e5af641aca5bf6e491996ee2c8e28850e0e1bf981fdc0e1a718cffb3d 9080 agda_2.5.3-2.debian.tar.xz
 d4ab1fe04a617e0206595a91bf7bc10e72920cac99ecb1e42c8953b21b16c319 5801920 agda-bin_2.5.3-2_amd64.deb
 4ccc55b9db006cc6f8f29fff8b5954c33ccfb4c0d7dc99a0744fd3f5bde20f02 105476 agda-mode_2.5.3-2_all.deb
 e869a926c5fada6012fdf5515918f5c07bde8a1a0c8b0d4538c5d540b7e89921 105902 agda_2.5.3-2_all.deb
 132a4fd490db673806c1054350e35826daafdfe0c4c473f569db96340b3383b1 13257 agda_2.5.3-2_amd64.buildinfo
 e497cefb3508fa4ebf1c01653a298a32676099447b1e812e33f1188a83ef7d74 142852 elpa-agda2-mode_2.5.3-2_all.deb
 be77334a29e4ec9034fe280a7112419a6f9713e9b0af30fe396dabea369a9401 15949140 libghc-agda-dev_2.5.3-2_amd64.deb
 171324af2d6767c24ea8e43309533b29c4a56d19c8ca7dbf42cbec481e9ca6d7 2865722 libghc-agda-doc_2.5.3-2_all.deb
Files:
 2c1909c5bc3f68180e6fa12f86db2226 4580 haskell extra agda_2.5.3-2.dsc
 af2f225fd49b7977ff6d888de8c710b7 9080 haskell extra agda_2.5.3-2.debian.tar.xz
 aa0c919511d2b159302a3a7a9dbfde8d 5801920 haskell extra agda-bin_2.5.3-2_amd64.deb
 292289c8722b9c84578ee1c8d82a7d2c 105476 oldlibs extra agda-mode_2.5.3-2_all.deb
 50e3629d0dcba4fbfd65fe2151231eb6 105902 misc extra agda_2.5.3-2_all.deb
 b751d0e0e60daea6a4bc2e406df759af 13257 haskell extra agda_2.5.3-2_amd64.buildinfo
 a359b8488088299dc7f8f1717a6b21b6 142852 editors extra elpa-agda2-mode_2.5.3-2_all.deb
 0f5f6fc4d4eb8d15ac7c2ec84680e85f 15949140 haskell extra libghc-agda-dev_2.5.3-2_amd64.deb
 be666e90815ff0ad1dd79e27c7debad3 2865722 doc extra libghc-agda-doc_2.5.3-2_all.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEGkYIf5Vdk8V8YFcbPZCKs/D79R8FAlnhZccACgkQPZCKs/D7
9R+YIg//WVvQN7QseTgY51YNzZP3QTbMuLCPSN8sEptZ1nmM917BZgsw/Rr3/VuS
Y0nRMltWe9NPm9i1coeCjxYJMD09aSGALnnh85QqzMR5UWoPAb1dYwNR/HrGJ97i
vAJVOGxr5fIYeh+DqqN28dHRB59+hFAEdCrUhS+EHUhrMvfK2vJbi9ZL6pTNn7qe
gSKP5turyHX7D0t65RpF5VrK513FYH2NY+nA/RuV3DdnhOj8SnStQ/gA3CfINtgc
dV8k5i10fFG3vN4Rk7OYtEFziCzlAg05q2Uorz4D34uc/nGIH1MLgODrO5H4gNfJ
tba55AeSECXYqswHEd91ytCMn5F0qpU3q+dMGZugtRKsKmZdtkG/63weSJF4jbjl
OU/zKMCoFT229IQ6HYIATDzQu+vmzE3gZGy5o4bPVbQ8upSbhj1ahRJeB8rlOqJE
1C3aC6dcJKv3XNEQoh/HhGW4W804KGFDoZ30HnPFFIWL2V24Z8bxX72rwE5mYD7T
Nu65THW8cWUzxr2viuxFaD4b2m/m1SGv83CF4061I3mIHlMMMaEpJ4i32Y0Lt8kg
56F8OTG/CFUIAZeaaxAoUrGv7Bm3Uttvr3BpFlnQELCxwcw/bSjaBCpVU/McBvYU
asBW7yzmawDs6NbRnmOSGjGpcOk+YybaQkPR6F7gvk0UvgsrIK8=
=d3u4
-----END PGP SIGNATURE-----