Accepted agda 2.2.6-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 20 Feb 2010 20:12:57 -0200
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.6-3
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Marco Túlio Gontijo e Silva <marcot@debian.org>
Description:
agda-mode - the emacs mode for Agda
haskell-agda-doc - a dependently typed functional programming language - documentati
libghc6-agda-dev - a dependently typed functional programming language - development
libghc6-agda-prof - a dependently typed functional programming language - profiling l
Changes:
agda (2.2.6-3) unstable; urgency=low
.
[ Iain Lane ]
* debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
timeouts on some arches. This was taken from the GHC6 source package and
modified a bit to add some rudimentary locking. Previously the build was
timing out on some slow arches (armel, mips*) but does actually make
progress and complete when given enough time
* debian/control:
+ Add field ${haskell:Provides} to -dev and -prof packages in preparation
the upcoming GHC6/haskell-devscripts uploads into unstable
+ Standards-Version bump to 3.8.4, no changes required
.
[ Marco Túlio Gontijo e Silva ]
* debian/control: Remove unneeded Build-Depends: on libghc6-utf8-
string-*.
* debian/control: Bump version of haskell-devscripts on Build-Depends
to 0.7. Remove versioned Build-Depends: of ghc6* and remove
hscolour and haddock from Build-Depends:.
* debian/control: Split Build-Depends in Buid-Depends-Indep:.
* debian/control: Use all haskell: variables.
* debian/watch: Use format that downloads current version and checks
for new versions.
Checksums-Sha1:
e99662a9e0999a17dd0bcb76f2a832eeca370512 2750 agda_2.2.6-3.dsc
1e11abc883395002e406f899051e7f37a0c15507 5364 agda_2.2.6-3.diff.gz
8c0094936e772c4a01c62b04e308ae7a8ca544c0 1097098 haskell-agda-doc_2.2.6-3_all.deb
1dc3f98f276f04445c9cdd8d087cb8877403eb52 39734 agda-mode_2.2.6-3_all.deb
f9bc31cae9560cf25a648935b28216bf07bf2819 10054260 libghc6-agda-dev_2.2.6-3_amd64.deb
ad6894b74c59212f1998befef7fa82b106c94902 14880846 libghc6-agda-prof_2.2.6-3_amd64.deb
Checksums-Sha256:
e2c0511e2146ad0bc5e78ac73a94df8391411c6e89c0feee751b7c840dbf27cd 2750 agda_2.2.6-3.dsc
dd4c138d351991e805615737e21728ef02ac521623370000610402e32def6fd5 5364 agda_2.2.6-3.diff.gz
4ae2fe07bfb602e66144798af37fbaed21200cc5401a8dcfdde029a577a74a12 1097098 haskell-agda-doc_2.2.6-3_all.deb
bbaa57d8fb8ae62d266e39c1c5d4eb435c47d1faafe5e4dc1a24b64b37115ec7 39734 agda-mode_2.2.6-3_all.deb
5a3ad2f61658e4346733260b953a5bac28f690f1979bc236e834bc3e612f9e59 10054260 libghc6-agda-dev_2.2.6-3_amd64.deb
0fe4bb08673a473cf38a5542e0fd2ed15301e19fd42cdd479ca552f77c1ef6a9 14880846 libghc6-agda-prof_2.2.6-3_amd64.deb
Files:
032a7f19a23e422ae606edb4126e6d29 2750 haskell extra agda_2.2.6-3.dsc
a463250d2f5704545eedf8cb4baab9b7 5364 haskell extra agda_2.2.6-3.diff.gz
8c1a03bc587384781c805adf81b0eb59 1097098 doc extra haskell-agda-doc_2.2.6-3_all.deb
61f64d8b3a3f5ab873f047c20e116fa6 39734 misc extra agda-mode_2.2.6-3_all.deb
8d7b44247ffc824e48bda35ccde771d9 10054260 haskell extra libghc6-agda-dev_2.2.6-3_amd64.deb
e94351991fef505eabe86ca0d1af3f4c 14880846 haskell extra libghc6-agda-prof_2.2.6-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkuIbjwACgkQhAwOmkV1TkTgiACfdoIOpjLuySsTRvE2vzTkTXi3
WUQAn1m1xBXupB5Bnq3zCmKVDoqbW1nt
=FlyG
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.6-3_all.deb
to main/a/agda/agda-mode_2.2.6-3_all.deb
agda_2.2.6-3.diff.gz
to main/a/agda/agda_2.2.6-3.diff.gz
agda_2.2.6-3.dsc
to main/a/agda/agda_2.2.6-3.dsc
haskell-agda-doc_2.2.6-3_all.deb
to main/a/agda/haskell-agda-doc_2.2.6-3_all.deb
libghc6-agda-dev_2.2.6-3_amd64.deb
to main/a/agda/libghc6-agda-dev_2.2.6-3_amd64.deb
libghc6-agda-prof_2.2.6-3_amd64.deb
to main/a/agda/libghc6-agda-prof_2.2.6-3_amd64.deb