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

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

    From Debian FTP Masters@21:1/5 to All on Mon May 23 17:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 23 May 2022 16:18:40 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-9
    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-9) unstable; urgency=medium
    .
    * Add patch to support coq-elpi 1.14.0.
    Checksums-Sha1:
    c1a1a21e271691894061f9b240e7b87006695e4c 2221 coq-hierarchy-builder_1.2.1-9.dsc
    260b78e17c826743c1b2baddec1cda22b474b306 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz
    3ee8ee84056ed9d5ab4fab13132a39b7f110b7e1 7374 coq-hierarchy-builder_1.2.1-9_source.buildinfo
    Checksums-Sha256:
    f0f8e2045a5e1cc8b17eed119267f5a59ba6edba4aa84d260e05b8f57bbe7c8f 2221 coq-hierarchy-builder_1.2.1-9.dsc
    0b5808f9e80ae96c29900e40f3f54e73fe7aef1358a4bcb1539736ab8fb55083 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz
    7a8fdc85cfdb76ca78333b938393f0d1c5ac9a270f85f74d7457b84b0162c356 7374 coq-hierarchy-builder_1.2.1-9_source.buildinfo
    Files:
    1d735d98ef7877314dbd500db33ef102 2221 ocaml optional coq-hierarchy-builder_1.2.1-9.dsc
    0eda638696aa38345d4e3c90759c57b0 3740 ocaml optional coq-hierarchy-builder_1.2.1-9.debian.tar.xz
    a4b04f85dd275b4b1877f4db8fe5a3e2 7374 ocaml optional coq-hierarchy-builder_1.2.1-9_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKLl9wSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRRlwP/15mYQbavJN5C4IrYbL7JABOflhwpR3f ICNBL/4GpBJmPOZHYjZjmA6E+XffERrJkjwkAIbosrEGr8V7JUlhP5Qxmif063E0 WXtrUCGTFGir8fa9V6pLWLROPvCejKC/1zA9qA7xrckAGj5shB4t02PZI1v359vd NnVs+N3/gneoALnVrJqQ7+jbvhlvQ+Ye3rcC53mTBxhMees5aby7pnAGHbipm/DA 4WxMgD/HBz+U1szPVRSrYlnRU9ZXOJbMDINITzMxS+itJL9/bnQYqvOL6i9xv7oc Rlab49ZsS3ck+QM1ciMhVhZWxh94l3yeWllMimqlA9ncuoxFv9tJTQzjFkkqvd2k MBilC6hORHsdP1H/5fBkOdqtToRqnvU6gE+A86cCjiZV40ZES5HKcXUIUmUZZjUL aCS0NatQoWfjmARQiyZeBXykRIP2nA8ThU0jLo8Xl7hFBAT0D1uohpOr82QVC9xv Em/oZPZBG/QhQs88ixweRcY3KelsHGCDDEhtrXnrcuH5u3Q2RZor8AesgfaI+wWN mqqoi7QLHlzD4hvR3Q2QBh2qnaXuSTv6QXF/vyb6cyDAAxcD5o3kG+8pjql7LXtD lAEB7G7Y7PIAe4K0fosUsNhs7vMngafm+D8QQODhF1u716V2gptHiBO3HKFIZqrm
    SjZiaXwqfepP
    =mb2B
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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