-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 03 Dec 2021 09:02:11 +0100 Source: coq-elpi Binary: libcoq-elpi-ocaml libcoq-elpi-ocaml-dbgsym libcoq-elpi-ocaml-dev Architecture: source amd64 Version: 1.11.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-elpi-ocaml - Coq plugin embedding Elpi (runtime) libcoq-elpi-ocaml-dev - Coq plugin embedding Elpi (devel) Closes: 999483 Changes: coq-elpi (1.11.2-1) unstable; urgency=medium . * Initial release. (Closes: #999483) Checksums-Sha1: ac1235754bf00234af6f2d8dfd94f602d6a77b53 2078 coq-elpi_1.11.2-1.dsc 759e8f735f2fa87c02b73d12de5afd2f33546bcd 351528 coq-elpi_1.11.2.orig.tar.gz 65362d7ced6bc4824ccbbf032da65477c08eeeb6 3932 coq-elpi_1.11.2-1.debian.tar.xz cc61e299e51b3e5c4023f23b8a8e6be390b88560 8874 coq-elpi_1.11.2-1_amd64.buildinfo 5035363b3f682101436f30806a5549ed0ad66cc9 223932 libcoq-elpi-ocaml-dbgsym_1.11.2-1_amd64.deb a07d5f69e6049ff5893cccd704b10d4b6e118dbe 1179592 libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb 4d5b028bb5000bb7687504c95c7b005289d3d2b5 3826172 libcoq-elpi-ocaml_1.11.2-1_amd64.deb Checksums-Sha256: e92a9d7d66395ceceab87072ee25442ea85b72e9c58e819250b7ff8432d6617a 2078 coq-elpi_1.11.2-1.dsc 9a2d86ef36a6a54f0d8ea5e3a2902793a8a9d48deaf049052ea17faea750ff34 351528 coq-elpi_1.11.2.orig.tar.gz 9acc7b75ce9cf2832e8da7bc09d0940d0f1b3362b990f8753411532d53229a29 3932 coq-elpi_1.11.2-1.debian.tar.xz 63f2be71aa80082c03d83b879572e2db1326845039c892c605276d7e699833a8 8874 coq-elpi_1.11.2-1_amd64.buildinfo 73f6bc8f94cc3578eebcb77178e61b2044a03a8c9b8f87e66ea8de1b9bf3bf17 223932 libcoq-elpi-ocaml-dbgsym_1.11.2-1_amd64.deb c6454611cf9db7886c4a9af17908404f218d3149e30da2f97dd0cb07a02dd6e0 1179592 libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb 55425a5983b21a768389b5b4fd2f5028bc23e723a82271af51b0232372d185b4 3826172 libcoq-elpi-ocaml_1.11.2-1_amd64.deb Files: ec8edb3131399680f44a1826a5f9c66b 2078 ocaml optional coq-elpi_1.11.2-1.dsc 5107b517753f0b003c90a83ef22a7c39 351528 ocaml optional coq-elpi_1.11.2.orig.tar.gz a4405ddedaa6ba5820996e7ab3ef3992 3932 ocaml optional coq-elpi_1.11.2-1.debian.tar.xz cebb3f5647b2ed2847c437c059ab8c9d 8874 ocaml optional coq-elpi_1.11.2-1_amd64.buildinfo 9950cae008798aaf468aa151b2da3292 223932 debug optional libcoq-elpi-ocaml-dbgsym_1.11.2-1_amd64.deb 6bf5d40030eda7a0978a63f570728168 1179592 ocaml optional libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb 937267437c0362e1c0065c5c15c25ca6 3826172 ocaml optional libcoq-elpi-ocaml_1.11.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0GMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIAMP/2QbM1Xq1RD7TzQO/wZcpJBxiwf8uIq/ nFxjkhTTgmKQz3tNMKxuwrc+ZjNv6FUfdzeP+bExzH0h/0jTiDMbB4AT0bsZNINe 1HnxHdMPUE4ISpyhmKE/2xkX70H2P4EFn15de1ns1mY2flmyA0LgQ6GbXta2Uhlh Rlb6zV/IdWtxaIcSPGl7wgkQdGEewig+BzRcUm3ZK49LeHFyKkOoMdlasWW8koES IR2qMdd1JfbaA/+pa3v4+IOcFxgXimvEWxw+1nBlf+w6e/gAjiqpFt/bXuXWhXQw ZKW8Lg7JVfT6D5FwA3xd610fJj/neXYw39ihkG8ko3rxj9uSqPl2LqF/qEH6xH+c k9vsffRjMkCTHo44hAaVL2Yerck9JTc4okezHcnAfT7RMaBAxYIrTg1SNYOUf0KS z8JEN6RFpWTWCI7vpyQPVUUm0ZUpNbRdNQrROsr8dlhb54/EwsDEnWPY003UhdRB uCjsEREX+g2ZnCnXrQQYK43QPluzSx3nIBTRJ6sonDe7cayUgpuW2k0mOut0ziao X2dq/x8oSTn8rHVAFETrpM15kI4/ZfHaOjCc1jLjAYI5QUjqPjA8EPKKJBA0Tqtl dpwLg9BzTqY1MybFhYhkRsTFcZ4DcrbIovCmKjXOrLoAoMLK4OJp+cwXsbPjP3RO kPqCUpqT9aJc =oStW -----END PGP SIGNATURE-----
