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