Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"

To: Adrian Bunk <bunk@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 05 Feb 2019 20:15:04 +0000
Message-id: <[🔎] handler.s.B.154939745417724.transcript@bugs.debian.org>
References: <[🔎] 154939745149.17711.12798713540308387998.reportbug@localhost> <[🔎] 154939745149.17711.12798713540308387998.reportbug@localhost>

Processing control commands:

> block 918633 by -1
Bug #918633 {Done: Ralf Treinen <treinen@debian.org>} [why3-coq] why3-coq: package should Depend on a specific Coq version
918633 was not blocked by any bugs.
918633 was not blocking any bugs.
Added blocking bug(s) of 918633: 921465

-- 
918633: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=918633
921465: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921465
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
Next by Date: Accepted coq 8.9.0-1 (source amd64) into unstable
Previous by thread: Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
Next by thread: Bug#921465: marked as done (why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3")
Index(es):
- Date
- Thread