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

    From Debian FTP Masters@21:1/5 to All on Thu May 12 09:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 12 May 2022 08:34:18 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-7
    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-7) unstable; urgency=medium
    .
    * Really fix the dependency on the Coq ABI?
    Checksums-Sha1:
    df15c323134e91a041926d8e6e0d8227fe1b2983 2214 coq-hierarchy-builder_1.2.1-7.dsc
    5164da38a106720df6f6d8b36943aead96a5be79 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz
    173e9abb082b6a7de7d94dd37bb246bcfab03498 7322 coq-hierarchy-builder_1.2.1-7_source.buildinfo
    Checksums-Sha256:
    faf4e386b2acc44afd8e129e01239153efcb8048ee6627ba5e3a35b143185fc8 2214 coq-hierarchy-builder_1.2.1-7.dsc
    d338360bebd49df121ec4198bf97c32e02191a776684d29eb92e8259df8073f2 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz
    041238bd64fe6e36046201fa843ab02434d6ddf2db57e329a70e6b3b07723c19 7322 coq-hierarchy-builder_1.2.1-7_source.buildinfo
    Files:
    eaa80f274e8e2eddfea7d7a3366ca8c7 2214 ocaml optional coq-hierarchy-builder_1.2.1-7.dsc
    380f62b79b9d650a432996fcc758c2f6 2932 ocaml optional coq-hierarchy-builder_1.2.1-7.debian.tar.xz
    39e74c7775eeaa6b057ca2eea0d996f8 7322 ocaml optional coq-hierarchy-builder_1.2.1-7_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ8qpISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoCoP/RdDrkWwSbeGdIdZp2z4jDSMEYzYRXrK U41wm0VQYtg1Kf3cSLLn4TIXphJDmjtpLMRy7t1futjfP0arxEKT11mR3KTY9dET 69ASQCMVmn4rcE5mYCBIQA5ogtl/L+kS1ZXCiJdgcZDohMkC87UmDUQIX5T2iRna RlNa9AXYoCMqu7P4bud3M4jHMnQAaUtmJhQZQdMMoQ5afTW8y5GRq6RGXzyS0AXv TEGJeC0cz/Qe147tQsRvtikyeoBNfhJcH8lIbLzTv/m9chW7v1Y5Gg8tdenn0BIu y5RLiDKGDZF9/xRfsUiKga7hv0QequhGN4rvBV5OL6cxIaIFlH6Z5ixB8N1jqcQr zuVvtnDKl3SYbdmId2OvZBfoeMc9F8lb+yonSb/4OAxxzEro9MZD5YaOMmcxXDOM BOX0u0IWBZDDfW3eiwm2NRrmJSi+yZ21nIug335FSDzmU43eNBgjN/pvFD/AY6yw ihElHz0eyd1u6ifHvSay7FFbxAgqXr4GyffVwJutZDhrvZPkgBIIBPY1FzPGhF+3 m+w6fWJbHsa9iRrj+S47oYp3b0wU0DipSXaDxuyXV2BWE/ETKNKKn7Jo9fHIzCeb FzDsHyHG/HviXMddGCtcY8xkgphzCpOwTl51po4G6dtKKUzy+lU/bKDsel9f6L5k
    6Wtlsdardaf3
    =5FAo
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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