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

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Gianfranco Costamagna (costamagnagianfranco):

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

** Affects: aac-tactics (Ubuntu)
     Importance: Undecided
     Assignee: Ubuntu Package Archive Administrators (ubuntu-archive)
         Status: New

** Affects: coq (Ubuntu)
     Importance: Undecided
     Assignee: Ubuntu Package Archive Administrators (ubuntu-archive)
         Status: New

** Affects: prooftree (Ubuntu)
     Importance: Undecided
     Assignee: Ubuntu Package Archive Administrators (ubuntu-archive)
         Status: New

** Affects: why3 (Ubuntu)
     Importance: Undecided
     Assignee: Ubuntu Package Archive Administrators (ubuntu-archive)
         Status: New

** Affects: coq (Debian)
     Importance: Unknown
         Status: Unknown

-- 
RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)
https://bugs.launchpad.net/bugs/1868106
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.