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

2018-11-12 Thread Adrian Bunk
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

frama-c_20171101+sulfur+dfsg-2_amd64.changes ACCEPTED into unstable

2018-11-12 Thread Debian FTP Masters
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:

Bug#911159: marked as done (please stop building the frama-c GUI)

2018-11-12 Thread Debian Bug Tracking System
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

Processing of frama-c_20171101+sulfur+dfsg-2_amd64.changes

2018-11-12 Thread Debian FTP Masters
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

[Git][ocaml-team/frama-c] Pushed new tag debian/20171101+sulfur+dfsg-2

2018-11-12 Thread Stéphane Glondu
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.

Processed: Bug #911159 in frama-c marked as pending

2018-11-12 Thread Debian Bug Tracking System
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

Bug#913549: ocamlbuild: new upstream release (0.13.1)

2018-11-12 Thread Jakub Wilk
Source: ocamlbuild Severity: wishlist -- Jakub Wilk