Your message dated Tue, 13 Oct 2015 09:53:42 +
with message-id
and subject line Bug#801560: fixed in labltk 8.06.0+dfsg-3
has caused the Debian Bug report #801560,
regarding liblabltk-ocaml: fails to upgrade from 'testing' - trying to
overwrite /usr/lib/ocaml/stublibs/dlllabltk.so
to be marke
labltk_8.06.0+dfsg-3_amd64.changes uploaded successfully to localhost
along with the files:
labltk_8.06.0+dfsg-3.dsc
labltk_8.06.0+dfsg-3.debian.tar.xz
labltk_8.06.0+dfsg-3_amd64.deb
liblabltk-ocaml-dev_8.06.0+dfsg-3_amd64.deb
liblabltk-ocaml_8.06.0+dfsg-3_amd64.deb
Greetings,
Y
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 13 Oct 2015 11:43:06 +0200
Source: labltk
Binary: labltk liblabltk-ocaml-dev liblabltk-ocaml
Architecture: source amd64
Version: 8.06.0+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintai
coq_8.4pl4dfsg-2_amd64.changes uploaded successfully to localhost
along with the files:
coq_8.4pl4dfsg-2.dsc
coq_8.4pl4dfsg-2.debian.tar.xz
coq-theories_8.4pl4dfsg-2_all.deb
coq_8.4pl4dfsg-2_amd64.deb
coqide_8.4pl4dfsg-2_amd64.deb
libcoq-ocaml-dev_8.4pl4dfsg-2_amd64.deb
libcoq-ocaml_8
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 13 Oct 2015 17:26:06 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.4pl4dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintaine
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 13 Oct 2015 17:26:06 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.4pl4dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OC
6 matches
Mail list logo