Bug#905992: cvc4: FTBFS on all autobuilders

Source: cvc4 Version: 1.6-1 Severity: serious Hi, cvc4 fails to build on all autobuilders, with Making all in options make[7]: Entering directory '/<>/builds/i686-pc-linux-gnu/production/src/options' [...] /usr/bin/env: 'python3': No such file or directory -Ralf. --

Bug#915605: cryptominisat: move to boost1.67 or boost-defaults

Raising severity to serious as the build-dependency on libboost-program-options1.62-dev makes the package ftbfs. -Ralf. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net

Bug#951246: genetic: build-depends on non-existing package

Source: genetic Version: 0.1.1b+git20170527.98255cb-1 Severity: serious User: trei...@debian.org Usertags: edos-uninstallable Hi, genetic build-depends on python3-multiprocess, which does not exist in the archive. -Ralf. -- debian-science-maintainers mailing list

Bug#1012464: libvtk6.3: not installable in sid

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. -- debian-science-maintainers mailing list

Bug#1023171: cernlib: unsatisfiable dependency on geant321-doc

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. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net

Bug#1023357: python3-morse-simulator: depends on non-existing python3 (< 3.9)

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. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net

Bug#1023355: limereg: depends on non-existing libboost-program-options1.67.0

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. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net

Bug#1023356: libdune-pdelab-dev: unsatisfiable dependency on libdune-common-2.7.0

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. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net