[ bookworm ] [ trixie ] [ sid ]

Source Package: ott (0.32+ds-3)

Links for ott

Debian-palvelut:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

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

Muut pakettiin ott liittyvät paketit

build-depends

build-depends-indep

adep: coq

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

Paketti ei saatavilla
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

Tiedosto	Koko (kt)	MD5-tarkiste
ott_0.32+ds-3.dsc	2.1 kt	39784bca3172c1e78a37159bc4690d74
ott_0.32+ds.orig.tar.xz	1,113.5 kt	c4301ffe56b273f023200c9064eedd6f
ott_0.32+ds-3.debian.tar.xz	6.8 kt	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