coq 8.6-4build3 is FTBFS in Artful, blocking menhir and why3 from migrating
Bug #1714001 reported by
Simon Quigley
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| coq (Ubuntu) |
Triaged
|
High
|
Unassigned | ||
Bug Description
After a no-change rebuild against a new findlib is FTBFS in Artful.
| Changed in coq (Ubuntu): | |
| importance: | Undecided → High |
| status: | New → Triaged |
To post a comment you must log in.
still ftbfs on arm64