Your message dated Mon, 17 Jan 2022 16:48:42 +
with message-id
and subject line Bug#1002930: fixed in coq-hierarchy-builder 1.2.1-1
has caused the Debian Bug report #1002930,
regarding coq-hierarchy-builder: Error: Unable to locate library elpi with
prefix elpi.
to be marked as done.
This me
Your message dated Mon, 17 Jan 2022 08:34:00 +
with message-id
and subject line Bug#1002930: fixed in coq-elpi 1.11.2-2
has caused the Debian Bug report #1002930,
regarding coq-hierarchy-builder: Error: Unable to locate library elpi with
prefix elpi.
to be marked as done.
This means that you
2 matches
Mail list logo