Your message dated Sun, 7 Sep 2014 17:29:38 +0200
with message-id <20140907152938.ga...@luon.net>
and subject line Solved by new upstream release
has caused the Debian Bug report #731067,
regarding mcrl2: FTBFS on arm*
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
731067: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731067
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: mcrl2
Version: 201210.1-1
Severity: serious
Justification: fails to build from source (but built successfully in the past)
Hi,
your package no longer builds on armel and armhf, see the build logs at
https://buildd.debian.org/status/logs.php?pkg=mcrl2&ver=201210.1-1&suite=sid
Cheers,
Julien
signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
Version: 201409.0-1
Hi,
The new upstream release of mCRL2 version 201409.0-1 has solved this
problem. This is also confirmed by the buildd logs.
Kind regards,
Paul
--
Using the Power of Debian GNU/Linux | E-mail: pau...@debian.org
Jabber/GTalk: p...@luon.net | GnuPG key ID: 0x50064181
--- End Message ---
