Your message dated Sat, 09 Jul 2022 07:49:56 +0200 with message-id <98b238f5597ce7c6af2ba4e82f7d6b6a339a8840.camel@gmail.com> and subject line Closing has caused the Debian Bug report #1013949, regarding ITP: coq-hott -- Coq library for homotopy type theory 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.) -- 1013949: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013949 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: coq-hott -- Coq library for homotopy type theory
- From: Julien Puydt <jpuydt@debian.org>
- Date: Mon, 27 Jun 2022 22:49:54 +0200
- Message-id: <165636299448.957232.17200513129761722973.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 : coq-hott Version : 8.15 Upstream Author : Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Bas Pitters * URL : https://github.com/HoTT/HoTT * License : BSD-2-clause Programming Lang: Coq Description : Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . 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 ---
- To: 1013949-done@bugs.debian.org
- Subject: Closing
- From: julien.puydt@gmail.com
- Date: Sat, 09 Jul 2022 07:49:56 +0200
- Message-id: <98b238f5597ce7c6af2ba4e82f7d6b6a339a8840.camel@gmail.com>
Hi, the bug wasn't closed because -1 was rejected from NEW and then -2 was accepted. Cheers, J.Puydt
--- End Message ---