Bug#919462: coq ftbfs on some release architectures

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#919462: coq ftbfs on some release architectures
From: Matthias Klose <doko@debian.org>
Date: Wed, 16 Jan 2019 11:02:24 +0100
Message-id: <[🔎] 27e61ec7-b166-d634-0fea-73a79cd6bd04@debian.org>
Reply-to: Matthias Klose <doko@debian.org>, 919462@bugs.debian.org

Package: src:coq
Version: 8.8.2-1
Severity: serious
Tags: sid buster

according to https://buildd.debian.org/status/package.php?p=coq
the package fails to build at least on armel and the mips* architectures.

Reply to:

Follow-Ups:
- Bug#919462: coq ftbfs on some release architectures
  - From: Benjamin Barenblat <bbaren@debian.org>
- Processed: Re: Bug#919462: coq ftbfs on some release architectures
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Bug#919461: ssreflect ftbfs in unstable
Next by Date: Bug#919463: aac-tactics ftbfs in unstable
Previous by thread: Processed: Re: Bug#919461: ssreflect ftbfs in unstable
Next by thread: Bug#919462: coq ftbfs on some release architectures
Index(es):
- Date
- Thread