Your message dated Fri, 17 Dec 2021 19:00:09 +0000
with message-id <e1myisf-0009ye...@fasolo.debian.org>
and subject line Bug#999483: fixed in coq-elpi 1.11.2-1
has caused the Debian Bug report #999483,
regarding ITP: coq-elpi -- Coq plugin embedding Elpi
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
999483: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=999483
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Owner: Julien Puydt <jpu...@debian.org>
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
Severity: wishlist
* Package name : coq-elpi
Version : 1.11.2
Upstream Author : Enrico Tassi
* URL : https://github.com/LPCIC/coq-elpi
* License : LGPL 2.1+
Programming Lang: OCaml
Description : Coq plugin embedding Elpi
This package makes it possible to define new commands and tactics
for Coq in Elpi.
.
Elpi implements a lambda-Prolog interpreter enriched with
constraint handling rules.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team, where I
already packaged src:elpi, with the idea that I will want to package
next hierarchy-builder, which will be new deps for src:ssreflect,
already maintained there.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-elpi
Source-Version: 1.11.2-1
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-elpi, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 999...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@debian.org> (supplier of updated coq-elpi package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----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-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@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-----
--- End Message ---
