Accepted coq-elpi 1.11.2-1 (source amd64) into unstable, unstable
-----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-----