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

  • ott_0.32+ds-2_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jul 10 19:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 10 Jul 2022 18:17:48 +0200
    Source: ott
    Binary: libcoq-ott ott-tools ott-tools-dbgsym
    Architecture: source amd64
    Version: 0.32+ds-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-ott - Ott tool (Coq plugin)
    ott-tools - Ott tool (executable)
    Changes:
    ott (0.32+ds-2) unstable; urgency=medium
    .
    * Complete d/copyright.
    * Add patch to fix typos.
    Checksums-Sha1:
    05c2ae74e628afa47fa162e521f70b1cd1cb2b9e 2104 ott_0.32+ds-2.dsc
    9f0071710ae175f020442eea6e476f6f71ae237a 1140176 ott_0.32+ds.orig.tar.xz
    2571a3c75eaf149a06b59a1dcfd5c35598fe08ba 6916 ott_0.32+ds-2.debian.tar.xz
    a9930e82e775db8e49df5f222a3cfde2571eb1a9 161728 libcoq-ott_0.32+ds-2_amd64.deb
    7d72bf6f8561053408b9b6a405e8954f0cc2f1bb 354832 ott-tools-dbgsym_0.32+ds-2_amd64.deb
    a46ca4bf3563936a0135e5f5cb1cfec2822992cd 1300632 ott-tools_0.32+ds-2_amd64.deb
    f77270c4d9c8a9af3139f6deed0a527feeb5dfaf 10213 ott_0.32+ds-2_amd64.buildinfo Checksums-Sha256:
    352459769e267a5c674c2161b984ea4e14276a00fce1a07ecc1e65a56f7f511f 2104 ott_0.32+ds-2.dsc
    b18791dbf7abae18626b4e7c1f368c8311a2e0f0bd9c49b3288ba6fde3f8e1c8 1140176 ott_0.32+ds.orig.tar.xz
    5f2afcbbe42924f8b9677a6d8c1c4447351a78400bc90e83a3c59658c1c86a3a 6916 ott_0.32+ds-2.debian.tar.xz
    be2721be9e3ea88b97953f2b0590a3a8c7a0ff9313769be46203804c5a37869b 161728 libcoq-ott_0.32+ds-2_amd64.deb
    e35595e6fce7a84c907313abd66ace4f55d5feb959f894058edcd9259b3f9579 354832 ott-tools-dbgsym_0.32+ds-2_amd64.deb
    8ec932dc0039bf07b254586728cb75250a7a65307bcfd780b302a6df01eb3ac1 1300632 ott-tools_0.32+ds-2_amd64.deb
    abb8ae34a307b8bbc8ab8ec8d77a0589509140863f9953af956801821142eec7 10213 ott_0.32+ds-2_amd64.buildinfo
    Files:
    8b99711049d79679043ef37edcfcc792 2104 ocaml optional ott_0.32+ds-2.dsc
    c4301ffe56b273f023200c9064eedd6f 1140176 ocaml optional ott_0.32+ds.orig.tar.xz
    7cdb12ed0bc56bcd84d26fe67781e70c 6916 ocaml optional ott_0.32+ds-2.debian.tar.xz
    6fdf2447d411d6d47bcd4c2ba416e7ba 161728 ocaml optional libcoq-ott_0.32+ds-2_amd64.deb
    f3cca8ce76d86faa63c8c79fa870fa6d 354832 debug optional ott-tools-dbgsym_0.32+ds-2_amd64.deb
    25deac36d3f9c5d2b23180f0403ad439 1300632 ocaml optional ott-tools_0.32+ds-2_amd64.deb
    8c856374bbff2edb9329b3af0862ac94 10213 ocaml optional ott_0.32+ds-2_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLK/ewSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+osP/Agpz9Q9w4Bi5IwEZXj9+A7ERHbxzGrt KRkfgh8r4fEXErckcrrHg4PQCfMGMf5cyHL/79VDcvrwf6nRiHT+PFD0UaXoUyBS wAwhAb0H+BPfBC0je67CyZsqbzJp5Ka5xGcg2X2fr0DyR5lWyA1OSaww9OyYzbng kSdHFDVqhCPP7adcVclS9jhAF2VIRQQTV/MCEoKJ2nB1X7eUG6Mcf78rpaNkn9jY acg9m03whVwnegHQjsQe2TRV37Z5+Iz3iMqJCbF6DBCqtFzCBRUH85cvsrqL2U0k ylrG/isoQzP2xje7fNJRK2W3777KM+j3p75FrqxoT7jvUrKPJ7iPblP+XMh/O3MY or5z2H2L0PYdRu9Hcyd/NEzpGQAhVGLt8FF7vrzblJhLCm9OdE16ZNq4IkXpQ6Zi aGOe3r9pOVDYFrDa41FYRqYwRKEpu21lMW96gKDoYJX2ZdTfP6FRJuxqdGPc9Mst /feYru7N+7S4E4a5gKC7eCphkBg4MfvdTNUiyIYWMbi5fGb6EnmUbb66bppJ6APJ fR9bwDiPWa2CyuTxNdDUlhkwxhdXGA1DN+ievb16lB01xLr/NKcS17pD86XA1/Ix li7tSXwFaKlQZlsLWwtlIzAK6+VykOn8Xigt3hSl0DEVHBN5aY1CJFD0GWh7gI+w
    Cw9FfRlAReFs
    =MkJc
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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