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

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

    From Debian FTP Masters@21:1/5 to All on Mon Jun 27 12:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 27 Jun 2022 11:29:05 +0200
    Source: frama-c
    Architecture: source
    Version: 20220511-manganese-1.2
    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.2) unstable; urgency=medium
    .
    * Non-maintainer upload.
    * Tighten the dep on newer why3.
    Checksums-Sha1:
    a1293a706367ccc61a49e6d288bb8d0d1ab19c89 2459 frama-c_20220511-manganese-1.2.dsc
    0132d566705f85f29a8536fecdc4e3c921b37ae6 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
    12a0dfd990fcd82f1ead73e7ef1a005cadb5fead 15950 frama-c_20220511-manganese-1.2_source.buildinfo
    Checksums-Sha256:
    2aefc72742d9c4f0c7ffa1b07400b9b0d3057005c9bb6513d92a8054c960a005 2459 frama-c_20220511-manganese-1.2.dsc
    79461f7e85f3dba4b87a43ca6265ac65e3dab0d945d6f1c7b9a092c422e80d9b 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
    7e17cb68060f0fb374ba389068082bb61e5e82ff7ea0643fd8b109ce378177f7 15950 frama-c_20220511-manganese-1.2_source.buildinfo
    Files:
    91c2a9af6bf56affe8abdcced937c0e4 2459 devel optional frama-c_20220511-manganese-1.2.dsc
    6ca8013ceb528b6e736431201e0db356 15972 devel optional frama-c_20220511-manganese-1.2.debian.tar.xz
    d39c0f424f7b22f17096573b01ae7a5b 15950 devel optional frama-c_20220511-manganese-1.2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5eU4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRHtgP/0Ekh6qiD1yNzVzPkLd5KKedVVyoLCg0 7aqH2Ip9/0aRO6EUhfifblMjeGANTV1y3Z2Jar8aOnY+EuYGXjImA/7NnCTzLvvK vAJ5vFKCT1vfJgz+MXJqY9N1MSKFS0XDj1btd8sSkOvU35iyxZWj+abLsztWuQ82 q8/X5UmRj7EbKMJMFwRbbQ8KDi0li6kIjdpMxfY2nb5FOwYQxhgtTd0Qj1EwTowe ujAtBZTlzkmOvTxlkr30x1gQi4/gpX/6mw84FFV3xi6GBkgXsc8N/tJCBfWXYbg3 1yhST2f9Sm2Qhzmo1pq7FY7OKfsEPGvoVs523yAc+C42TnVtsfa0UlHEoBtvyd8o NMQTGxe2R+BPA8ybMkCb325Ax6rh+mM3H20pCJHZy4pFcpMTYq8LCkYH7bfrIrpO R/VaELv87Aj/iYJQl5JINb1NWRKgKoRzeyqo+TZUDJfmy+LzHgxZ2wDQKoirRfVP W5mwNU1x83+hOeMUWXccUdc2V/6lGrsWmRf5arkHNaipvLg2RXcxOpXH4isDfP30 zTMQ+6Pz9FaXzYyXWKkZUwjHWDajbqeQZDRCuYwXpdMTuc3w6sU4rNhrIHdKbeAN 0ukC7kmp9wQji7bZ+0c8dLUe+5eBWGIhKCHIylQmkpcy7wS87BBGQAbluhEw64mC
    7Asoh45yGiZC
    =S362
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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