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

  • coq-hierarchy-builder_1.2.1-11_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jun 13 08:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:03:31 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-11
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hierarchy-builder (1.2.1-11) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    d18a87dd5a3432faa12eed54148b54fb0860101d 2233 coq-hierarchy-builder_1.2.1-11.dsc
    8704b1ab2c2cacf7f9e7f8a0c86de8a863e3df35 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz
    55d792d93585fc480e0ff89841ebf42539db83e7 7378 coq-hierarchy-builder_1.2.1-11_source.buildinfo
    Checksums-Sha256:
    08f5bb9e14d17fc5f4b974cfd5fdaa5ce883b36f876226b3b38475b990cd9520 2233 coq-hierarchy-builder_1.2.1-11.dsc
    39ab6d80a629c7d521730c2c38d309bcc15fed4975b1e60147517d9d005e1d56 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz
    b283b1832eebc64e3f651939921c3027c450f8fb11f7e32ee040f0339b19d6dc 7378 coq-hierarchy-builder_1.2.1-11_source.buildinfo
    Files:
    d8e2267423b6cfa9b8aac8bac4785bcf 2233 ocaml optional coq-hierarchy-builder_1.2.1-11.dsc
    a08a6d743aeeb04af0d6a0468a9c6a4a 3760 ocaml optional coq-hierarchy-builder_1.2.1-11.debian.tar.xz
    e62897642adf1823edd8603a59838fe3 7378 ocaml optional coq-hierarchy-builder_1.2.1-11_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmx6kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/hUQAKb1f3t+JcHudORAJdHR0PRtyqUS4bbc mKln75UBXHnERGWvGmVDSMCvP6b8f7Cl7qn0F/BRhFjt1aT5m76x8/VTYCeU3qgw 3BVH9CAd56kZGs7YPikyBBsbIGEgl92MMoziU58Jo8+9UiSCTlWU7uo0yax6sHDc pwxMxk8zTQ4pF6DdwZLv4yLCHhZVD2PNKo8L3V1rNmrAjPvnGHoOwxxpKiwbrgdT P0CciGJnqQQvYFLGUw2i7sw9RF14qP1loT/slXYfpUic8Zv1NlI6Ka1dnCNa+TX8 EvInGHad9YtkjiKyK9NfQZ4OJ9bnDxGr+ZceULI0fWzI0c944e6a7cPMusmx+7H3 RP4rBXQXUlIXMUTRUFDQ+kO4roon2ot3Qnzh1Yt12ILEFqy+Xg14glz2dmgW+eVk JjmTPp5ZpTL9DBBCvCBQMcGHTu1itstm+qnymP6CWYMu1IsM3CFkZZoEdDv7RkFY 1SEx5PsDVQKGqt7fmOAmlf2o9cS3NKSL18SeG+HlTyMpOG55xWnNCW8NOVpDjUEH dT8D/Vd+7fgLO2ixIxDF5Jtqt4V8N5cimHvRLllZUyZJfFDZw6y7wqvRxN1FSFw4 YR4uZGuLb7M5Qo+m7bZc1Yr3YX6DaJThJCPNVywZCQiIPhHwPWF4QM/0mbAOEMVm
    heDglSRWYjdI
    =RoKr
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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