RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)
Bug #1868106 reported by
Matthias Klose
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| aac-tactics (Ubuntu) |
Fix Released
|
Undecided
|
Ubuntu Package Archive Administrators | ||
| coq (Debian) |
Fix Released
|
Unknown
|
|||
| coq (Ubuntu) |
Fix Released
|
Undecided
|
Ubuntu Package Archive Administrators | ||
| frama-c (Ubuntu) |
Invalid
|
Undecided
|
Unassigned | ||
| prooftree (Ubuntu) |
Fix Released
|
Undecided
|
Ubuntu Package Archive Administrators | ||
| why3 (Ubuntu) |
Fix Released
|
Undecided
|
Ubuntu Package Archive Administrators | ||
Bug Description
RM: coq [armhf s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)
| Changed in aac-tactics (Ubuntu): | |
| assignee: | nobody → Ubuntu Package Archive Administrators (ubuntu-archive) |
| Changed in coq (Ubuntu): | |
| assignee: | nobody → Ubuntu Package Archive Administrators (ubuntu-archive) |
| Changed in prooftree (Ubuntu): | |
| assignee: | nobody → Ubuntu Package Archive Administrators (ubuntu-archive) |
| Changed in why3 (Ubuntu): | |
| assignee: | nobody → Ubuntu Package Archive Administrators (ubuntu-archive) |
| description: | updated |
| summary: |
- RM: coq [armhf i386 s390x] -- ROM; FTBFS (mostly on 32bit archs, or - where ocaml has only a bytecode compiler) + 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 |
Revision history for this message
| Gianfranco Costamagna (costamagnagianfranco) wrote | #1 |
| Changed in coq (Debian): | |
| status: | Unknown → Fix Released |
Revision history for this message
| Steve Langasek (vorlon) wrote | #2 |
| Changed in aac-tactics (Ubuntu): | |
| status: | New → Fix Released |
Revision history for this message
| Steve Langasek (vorlon) wrote | #3 |
| Changed in prooftree (Ubuntu): | |
| status: | New → Fix Released |
Revision history for this message
| Steve Langasek (vorlon) wrote | #4 |
| Changed in why3 (Ubuntu): | |
| status: | New → Invalid |
Revision history for this message
| Steve Langasek (vorlon) wrote | #5 |
| Changed in why3 (Ubuntu): | |
| status: | Invalid → Fix Released |
Revision history for this message
| Steve Langasek (vorlon) wrote | #6 |
| Changed in coq (Ubuntu): | |
| status: | New → Fix Released |
To post a comment you must log in.
frama-c depends on why3, but on armhf and s390x coq dependency is disabled.