Subject: module-init-tools-3.16-man no longer available from distfiles.gentoo.org
From: Mark H Weaver <[email-masked]>
To: [email-masked]
Date: Sun, 25 Aug 2013 15:15:45 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

The 'module-init-tools' recipe tries to download
module-init-tools-3.16-man.tar.bz2 from distfiles.gentoo.org, but it's
no longer there.

      Mark