[Bug 1714135] [NEW] drop coq/arm64 binaries from artful FTBFS
Launchpad Bug Tracker
1714135 at bugs.launchpad.net
Thu Aug 31 02:51:03 UTC 2017
You have been subscribed to a public bug by Dimitri John Ledkov (xnox):
binutils got more strict to catch linker/assembly bugs on arm64
ocaml is buggy, and currently uploaded solution hides symbols that coq tries to use.
a more correct fix is in the works upstream, but not yet available.
meanwhile please drop coq binaries on arm64 only. if and when ocaml is
fixed, these will come back.
** Affects: aac-tactics (Ubuntu)
Importance: Undecided
Status: New
** Affects: coq (Ubuntu)
Importance: High
Status: Triaged
** Affects: prooftree (Ubuntu)
Importance: Undecided
Status: New
** Affects: ssreflect (Ubuntu)
Importance: Undecided
Status: New
** Affects: why (Ubuntu)
Importance: Undecided
Status: New
** Affects: why3 (Ubuntu)
Importance: Undecided
Status: New
** Tags: arm64
--
drop coq/arm64 binaries from artful FTBFS
https://bugs.launchpad.net/bugs/1714135
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.
More information about the ubuntu-archive
mailing list