Processed: Re: Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)

To: Santiago Vila <sanvila@unex.es>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 08 Apr 2016 18:54:07 +0000
Message-id: <[🔎] handler.s.C.14601414854832.transcript@bugs.debian.org>
References: <[🔎] alpine.DEB.2.11.1604082046430.12318@cantor.unex.es>

Processing commands for control@bugs.debian.org:

> tags 806008 + patch
Bug #806008 [src:coq] coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Added tag(s) patch.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
806008: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806008
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
  - From: Santiago Vila <sanvila@unex.es>

Prev by Date: Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Next by Date: Bug#818081: closed by Mehdi Dogguy <mehdi@debian.org> (Bug#818081: fixed in opam 1.2.2-5)
Previous by thread: Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Next by thread: Bug#818081: closed by Mehdi Dogguy <mehdi@debian.org> (Bug#818081: fixed in opam 1.2.2-5)
Index(es):
- Date
- Thread