coq-reduction-effects - Debian Package Tracker

source package has 7 unsatisfiable build dependencies high

Build dependencies in unstable cannot be satisfied on armhf because: unsatisfied dependency on libfindlib-ocaml-3yei3
Build dependencies in unstable cannot be satisfied on amd64 because: unsatisfied dependency on libfindlib-ocaml-0thr1
Build dependencies in unstable cannot be satisfied on i386 because: unsatisfied dependency on libfindlib-ocaml-85sc9
Build dependencies in unstable cannot be satisfied on arm64 because: unsatisfied dependency on libfindlib-ocaml-unji9
Build dependencies in unstable cannot be satisfied on mips64el and armel because: unsatisfied dependency on coq (>= 8.16)
Build dependencies in unstable cannot be satisfied on ppc64el because: unsatisfied dependency on libfindlib-ocaml-9bk70
Build dependencies in unstable cannot be satisfied on s390x because: unsatisfied dependency on libfindlib-ocaml-dhcd7

Created: 2023-09-21 Last update: 2023-09-21 17:06

Depends on packages which need a new maintainer normal

The packages that coq-reduction-effects depends on which need a new maintainer are:

cppo (#933912)
- Build-Depends: cppo

Created: 2022-07-21 Last update: 2023-09-21 14:26

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 0.1.4-5, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:

commit 01505f29aedf93ee3a8609475f3348ed0e436a86
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 17 11:29:14 2023 +0200

    Fix d/rules clean target (Closes: #1044395)

Created: 2023-08-17 Last update: 2023-09-16 06:09