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

Bug #1714001 reported by Simon Quigley on 2017-08-30
This bug affects 1 person
Affects Status Importance Assigned to Milestone
coq (Ubuntu)

Bug Description

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

Simon Quigley (tsimonq2) on 2017-08-30
Changed in coq (Ubuntu):
importance: Undecided → High
status: New → Triaged
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