Your message dated Sun, 10 Jul 2022 19:12:48 +0200 with message-id <a85f7d1dc6927cbbb7b951a099e6681261578e38.camel@gmail.com> and subject line Closing: accepted has caused the Debian Bug report #1014610, regarding ITP: ott -- Ott tool 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.) -- 1014610: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014610 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: ott -- Ott tool
- From: Julien Puydt <jpuydt@debian.org>
- Date: Fri, 08 Jul 2022 20:48:24 +0200
- Message-id: <[🔎] 165730610462.866524.1516903319891127051.reportbug@alibert.home>
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 : ott Version : 0.32 Upstream Author : Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al * URL : https://github.com/ott-lang/ott * License : BSD-3-clause Programming Lang: OCaml Description : Ott tool Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition. . Coq is a proof assistant for higher-order logic. I plan to maintain it within the Debian OCaml Maintainers team, along with the other Coq-related packages. Cheers, J.Puydt
--- End Message ---
--- Begin Message ---
- To: 1014610-done@bugs.debian.org
- Subject: Closing: accepted
- From: julien.puydt@gmail.com
- Date: Sun, 10 Jul 2022 19:12:48 +0200
- Message-id: <a85f7d1dc6927cbbb7b951a099e6681261578e38.camel@gmail.com>
Hi, the package just cleared NEW, but since it was rejected as -1 and accepted as -2, the bug won't close without this message. Cheers, J.Puydt
--- End Message ---