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

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

    From Debian FTP Masters@21:1/5 to All on Wed Apr 13 15:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 13 Apr 2022 14:41:15 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1009449
    Changes:
    coq-hierarchy-builder (1.2.1-4) unstable; urgency=medium
    .
    * Rework b-deps (Closes: #1009449).
    Checksums-Sha1:
    8ea63410bdbe7e9c4a4444a2a978dd5d2214cd2b 2214 coq-hierarchy-builder_1.2.1-4.dsc
    c748ab7b175c666fc6408a9c0aa893a17912567e 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz
    f389577581c77702d03cba9760b67400092ffee9 7298 coq-hierarchy-builder_1.2.1-4_source.buildinfo
    Checksums-Sha256:
    7677a45381111caa824c5f22346592b908d5e04bc494a4ee4a6c37dd7d847968 2214 coq-hierarchy-builder_1.2.1-4.dsc
    379cb25691a9150597a9f398a19783a46b3ecc0635ce68980460e24f3b588b48 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz
    7f7224c4e54ab27a61a2bd16c811b8baba2759b4af96c9a563daeefc1a2badd3 7298 coq-hierarchy-builder_1.2.1-4_source.buildinfo
    Files:
    f3f14fb64af2740ebb2eecdfc1d86b97 2214 ocaml optional coq-hierarchy-builder_1.2.1-4.dsc
    123799891b38a164e260dd41b8356071 2800 ocaml optional coq-hierarchy-builder_1.2.1-4.debian.tar.xz
    f6c4300c139fdf7579d4334cec66b1c1 7298 ocaml optional coq-hierarchy-builder_1.2.1-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWxP4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSjEP/A3sfMnDagzIRd4Ijhlp78szoUwFm+O7 ESfyaNkUB+NyN88SM59b7v/lHAceB3AymnTN+gEuabfPq4ndWTptPofSIUvC2Bw0 35Ik/c8z4wDLNH46WWq4rCPxZrS/cdUc9iBQQwxLvwE+rOHyIwQwhUn5tIAfKJL6 IVsCuzzUgTQsc0qWBdhT134yoh4RqQbXfjQTDwArPRUgFP7Vh4XXDDmzP7CHMZ9P eCL9AADP0RSvRsaoPVZK/JNAIDTEppuloZDR/tx45I8PrXhT5axzrt6GA1XjYV4H 2ONHQpMVwnAKZBRMa2XmqRHAIEIMreuqZ18aAomdAL5gz1SopnWjfdnQECAjvssf DoVRl5IKjA9SbpVIptVD0QcFIAoE5C6HRXfMo9NbgxCyTLG99nrXdU2UKXB8LLwP 3dUzARBlVkppxiTZk5SSsffyfYNxZMnfor6vsFnRbjqG4x5hrIZw9C3lnOYq1Oek Mdf5INIXTziscrfQs8/IbE+nvqWVhLN9kubwjOUNWP9Z2QZR+KgwPjqamY6szCJ6 jgttvAmwLqorBcpWhd0e5jCWllywF4jjKbXhgM7DELsaytOjMl0NpUeTQaLJ0n0w lKfDHY9fF37X/Jdy7rGg+Jne02Q4envhE3xbbPZYHfbax6GwhIp+YznDHGUvrRNJ
    B7uhdmBPucrg
    =tBuS
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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