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

  • coq-hierarchy-builder_1.2.0-1_amd64.changes ACCEPTED into unstable, uns

    From Debian FTP Masters@21:1/5 to All on Fri Dec 17 20:20:02 2021
    Accepted:

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

    Format: 1.8
    Date: Fri, 03 Dec 2021 08:57:26 +0100
    Source: coq-hierarchy-builder
    Binary: coq-hierarchy-builder libhierarchy-builder-coq
    Architecture: source amd64
    Version: 1.2.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    coq-hierarchy-builder - build hierarchies of algebraic structures in Coq (tool)
    libhierarchy-builder-coq - build hierarchies of algebraic structures in Coq (runtime files)
    Closes: 1001038
    Changes:
    coq-hierarchy-builder (1.2.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1001038)
    Checksums-Sha1:
    ea41060debf1c20cf221cc4063bdbedad1030c41 2196 coq-hierarchy-builder_1.2.0-1.dsc
    e84604616162b8b9172dbfc48dfec8efbf031241 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
    64945f0c1e2fe36e02611036462c0d233f9cabc1 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
    0724878c42cd9aae8c401c291b63747b11a02323 7928 coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
    763a0928deee8987b4390d30f6c46c3b6450991e 601564 coq-hierarchy-builder_1.2.0-1_amd64.deb
    bd2cf94ba9ac444f78e5e0f165e2392af07b6607 214240 libhierarchy-builder-coq_1.2.0-1_amd64.deb
    Checksums-Sha256:
    df887d6a4b8ef3dfb0f78c3cf90f4770a6c9ca7f20916a42a70d7973828a6905 2196 coq-hierarchy-builder_1.2.0-1.dsc
    ff0f1b432aa7b6643b61c6f7c70bd32c2afc703bc44b5580e6229f9749ef9fff 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
    8bb9fd836170f7da04fff21269005d30e1c3216236f46c502096055a58c8ce6d 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
    889ec18bc27e30a5cefa41973633b3527b4672a0b735a27f7364563437ea6b2f 7928 coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
    4fa97c81e95d5eb2c7076b3b32e97fd4c101b3938f5e2a75b6fa917f6a0e5554 601564 coq-hierarchy-builder_1.2.0-1_amd64.deb
    04bcae4e04477a2f8467a60a7355f80ac48b163cf0a9db50a69e49ee26353ed6 214240 libhierarchy-builder-coq_1.2.0-1_amd64.deb
    Files:
    1309490467836f8e4b0d2ef535cd5b72 2196 ocaml optional coq-hierarchy-builder_1.2.0-1.dsc
    4e3278f44232d92b1b26b261f314ead0 183352 ocaml optional coq-hierarchy-builder_1.2.0.orig.tar.gz
    8028e4b5fd6985a3fa16b6ade89a792d 3452 ocaml optional coq-hierarchy-builder_1.2.0-1.debian.tar.xz
    4bd14db93d3e0a4873934a3430c10086 7928 ocaml optional coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
    6295bce34ca29466dd7bd2e77cef1c0d 601564 ocaml optional coq-hierarchy-builder_1.2.0-1_amd64.deb
    e9563ba14daabb9f94c1d6b933269e8f 214240 ocaml optional libhierarchy-builder-coq_1.2.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0M0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIVEQAISMIWM2JE+VEcXtIhyPMsvFLQmv/82k mJrN/+9QJLxfESqBuijeAftZPpPZTJ038YdR0a4rzBy+7rABcDLD/SvB6DgkENXF F03xrqB4BLCLJG8WIcjSi2pplsjJsOwvCaBewj8ueBnzphAIYNrqNkuaFz2KG0gJ bZTDhDnE3M1JSWJ+AnpZiLu4oFVeuaPeew9xPxCIxZ9ERGms3NNUr+P5IVPpR9vJ xJeeF4UG3Z5TFnnRxmoLDLsl6VCHr4Zzz0DLimMvZhiUvSG2Ap6DAoaRMorxA2TE SXEwRBX6LCZXiVFf6NDHQIxEzP9+FPSbSGa3BhPH+TcQtny0GmsSwN5yOqxR+HHQ ZFbdJyZVUDJj6BoQYxTmX30H25e3dpnk5Zrk9bQ2LfNw7Mk7OXzIvsXkzURb0jqk Vpft3L/1Y/WbLWFuup/B5fB29Ir7je2GNScucoXUfQxBQukgn90RB2tD0DTQicvs 5KsUscHDsOrPdJsBmqUPou04jqS5pejOhOiPsjXI382+XFfTeunRD3vjfb3+skep Lm0hx+BMeU4c4rgmrqkH13kpzF/lRWuTJkLnzhoRlRhiNINpqEzO1ydlPn/w4JQf Q9ekPbcnJgw1j4/SxhdrMxRPvaSyS2YcifevQNoV7iexgy7OBXHzfOgAVQD9KgJ9
    JWxclyI49nuw
    =7wuq
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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