coq-float (1:8.4-5build3) yakkety; urgency=medium * No-change rebuild against coq-8.5+4.02.3
Date: Sun, 12 Jun 2016 17:06:08 +0000 Changed-By: Steve Langasek <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/coq-float/1:8.4-5build3
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2016 17:06:08 +0000 Source: coq-float Binary: libfloat-coq Architecture: source Version: 1:8.4-5build3 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Steve Langasek <[email protected]> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-5build3) yakkety; urgency=medium . * No-change rebuild against coq-8.5+4.02.3 Checksums-Sha1: b7055fb47dd32e7f415012d580e1caaa384563d2 2089 coq-float_8.4-5build3.dsc c99db85ca8e30ca4e9da688c464461369c40b106 3556 coq-float_8.4-5build3.debian.tar.xz Checksums-Sha256: 43e1966876bbf01bf620066e99199939692a90ac9a368c07c87a32a6deec0db1 2089 coq-float_8.4-5build3.dsc 699f37cdac76a5eff93a909f2e56ad4037a62ee6c98a7faa66a01750825e98f0 3556 coq-float_8.4-5build3.debian.tar.xz Files: 69edd3823b10a520afbf690ed6d3f85d 2089 math optional coq-float_8.4-5build3.dsc cbc8dd5df8e08aa33f0fa3178fc6b8dc 3556 math optional coq-float_8.4-5build3.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXXZaNAAoJEFaNMPMhshM97jUQAIdJaBCHe/euf1fazDk2cpck 0gYIyyjiAd2/PumlyvBiZ95amArz44qFzuQPJljdUXkNzXhLfYsbLXgIIUSerpZP Kl7x7H+9/cOpLJsLOvHmiUgCjuWwAOZx2y397YuTNIVIfpInxNyklgQ+5RuNUInV M1mF65dVGTltsF1vOys00CPGFknSD0vjByd5VQw2lNXJxwQxjO+lEWQV6RaSOeyy rEZkjiI7RS5pRUKi8cLQByVc/pbZ4+yLn07Ulnd9HmlNqFHcn0AjiRvtu2gm0k/E VXJqSxCVl1mtrAhsljZseqJiuTK+B7sfT7zbcKu6C6gQVq0Kplvm/s6EJ5c6oh6H lA4yXZXqDCSKu4stgSP5DjaWMAgvQGqd1g+pFO3PWEmA4+4t8rFuAIlIRxkFLonF SpbMU7APnXCIN66D4jzApafKzvpO8JDwclkF2yJ0zscdkqpnUxqGFKcCOdT3kVvR ksmqIGUgqwDWaL2r5p7gs9Ydb64cLIUGWC/dQwkjI1b0chkCwOQ3p4xYnPIjYmGn Jb7ph2KwncR/2qt2iYgPmKo6ISYeo68vc/dj9GZYKbjkYQkCi/pGSLivP48NHrGC dFxc22UJhygEi81gKc0xTwo9vzNsDI42grhGh/CmAZDvQWsvse2lDkPp9kJRmI+Q hDL5p0CoW6RjIHplE47Y =MFMq -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
