Back to coq-float PTS page

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