[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