From mboxrd@z Thu Jan  1 00:00:00 1970
From: =?UTF-8?Q?G=C3=A1bor?= Boskovits <boskovits@gmail.com>
Subject: bug#33745: Unnecessary dependencies in Coq
Date: Tue, 18 Dec 2018 16:20:18 +0100
Message-ID: <CAE4v=pjpmfGch8F-mnZYV+MxWg8+J7cw_-UpQBsQQn9=YKzONA@mail.gmail.com>
References: <83ee8918-ced3-310e-8cbf-9bd08d9036c5@cs.ru.nl>
	<9c1d66c2-dda1-af87-b648-29a00d3dbc2d@cs.ru.nl>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:34961)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gZHCC-000408-Nl
	for bug-guix@gnu.org; Tue, 18 Dec 2018 10:22:11 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gZHB9-0002Cx-0B
	for bug-guix@gnu.org; Tue, 18 Dec 2018 10:21:06 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:49310)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1gZHB8-0002Ck-Mf
	for bug-guix@gnu.org; Tue, 18 Dec 2018 10:21:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gZHB8-0005d6-EO
	for bug-guix@gnu.org; Tue, 18 Dec 2018 10:21:02 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.33745.B33745.154514643921590@debbugs.gnu.org>
In-Reply-To: <9c1d66c2-dda1-af87-b648-29a00d3dbc2d@cs.ru.nl>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Dan Frumin <dfrumin@cs.ru.nl>
Cc: 33745@debbugs.gnu.org

Hello Dan,

It would be nice to include the bug title in the subject, so people
looking at the mail don't have to go to the issue tracker to see what
the mail refers to.

Dan Frumin <dfrumin@cs.ru.nl> ezt =C3=ADrta (id=C5=91pont: 2018. dec. 18., =
K, 15:54):
>
> Well it looks like this has been resolved in 8a2cfc7bea37fd5cc5d384ac16d7=
cd3bd5603ab9
>
>
>

I have seen two other problems raised on this issue. If they are still
relevant, please retitle this issue to reflect the new state.
You can do that by sending a mail to the control server. You can have
a look at the control commands at
https://debbugs.gnu.org/server-control.html.

If you feel this issue can be closed, please feel free to do so by
sending a message to 33745-done@debbugs.gnu.org.

Best regards,
g_bor