Accepted coq-float 1:8.2-1.2-4 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 10 Feb 2010 21:47:18 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.2-1.2-4
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-4) unstable; urgency=low
.
* Rebuild with OCaml 3.11.2
* Rewrite debian/rules with dh overrides
* Install *.vo files in user-contrib/Float
* debian/control:
- move to section math
- bump dependency to debhelper
- update my e-mail address, remove DMUA
- update Standards-Version to 3.8.4 (no changes)
Checksums-Sha1:
3a3d42c5a9b28dbc6e25483a1b4bc9ecf1b22960 1948 coq-float_8.2-1.2-4.dsc
6b11443b53431c9b12b976d6c24b973d530e0476 2744 coq-float_8.2-1.2-4.diff.gz
4441b14e7d366efd4d459a617d45b063293dbcad 10728164 libfloat-coq_8.2-1.2-4_all.deb
Checksums-Sha256:
4fca3f7b8886cbbac576fa4b8c6571973a43573fd6409bd797120a203a671dca 1948 coq-float_8.2-1.2-4.dsc
5f6ac1038590627203c1f93b6a66135fe081e0258f4983c079dcfaeeca847353 2744 coq-float_8.2-1.2-4.diff.gz
f4e18f1d0c9ca24c2faf72abbc57a1be7969428b6fa93d415f9a5f86a3b98307 10728164 libfloat-coq_8.2-1.2-4_all.deb
Files:
65e383bc9506b99500ffc8b6f24edcd8 1948 math optional coq-float_8.2-1.2-4.dsc
e9a0cd9099d95a302685c3485d436b54 2744 math optional coq-float_8.2-1.2-4.diff.gz
f6eadea502db767c80c49c712a5e1078 10728164 math optional libfloat-coq_8.2-1.2-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLcyLtAAoJEHhT2k1JiBrTdusP/3h+XqoszxP9tRElKqNvBkBI
udZiVb74cHkXMfXlsuMbG0x402CKrsTz5QziCtNA2XS3hK5tyBz3tK43z6O81jcs
/Wu2ZsKeZ+rD8ZrrB8zB+0c3nu5Aatzg2L2i9PXoprDtDJ+yH+fHYQQTwAaEzw0B
pEPkkna8S+ii9NpzW3VFqTQNvfw1cwqYpxRztUbIWL/BYidY6y8YoA8QYUsm7R5G
Gcf1/qEP1h7Ja73hofH0OZdw1Nt0qiDm8pDuhjsHosdtdR98cBbzDl66TuSYfrsm
+2c5X+BWpbKaod96mfaWvGz8n1uKGMOnHgHqoYHpVJXucBOQk0wAtrdqcVy3/rKW
H+Uh7E/dz8F4+wI5fKawER9o0Znw8OBOp9QAZnRCA6PtxKfF/2E4WK4HBnFkNswm
+Jqmw4A2o0hK2qxECfV2goHivLodcWQqKYnavTS3XoIft93/U5WqjyQfDZ0QgoqF
DgkuNTgTa+CbVua5XCtnpIi/EA/TVyD9WR1J3/2WdGaPBZmLTGKfzS0AaXL/UlKy
h4xKnv+iBwZIy31WkR+Nu42T+uqHBkDtiLlHuqgBfj0YjbtZGgf91A86LrRT07zc
RmE0Lno3vtVBmkZxlI6+BoH3EbKGAHvqwJRezWjccBrhuBrHA8qTyV18X0aH/MMj
NpRRUUMtbMbUB/hjz/wK
=+Xhm
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.2-1.2-4.diff.gz
to main/c/coq-float/coq-float_8.2-1.2-4.diff.gz
coq-float_8.2-1.2-4.dsc
to main/c/coq-float/coq-float_8.2-1.2-4.dsc
libfloat-coq_8.2-1.2-4_all.deb
to main/c/coq-float/libfloat-coq_8.2-1.2-4_all.deb
Reply to: