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

2014-03-30 Thread Ralf Treinen
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...@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

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

2014-03-30 Thread David Suárez
Source: alt-ergo Version: 0.95.2-1 Severity: serious Tags: jessie sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20140329 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > ocamlc -c -an