Accepted coq-float 1:8.2-1.2-6 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 10 Mar 2011 22:17:35 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.2-1.2-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libfloat-coq - Coq library on floating-point arithmetic
Changes:
coq-float (1:8.2-1.2-6) unstable; urgency=low
.
* Rebuild with coq 8.2.pl2+dfsg-2 (no changes)
Checksums-Sha1:
243d5d4f8a95fc13584b57a9eac4d5951fccde12 1974 coq-float_8.2-1.2-6.dsc
00926bce6a88895b26ec9383c8c3de36dc16fe28 3156 coq-float_8.2-1.2-6.debian.tar.gz
37b4d67247a9a243cfb110abfe95b8bbe10ab2e1 10721526 libfloat-coq_8.2-1.2-6_all.deb
Checksums-Sha256:
4b7b9c0f00bcf986979357554b8487e8557201eef82e00fa10f9b33608d8fae8 1974 coq-float_8.2-1.2-6.dsc
ff3eb155c6800b2a77a16d357807f820231a21605ce906a3b26a03006d4d639f 3156 coq-float_8.2-1.2-6.debian.tar.gz
38f83bb6a0996528592253c5175498910643061bfdac96772301e540271b096c 10721526 libfloat-coq_8.2-1.2-6_all.deb
Files:
d3e7973a1ab3a933a59a6b79a5d30a99 1974 math optional coq-float_8.2-1.2-6.dsc
4fcb4786e3a948cdff6ff5b3b88f74ee 3156 math optional coq-float_8.2-1.2-6.debian.tar.gz
1406e2011971e077ab75b2b7e19854c5 10721526 math optional libfloat-coq_8.2-1.2-6_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJNeUxWAAoJEHhT2k1JiBrTVWcQAKodeQKQtXBRo+vx+sTysMTW
5qikFxU8eYZUbVJx4a1NP9DtjDSTynpctSn4Y0dpP4sPkgZ9wnj673ek0qnbhFQK
htiTG+mrvSZT+0x1ruwV0QzmgPvJMGM9vuj4q9Ip6UnH1wsQiID4Nym7hum2lZRz
eiKXGQYst6WwcFeAMBAX7Jp9/aDz2pMhoq8Znw1KK1CU7Nox8/LZDAiLYhYSMKqd
ZYXOrzyaHJ+dyLi+gOCKmfHlxRGG0iCqBN6BRIiOXnvKwyoxjyfKYPZZbxaCLnpv
9GptpTb7vOTxMBEMHAtBMY72KXa+dtWZK0YykZ0VVucM1VCD8JhKhgynPIJ28On0
Sl7odzxbiRTBpEKts1L6LfLbbQCe9IJcyhkw0mJuJCkW/GdlLDDb6JVcLbepThr/
CdvbOq+orPqAPC7wUTBOHDOsCqUklhs2qiAuggeseq3KOEPGrvDxuyGFIM2n2+LY
I6Eiw4hJU3+cTRkYT92o8HMcVbg54sd/0f3DQi2TqzYVCkSMHTyaaVkBKy27srCN
MVlfll5FA9S5XoyPGPpmYfNtsLASJ2zkPO2x3k25MozUimn5jvN9t58YtoN/7Xs8
y4U3KpiMeWQtYa3B7DTF0et0194nWP/QAzSgRtqj03+zVlh5g22N+79OhUwiRjD0
xktYHVAZPnAHrwpCldD+
=QP70
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.2-1.2-6.debian.tar.gz
to main/c/coq-float/coq-float_8.2-1.2-6.debian.tar.gz
coq-float_8.2-1.2-6.dsc
to main/c/coq-float/coq-float_8.2-1.2-6.dsc
libfloat-coq_8.2-1.2-6_all.deb
to main/c/coq-float/libfloat-coq_8.2-1.2-6_all.deb