ssreflect
source package

general

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

versions ... ...pool

oldstable
save 1.2+dfsg-6
stable
save 1.3pl4-1
testing
save 1.5-1
unstable
save 1.5-1

binaries

todo

  • Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.

problems

  • 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

news RSS

bugs

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

ubuntu ubuntu ...

patch-tracker ...

oldstable
1.2+dfsg-6
stable
1.3pl4-1
testing
1.5-1
unstable
1.5-1