Accepted agda-stdlib 0.5-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 24 May 2011 10:26:15 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.5-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Iain Lane <laney@debian.org>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Closes: 573807 598708 599958
Changes:
agda-stdlib (0.5-1) unstable; urgency=low
.
* [9251e0b] Imported Upstream version 0.5
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [2c82171] Add watch file
* [0518fa6] No longer need procps | hurd BD as we no longer have the ticker
* [daf2445] Don't use upstream's make install — handled ourselves by
dh_install
* [1b86533] Update watchfile to point at new location
* [637f47d] Remove debian/gbp.conf as we are no longer building for exp
* [cc88671] Require Agda 2.2.10
* [e99dab5] Set maximum stack size to 1G to prevent overflows in the build
* [251cd1d] Run the test suite manually
* [a7db697] Set the variable in the emacs loading script properly
* [540ca3f] Improve short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [3f6879a] Set Maintainer to my d.o email address
Checksums-Sha1:
2723c4c6c0862f75dcbdaa693ff3304e9357d97d 1903 agda-stdlib_0.5-1.dsc
0d51bf6b8b2994ac67da3b32966cbe6e19f758cc 198083 agda-stdlib_0.5.orig.tar.gz
22e5cb37fb535b4e3a5e7726b7e5e5eb83a2d2d9 3647 agda-stdlib_0.5-1.diff.gz
9bdcf2b2d8aa852523ac618c2265dc031113349c 16086274 agda-stdlib_0.5-1_all.deb
0d402fd43e57e40f1eceb93f3184f56973922f66 1570408 agda-stdlib-doc_0.5-1_all.deb
Checksums-Sha256:
f82c2d71b6bb0271585a2ff0323398a57d8a2d07edf153dfce917bac3c040b8b 1903 agda-stdlib_0.5-1.dsc
ecdf9deddd9baae4ddddbc29bf1206717d6e683a213816777b5df55944f4363e 198083 agda-stdlib_0.5.orig.tar.gz
7e598498ef5edc57d13096d4b0001a0489e77c5075abe8710e03fa7918b9d019 3647 agda-stdlib_0.5-1.diff.gz
f4cc9c78ccc3343bbfef644c8387228269e0d0f2f13326af2bca14bc3a8edcba 16086274 agda-stdlib_0.5-1_all.deb
20964e8b97657587b6bcc38ac09b5b6ef459b986558d679b8cdc461494d54e67 1570408 agda-stdlib-doc_0.5-1_all.deb
Files:
064b04bc62ce370c5d7ef28b583cfbe4 1903 libs extra agda-stdlib_0.5-1.dsc
b14aa7adf14e91c5a308c9613d6c8881 198083 libs extra agda-stdlib_0.5.orig.tar.gz
d2051b18eb07b3b6d3c7190750c00469 3647 libs extra agda-stdlib_0.5-1.diff.gz
2abfdb22a545d16aa81d1818b7e1baed 16086274 libs extra agda-stdlib_0.5-1_all.deb
f8c02816cab0716832937b2462aec3b6 1570408 doc extra agda-stdlib-doc_0.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJN239BAAoJEONS1cUcUEHUaQsP/3I82slC3n2Li0xix/n5N986
mr0QVIbqtM0tQhhcFi1MjY+Ahvj2R+KZ7TkENzG2/YjKeXF/xsMJz9s+rkZnDSX/
Gz85V2MlO9zxBankRnncNLec1LjR7ERz43CFsELKXz1UC6tdb2VdPyBGstgYbyPr
GCQc5QwqsTu/89FNkRS3g7IPHYf0LVQVwYFaVIBZDM/nlrYKkWv77moAKuQKGb9E
BdkRUKfV6hMWrnryTQtdNSVIJyZ7eEfBLNMvMZ/0G8hHxbHyqLlCXNTeOp69eHDK
kxFI0o4ISoB94lNBWgFDA1ntzaAq2QT9IgyhVm3QyBYsbCZroEusbfoPwY74Ywss
ojKEBZAvVfDXAnw6ZLZREAoEo8A02XydQbbHPbyZTcjG48Xc/TBEYr4wgzWC/oNu
oObKZ9Cbo43q5ZBGA1sFeT7sqBQR6VvMB3zvG7493b4ivdZo7UYEy/g33lMqSVQK
aHtn1GTkdStYkj7+W50bOwjhqnuNxq3vpmrrGj0BX4ESFHlo+Z+0kGO1K5bSmXIY
jePnvzXItkFspsOKQ/npMiXteqxrlUJobQvAONGZHoHJCP9mQiji2lyr5kvFazqF
jezZnOoRawCr75WcHuVTN33YmWMBsWOwhBg91ilatG/vb65l6oR5h5ArMOSZORiL
RTeI/1BQB27SF0/aUV/I
=Xhv4
-----END PGP SIGNATURE-----
Accepted:
agda-stdlib-doc_0.5-1_all.deb
to main/a/agda-stdlib/agda-stdlib-doc_0.5-1_all.deb
agda-stdlib_0.5-1.diff.gz
to main/a/agda-stdlib/agda-stdlib_0.5-1.diff.gz
agda-stdlib_0.5-1.dsc
to main/a/agda-stdlib/agda-stdlib_0.5-1.dsc
agda-stdlib_0.5-1_all.deb
to main/a/agda-stdlib/agda-stdlib_0.5-1_all.deb
agda-stdlib_0.5.orig.tar.gz
to main/a/agda-stdlib/agda-stdlib_0.5.orig.tar.gz
Reply to: