coq-float (1:8.4-5build2) xenial; urgency=medium * No-change rebuild against new ocaml ABIs
Date: Thu, 04 Feb 2016 16:59:12 +0100 Changed-By: Matthias Klose <d...@ubuntu.com> Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> https://launchpad.net/ubuntu/+source/coq-float/1:8.4-5build2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 04 Feb 2016 16:59:12 +0100 Source: coq-float Binary: libfloat-coq Architecture: source Version: 1:8.4-5build2 Distribution: xenial Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Matthias Klose <d...@ubuntu.com> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-5build2) xenial; urgency=medium . * No-change rebuild against new ocaml ABIs Checksums-Sha1: dd91646e9fc25a6d9269376f0bdbc5922c22e4dc 2010 coq-float_8.4-5build2.dsc cf183fc5aec632f17cb863709f6a6424f6788d69 3472 coq-float_8.4-5build2.debian.tar.xz Checksums-Sha256: 5da6aa0deb3d86093c5750626450c0ee65b3268b72f53f9e8c69133f24e261bc 2010 coq-float_8.4-5build2.dsc 4c0b899f6e7b9add37453279079365a34fede5eda61d2b34df29aa292dbb3b34 3472 coq-float_8.4-5build2.debian.tar.xz Files: af4b9be4c68a5e3507b9cfaacba3a83a 2010 math optional coq-float_8.4-5build2.dsc d9d5acb5d569dd19f0f4ed67881503a6 3472 math optional coq-float_8.4-5build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWs3YtAAoJEL1+qmB3j6b1BUkQAJY9x45QI3boGgYYGNb9o0Z4 VQrJVgVgzGpuMOmOBBGJM/AI05jE9H/hpsooQK3H6kaj1idPhkUf+X8H+tdsm+2T II1QsPhT/ckGxvJseHvPDyEASwjQoZ+RzrMbr+kgJralpi/deOwj95oqYqaZkDp/ 6/lysTq0Zl2hmiz7a67czyrxGwCrNU7AuHeQGKh91jlMJ2A/tRlEriWO76ASAJPn knTCwDbTQoRPyq87T6svvEwF7tLcWLoWZm48QVENoaYpBejvPklj69yX1kbm/8pj F7DmTaqMX8VsghderK5lxxq357Lfw5z5IeSfkOpB9wmZXewetVeLp11CbhlcL1MF XPN4D44XYwS26F9iGjLyxI2bf2Ce/FbbWp3akH00xf57lq5mZ0prSThbQELwi6QS AcfSD510EDRZGiGA7VbvBuM6wiukxaJSapHcBPRmn0oR1gqcLLLfmRPbgPciEf0m YYf721BSliS/5Iv+pzVqyytYfvVOQTDCkqM8MgJC0nmxGVqpbWeYubPmHM/Uy7Tf XEQ8gxUk9R1g15sEGdD5wJUvslRtDCdLlWjrkQoKmfVS9V7XfisLwgHmWabFP5wb 67JHtogFRt0UWB8ncp7OVSAidiyzmUNoIGkjRFIoKqtMkNZDnfyu+yS+BQI82Cap fMX2/DcCUCrRuiKRa2Yt =4PAT -----END PGP SIGNATURE-----
-- Xenial-changes mailing list Xenial-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/xenial-changes