Re: Log for attempted build of coq_8.4pl4dfsg-1 on m68k (dist=unstable)

To: buildd on ara5 for m68k <buildd@ara5.mirbsd.org>
Cc: debian-68k@lists.debian.org
Subject: Re: Log for attempted build of coq_8.4pl4dfsg-1 on m68k (dist=unstable)
From: Thorsten Glaser <tg@mirbsd.de>
Date: Wed, 13 Aug 2014 18:03:32 +0000 (UTC)
Message-id: <[🔎] Pine.BSM.4.64L.1408131803230.28160@herc.mirbsd.org>
In-reply-to: <20140801204849.0DE70149@ara5.mirbsd.org>
References: <20140801204849.0DE70149@ara5.mirbsd.org>

fail

COQC      theories/ZArith/Znumtheory.v
make[3]: *** [theories/ZArith/Znumtheory.vo] Segmentation fault

Reply to: