[ubuntu/maverick] coq-float 1:8.2-1.2-5 (Accepted)
Iain Lane
laney at ubuntu.com
Thu Jul 29 13:10:42 BST 2010
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 <laney at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
Origin: debian/unstable
https://launchpad.net/ubuntu/maverick/+source/coq-float/1:8.2-1.2-5
-------------- next part --------------
-----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 <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
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-----
More information about the Maverick-changes
mailing list