Bug#913606: matita FTBFS with lablgtk2 2.18.5+dfsg-2

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#913606: matita FTBFS with lablgtk2 2.18.5+dfsg-2
From: Adrian Bunk <bunk@debian.org>
Date: Mon, 12 Nov 2018 23:41:48 +0200
Message-id: <[🔎] 154205890857.7999.12787631714760329215.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 913606@bugs.debian.org

Source: matita
Version: 0.99.3-1
Severity: serious
Tags: ftbfs buster sid

https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/matita.html

...
checking for expat ocaml library... yes
checking for gdome2 ocaml library... yes
checking for http ocaml library... yes
checking for lablgtk2 ocaml library... yes
checking for lablgtk2.sourceview2 ocaml library... configure: error: could not find lablgtk2.sourceview2 ocaml library
make[1]: *** [debian/rules:8: override_dh_auto_configure] Error 2

Reply to:

Prev by Date: frama-c_20171101+sulfur+dfsg-2_amd64.changes ACCEPTED into unstable
Next by Date: Processing of alt-ergo_1.30+dfsg1-2_source.changes
Previous by thread: frama-c_20171101+sulfur+dfsg-2_amd64.changes ACCEPTED into unstable
Next by thread: Processing of alt-ergo_1.30+dfsg1-2_source.changes
Index(es):
- Date
- Thread