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

Processing commands for control@xxxxxxxxxxxxxxx:

> 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)


-- 
To UNSUBSCRIBE, email to debian-ocaml-maint-REQUEST@xxxxxxxxxxxxxxxx
with a subject of "unsubscribe". Trouble? Contact listmaster@xxxxxxxxxxxxxxxx