Bug#918633: why3-coq: package should Depend on a specific Coq version

Package: why3-coq Version: 1.1.1-1 Severity: serious why3-coq Depends on coq, but it contains compiled .vo files that can only be read by Coq 8.6. (In general, Coq .vo files are tied to the minor version of Coq that produced them.) why3-coq should Depend on the minor version of Coq that compiled

ppx-deriving_4.2.1-3_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 07 Jan 2019 19:45:28 +0100 Source: ppx-deriving Binary: libppx-deriving-ocaml-dev libppx-deriving-ocaml Architecture: source Version: 4.2.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

Processing of ppx-deriving_4.2.1-3_source.changes

ppx-deriving_4.2.1-3_source.changes uploaded successfully to localhost along with the files: ppx-deriving_4.2.1-3.dsc ppx-deriving_4.2.1-3.debian.tar.xz ppx-deriving_4.2.1-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package

reassign 916468 whitedune 0.30.10-2.1 thanks Le 14/12/2018 à 20:24, Andreas Beckmann a écrit : > automatic installation tests of packages that share a file and at the > same time do not conflict by their package dependency relationships has > detected the following problem: > > Selecting

Processed: Re: Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package

Processing commands for cont...@bugs.debian.org: > reassign 916468 whitedune 0.30.10-2.1 Bug #916468 [dune] dune: /usr/bin/dune is already provided by the whitedune package Bug reassigned from package 'dune' to 'whitedune'. No longer marked as found in versions dune/1.6.2-1. Ignoring request to

Bug#918562: camomile FTBFS on ocaml bytecode architectures: Fatal error: exception Stack overflow

Source: camomile Version: 1.0.1-1 Severity: serious Tags: ftbfs https://buildd.debian.org/status/package.php?p=camomile ... camomilelocaledef Camomile/locales/zh__PINYIN.mar (exit 2) (cd _build/default/Camomile && tools/camomilelocaledef.exe --file locales/zh__PINYIN.txt locales) Fatal error:

Bug#918563: camomile FTBFS on ppc64{,el}: camomilelocaledef got signal SEGV

Source: camomile Version: 1.0.1-1 Severity: serious Tags: ftbfs https://buildd.debian.org/status/package.php?p=camomile ... camomilelocaledef Camomile/locales/zh__PINYIN.mar (got signal SEGV) (cd _build/default/Camomile && tools/camomilelocaledef.exe --file locales/zh__PINYIN.txt locales)

failed mips build of coq 8.8.2-1

* Source package: coq * Version: 8.8.2-1 * Architecture: mips * State: failed * Suite: sid * Builder: mips-aql-04.debian.org * Build log: https://buildd.debian.org/status/fetch.php?pkg=coq=mips=8.8.2-1=1546853356=log Please note that these notifications do not necessarily mean bug reports

failed armel build of coq 8.8.2-1

* Source package: coq * Version: 8.8.2-1 * Architecture: armel * State: failed * Suite: sid * Builder: hasse.debian.org * Build log: https://buildd.debian.org/status/fetch.php?pkg=coq=armel=8.8.2-1=1546851659=log Please note that these notifications do not necessarily mean bug reports in

failed mipsel build of coq 8.8.2-1

* Source package: coq * Version: 8.8.2-1 * Architecture: mipsel * State: failed * Suite: sid * Builder: mipsel-manda-03.debian.org * Build log: https://buildd.debian.org/status/fetch.php?pkg=coq=mipsel=8.8.2-1=1546852035=log Please note that these notifications do not necessarily mean bug