Log in / Register
Ubuntu
coq package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1714001
Comment #1
Comment 1 for bug 1714001
Revision history for this message
Matthias Klose (doko)
wrote
on 2017-09-12
:
#1
still ftbfs on arm64
still ftbfs on arm64
still ftbfs on arm64