ssreflect
source package

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/ssreflect

general

source
ssreflect (source, math)
version
1.5-3
maint
Debian OCaml Maintainers (a), Stéphane Glondu (u)
arch
any all
std-ver
3.9.5
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 1.2+dfsg-6
oldstable
save 1.3pl4-1
stable
save 1.5-2
unstable
save 1.5-3

binaries

todo

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.
  • Piuparts found an (un)installation error in the Sid version of this package. You should investigate the cause; have a look at the corresponding piuparts log.
  • There were override disparities found in suite unstable:
    • libssreflect-ocaml-dev: Override says ocaml - extra, .deb says ocaml - optional
    • libssreflect-coq: Override says math - extra, .deb says math - optional
  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:

testing migration

excuses:
  • 285 days old (needed 5 days)
  • ssreflect has new bugs!
  • Updating ssreflect introduces new bugs: #813820.
  • libssreflect-coq/amd64 unsatisfiable Depends: coq-8.4pl4+4.02.3
  • libssreflect-ocaml/amd64 unsatisfiable Depends: libcoq-ocaml-llso2
  • libssreflect-ocaml-dev/amd64 unsatisfiable Depends: camlp5-tli55
  • libssreflect-ocaml-dev/amd64 unsatisfiable Depends: libcoq-ocaml-dev-llso2
  • libssreflect-coq/i386 unsatisfiable Depends: coq-8.4pl4+4.02.3
  • libssreflect-ocaml/i386 unsatisfiable Depends: libcoq-ocaml-hn572
  • libssreflect-ocaml-dev/i386 unsatisfiable Depends: camlp5-4bgd8
  • libssreflect-ocaml-dev/i386 unsatisfiable Depends: libcoq-ocaml-dev-hn572
  • libssreflect-ocaml/arm64 unsatisfiable Depends: libcoq-ocaml-q8t18
  • libssreflect-ocaml-dev/arm64 unsatisfiable Depends: camlp5-tli55
  • libssreflect-ocaml-dev/arm64 unsatisfiable Depends: libcoq-ocaml-dev-q8t18
  • libssreflect-ocaml/armel unsatisfiable Depends: libcoq-ocaml-vf5w7
  • libssreflect-ocaml-dev/armel unsatisfiable Depends: camlp5-4bgd8
  • libssreflect-ocaml-dev/armel unsatisfiable Depends: libcoq-ocaml-dev-vf5w7
  • libssreflect-ocaml/armhf unsatisfiable Depends: libcoq-ocaml-gkjt4
  • libssreflect-ocaml-dev/armhf unsatisfiable Depends: camlp5-4bgd8
  • libssreflect-ocaml-dev/armhf unsatisfiable Depends: libcoq-ocaml-dev-gkjt4
  • libssreflect-ocaml/mips unsatisfiable Depends: libcoq-ocaml-mxdb0
  • libssreflect-ocaml-dev/mips unsatisfiable Depends: camlp5-hibn6
  • libssreflect-ocaml-dev/mips unsatisfiable Depends: libcoq-ocaml-dev-mxdb0
  • libssreflect-ocaml/mipsel unsatisfiable Depends: libcoq-ocaml-mxdb0
  • libssreflect-ocaml-dev/mipsel unsatisfiable Depends: camlp5-hibn6
  • libssreflect-ocaml-dev/mipsel unsatisfiable Depends: libcoq-ocaml-dev-mxdb0
  • libssreflect-ocaml/powerpc unsatisfiable Depends: libcoq-ocaml-qd446
  • libssreflect-ocaml-dev/powerpc unsatisfiable Depends: camlp5-6xf71
  • libssreflect-ocaml-dev/powerpc unsatisfiable Depends: libcoq-ocaml-dev-qd446
  • libssreflect-ocaml/ppc64el unsatisfiable Depends: libcoq-ocaml-mxdb0
  • libssreflect-ocaml-dev/ppc64el unsatisfiable Depends: camlp5-hibn6
  • libssreflect-ocaml-dev/ppc64el unsatisfiable Depends: libcoq-ocaml-dev-mxdb0
  • libssreflect-ocaml/s390x unsatisfiable Depends: libcoq-ocaml-mxdb0
  • libssreflect-ocaml-dev/s390x unsatisfiable Depends: camlp5-hibn6
  • libssreflect-ocaml-dev/s390x unsatisfiable Depends: libcoq-ocaml-dev-mxdb0
  • libssreflect-ocaml/mips64el unsatisfiable Depends: libcoq-ocaml-mxdb0
  • libssreflect-ocaml-dev/mips64el unsatisfiable Depends: camlp5-hibn6
  • libssreflect-ocaml-dev/mips64el unsatisfiable Depends: libcoq-ocaml-dev-mxdb0
  • Not considered

news RSS

bugs

all bug history graph
2 (3)
RC
0
I&N
0
M&W
1
F&P
1 (2)

patches ...

oldstable
1.3pl4-1
stable
1.5-2
unstable
1.5-3