Bug#1002930: marked as done (coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi.)

2022-01-17 Thread Debian Bug Tracking System
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

Bug#1002930: marked as done (coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi.)

2022-01-17 Thread Debian Bug Tracking System
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