1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • frama-c_20220511-manganese-1.3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jun 27 22:00:02 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Mon, 27 Jun 2022 20:50:40 +0200
    Source: frama-c
    Architecture: source
    Version: 20220511-manganese-1.3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    frama-c (20220511-manganese-1.3) unstable; urgency=medium
    .
    * Tighten the dep on newer why3 also for autopkgtest.
    Checksums-Sha1:
    020f828c3c3f7ab5ad491bfae436e72eeaf7c66d 2459 frama-c_20220511-manganese-1.3.dsc
    415eaac22e86029457d4d1e6e7137ace41e4f0ad 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
    52d557e37a49046dbd2effc75d8728c8ef67ee44 15950 frama-c_20220511-manganese-1.3_source.buildinfo
    Checksums-Sha256:
    013dbad83484e1ec0b7f5ad06b68fb5a6273cae530b4f084f8fd12f6580e011f 2459 frama-c_20220511-manganese-1.3.dsc
    e1715e794688ef8e4f5177e97553b14d0fcf9117a209b05e7a8f4eb332187bdb 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
    9f4c62ba61934ec72a9ca8e406a3e51f72c336c53a573d8aa7d8c514df7f9c3e 15950 frama-c_20220511-manganese-1.3_source.buildinfo
    Files:
    a6b82c34e5ca91774213d93c81b4907e 2459 devel optional frama-c_20220511-manganese-1.3.dsc
    f0f578eef430b4095dc53aed096b6726 16000 devel optional frama-c_20220511-manganese-1.3.debian.tar.xz
    e662586a30305e9d3ea6ebab92adf3b5 15950 devel optional frama-c_20220511-manganese-1.3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5/GASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRN9sP/iuzg6ov+SxwrMxlDSrQ9PGcxn2PqdHH n3lmEokR/9htW2FOrXumn+/WmzbduQfaQ6G+rY0iQillbtUb004dQw955fqDvwfS 4LLvh3nmKmuEy6MflYp23N7NVYszIw27Ira6XpP5WdWsCD6Ak0PUX6LwliX0QReR 9SWtDfB0wxxa8zBhJZp5dlvXKWbuwyQ0r3zm4Zl+c1gdPVOUyOoUQJEQ71RvgG1v 69GkKnoO9HBKaNqRVSbHmU7xihAKWc3VoBVJ7cKZkpF6hXmj4Ym5KFwD/ScQRggu 0iA2eHFpzM8FxPmj4HmllnbF8M5odoa2lqvque3ipRERCp8+hzHfHtpyM4upR1iV zdMomoOkgw7XkWVvdG15k3STjKQvrsdlQ7HAj2G8/eqmAeMBqhGMCQCYyqCvLfyL YCXWzCjq+wjvkAekfJ/06/Unm3yIQGys3ypkv5Gs6HNKJt6r9FYjuPYDl6o4e/DF bAaMLK0TuwofZG1BLJFTKQGBBGvOurG/JdBf9ldxWbyyiHcMPm/p0/NT2B3sSiFG BFdSiN/v/k7uKj80H8qat9fmeg0liqb1k64KgfVf5QS+bboZ1jVC9pHl+iMxb0FR 874dvwt0IOcESb6auS8nYw5eUrq4d0E034FGuG+/rhzi9hhOFt+0Q7MvD5DwfnNV
    2OJ0G5n/PPsI
    =8nIP
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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