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

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

    From Debian FTP Masters@21:1/5 to All on Sun Oct 2 23:30:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 01 Oct 2022 22:10:53 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.4.0-1
    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.4.0-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    b8fa2758f5644f7a3d28565197503dc0911a8476 2225 coq-hierarchy-builder_1.4.0-1.dsc
    0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
    276132f48e643657c900a77b46e43a89f6163f87 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
    1c68a178750743b5197454316ecadd39a8b6598b 7560 coq-hierarchy-builder_1.4.0-1_source.buildinfo
    Checksums-Sha256:
    8ca25b112f1e33c6c2abb197bac1cb09f278e1faaaf80703501a582e1863e7c9 2225 coq-hierarchy-builder_1.4.0-1.dsc
    96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
    fd1f6f91cc8aa8566c63874d548ec1d86df5109f9431cebb09bae4a6fdd0c653 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
    4cb619049be4c0e0a80bceafdbf0d4bbae099bbe28fcb5935b5783ac2f82db62 7560 coq-hierarchy-builder_1.4.0-1_source.buildinfo
    Files:
    8d9e41e372f1e75d588bf1bdcab85aea 2225 ocaml optional coq-hierarchy-builder_1.4.0-1.dsc
    2fb08ce2debfe46a48593132aad748f0 201673 ocaml optional coq-hierarchy-builder_1.4.0.orig.tar.gz
    a87c5155f713e543acda9104ac9e9788 3104 ocaml optional coq-hierarchy-builder_1.4.0-1.debian.tar.xz
    dbd69a654a7b010c42557bdbcee07553 7560 ocaml optional coq-hierarchy-builder_1.4.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM4nvESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRGy4QAKLf+k9hB/XPHoHSYOnBffcoF2GDrOBu oIhvsIEugro1h96SqlZMNKpLOo8gtawpNoyhI9ta+kP0rsHDpgTD0tRW+Kd7uul2 N9BayuqfVEAnYpnzfEJ3cJw4vd80KJqH2v1+6R5yzoY6EfujBiU907uLFg3E4oV6 br5LhetQscaFLMrkVRhg6u+jT/to5vjKljAORj3Sf4c4s5rx8zOCblE3jKzFnyJ6 PzUsbHk2lXsjeEiTYZwhFDB3XfD+HQoluwbXc8Fs+ZXtyyh9pSBChAfYTu0R4JKG imwa9wWZuMFUNAyrPUlGvSsveWdW12dE5KLQ2lUM5e3U2NccJlhUlfxsQyq/E9eU eYrFCBeb7HpaneU59KhQ0KCemJmAnZuHJvAhZNzRTSnfIYhE44/CqRCFRD7uRQES QAYDKdISCaTnvm94suU4iMU2YF1MjFiMNsCXxPfGesgZxElShRjuolWQ/KtoZfTy lX48wFItHB/dl6rjbu7z1QMiYnClZkdqvVJpow3vPQIGnDzU6TzkJZNfo9nSEUbb U+6eLmmXT0kj42ioldr2pFgwrZgcOZnDfdY8g5Ur3aFHtdfl/EXFW9knTIPcCpDq BEx5viFuT5oeg9uEr8UcREfzaqr/3u35sB2GyKJ51gKpe4GgyF5filCD/YvY3rYB
    ellgX97mI84C
    =Ndy+
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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