Accepted agda-stdlib 0.3-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 02 Mar 2010 20:56:49 -0300
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source amd64 all
Version: 0.3-3
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@ubuntu.com>
Changed-By: Marco Túlio Gontijo e Silva <marcot@debian.org>
Description:
agda-stdlib - a dependently typed programming language - standard library
agda-stdlib-doc - a dependently typed programming language - documentation
Changes:
agda-stdlib (0.3-3) unstable; urgency=low
.
[ Iain Lane ]
* debian/control: Add missing procps | hurd build-dep so that ps is available
to run the ticker.
Checksums-Sha1:
a5697b2ce689dcc063f346c095e34f8386bad77a 1276 agda-stdlib_0.3-3.dsc
b943e64be16fe5a412ab6307e52db72ca5a1c615 3774 agda-stdlib_0.3-3.diff.gz
e5f3e501a641ced1bebc5ae62723a5eecc1f3e26 12071020 agda-stdlib_0.3-3_amd64.deb
da16582884690de0c850ae8d3dfa636803e3abc2 1182090 agda-stdlib-doc_0.3-3_all.deb
Checksums-Sha256:
8985bb6c353de39c7d07a6546aaee80cc1f51d87ddd3861f6cd27d2c5be20a3b 1276 agda-stdlib_0.3-3.dsc
c2f91462358a29277fb774df13d775ae2e077666534542b227e34222b8c8a846 3774 agda-stdlib_0.3-3.diff.gz
57eeff911f8c4ee9ad0330ec44a0f9765a800e6ff1ef8c164f902a22ed0bfb92 12071020 agda-stdlib_0.3-3_amd64.deb
d461039e3621f64bc269f13d0bf0c3a7b753ade6345114eb780b23dfd2928510 1182090 agda-stdlib-doc_0.3-3_all.deb
Files:
22bd7effc61e0ac64a9710d229903b01 1276 libs extra agda-stdlib_0.3-3.dsc
e309e8ec7aecdd882dfd7234e34c42f9 3774 libs extra agda-stdlib_0.3-3.diff.gz
16c778b4d6a4e1d5be08e94a32cf2591 12071020 libs extra agda-stdlib_0.3-3_amd64.deb
c809d5150e15aebba411538a3ac10abd 1182090 doc extra agda-stdlib-doc_0.3-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEUEARECAAYFAkuORCMACgkQhAwOmkV1TkSEKACggw4fHaQz0yj8YJiblORRORpX
4BIAl28GMNZAbeO/qpmcYrELlVr21Z4=
=3LO9
-----END PGP SIGNATURE-----
Accepted:
agda-stdlib-doc_0.3-3_all.deb
to main/a/agda-stdlib/agda-stdlib-doc_0.3-3_all.deb
agda-stdlib_0.3-3.diff.gz
to main/a/agda-stdlib/agda-stdlib_0.3-3.diff.gz
agda-stdlib_0.3-3.dsc
to main/a/agda-stdlib/agda-stdlib_0.3-3.dsc
agda-stdlib_0.3-3_amd64.deb
to main/a/agda-stdlib/agda-stdlib_0.3-3_amd64.deb
Reply to: