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

Bug#1014969: marked as done (ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals)

Your message dated Fri, 12 Aug 2022 08:58:30 +0200
with message-id <ee03d08ee8acf5d1612c41e601edb3a14c978616.camel@gmail.com>
and subject line Package is in testing already!
has caused the Debian Bug report #1014969,
regarding ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals
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.)


-- 
1014969: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014969
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 Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org

* Package name    : coq-gappa
  Version         : 1.5.2
  Upstream Author : Guillaume Melquiond
* URL             : https://gappa.gitlabpages.inria.fr
* License         : LGPL-3+
  Programming Lang: Coq
  Description     : Coq tactic to use Gappa for floating-point goals
 This package provides a Coq tactic to discharge goals about
 floating-point arithmetic and round-off errors to Gappa.
 .
 Gappa is a prover for numerical properties.
 .
 Coq is a proof assistant for higher-order logic.


I plan to maintain this package within the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Hi,

the -1 was rejected from NEW, so when -2 made it in, that bug wasn't
automatically closed: doing so manually.

Cheers,

J.Puydt

--- End Message ---
Reply to: