why3 1.1.1-1 is marked for autoremoval from testing on 2019-02-06
It (build-)depends on packages with these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
Hi Andy,
On Thu, Jan 10, 2019 at 02:47:23AM -0800, Andy Li wrote:
> Hi Ralf,
>
> On Tue, Jan 8, 2019 at 11:18 PM Ralf Treinen wrote:
>
> ocaml-migrate-parsetree fails to build on sid using debhelper version 12
> (12 is the version of the debhelper package, I haven't touched the DH
>
Processing commands for cont...@bugs.debian.org:
> severity 918769 important
Bug #918769 [src:ocaml-migrate-parsetree] ocaml-migrate-parsetree
FTBFS:dh_install fails
Severity set to 'important' from 'serious'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
918769
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 10 Jan 2019 20:12:24 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Deb
Your message dated Thu, 10 Jan 2019 20:50:11 +
with message-id
and subject line Bug#918633: fixed in why3 1.1.1-2
has caused the Debian Bug report #918633,
regarding why3-coq: package should Depend on a specific Coq version
to be marked as done.
This means that you claim that the problem has
why3_1.1.1-2_source.changes uploaded successfully to localhost
along with the files:
why3_1.1.1-2.dsc
why3_1.1.1-2.debian.tar.xz
why3_1.1.1-2_source.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
Processing control commands:
> tag -1 pending
Bug #918770 [src:ocaml-migrate-parsetree] ocaml-migrate-parsetree: build-dep on
opam-installer
Added tag(s) pending.
--
918770: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=918770
Debian Bug Tracking System
Contact ow...@bugs.debian.org with pr
Benjamin Barenblat pushed new tag upstream/8.8.2 at Debian OCaml Maintainers /
coq
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/upstream/8.8.2
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed new tag debian/8.8.2-1 at Debian OCaml Maintainers /
coq
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/debian/8.8.2-1
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
9043add6 by Benjamin Barenblat at 2018-12-29T19:31:27Z
Imported Upstream version 8.8.2
- - - - -
21 changed files:
- + .bintray.json
- − .gitattributes
- + .github/ISSUE_TEMPLATE.md
- + .github/PULL_REQUEST
Benjamin Barenblat pushed to branch pristine-tar at Debian OCaml Maintainers /
coq
Commits:
1dcf8d69 by Benjamin Barenblat at 2018-12-29T19:31:30Z
pristine-tar data for coq_8.8.2.orig.tar.gz
- - - - -
2 changed files:
- + coq_8.8.2.orig.tar.gz.delta
- + coq_8.8.2.orig.tar.gz.id
Changes:
=
Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers / coq
Commits:
a4c7f8bd by Enrico Tassi at 2016-12-27T15:53:30Z
Imported Upstream version 8.6
- - - - -
5a38d3c4 by Benjamin Barenblat at 2018-12-24T18:25:38Z
Update debian/watch for GitHub switch
The Coq developers now distr
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Thu, 10 Jan 2019 11:32:35 +0100
Source: belenios
Binary: belenios-tool
Architecture: source amd64
Version: 1.7.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Stéphane
belenios_1.7.1+dfsg-1_amd64.changes uploaded successfully to localhost
along with the files:
belenios_1.7.1+dfsg-1.dsc
belenios_1.7.1+dfsg.orig.tar.xz
belenios_1.7.1+dfsg-1.debian.tar.xz
belenios-tool-dbgsym_1.7.1+dfsg-1_amd64.deb
belenios-tool_1.7.1+dfsg-1_amd64.deb
belenios_1.7.1+dfsg
Stéphane Glondu pushed new tag upstream/1.7.1+dfsg at Debian OCaml Maintainers
/ belenios
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/belenios/tree/upstream/1.7.1+dfsg
You're receiving this email because of your account on salsa.debian.org.
Stéphane Glondu pushed new tag debian/1.7.1+dfsg-1 at Debian OCaml Maintainers
/ belenios
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/belenios/tree/debian/1.7.1+dfsg-1
You're receiving this email because of your account on salsa.debian.org.
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios
Commits:
5ba97938 by Stephane Glondu at 2019-01-10T10:16:06Z
Update debian/watch
- - - - -
5d593103 by Stephane Glondu at 2019-01-10T10:16:41Z
New upstream version 1.7.1+dfsg
- - - - -
dce0dfa5 by Stephane Glondu at 2
Processing commands for cont...@bugs.debian.org:
> tag 918633 + pending
Bug #918633 [why3-coq] why3-coq: package should Depend on a specific Coq version
Added tag(s) pending.
> --
Stopping processing here.
Please contact me if you need assistance.
--
918633: https://bugs.debian.org/cgi-bin/bugre
Hi Ralf,
On Tue, Jan 8, 2019 at 11:18 PM Ralf Treinen wrote:
> ocaml-migrate-parsetree fails to build on sid using debhelper version 12
> (12 is the version of the debhelper package, I haven't touched the DH
> compat level) :
>
> dh_install: libmigrate-parsetree-ocamlbuild-ocaml missing files:
>
19 matches
Mail list logo