[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#970146: still blocked
To
:
970146@bugs.debian.org
Subject
: Bug#970146: still blocked
From
: Matt Barry <
matt@hazelmollusk.org
>
Date
: Fri, 15 Jul 2022 10:44:42 -0400
Message-id
: <
[🔎]
8eac5ca6028f92735141e27bd9f0f7796ed3f095.camel@hazelmollusk.org
>
Reply-to
: Matt Barry <
matt@hazelmollusk.org
>,
970146@bugs.debian.org
References
: <20200911204628.mgf7d4xnbzuyfbam@pimeys.fr>
block -1 by 1014974 thanks
Reply to:
debian-wnpp@lists.debian.org
Matt Barry (on-list)
Matt Barry (off-list)
Prev by Date:
Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq
Next by Date:
Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq
Previous by thread:
Bug#1014973: marked as done (ITP: coq-hammer -- automated reasoning tool for Coq)
Next by thread:
Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq
Index(es):
Date
Thread