Back to agda PTS page

Accepted agda 2.3.2.1-1 (source all amd64)



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

Format: 1.8
Date: Sun, 16 Jun 2013 13:14:47 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.3.2.1-1
Distribution: unstable
Urgency: low
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.3.2.1-1) unstable; urgency=low
 .
   * [8cfbabf] Imported Upstream version 2.3.2.1
   * [74f34b0] Bump BD on mtl per .cabal file
   * [a3bff17] Drop Debian patches now obsoleted by this upstream release
Checksums-Sha1: 
 ece3f0ff43d7e0096ff3583a0cbc839517378050 3299 agda_2.3.2.1-1.dsc
 b0cb6fe0e95d75779d53e7c1d4d77a0c899ecc4e 730010 agda_2.3.2.1.orig.tar.gz
 d9a97a183f4e78bc717ce43499026e32dfa082b3 7250 agda_2.3.2.1-1.debian.tar.gz
 5a14eaa164e34cb8441f4708ee2cdfdbe196e7ad 2148190 libghc-agda-doc_2.3.2.1-1_all.deb
 bfa2fc38c864125f574a9a2a8542c2e336340b6a 49498 agda-mode_2.3.2.1-1_all.deb
 979ec3742f407cd3b7a6709954cc2754be9f0e9e 13868 agda_2.3.2.1-1_all.deb
 37e394875533be26e8f67472019acb28e4e9def9 13572332 libghc-agda-dev_2.3.2.1-1_amd64.deb
 f9845201e81800c72cc9ab1844b845c26e90bc9d 5352610 agda-bin_2.3.2.1-1_amd64.deb
Checksums-Sha256: 
 7513891fb9028aff78af21c0b81630bee866f5aaf6f2fc85c1356a643d659dc8 3299 agda_2.3.2.1-1.dsc
 790e02ed9af8b9b65ea704b765fd9937444ec1351da9bc2547aa8e9034038eb6 730010 agda_2.3.2.1.orig.tar.gz
 04cb5bdd141997222e9f7dac85746659ca917ed6575c8d9dd16eed6ee7f7560a 7250 agda_2.3.2.1-1.debian.tar.gz
 effa86a9d57ec861e3f84f8a38d05d3f5f4394e506607e5d5033b9e2377d798e 2148190 libghc-agda-doc_2.3.2.1-1_all.deb
 18a3c3748533a7259e88c95703c2bb025e571f1a3d0ea96fa33cb2e4629355d3 49498 agda-mode_2.3.2.1-1_all.deb
 1dc45a9e8cb080ececcf249f59c578a795d55faadc6da2acee6a9cdde3405a4d 13868 agda_2.3.2.1-1_all.deb
 bd2d79368f016ff9f277b9b3f3cfb00ce8764f9d0c97e820342f3a0edd9872e2 13572332 libghc-agda-dev_2.3.2.1-1_amd64.deb
 75d0f8c649ed8097c1e78af2b6465861759d8a9559f99ce5ebd8643bb211cce1 5352610 agda-bin_2.3.2.1-1_amd64.deb
Files: 
 6e7245173f8e86fb4484b2dd64942a69 3299 haskell extra agda_2.3.2.1-1.dsc
 b3549b00b8643426a09e94461764cf26 730010 haskell extra agda_2.3.2.1.orig.tar.gz
 6317bd64690efce3630187d413e98eb1 7250 haskell extra agda_2.3.2.1-1.debian.tar.gz
 3528c2a922c7b3c5b29d689b05751991 2148190 doc extra libghc-agda-doc_2.3.2.1-1_all.deb
 b79c92a4c281d5cef77c540495b4727d 49498 misc extra agda-mode_2.3.2.1-1_all.deb
 26b2ede018209b84f054c7cfb01bf590 13868 misc extra agda_2.3.2.1-1_all.deb
 819addc280594bc980595b492312b18f 13572332 haskell extra libghc-agda-dev_2.3.2.1-1_amd64.deb
 de9f6d398020e17e9732bbf3f21c04f7 5352610 haskell extra agda-bin_2.3.2.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJRvfGSAAoJEONS1cUcUEHUue0P/jXJHa4sr1tJXyZSY9djvlmW
ITbIaQBkX487Ip5fLTAT2cv2q16LKgijn9wuqC3EgO3Zb3LT0UVe6IoEOucq2Mv+
xTnmpaVOU7fl5Y6zugflBwew2LLG2+Bl+lkPqqDtMp4E52wNMuhtWnMFHx+KD1ko
Y6cjgJEgRGJFeDF/4U+SVhJ24rmJkbuNjFzqznLnLBzchvt9GZPPRYG/h1AGynx4
RjzKoJI8bzdiLccrBQQOpaztOV341r45At156/NxLvKOPZUe6kWP6yfhkT2Vz50t
Tc07F1pfjkdvlPMOZXAfRN6PSbDwynIZwQrPps+9cpHm8Flf3WgSFmlTMI9UnUkn
y5qGMusCsnJaiH+0CXvNbK9Yv/DVNJfKRPVQyPpBs91MG/n9eo8LdGP6D2QdM/sY
vfRpXuzFrJzGiTHxATHQ+8pVcYEKumUSJ99SBFJNrNkHQLNrS6yKrrMgueNjV9ql
4npQohlEb7yxaYk6wu5T2La8/NluXZiQhJdr64aQWMTO00As0W2eotoqswXgwwEn
r3UKK/tQ6qRvKGDQjQqLjncC1e3401zVpYt3SqKMMYF9TUbgCRW6w0gRCTFR11oU
22tDAxMKy5P0ceKk+zl39jvimStsQm7r8daqd/DY7PPO+tlvocPJ4T+OmACzN6JE
emr76mrUvyeVtaCsFYmH
=gZEV
-----END PGP SIGNATURE-----