[ubuntu/trusty-proposed] coq-float 1:8.4-2build1 (Accepted)

Matthias Klose doko at ubuntu.com
Tue Dec 24 15:43:14 UTC 2013


coq-float (1:8.4-2build1) trusty; urgency=medium

  * No-change rebuild.

Date: Tue, 24 Dec 2013 12:40:18 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/coq-float/1:8.4-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 24 Dec 2013 12:40:18 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.4-2build1
Distribution: trusty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description: 
 libfloat-coq - Coq library on floating-point arithmetic
Changes: 
 coq-float (1:8.4-2build1) trusty; urgency=medium
 .
   * No-change rebuild.
Checksums-Sha1: 
 cf165e31c4ed19728bc9e36f09aa40a787e45be1 1371 coq-float_8.4-2build1.dsc
 755aab8375d1c00b0ff6edc8f47b12e8542acc35 3467 coq-float_8.4-2build1.debian.tar.gz
Checksums-Sha256: 
 abe744bbf43be9b99327389df197de5591b770857409947167deb5af6bae1186 1371 coq-float_8.4-2build1.dsc
 7f2c245931a181a76505bcd7e7df6c09e9c85428bc0c42ab047fc7d661da7cad 3467 coq-float_8.4-2build1.debian.tar.gz
Files: 
 273adcad5ae33a7ea927965aef02f215 1371 math optional coq-float_8.4-2build1.dsc
 12e0513776e59848bbb9eba1f19b9f91 3467 math optional coq-float_8.4-2build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iEYEARECAAYFAlK5q0kACgkQStlRaw+TLJx/2ACfRDHQM1uUyfQgcmwCNOfg+K47
JboAnihEaSzU/m3rkmsXix0S/c59lt53
=30jl
-----END PGP SIGNATURE-----


More information about the Trusty-changes mailing list