Bug#898493: why: Please remove armel from architecture list

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#898493: why: Please remove armel from architecture list
From: Adrian Bunk <bunk@debian.org>
Date: Sat, 12 May 2018 19:09:59 +0300
Message-id: <[🔎] 152614139983.18996.15165132572178246959.reportbug@localhost.localdomain>
Reply-to: Adrian Bunk <bunk@debian.org>, 898493@bugs.debian.org

Source: why
Version: 2.40-2
Severity: important

armel is a bytecode architecture since ocaml 4.05.0-10.

Reply to:

Follow-Ups:
- Bug#898493: marked as done (why: Please remove armel from architecture list)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: why_2.40-2_source.changes ACCEPTED into unstable
Next by Date: Bug#898514: hol-light: Loading verifier/m_verifier_main.hl from Formal_ineqs crashes with "Signal -7"
Previous by thread: why_2.40-2_source.changes ACCEPTED into unstable
Next by thread: Bug#898493: marked as done (why: Please remove armel from architecture list)
Index(es):
- Date
- Thread