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

[Launchpad Bug Tracker]

Gianfranco Costamagna (costamagnagianfranco) has assigned this bug to you for coq in Debian:

RM: coq [armhf i386 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
         Status: New

** Affects: prooftree (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: why3 (Ubuntu)
     Importance: Undecided
         Status: New

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

-- 
RM: coq [armhf i386 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 a bug assignee.