[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