Überspringen der Navigation

Packages

• Über Debian
• Debian erhalten
• Unterstützung
• Developers' Corner

 / Pakete / bookworm (stable) / Quellcode / misc / ott

[  bookworm  ] [  trixie  ] [  sid  ]

Links für ott

Debian-Ressourcen:

• Fehlerberichte
• Entwicklerinformationen
• Debian-Changelog
• Copyright-Datei
• Debian-Quellcode-Depot (Git)
• Debian Patch-Überblick

Betreuer:

• Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
• Julien Puydt (QS-Seite)

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.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

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