[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#890004: (no subject)
To
:
890004@bugs.debian.org
Subject
: Bug#890004: (no subject)
From
: Patrick Schleizer <
adrelanos@whonix.org
>
Date
: Fri, 15 Jul 2022 11:53:45 +0000
Message-id
: <
[🔎]
6c26f7ac-d113-8b5b-9092-5bce16f67813@whonix.org
>
Reply-to
:
adrelanos@whonix.org
,
890004@bugs.debian.org
References
: <151821845119.7881.1895034189708090933.reportbug@deb9.localdomain>
This is actually an RFP, not an ITP? Could a DD fix the tagging please?
Reply to:
debian-wnpp@lists.debian.org
Patrick Schleizer (on-list)
Patrick Schleizer (off-list)
Follow-Ups
:
Bug#890004: (no subject)
From:
Adam Borowski <kilobyte@angband.pl>
Prev by Date:
Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq
Next by Date:
Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals
Previous by thread:
Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq
Next by thread:
Bug#890004: (no subject)
Index(es):
Date
Thread