Package: gnome-feeds
Version: 2.2.0-2
Severity: grave
Hello, after a recent dist-upgrade to unstable, gfeeds crashes at
startup. This makes the package unusable.
-Ralf.
% gfeeds
Traceback (most recent call last):
File "/usr/bin/gfeeds", line 75, in
from gfeeds import __main__
File
Source: tycho
Version: 1.6.0-3
Severity: serious
Tags: ftbfs
Hi,
tycho build-depends on libeclipse-osgi-util-java which only exists in
oldstable (and older).
-Ralf.
Source: aws-shell
Tags: ftbfs
Version: 0.2.1-1
Severity: serious
Hi, aws-shell build-depends on awscli (<< 2.0.0). However, the current
version of awscli in sid is 2.12.0-1.
-Ralf.
Source: aws-checksums
Severity: serious
Tags: ftbfs
Version: 0.1.13-1
Hi, aws-checksums build-depends on libaws-c-common-dev which does not
exist anywhere in the archive. This is the case since 2022-11-10.
-Ralf.
For the record : this seems to be related to the option "--latest 1"
discarding Essential packages. Here is a minimal Packages file for
reproducing the bug:
Package: aa
Source: aa
Version: 1
Essential: yes
Architecture: all
Package: aa
Source: aa
Version: 2
Architecture: all
-Ralf.
Hi Raphaël,
On Thu, Aug 17, 2023 at 02:07:22PM +0200, Raphael Hertzog wrote:
> Hello Ralf,
>
> Le samedi 15 juillet 2023, Ralf Treinen a écrit :
> > In fact it is not related to dose-distcheck being outdated on quantz, I
> > get the same error with dose-distcheck on sid
Package: dose-distcheck
Version: 7.0.0-1+b2
Affects: #1040757
dose-debcheck fails on recent unstable main packages file,
independently of the architectures :
% dose-debcheck -e -f --latest 1 --deb-native-arch=amd64
--fg=/home/rt/dose.debian.net/mirror/unstable/main/binary-amd64/Packages >
In fact it is not related to dose-distcheck being outdated on quantz, I
get the same error with dose-distcheck on sid.
Since I do not have time to dig further into this atm (leaving for vacation)
I have now desactivated the unstable_main scenario, which is the only
one where the error is
Hello,
On Mon, Jul 10, 2023 at 01:35:44PM +0800, Paul Wise wrote:
> Package: qa.debian.org
> Severity: important
> User: qa.debian@packages.debian.org
> Usertags: dose
> X-Debbugs-CC: Ralf Treinen
>
> The dose cron job has been producing these errors since 2023-07-02
Hello,
I have tagged this bug as wontfix. What you ask for is too invasive on
users of caml-mode, changing these key bindings would mean that users
of the debian package will have completely different key bindings than
users of the upstream package.
Best -Ralf.
Package: ftp.debian.org
Severity: normal
User: ftp.debian@packages.debian.org
Usertags: remove
X-Debbugs-Cc: coccine...@packages.debian.org
Control: affects -1 + src:coccinelle
Hi, compilation of coccinelle on armhf keeps on failing with message
"out of memory", which blocks migration to
Hi Adrien,
On Mon, Jan 16, 2023 at 07:34:53PM +0200, Adrian Bunk wrote:
> I've prepared an NMU for mccs (versioned as 1:1.1-9.1) and uploaded
> it to DELAYED/14. Please feel free to tell me if I should cancel it.
thanks a lot, I just uploaded version 1.1-10, which includes your patch,
to
Hi Paul,
On Wed, Dec 21, 2022 at 09:16:32PM +0100, Paul Gevers wrote:
> Control: reassign -1 frama-c
>
> Dear maintainers,
>
> On Tue, 8 Nov 2022 21:53:18 +0100 Paul Gevers wrote:
> > [kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module
> >Details: implementation
Source: libxmlada
Version: 22.0.0-3
Severity: serious
Hi,
libxmlada build-depends (in Build-Depends-Arch) on
unicode-data (>= 14~), unicode-data (<< 15~)
but the version of unicode-data in sid is 15.0.0-1.
-Ralf.
Package: libghc-pcre-light-doc
Version: 0.4.1.0-1
Severity: serious
libghc-pcre-light-doc cannot be installed since it depends on
haddock-interface-35 which does not exist in sid.
-Ralf.
Package: python3-morse-simulator
Version: 1.4-6+b1
Severity: serious
Hi,
python3-morse-simulator depends on python3 (< 3.9) which is only
satisfiable in oldstable or older.
-Ralf.
Package: libdune-pdelab-dev
Version: 2.7~20200605-2
Severity: serious
Hi,
this package depends on libdune-common-2.7.0 which does not exist in sid.
-Ralf.
Package: limereg
Version: 1.4.1-4+b1
Severity: serious
Hi,
limereg depends on libboost-program-options1.67.0 which only exists in
oldstable.
-Ralf.
Package: freeture
Version: 1.3.0-1+b1
Severity: serious
Hi,
freeture is not installable in sid as it depends on libaravis-0.6-0,
which only exists in oldstable.
-Ralf.
Package: dropwatch
Version: 1.5.3-1+b2
Severity: serious
Hi,
dropwatch is not installable in sid as it depends on libbinutils (< 2.35.1),
however the current version of that package in sid is 2.39-8.
-Ralf.
Package: cernlib
Version: 20061220+dfsg3-4.4
Severity: serious
Hi,
cernlib is not installable in sid as it depends on geant321-doc, which
is not available in sid.
-Ralf.
Source: gitlab-ci-multi-runner
Version: 13.3.1+dfsg-4
Severity: serious
Hi, gitlab-ci-multi-runner build-depends on golang-github-gorilla-context-dev
but that package does not exist in sid any more (it only exists in
stable and older).
-Ralf.
Source: libaws
Version: 20.2-2
Severity: serious
Hi,
libaws build-depends on libtemplates-parser14-dev which is not
installable, and which seems to be cruft since the current version
of libtemplates-parser in sid produces libtemplates-parser15-dev .
-Ralf.
Raising severity to serious as dpatch is now removed from sid, which
makes the package FTBFS.
-Ralf.
Package: libghc-aeson-dev
Version: 2.0.3.0-1+b4
Severity: serious
Hi,
libghc-aeson-dev on amd64c depends on libghc-semialign-dev-1.2.0.1-ebc3a
which does not exist in the archive. The situation is the same on other
arches with a different hash of libghc-semialign-dev-1.2.0.1.
-Ralf.
Package: libghc-persistable-record-doc
Version: 0.6.0.5-1
Severity: serious
Hi, libghc-persistable-record-doc depends on haddock-interface-35 but
that package does not exist in the archive.
-Ralf.
Package: libghc-product-isomorphic-doc
Version: 0.0.3.3-2
Severity: serious
Hi, libghc-dice-doc depends on haddock-interface-35 but that package
does not exist in the archive.
-Ralf.
Package: libghc-dice-doc
Version: 0.1.0.1-1
Severity: serious
Hi, libghc-dice-doc depends on haddock-interface-35 but that package
does not exist in the archive.
-Ralf.
Package: libghc-lambdabot-core-doc
Version: 5.3.0.1-1
Severity: serious
Hi, libghc-lambdabot-core-doc depends on haddock-interface-35 but that
package does not exist in the archive.
-Ralf
Source: haskell-heist
Version: 1.1.0.1-3
Severity: serious
Hi,
haskell-heist build-depends on libghc-aeson-dev (<< 1.5) but the version
of that package in sid is 2.0.3.0-1.
-Ralf.
Package: libghc-crypto-numbers-doc
Version: 0.2.7-10
Severity: serious
Hi,
libghc-crypto-numbers-doc depends on haddock-interface-35 but this
package does not exist in the archive.
-Ralf.
Package: libghc-highlighting-kate-doc
Version: 0.6.4-6
Severity: serious
Hi,
libghc-highlighting-kate-doc depends on haddock-interface-35 which does
not exist in the archive.
-Ralf.
Source: glirc
Version: 2.36-3
Severity: serious
Hi,
glirc build-depends on libghc-attoparsec-dev (<< 0.14). However, the
current version of that package in sid is 0.14.4-2+b1.
-Ralf.
Source: guacamole-client
Version: 0.9.9+dfsg-1
Severity: serious
Hi, guacamole-client build-depends on libangular-maven-plugin-java but
that package only exists in oldoldstable.
-Ralf.
Package: libvtk6.3
Version: 6.3.0+dfsg2-8.1+b1
Severity: serious
Hi, libvtk6.3 is currently not installable in sid as it depends on
libjsoncpp24. That package only exists in stable, in sid and testing
we have libjsoncpp25.
-Ralf.
Source: python-jenkinsapi
Version: 0.3.11-5
Severity: serious
Usertags: edos-uninstallable
Hi, python-jenkinsapi build-depends on pylint3 but that package only
exists in stable and older stable releases.
-Ralf.
Source: materialize
Version: 1.1.0~alpha+ds-1
Severity: serious
Usertags: edos-uninstallable
Hi,
materialize build-depends on libjs-anime, which does not exist in sid.
-Ralf.
Source: wine-development
Version: 6.0+repack-1
Severity: serious
Usertag: edos-uninstallable
Hi,
wine-development build-deoends on unicode-data (< 14) but the version in
testing and in sid is 14.0.0-1.1.
-Ralf.
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu xmlrpc-light_0.6.1-5+b5 . ANY . unstable . -m "rebuild against ocamlnet
4.1.8-2+b1"
Binary packages generated from this source package have broken
dependencies since the rebuild of
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu pxp_1.2.9-2+b4 . ANY . unstable . -m "rebuild against ocamlnet 4.1.8-2+b1"
Binary packages generated from this source package have broken
dependencies since the rebuild of ocamlnet, and
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu ocamlrss_2.2.2-1+b1 . ANY . unstable . -m "rebuild against ocamlnet
4.1.8-2+b1"
Binary packages generated from this source package have broken
dependencies since the rebuild of
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu ocaml-lastfm_0.3.2-1+b5 . ANY . unstable . -m "rebuild against ocamlnet
4.1.8-2+b1"
Binary packages generated from this source package have broken
dependencies since the rebuild of
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu ocamldap_2.4.2-1 . ANY . unstable . -m "rebuild against ocamlnet 4.1.8-2+b1"
Binary packages generated from this source package have broken
dependencies since the rebuild of ocamlnet,
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu ocaml-http_0.1.6-1+b1 . ANY . unstable . -m "rebuild against ocamlnet
4.1.8-2+b1"
Binary packages generated from this source package have broken
dependencies since the rebuild of
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu dose3_6.0.1-2 . ANY . unstable . -m "rebuild against camlzip 1.11-1,
camlbz2 0.7.0-1, cudf 0.9-2"
Hello,
Binary packages generated from dose3 are currently not installable since
we
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu ocamlnet_4.1.8-2 . ANY . unstable . -m "rebuild against camlzip 1.11-1"
Hello,
The binary packages generated from ocamlnet are currently not
installable since we have a new version of
Source: gitaly
Version: 13.4.6+dfsg1-2
Severity: serious
Usertags: edos-uninstallable
Hello,
gitaly build-depends on golang-gopkg-libgit2-git2go.v28, but this
package was removed from sid on 2021-02-08.
-Ralf.
Source: php-async-aws-core
Version: 1.7.2-1
Severity: serious
Usertags: edos-uninstallable
Hi,
php-async-aws-core build-depends on php-symfony-deprecation-contracts,
but that package lives only in experimental.
-Ralf.
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu js-of-ocaml_3.8.0-2 . ANY . unstable . -m "rebuild against menhir 20210929"
libjs-of-ocaml-dev is no longer installable and needs to be rebuild
against the version of menhir in
Hello,
On Sun, Dec 13, 2020 at 06:28:01PM +0900, Nobuhiro Ban wrote:
> I cannot use the ssreflect library in my Debian coq env (amd64 testing).
>
> the code:
> > Require Import mathcomp.ssreflect.ssreflect.
>
> gets an error:
>
> > Compiled library mathcomp.ssreflect.ssreflect (in file
> >
Hi Josch,
On Thu, Jan 07, 2021 at 11:47:06AM +0100, Johannes 'josch' Schauer wrote:
> I now investigated further and it seems that the package has an
> autopkgtest (yay!) so I triggered that and it failed with the same error
> message that I got:
>
>
Package: ftp.debian.org
Severity: normal
Hello,
frama-c does no longer compile on architectures that only have a bytecode
compiler for ocaml. I have reported this to upstream but have no idea
how fast they can fix it, so since the freeze is coming please remove
the frama-c-base binary package
Package: ftp.debian.org
Severity: normal
please remove src:checkbot which is obsolete. -Ralf.
Source: liquidsoap
Version: 1.4.3-1
Severity: serious
Hi, liquidsoap fails to compile on an up-to-date amd64 sid machine:
OCAMLOPT -c stream/frame.ml
File "stream/frame.ml", line 363, characters 25-59:
363 | contents = [(!!size, create_content (type_of_kind kind))];
Hi,
On Thu, Nov 26, 2020 at 12:03:41PM +0100, Stéphane Glondu wrote:
> Package: ocaml-dune
> Version: 2.7.1-1
> Severity: serious
>
> Dear maintainer,
>
> It seems the latest ocaml-dune breaks many reverse dependencies, see
> for example #975821 (ocp-indent).
The strange thing is that
Salut Sylvestre,
On Mon, Nov 16, 2020 at 03:18:44PM +0100, Sylvestre Ledru wrote:
> This is the same issue. No need to fill separate bugs :)
OK I try to take this into account the next time, and use an Affects (there
are more bug reports to come).
Cheers -Ralf
Package: librust-deflate+gzip-header-dev
Version: 0.7.19-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
librust-deflate+gzip-header-dev is not installable in sid since
2019-05-05. It depends on librust-gzip-header-0.2+default-dev which
does not exist in sid.
Package: librust-deflate+gzip-dev
Version: 0.7.19-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
librust-deflate+gzip-dev is not installable in sid since
2019-05-05. It depends on librust-gzip-header-0.2+default-dev which
does not exist in sid.
-Ralf.
Package: librust-combine+regex-dev
Version: 3.8.1-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
librust-combine+regex-dev is not installable in sid since
2019-02-04. It depends on librust-regex-0.2+default-dev which
does not exist in sid.
-Ralf.
Package: librust-combine+combine-regex-1-dev
Version: 3.8.1-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
librust-combine+combine-regex-1-dev is not installable in sid since
2019-02-04. It depends on librust-combine-regex-1-1+default-dev which
does not exist in
Source: q2-feature-table
Version: 2019.10.0+dfsg-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
q2-feature-table build-depends both on python3-pandas
(indirectly, via a dependency of qiime), and on q2-types.
python3-pandas version 1.1.4+dfsg-1 Breaks q2-types (<<
Source: q2-feature-classifier
Version: 2019.4.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
q2-feature-classifier build-depends both on python3-pandas
(indirectly, via a dependency of qiime), and on q2-types.
python3-pandas version 1.1.4+dfsg-1 Breaks q2-types
Package: med-imaging
Version: 3.6
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
med-imaging Suggests python-dipy, but this transitional package is no
longer build from the dipy source.
-Ralf.
Package: med-imaging-dev
Version: 3.6
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
med-imaging-dev Suggests python-dipy, but this was a transitional
package that is no longer build from the dipy source.
-Ralf.
Package: insighttoolkit4-python
Version: 4.13.2-dfsg1-1
Severity: serious
User: trei...@debian.org
Usertag: edos-unstallable
Hi,
insighttoolkit4-python depends on python3 (< 3.8), the current version
of python3 in sid however is 3.8.6-1. The dependency is generated from
${python3:Depends} so it
Source: q2-quality-filter
Version: 2019.10.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
q2-quality-filter build-depends both on python3-pandas (indirectly, via
a dependency of qiime), and on q2-types.
python3-pandas version 1.1.4+dfsg-1 Breaks q2-types (<<
Source: q2-metadata
Version: 2019.10.0+dfsg-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
q2-metadata build-depends both on python3-pandas and on q2-types.
python3-pandas version 1.1.4+dfsg-1 Breaks q2-types (<< 2019.10.0-1.1~).
However, the only version of
Source: q2-cutadapt
Version: 2019.10.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
q2-cutadapt build-depends both on python3-pandas and on q2-types.
python3-pandas version 1.1.4+dfsg-1 Breaks q2-types (<< 2019.10.0-1.1~).
However, the only version of q2-types
Source: q2-demux
Version: 2019.10.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
q2-demux build-depends both on python3-pandas and on q2-types.
python3-pandas version 1.1.4+dfsg-1 Breaks q2-types (<< 2019.10.0-1.1~).
However, the only version of q2-types in the
Hello,
On Thu, Nov 12, 2020 at 10:02:57PM +0100, Anton Gladky wrote:
> Dear maintainer,
>
> I have prepared an NMU (versioned as 1.9.4-2.1) and
> uploaded to DELAYED/10.
I have just uploaded 1.9.4-3 including your patch, so you may cancel
your upload.
Thanks for your patch -Ralf.
Source: rust-tokio-process
Version: 0.2.4-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-tokio-process build-depends on librust-crossbeam-queue-0.1+default-dev.
This package does not exist in sid or in the NEW queue.
-Ralf.
Source: rust-sloppy-rfc4880
Version: 0.1.5-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-sloppy-rfc4880 build-depends on
librust-base64-0.11+default-dev | librust-base64-0.10+default-dev.
However none of these exists in sid.
-Ralf.
Source: linphone
Version: 3.12.0-3.1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
linphone build-depends on python-pystache. However, sid has only
python3-pystache.
-Ralf.
Source: rust-hdrhistogram
Version: 6.3.4-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-hdrhistogram build-depends on
librust-base64-0.11+default-dev | librust-base64-0.10+default-dev.
However, neither of these exists in sid or in the NEW queue.
-Ralf.
Source: rust-crossbeam
Version: 0.7.2-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-crossbeam build-depends on
librust-crossbeam-channel-0.3+default-dev. However, this package does
not exist in sid or in the NEW queue.
-Ralf.
Source: rust-pbkdf2
Version: 0.3.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-pbkdf2 build-depends on librust-base64-0.10+default-dev, but no
such package exists in sid or in the NEW queue.
-Ralf.
Source: rust-trust-dns-proto
Version: 0.8.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-trust-dns-proto build-depends on librust-smallvec-0.6+default-dev
but no such package exists in sid or the NEW queue.
-Ralf.
Source: rust-image
Version: 0.22.1-2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
rust-image build-depends on librust-tiff-0.3+default-dev, but no such
package exists in sid (or in the NEW queue). Maybe this should be
librust-tiff-dev ?
-Ralf.
Hello,
On Thu, Oct 01, 2020 at 07:50:13AM +0200, Stéphane Glondu wrote:
> Le 30/09/2020 à 18:12, Emilio Jesús Gallego Arias a écrit :
> > and either:
> >
> > - using the officially released .tbz archive that for example
> > dune-release produces, which will contain the right metadata for
> >
Hello,
On Wed, Sep 23, 2020 at 02:04:24PM +0200, Fabian Wolff wrote:
> And while we're at it, even though this is technically an unrelated
> problem, it also has something to do with SMT solver versions: In the
> autopkgtests control file [0], you have the following code:
>
> Tests: why3+z3
>
Hello,
On Thu, Sep 03, 2020 at 09:13:26AM +0200, Pino Toscano wrote:
> Adding libpyml-ocaml-dev as build dependency and libpyml-ocaml as
> dependency does the job: the system version is found and used;
> patch attached for this.
Yes. In fact I had this already sitting in the git repository for
)
is greately appreciated. I'll come back to you later about how
to set this up.
Best- Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Pôle Preuves, Programmes et Systèmes
Université de Paris
http://www.irif.fr/~treinen/
Package: ftp.debian.org
Severity: normal
This is a transitional package to texlive-science. It can be removed now as
it was distributed with the last stable release.
-Ralf.
Hi,
On Fri, Apr 10, 2020 at 11:32:41AM +0200, Emilio Pozuelo Monfort wrote:
> Control: tags -1 moreinfo
>
> On 09/04/2020 10:51, Ralf Treinen wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian@packages.debian.org
> >
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu aac-tactics_8.11.0-1 . ANY . unstable . -m "rebuild against coq 8.11.0-1+b1"
-- System Information:
Debian Release: bullseye/sid
APT prefers unstable
APT policy: (500, 'unstable'),
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu coq_8.11.0-1 . amd64 arm64 ppc64el . unstable . -m "rebuild against
lablgtk3 3.1.0-2"
lablgtk3 3.1.0-2 has entered unstable today, please rebuild coq.
-- System Information:
Debian
Hello,
On Fri, Apr 03, 2020 at 07:22:41AM +0200, Stéphane Glondu wrote:
> Le 02/04/2020 à 22:23, Thomas Leonard a écrit :
> > My package (https://tracker.debian.org/pkg/zeroinstall-injector)
> > depends on lablgtk2 and the tracker says it will be removed on 4th Apr
> > due to this issue.
that
Hello Stéphane,
On Wed, Apr 01, 2020 at 05:22:44PM +0200, Stéphane Glondu wrote:
> Severity: important
> `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does
> not exist. It think it should return `/usr/lib/ocaml/menhirLib`.
why severity=important ? I wasn't even aware of this
Hello,
On Tue, Mar 24, 2020 at 09:48:50PM +0100, Moritz Mühlenhoff wrote:
> On Tue, Feb 04, 2020 at 03:14:22PM -0300, eamanu wrote:
> > Source: coccinelle
> > Version: 1.0.4.deb-3
> >
> > Hi everybody,
> >
> > This issue was forward to upstream [1].
> >
> > The dependency will be remove from
Package: ftp.debian.org
Severity: normal
Hi, the why3 source package now builds the why3-coq binary package only
on those architectures where coq is available. Please remove why3-coq
version 1.2.1-3 on the indicated architectures as it will block the
migration of why3, coq and its satellites.
Package: ftp.debian.org
Severity: normal
Hi,
For some reason, aac-tactics still lives in testing on i386, even
though it was removed from unstable on i386, as a consequence of
the removal of coq on some architectures.
aac-tactics build-depends on coq. Currently, coq does no longer build
on
Source: coq-float
Version: 1:8.9.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi, coq-float fails to compile against coq 8.11.0:
COQC Faux.v
File "./Faux.v", line 218, characters 57-61:
Error: The reference Zabs was not found in the current environment.
make[4]:
Hi,
On Thu, Mar 12, 2020 at 08:02:48PM +0100, Gianfranco Costamagna wrote:
> Source: aac-tactics
> Version: 8.9.0-1
> Severity: serious
>
> Hello, looks like some changes in sid made aac-tactics FTBFS in sid, log is
> available here:
There is a new upstream version 8.11.0 of aac-tactics. The
Package: ftp.debian.org
Severity: normal
Hi, recent coq has testsuite failures on many architectures, mostly
due to a problem with coq/ocaml on 32bit architectures. This is
currently being investigated by upstream, but will take some time.
OTOH, it is time to move on to coq 8.11.0 as this version
On Fri, Mar 06, 2020 at 09:50:01AM +0100, Gianfranco Costamagna wrote:
> Source: coq
> Version: 8.11.0-1
> Severity: serious
>
> Hello, looks like the latest coq is FTBFS because of test failures on various
> architectures.
Coq is notoriously troublesome. Of course we are monitoring the build
> Packages that reporters worry that the maintainer is otherwise not
> worthy of being the maintainer, and should have a new maintainer.
De we really want a page judging the merits of individual maintainers?
I do not think so.
-Ralf.
Source: rust-selectors
Version: 0.21.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi, rust-selectors build-depends on librust-cssparser-0.25+default-dev
which does not exist in unstable.
-Ralf.
Source: rust-html5ever
Version: 0.24.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi, rust-html5ever build-depends on librust-markup5ever-0.9+default-dev
which does not exist in unstable.
-Ralf.
On Wed, Feb 19, 2020 at 10:02:55AM +0100, Stéphane Glondu wrote:
> Le 19/02/2020 à 09:06, Ralf Treinen a écrit :
> > - coq does not build on all architectures, and the situation for building
> > coq has become worse starting with 8.11. Menhir however is a parser
> >
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: coq-menhirlib
Version : 20200123-1
Upstream Author : Jacques-Henri Jourdan
* URL : http://gallium.inria.fr/~fpottier/menhir/
* License : LGPL3+
Programming Lang: Coq
Description
1 - 100 of 1999 matches
Mail list logo