-----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
