[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#997993: marked as done (ITP: elpi -- embeddable lambda-Prolog interpreter)

Your message dated Sun, 28 Nov 2021 17:00:08 +0000
with message-id <E1mrNX6-000H95-TH@fasolo.debian.org>
and subject line Bug#997993: fixed in elpi 1.13.7-1
has caused the Debian Bug report #997993,
regarding ITP: elpi -- embeddable lambda-Prolog interpreter
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 owner@bugs.debian.org
immediately.)


-- 
997993: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997993
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org
Severity: wishlist

* Package name    : elpi
  Version         : 1.13.7
  Upstream Author : Claudio Sacerdoti Coen and Enrico Tassi
* URL             : https://github.com/LPCIC/elpi
* License         : LGPL 2.1+
  Programming Lang: OCaml
  Description     : embeddable lambda-Prolog interpreter

 ELPI implements a lambda-Prolog interpreter enriched with
 constraint handling rules, to provide an extension language
 to larger applications written in OCaml.


I plan to maintain it within the Debian OCaml Maintainers team, with
the idea that I will want to package coq-elpi and hierarchy-builder,
which will be new deps for src:ssreflect, already maintained there.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: elpi
Source-Version: 1.13.7-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
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 997993@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated 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 ftpmaster@ftp-master.debian.org)


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

Format: 1.8
Date: Fri, 29 Oct 2021 21:29:00 +0200
Source: elpi
Binary: elpi elpi-dbgsym libelpi-ocaml-dev libelpi-ocaml-dev-dbgsym
Architecture: source amd64
Version: 1.13.7-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 elpi       - embeddable lambda-Prolog interpreter (tool)
 libelpi-ocaml-dev - embeddable lambda-Prolog interpreter (library)
Closes: 997993
Changes:
 elpi (1.13.7-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #997993)
Checksums-Sha1:
 facb0bdcc4a7a06e41466d6b27ea99b9e4868d36 2050 elpi_1.13.7-1.dsc
 1c12b2c881e9bd2e4a417183846f714a49bd008f 1538946 elpi_1.13.7.orig.tar.gz
 cd06886fca5d0d22f5df1a162358f2f2c50e7dee 2844 elpi_1.13.7-1.debian.tar.xz
 bbfd58e51572b9432656006c74344084dad19181 249324 elpi-dbgsym_1.13.7-1_amd64.deb
 2106db931a0ceed1e6e97e7cbd51ef278d461c9c 8273 elpi_1.13.7-1_amd64.buildinfo
 d99c7c32d4f0325a5c2e23602aa847075c6727c3 1001948 elpi_1.13.7-1_amd64.deb
 c5fb3d47cff831baf7e6e0787df291f575a3037c 1072092 libelpi-ocaml-dev-dbgsym_1.13.7-1_amd64.deb
 18350768f0049379d619ea593400deec544502f8 8844580 libelpi-ocaml-dev_1.13.7-1_amd64.deb
Checksums-Sha256:
 30cf2eaa2471ebfa55be3eeec9e2c053b5220cbf1c3c8a3900b7c0ba5d1b1cb8 2050 elpi_1.13.7-1.dsc
 f1c358b770ba9c000a9aee25ec9bb0355916678d455e416d3eac681303eef386 1538946 elpi_1.13.7.orig.tar.gz
 ba8fa0abf9b817bd09cd3b6739ce7db288e4faf2f17be5ab8862ca7ab0d259d3 2844 elpi_1.13.7-1.debian.tar.xz
 b7f23a04e478e760822802d6f950092e9b90054b74cdf50b445494f99cdf8dfd 249324 elpi-dbgsym_1.13.7-1_amd64.deb
 fd0d0fe7c54ece66116884be842cf9cdc1ec7833b6793cc24f7cec99b5638b53 8273 elpi_1.13.7-1_amd64.buildinfo
 f4904cbd44bbb4308128980875d15073f5d9a246d0e040dce23fc2bafa4df632 1001948 elpi_1.13.7-1_amd64.deb
 de83e612116f47cf889771e1a8250ba5ef960ea480830c9657f61377e253d125 1072092 libelpi-ocaml-dev-dbgsym_1.13.7-1_amd64.deb
 cd5ab325bf994828ea4e442dee33b3582ae153abbe0cbebd12921567ab6bfc7a 8844580 libelpi-ocaml-dev_1.13.7-1_amd64.deb
Files:
 b7db0bda342e285b6d1c22619ccfe867 2050 ocaml optional elpi_1.13.7-1.dsc
 b0faed4758273877f07ca5ba122b2c8c 1538946 ocaml optional elpi_1.13.7.orig.tar.gz
 d0ba1f3973407615974295ba72fc61bd 2844 ocaml optional elpi_1.13.7-1.debian.tar.xz
 e2eaa4f7562579d1b235e19deb5b2e57 249324 debug optional elpi-dbgsym_1.13.7-1_amd64.deb
 b14a5b225f49fd18043b29e48ed814f2 8273 ocaml optional elpi_1.13.7-1_amd64.buildinfo
 ebe1ef8fdb9aa34d449fd7e0b90bb83c 1001948 ocaml optional elpi_1.13.7-1_amd64.deb
 fe531321a665cbd00ebb99e182c366d0 1072092 debug optional libelpi-ocaml-dev-dbgsym_1.13.7-1_amd64.deb
 3f9ccba3d4cf244471da924e992acc08 8844580 ocaml optional libelpi-ocaml-dev_1.13.7-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmF8S94SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTb0P/3A7u5rBhQ/m+qBMCnUtIQ3c3BdtPicB
+IMktg33dQbtCGLmsB+NFpl/bvp4jPRr2zKnynle5H7Il3M6JTU4EzBmX/SDh2xU
8x0PGIAjXhRGLiX4PGO7MIhZm5U9lQPF7ne3KUr6/r0jmnXeXgt90pd6JUpGHndU
r4GI8iZVmDt6mwt8HzMJD58ODYS2zaybdsLU2WzrjtOwpM3kVyFnga1qUA4vzMN0
xF3/42yddfbvWwOXF00DsafmUYwRJjv09fKhtPTtD80/xrhG4+YvJTlfnwWR7YTS
Ou811zlSB38BeHF72VGVSoz5I27/kR7BMeceDO47UieuPqQbHyzSjSLoIeH+KP+r
LAihc6b2MJHtgSLhu1sD1/ez1bVQfwGt7lahJd/wRQZArDB/qtfnc5GQQaBC97Yq
kFOCZr8I26Xju8Ty66hXCENWspbqNPJDJSdbBuBvg2Bdw8XBR/9A0BFPr0OjTPDH
WOONPB/T5oN/QU2vmIdeaTzl8C5HzT4mudY2OWwZtEZG97t/ynh/NPR40+PMnvvV
+uVWXbHy+GfI5ODhGq2jLM2KlP+dpmZiY0ez+8sI7nDOSrTkqEvg3xswxyjK+Hm1
4ABV16pf+AohC9uZGnD2KeNUTixCIwk6GKMpJ5AZk5O+LX96YUM1wxEUzpCwVp4I
tNj7/WCdWnCe
=216d
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: