Your message dated Fri, 22 Aug 2025 20:13:09 +0200
with message-id <[email protected]>
and subject line Obsolete ITP: it's in already!
has caused the Debian Bug report #1011648,
regarding ITP: coq-serapi -- Coq plugin for data serialization
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 [email protected]
immediately.)
--
1011648: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1011648
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <[email protected]>
X-Debbugs-Cc: [email protected], [email protected]
* Package name : coq-serapi
Version : 0.15.0
Upstream Author : Emilio Jesús Gallego Arias et al
* URL : https://github.com/ejgallego/coq-serapi
* License : LGPL-2.1
Programming Lang: OCaml
Description : Coq plugin for data serialization
This package provides automatic serialization of Coq's
internal data structures from/to JSON or S-Expressions,
to allow for machine-to-machine interaction with Coq.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Hi,
this bug should have been closed since coq-serapi is in Debian since a
good year -- it's even in Trixie.
Cheers,
J.Puydt
--- End Message ---
