Processed: Re: Bug#532289: matita fails to build in a non-networking environment.

To: Lucas Nussbaum <lucas@lucas-nussbaum.net>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (matita for {532289})
Subject: Processed: Re: Bug#532289: matita fails to build in a non-networking environment.
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 14 Jul 2009 21:42:22 +0000
Message-id: <[🔎] handler.s.C.12476075907578.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20090714210745.GA28449@xanadu.blop.info>
References: <[🔎] 20090714210745.GA28449@xanadu.blop.info>

Processing commands for control@bugs.debian.org:

> severity 532289 serious
Bug#532289: matita fails to build in a non-networking environment.
Severity set to `serious' from `wishlist'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#532289: matita fails to build in a non-networking environment.
  - From: Lucas Nussbaum <lucas@lucas-nussbaum.net>

Prev by Date: Bug#537011: [Build-common-hackers] Bug#537011: ocaml-gettext: FTBFS: Error: Files gettextModules.cmx and gettextConfig.cmx make inconsistent assumptions over implementation GettextConfig
Next by Date: condemnor
Previous by thread: Bug#532289: matita fails to build in a non-networking environment.
Next by thread: layers
Index(es):
- Date
- Thread