• why3_1.4.1-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Mar 19 20:00:01 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA256

    Format: 1.8
    Date: Sat, 19 Mar 2022 15:01:40 +0100
    Source: why3
    Architecture: source
    Version: 1.4.1-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org>
    Changes:
    why3 (1.4.1-2) unstable; urgency=medium
    .
    * Fix compilation on bytecode architectures, on these architectures we
    have to look for exported units in why3ide.cma.
    Checksums-Sha1:
    e9f4ecdb2e78939ba1b6f54f6c63e5bd101345b5 2662 why3_1.4.1-2.dsc
    329e6f907f33f887c46cffcddc3eecbf885e0b8a 20424 why3_1.4.1-2.debian.tar.xz
    81671cddf22ca05eb564bdde19f1e277dc535aa6 14988 why3_1.4.1-2_source.buildinfo Checksums-Sha256:
    9e6db1d4690b2bc8c5d498cdb431988014d84216cc7880f53ae0f9b07f49541c 2662 why3_1.4.1-2.dsc
    c8983eb515b88691da787e05a5c9c1c784cb66db930d2fb1ad4d5b6d1bcc2e3a 20424 why3_1.4.1-2.debian.tar.xz
    51df4993324e446c735e77adca5539e4ad8d1e7e52b81323acf7d9fd7ba0a4ae 14988 why3_1.4.1-2_source.buildinfo
    Files:
    3542f53f0492d96cb5af17801a1a7f56 2662 math optional why3_1.4.1-2.dsc
    0731555fb308e60761bd60074dd52737 20424 math optional why3_1.4.1-2.debian.tar.xz
    f153efad5cbca76358de50880c6601c3 14988 math optional why3_1.4.1-2_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI2HPcACgkQdFxHZtTK zf8cfhAAmEEANWFYa9tGE8StBC5uiMOrQRVgKGWCoN8/HEK+C0e2Kez1FPd9FeN6 hAQM9+6q2ghZMTq2YlkPm9lWf7flVfwH4Yb5eB8BLz7Ieg2s7UweHV4o7DzObeF2 TpL1MMUCN0zXwQ2bHS2wjwBA8dZ/xUDyHLGooPcAXlUoMUXe6ffB/FdtU07JXeeG mAqWuYiqYVFdghqtRb7JO9v1RdTiTFRB/V0SQQFU3wvCBwPM+jdBbKxmZv9vG0Vp RXEPqvie9aZI8rvfDjvsRIsCFkwRME9LuJDQnW2nbCZB7TfiaOCqJc83ZZmb82CO fc+CVWjLyzctu1Iq2MYQ1ZutUQwp3sSCakm0cVVvtHkEtzEBhOZVyeZrdpDLQatQ n18ZYwch6728zA1bMtk9Holwcj2hFb1iv5nVDtPTph+Nyd1nBqYubQHWPf34jQhJ MKLYWkSMvR330qXKi2C0hYmdqXiDZ9LJWmU1uboK5s/X9wJQzidQshXmzBKs7zTg gkm8ge5YHl/BozBlkq/QS4OcL8Im3mGljknyBQI7RHnlQHV6HQQX/isHcrX8gc1M wJMqwHiDG91RwcsUl+fSk8tE+hfb/2JuNvGy0piwlJOH6/WYQt5PGhyQh+nF07wa O8mIqP8Wq7UTyd/mLHuO5t8dL87t9jrdXSVGcqIAtcC9sntDnTg=
    =j6Ej
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)