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

  • coq-hierarchy-builder_1.3.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jul 30 18:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 30 Jul 2022 17:44:16 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.3.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1016303
    Changes:
    coq-hierarchy-builder (1.3.0-1) unstable; urgency=medium
    .
    * New upstream release.
    * Add patch so upstream test suite passes with a more recent elpi
    (Closes: #1016303).
    Checksums-Sha1:
    c8835462ed8504ff8c6f0dd3197566081895484d 2229 coq-hierarchy-builder_1.3.0-1.dsc
    45b9670ce4dc977d2af1edb7ccfc7b79f22bc217 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
    de5067cd9c8afa4f2ef8aabf5c3ba2dee6f111b2 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz
    9c6a9ec21cd462da15fb97b9102ce09c02ff4047 7577 coq-hierarchy-builder_1.3.0-1_source.buildinfo
    Checksums-Sha256:
    4683f36c36f30bcde1d0afeaee2b2dd70af46b78c60ed6959213c19631294d25 2229 coq-hierarchy-builder_1.3.0-1.dsc
    8d4ca09a08793be19501ea2d9e82da1cd413feb9a15e5a6e0c183404b8145c76 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
    a1eb2fa42297555e4215fcee73d1e6a808d851c7fce31e5a38dbdbe78aeb217c 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz
    c5607680eb81f3a8d1ca4a20e3d5dee27ae3ec39cc42871788b7085c8c83d66c 7577 coq-hierarchy-builder_1.3.0-1_source.buildinfo
    Files:
    c2de8e1b4c4277ce07f4ff5f2ade862d 2229 ocaml optional coq-hierarchy-builder_1.3.0-1.dsc
    42ef8d7c9f81a71b360214b2397fd52b 200135 ocaml optional coq-hierarchy-builder_1.3.0.orig.tar.gz
    b687348c4036880abc5a7c77b0c7f1ec 3348 ocaml optional coq-hierarchy-builder_1.3.0-1.debian.tar.xz
    d9647b1843f414bfc1695c7ca54e0f8a 7577 ocaml optional coq-hierarchy-builder_1.3.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLlUgcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRczcP/1L+ED8ZYKMHSGGjI/KmxatCavnWLXqE oLeeqgXPCh99pO1I+Epj/C1Di4y7vcDKT4zdoFe3EVyJ5YH5hfDqabFMWI9eQtzb pjVVFfpoI0llsNwcVXKeXY3ThHmIDr796HaiXM2snm8SAYq6E2MVJP+p0TNJ6UZ0 LM9dn3FWkiNiZmz7X4bZM2++o+7IOD/RjbvHUMx1R/nM5sUefdGjdf4TkCLvxlAs JS6ftkxApzgLamhFYes8UbjQ5Qz553CX7VgvyPmFPm1+m23pw3s2+A8iwKf9jHMd a1uZ8rJZ0wLPwesct8WYLzJHjAxRzcncgnXziL9sK3+vCGh+qSWaUx7cfx9wgCwa qpSoGxEM17oKT9izYwoOvkpNNnm489Z8k5LxoGmVgNTV/Zqyj/U3R6Xp9JXYmLLH daelYTsP1KvvURwRaa5ENZ1tdzTPPNHLFwkkowV2sKDWduX2pRo+GBJwoArPlFBU BagVVVO8I4lVNTxeJy3jUZnNt4d4BQ30DwW2ycw0uiNNDDzaEBccDHECL4RiqA4e SubkqzehmJMYdrcGZ/UUgZVwzAA8b0LheCHyxVOueExVKdZ6RkhwtlLWN/EPxJm2 Pbr66gdd6fcBbjvGoKCSbhuZrw6VICCWbuqeDlaC4827SjBdxc4hh5wLV9bRMBVi
    Fxgl8QZORUDZ
    =czfj
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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