[ bookworm ] [ trixie ] [ sid ]

Source Package: ott (0.32+ds-3)

Links for ott

Debian Resources:

Maintainers:

External Resources:

Homepage [github.com]

The following binary packages are built from this source package:

libcoq-ott: Ott tool (Coq plugin)
ott-tools: Ott tool (executable)

Other Packages Related to ott

build-depends

build-depends-indep

adep: coq

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

Package not available
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: help2man

Automatic manpage generator
adep: hevea

translates from LaTeX to HTML, info, or text
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: pandoc

general markup converter

Download ott

File	Size (in kB)	MD5 checksum
ott_0.32+ds-3.dsc	2.1 kB	39784bca3172c1e78a37159bc4690d74
ott_0.32+ds.orig.tar.xz	1,113.5 kB	c4301ffe56b273f023200c9064eedd6f
ott_0.32+ds-3.debian.tar.xz	6.8 kB	43f7a333eb5a8e3785f80955b3df81c0

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/ott.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/ott