Hi Ralf,
> In fact, when I build ocaml-migrate-parsetree using pbuilder it builds
> fine. However If I build it with gbp buildpackage I get the error as
> described in the bug report.
I've just tried to reproduce it again, this time with gbp
buildpackage, in a clean debian:unstable docker image,
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 23 Dec 2018 07:42:45 +0100
Source: ocamlgraph
Architecture: source
Version: 1.8.8-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Helge Kreutzmann
Closes: 759173
ocamlgraph_1.8.8-1.1_source.changes uploaded successfully to localhost
along with the files:
ocamlgraph_1.8.8-1.1.dsc
ocamlgraph_1.8.8-1.1.debian.tar.xz
ocamlgraph_1.8.8-1.1_amd64.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
Your message dated Sun, 27 Jan 2019 21:20:13 +
with message-id
and subject line Bug#866145: fixed in ocamlgraph 1.8.8-1.1
has caused the Debian Bug report #866145,
regarding ocamlgraph: [INTL:de] Initial German po4a translation
to be marked as done.
This means that you claim that the problem
Your message dated Sun, 27 Jan 2019 21:20:13 +
with message-id
and subject line Bug#759173: fixed in ocamlgraph 1.8.8-1.1
has caused the Debian Bug report #759173,
regarding ocamlgraph: [INTL:pt] Updated Portuguese translation of manpage
to be marked as done.
This means that you claim that
Le 27/01/2019 à 09:17, Lars Dölle a écrit :
> I write to ask why coqide is not longer packaged and
> whether the situation is intended to be permanent.
This is due to the dependency on gtksourceview2, which is obsolete.
Upstream is working on a switch to lablgtk3/gtksourceview3, so this is
not
Package: coq
Version: 8.8.2-1
Hi,
thank you very much for maintaining the coq packages.
As the subject says, coqide is not longer packaged in the
latest sid version.
Citing from debian/rules
| CONFIGUREOPTS := ...
| -coqide no \
The file debian/README.Debian now contains a comment
saying
7 matches
Mail list logo