Your message dated Tue, 22 Oct 2013 13:34:47 +0200
with message-id <[email protected]>
and subject line Re: acl2 not autobuildable in jessie.
has caused the Debian Bug report #709007,
regarding acl2 not autobuildable in jessie.
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 [email protected]
immediately.)
--
709007: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=709007
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: acl2
Version: 6.0-2
Tags: jessie
Severity: serious
Emacs 24 is not currently available in jessie and is blocked from
migration by three rc bugs. This means that the first choice build-deps
for acl2 are not satisfiable in jessie meaning that acl2 cannot be
autobuilt using the build-dependeny rules the debian autobuilders use in
a jessie environment. This doesn't cause much in the way of immediate
problems but would become far more serious if the current state of
affairs were to persist to the next stable release.
I have asked in #debian-release on irc whether I should consider this rc
and the reply was yes.
--- End Message ---
--- Begin Message ---
Hi,
It seems that emacs24 has now migrated to testing/Jessie, so I am taking
the liberty of closing this bug now. Mind you, there may still a
problem with building acl2 (see #725524), although at the current time
it has not been confirmed to affect Jessie.
~Niels
--- End Message ---
