Accepted agda-bin 2.3.0-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 23 Nov 2011 14:06:19 +0000
Source: agda-bin
Binary: agda-bin
Architecture: source amd64
Version: 2.3.0-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-bin - commandline interface to Agda
Changes:
agda-bin (2.3.0-1) unstable; urgency=low
.
* [f578578] Imported Upstream version 2.3.0
* [4a61a40] Update BDs and deps for new release
Checksums-Sha1:
5aafc2a4510c78c7369c5a34c179dbcb2077d0ab 1994 agda-bin_2.3.0-1.dsc
00c1009861e3ac419453c658a4e4488fb844e0a9 1764 agda-bin_2.3.0.orig.tar.gz
ed4abae7261985ca62161aad2543510c20a0f8c0 2964 agda-bin_2.3.0-1.diff.gz
5ff38481ff36e642b8596ef82ca272a1a9167759 5322680 agda-bin_2.3.0-1_amd64.deb
Checksums-Sha256:
bc3de5074da346cead283ad3ef9a4aa457f265f0ad9e2b1fb83c1433b116b759 1994 agda-bin_2.3.0-1.dsc
b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 1764 agda-bin_2.3.0.orig.tar.gz
59475f5473fd10da70f1fa2fb2ac01e2a3bd033c777cb7ee2073affaa1919fda 2964 agda-bin_2.3.0-1.diff.gz
c8089e02a935e90b8666282e9a1f1314eed9526d8f3a9924028cb46d8866fb3f 5322680 agda-bin_2.3.0-1_amd64.deb
Files:
a7eedcd8dfb6ba31cf6192c9b9bcef3b 1994 haskell extra agda-bin_2.3.0-1.dsc
8cf0b27b08a8cccb34431ba31093a823 1764 haskell extra agda-bin_2.3.0.orig.tar.gz
3b470db3c7ccb25800be8244fd5dadd2 2964 haskell extra agda-bin_2.3.0-1.diff.gz
bb3f7a0da94d629f0de417164dfa3f8d 5322680 haskell extra agda-bin_2.3.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJOzP68AAoJEONS1cUcUEHULnEP/RUJVzKyjCt0zpOR5OtDAdcu
DTwnJOadJSLOHFi7ZFEY21efuaLFQJfRKbviHlVE5JWgRMEeNRnUmB/SbMxHepQz
XE5WTEsTU3pUOH64U125g8gxzcMz1ueUq+PyU9fbmoeCNr6UP8GU6XFbfSd1jPfE
U/kd2CiyQEkM3pLF5Xj7CZZcAFuXrnTVGjTNPfMnZFYuqCOgTU+3Yf33SnVgdbX6
7QrsH5sqgj0AZoJ+1N56BNXfxbgRJh9hCAu5chJH6V2RGAW9nLHWvv8th6rpvy93
pEQN02fdgwnq5NRwzqQT6aq3Mo3eSDIGcxGCn/wA+f06UUwfcsJgi+DtIxNSuMCp
p7W1YbMtv+cWOUdJUC4edCyFWSJQEXTnlM9rESs7hsuqdMTuuB+o563jJtSt9o4F
2s60nFFvOKoVbnChC94SDQVSVCgzhwkxCWRTEPM0vClmeLvY74dog9zsR3H1yquz
cqBORQD5I3qscwKOsZ9fcoABcOnJGS7UicokGHp7N+jtIMapBXYsJcLHj0riQTO6
oRqrUTOsLVqwI7bb69w7ehzcBTNXkwuoBWHxr33GbH6bmdMNY0Qec1a1XfPMzc3X
mKaOlr3xumd+HboSlFcAPyRIFV639ygSB5lyd8h6zMG6SLAgkZgMkaNhr8e/fHPN
gKJRrHhsLaeQi4fBQLVp
=Oa22
-----END PGP SIGNATURE-----
Accepted:
agda-bin_2.3.0-1.diff.gz
to main/a/agda-bin/agda-bin_2.3.0-1.diff.gz
agda-bin_2.3.0-1.dsc
to main/a/agda-bin/agda-bin_2.3.0-1.dsc
agda-bin_2.3.0-1_amd64.deb
to main/a/agda-bin/agda-bin_2.3.0-1_amd64.deb
agda-bin_2.3.0.orig.tar.gz
to main/a/agda-bin/agda-bin_2.3.0.orig.tar.gz