Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch

To: 743072@bugs.debian.org
Subject: Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
From: Ralf Treinen <treinen@free.fr>
Date: Sun, 30 Mar 2014 21:01:20 +0200
Message-id: <[🔎] 20140330190120.GD1585@free.fr>
Reply-to: Ralf Treinen <treinen@free.fr>, 743072@bugs.debian.org
In-reply-to: <[🔎] 20140330165722.GA1313@Aeris.MIDGAR>
References: <[🔎] 20140330165722.GA1313@Aeris.MIDGAR>

On Sun, Mar 30, 2014 at 06:57:22PM +0200, David Suárez wrote:
> Source: alt-ergo
> Version: 0.95.2-1
> Severity: serious
> Tags: jessie sid
> User: debian-qa@lists.debian.org
> Usertags: qa-ftbfs-20140329 qa-ftbfs
> Justification: FTBFS on amd64

This seems to be caused by the new version 1.8.4 of libocamlgraph-ocaml-dev
(it compiled fine with 1.8.3).

-Ralf.

Reply to:

References:
- Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
  - From: David Suárez <david.sephirot@gmail.com>

Prev by Date: Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
Next by Date: Processed: bug 743072 is forwarded to https://github.com/OCamlPro/alt-ergo/issues/2
Previous by thread: Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
Next by thread: Bug#743072: marked as done (alt-ergo: FTBFS: Error: Signature mismatch)
Index(es):
- Date
- Thread