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
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Mon, 12 Nov 2018 11:44:42 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source amd64
Version: 20171101+sulfur+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By:
Your message dated Mon, 12 Nov 2018 12:20:10 +
with message-id
and subject line Bug#911159: fixed in frama-c 20171101+sulfur+dfsg-2
has caused the Debian Bug report #911159,
regarding please stop building the frama-c GUI
to be marked as done.
This means that you claim that the problem has
frama-c_20171101+sulfur+dfsg-2_amd64.changes uploaded successfully to localhost
along with the files:
frama-c_20171101+sulfur+dfsg-2.dsc
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
Stéphane Glondu pushed new tag debian/20171101+sulfur+dfsg-2 at Debian OCaml
Maintainers / frama-c
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/frama-c/tree/debian/20171101+sulfur+dfsg-2
You're receiving this email because of your account on salsa.debian.org.
Processing control commands:
> tag -1 pending
Bug #911159 [src:frama-c] please stop building the frama-c GUI
Added tag(s) pending.
--
911159: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911159
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
Source: ocamlbuild
Severity: wishlist
--
Jakub Wilk
7 matches
Mail list logo