coq 8.6-4build3 is FTBFS in Artful, blocking menhir and why3 from migrating

Bug #1714001 reported by Simon Quigley
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
coq (Ubuntu)
High
Unassigned

Bug Description

After a no-change rebuild against a new findlib is FTBFS in Artful.

Simon Quigley (tsimonq2)
Changed in coq (Ubuntu):
importance: Undecided → High
status: New → Triaged
Revision history for this message
Matthias Klose (doko) wrote :

still ftbfs on arm64

tags: added: ftbfs
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers