[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

Removing packages from focal: libaac-tactics-ocaml 8.9.0-1 in focal armhf libaac-tactics-ocaml 8.9.0-1 in focal s390x libaac-tactics-ocaml-dev 8.9.0-1 in focal armhf libaac-tactics-ocaml-dev 8.9.0-1 in focal s390x Comment: ANAIS 4 packages successfully removed. Remov

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

Removing packages from focal: coq 8.9.1-5ubuntu1 in focal armhf coq 8.9.1-5ubuntu1 in focal s390x coq-theories 8.9.1-5ubuntu1 in focal armhf coq-theories 8.9.1-5ubuntu1 in focal s390x coqide 8.9.1-5ubuntu1 in focal armhf coqide 8.9.1-5ubuntu1 in focal

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

But why3-coq needed to be removed on s390x. Removing packages from focal-proposed: why3-coq 1.2.1-3build1 in focal s390x Comment: ANAIS 1 package successfully removed. ** Changed in: why3 (Ubuntu) Status: Invalid => Fix Released -- You received this bug notification because you

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

why3's build-dependency on coq is arch-qualified in -proposed. ** Changed in: why3 (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1868106 Title: RM: coq [armhf

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

Removing packages from focal: prooftree 0.13-1build9 in focal armhf prooftree 0.13-1build9 in focal s390x Comment: ANAIS 2 packages successfully removed. ** Changed in: prooftree (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

** Changed in: coq (Debian) Status: Unknown => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1868106 Title: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

frama-c depends on why3, but on armhf and s390x coq dependency is disabled. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1868106 Title: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, o

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

** Changed in: frama-c (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1868106 Title: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocam

[Bug 1868106] Re: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)

** Also affects: frama-c (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1868106 Title: RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs,