Back to agda PTS page

Accepted agda 2.4.0.2-1 (source all amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 05 Aug 2014 06:38:12 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.4.0.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-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.4.0.2-1) unstable; urgency=medium
 .
   * [6e140ac] Imported Upstream version 2.4.0.2
   * [2049fc8] Update Build-Depends to match control
   * [93dc4d4] Install the new primitives
   * [e48f40f] Fix typo dev→doc
Checksums-Sha1:
 6a775879bb922a9a0a7d65e9f81fd905315f20b9 3882 agda_2.4.0.2-1.dsc
 1c3b13ef833747294d2ba02d87bb97f9e81eee75 910389 agda_2.4.0.2.orig.tar.gz
 5f48118a789851a4d4a3c09f49a8a48738a1b0f2 7204 agda_2.4.0.2-1.debian.tar.xz
 b6cb35ade4068fb005ab8de9f3d413fe0d08e79d 1996662 libghc-agda-doc_2.4.0.2-1_all.deb
 620c83f7be6a17398f84d83b2eb2dd016cb27b0e 88240 agda-mode_2.4.0.2-1_all.deb
 c9e9e532e44a7b0926c6545010ea964cb5c4d926 56236 agda_2.4.0.2-1_all.deb
 68600d19cef4cd3fc9ea722147166e67083d2549 9751354 libghc-agda-dev_2.4.0.2-1_amd64.deb
 e91146174e3accc82ef7dc6743bfd20dec76a217 3919810 agda-bin_2.4.0.2-1_amd64.deb
Checksums-Sha256:
 2e842c24aeb35fbcdf4a8179b167b4fcf072171b9fe8c11223c802f67fdc86d1 3882 agda_2.4.0.2-1.dsc
 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d 910389 agda_2.4.0.2.orig.tar.gz
 ff5f214fd626afa7d97c0a575aef08837b7fe1b14aec6c3127ddeda345db695e 7204 agda_2.4.0.2-1.debian.tar.xz
 48e823ca518e21f440a7cf8b0977784003aa918d4a1c6fa5f9aa0080bd6fb9dd 1996662 libghc-agda-doc_2.4.0.2-1_all.deb
 1fa750e3f89423a455957453aa4d2cea1b62249b6ee6cd188c241b0615429976 88240 agda-mode_2.4.0.2-1_all.deb
 d15d11015f7d4f92dda7b4caccf53bb0da06271f24452d2f39dea05ed05336a2 56236 agda_2.4.0.2-1_all.deb
 e3be78d63d85b377673be975025c26046470c0255b532782cf5dd59093d03e1e 9751354 libghc-agda-dev_2.4.0.2-1_amd64.deb
 4902ef74ae033dc4deb9bcbea6cbbdef2c19dfa2da2c1f063c8f5fd905f94439 3919810 agda-bin_2.4.0.2-1_amd64.deb
Files:
 9441dd8b6060191ecb43e4a2bdcb5e61 1996662 doc extra libghc-agda-doc_2.4.0.2-1_all.deb
 d91457d1e8220ed9446085ab0c39e511 88240 misc extra agda-mode_2.4.0.2-1_all.deb
 a44b51e4a006a71d1bc5593406a0763c 56236 misc extra agda_2.4.0.2-1_all.deb
 d94da987fa21c06bc5e571fc452fd5ea 9751354 haskell extra libghc-agda-dev_2.4.0.2-1_amd64.deb
 20f557658b2c338c454bc67f2677a036 3919810 haskell extra agda-bin_2.4.0.2-1_amd64.deb
 f528172f9f427c1939613b108c5fdb6a 3882 haskell extra agda_2.4.0.2-1.dsc
 55e53ad12eed732c34284fd9c6b90d4b 910389 haskell extra agda_2.4.0.2.orig.tar.gz
 af529b0d0f8d791da4277ff0e0903bf2 7204 haskell extra agda_2.4.0.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJT4KCHAAoJEONS1cUcUEHUOJUQAJOnVq47mR1gGlvB8ja3ExvD
9vb3wA6sCuEoApwdAZEUt5BWPhW+Ps8n8cxBZIhxpAqLOB8uYQbFOQyRFm/aDnSk
0MBI2sTbnlBKMexP0SeeaYwNsmiHe11UucW6TfOFLC+Y1ZxVSGZgnEJTPJsO+n+s
a0C60A+zsSZae/6nU8wTwnJpK6nRsMOukWEen4Iir8GPzcUzz2a20+mx6wANiH0b
9mIeDll2IHdu7C+rgiNj1day6jpr3nvxgg4QnouC7tALdClJvzN10B0TqeT3QsyG
f8ZFSN/Tu71sAY/xUtILhL6hMzSB3ic1osQ85kk9XE18JQ1SFa+sQ7Teols1Edh4
gwYwVtKt38VmdBtnBGTgWVVnQHaxdm8Ib0VuET9DDpqdpNYnKYjwhMwYikVw05Fe
iulV72Dq99xRd+75+nkbDvCjXJ1pyT1fi9oHFNVRhPsAx3ddmlLyeaAHzhl6BzSr
qk/uO8XEqPo2goGPm4Y+woGXEhhAtBivreoJKYWBzTGuQjEJf5xG30fG+CygqTfD
5V/O2hJu+8tfhGLz7ldt/d0jqKbbMvcV5HC3pXWGahQnZO2ttDjj9lqJyBkuyCGX
fvjLHGLUS46MmRGg6BKm3+qg95x4mHAMF6vfS/gMFZ2NOcfdAk0KZC9IeJh0B5y5
9pogtdX0KXBJo/oxe5z2
=fJfu
-----END PGP SIGNATURE-----