[ bookworm ] [ trixie ] [ forky ] [ sid ] [ experimental ]

Quellcode-Paket: ott (0.34+ds-1)

Links für ott

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

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

Andere Pakete mit Bezug zu ott

build-depends

build-depends-indep

adep: coq

Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
adep: debhelper-compat (= 13)

Paket nicht verfügbar
adep: dh-coq

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

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

Automatischer Handbuchseiten-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

Beweis-Assistent für Logik höherer Ordnung (Theorien)
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: pandoc

general markup converter

Download ott

Datei	Größe (in kB)	MD5-Prüfsumme
ott_0.34+ds-1.dsc	2,1 kB	14cbea5e65143fb5ceb606ab6a5527a2
ott_0.34+ds.orig.tar.xz	1.115,4 kB	5eff147ec6d1f2eccd2766437e4fdb28
ott_0.34+ds-1.debian.tar.xz	6,8 kB	66964204cb764dc8f6d59e2a8c752f67

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/ocaml-team/ott.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/ocaml-team/ott