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

Bug#1011648: marked as done (ITP: coq-serapi -- Coq plugin for data serialization)

Your message dated Fri, 22 Aug 2025 20:13:09 +0200
with message-id <9f4292210bd2d1599d43c3fc9b9815a5d6e41035.camel@gmail.com>
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 owner@bugs.debian.org
immediately.)


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

* 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 ---
Reply to: