ott
source package
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/ott
general
source
ott
(
optional
,
misc
)
version
0.33+ds-3
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.7.0
VCS
Git
(
browse
)
versions
stable
0.32+ds-3
testing
0.33+ds-2
unstable
0.33+ds-3
Ubuntu
0.33+ds-3
binaries
libcoq-ott
(
0 bugs
:
0
,
0
,
0
,
0
)
Ott tool (Coq plugin)
ott-tools
(
0 bugs
:
0
,
0
,
0
,
0
)
Ott tool (executable)
todo
Lintian
reports
2 warnings
about this package. You should make the package
lintian clean
getting rid of them.
news
RSS
[2024-04-27]
Accepted 0.33+ds-3 in unstable (medium)
(Debian FTP Masters)
[2024-01-23]
ott 0.33+ds-2 MIGRATED to testing
(Britney)
[2023-12-22]
Accepted 0.33+ds-2 in unstable (medium)
(Debian FTP Masters)
[2023-06-24]
ott 0.33+ds-1 MIGRATED to testing
(Britney)
[2023-06-12]
Accepted 0.33+ds-1 in unstable (medium)
(Debian FTP Masters)
[2023-01-31]
ott 0.32+ds-3 MIGRATED to testing
(Britney)
[2023-01-25]
Accepted 0.32+ds-3 in unstable (medium)
(Debian FTP Masters)
[2022-07-13]
ott 0.32+ds-2 MIGRATED to testing
(Britney)
[2022-07-10]
Accepted 0.32+ds-2 in unstable (medium)
(Debian FTP Masters)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
testing
stable
tests
(
log
)
lintian
(
0
,
2
)
popcon
debtags
screenshots:
1
,
2
RDF meta-data
browse source code
patches
Debian
0.32+ds-3
0.33+ds-2
0.33+ds-3