Back to agda-bin PTS page

Accepted agda-bin 2.3.0.1-1 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 12 Mar 2012 14:31:48 +0100
Source: agda-bin
Binary: agda-bin
Architecture: source amd64
Version: 2.3.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata@debian.org>
Description: 
 agda-bin   - commandline interface to Agda
Changes: 
 agda-bin (2.3.0.1-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 026616b7ee3c4da7a596234b1f76e169b72e324e 1370 agda-bin_2.3.0.1-1.dsc
 cacbb5508fb6d870e7ddf7edb8198aa3cda380ef 1765 agda-bin_2.3.0.1.orig.tar.gz
 701416a72a33937476a75b96f3c578dac1243004 3008 agda-bin_2.3.0.1-1.diff.gz
 35ca420b78afa822622b34addce9f16dc9ac23d8 4911722 agda-bin_2.3.0.1-1_amd64.deb
Checksums-Sha256: 
 c9f43888cb808ac4ff9c93de850fdbac760108f1afd495d5666c82485d8830e2 1370 agda-bin_2.3.0.1-1.dsc
 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 1765 agda-bin_2.3.0.1.orig.tar.gz
 90a69a575cf80e327050b0762f5f29b291fc9df003ada748e36e95648491c0a5 3008 agda-bin_2.3.0.1-1.diff.gz
 630196157a7bda7f8db82de7cce1a1aa1236cbcea2afe597334b83d6ab3c2e6b 4911722 agda-bin_2.3.0.1-1_amd64.deb
Files: 
 325fcd82ee1de93563493ee7f6f5cc1b 1370 haskell extra agda-bin_2.3.0.1-1.dsc
 a9c803f0a829cf54d35b1a82f0ba6181 1765 haskell extra agda-bin_2.3.0.1.orig.tar.gz
 112223eebe7ed70bcae66a2a008e9077 3008 haskell extra agda-bin_2.3.0.1-1.diff.gz
 660be3420dbbeda304961c41011ff5d8 4911722 haskell extra agda-bin_2.3.0.1-1_amd64.deb

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

iEYEARECAAYFAk9d+uQACgkQ9ijrk0dDIGySgwCgxLJ2xPo5zw4wvjyhQmFgEpft
KakAnAzL0Bn7JTKuzk7kzqc7NKXkb1A0
=MlqW
-----END PGP SIGNATURE-----


Accepted:
agda-bin_2.3.0.1-1.diff.gz
  to main/a/agda-bin/agda-bin_2.3.0.1-1.diff.gz
agda-bin_2.3.0.1-1.dsc
  to main/a/agda-bin/agda-bin_2.3.0.1-1.dsc
agda-bin_2.3.0.1-1_amd64.deb
  to main/a/agda-bin/agda-bin_2.3.0.1-1_amd64.deb
agda-bin_2.3.0.1.orig.tar.gz
  to main/a/agda-bin/agda-bin_2.3.0.1.orig.tar.gz