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

To: 806008@bugs.debian.org, 806008-done@bugs.debian.org
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Subject: Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
From: Santiago Vila <sanvila@unex.es>
Date: Sat, 4 Jun 2016 12:30:51 +0200 (CEST)
Message-id: <[🔎] alpine.DEB.2.20.1606041227130.25296@cantor.unex.es>
Reply-to: Santiago Vila <sanvila@unex.es>, 806008@bugs.debian.org
In-reply-to: <[🔎] alpine.DEB.2.20.1606041220090.24837@cantor.unex.es>
References: <E1a1FSu-0002fd-IJ@moszumanska.debian.org> <alpine.DEB.2.11.1604082046430.12318@cantor.unex.es> <[🔎] alpine.DEB.2.20.1606041220090.24837@cantor.unex.es>

Version: 8.5~beta2+dfsg-1

Nevermind.

I finally found it:

coq (8.5~beta2+dfsg-1) experimental; urgency=medium

  * coq-theories is now arch any, since it contains .coq-native/ directories
    (i.e. cmxs files for native compute)

Because there was not a Close statement there, I'm closing this report
by hand with this message.

Thanks.

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#806008: marked as done (coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory))
Previous by thread: Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Next by thread: Bug#806008: marked as done (coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory))
Index(es):
- Date
- Thread