coq-float (1:8.2-1.2-5) unstable; urgency=low * Rebuild with Coq 8.2pl2 * Update debian/watch * Bump Standards-Version to 3.9.0 (no changes) * Switch source package format to 3.0 (quilt)
Date: Sat, 03 Jul 2010 15:51:20 +0200 Changed-By: Iain Lane <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Signed-By: Iain Lane <[email protected]> Origin: debian/unstable https://launchpad.net/ubuntu/maverick/+source/coq-float/1:8.2-1.2-5
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 03 Jul 2010 15:51:20 +0200 Source: coq-float Binary: libfloat-coq Architecture: source Version: 1:8.2-1.2-5 Distribution: maverick Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Iain Lane <[email protected]> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-5) unstable; urgency=low . * Rebuild with Coq 8.2pl2 * Update debian/watch * Bump Standards-Version to 3.9.0 (no changes) * Switch source package format to 3.0 (quilt) Checksums-Sha1: 12bddfbb7c89332c79d24d8c9e5a459af519e11b 1334 coq-float_8.2-1.2-5.dsc 862aa0f63578a70a908fbcc076750a7d74bf6522 3070 coq-float_8.2-1.2-5.debian.tar.gz Checksums-Sha256: 931f6544ac8ec47fb4239f0587cf9a247e50dc5f1f88ff385e6814d2879e9486 1334 coq-float_8.2-1.2-5.dsc e667798ed677824ce721c78c4650edca17705c303c10be6d4198f5e7ed920bbf 3070 coq-float_8.2-1.2-5.debian.tar.gz Files: 3ed83710002a405f66d35957ce470634 1334 math optional coq-float_8.2-1.2-5.dsc aecabc1d1b8372c1b3ad5aaa9fe4054a 3070 math optional coq-float_8.2-1.2-5.debian.tar.gz Origin: debian/unstable -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxRbrsACgkQPy0SnCC/zceRDQCgl0cpZh9MhLGmM20PPhEGFFIL B0MAn3a5OFKHIwUaXUU/Tv3hMtTFjwbp =EkMu -----END PGP SIGNATURE-----
-- Maverick-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/maverick-changes
