Quellcode-Paket: ott (0.34+ds-3)
Links für ott
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
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
|
|
-
- adep: coq (>= 9)
- 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
- Standard library for the Rocq Theorem Prover
-
- 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-3.dsc | 2,1 kB | 7242f4b35cbfabfc51b5ca241aa7bd6c |
| ott_0.34+ds.orig.tar.xz | 1.115,4 kB | 5eff147ec6d1f2eccd2766437e4fdb28 |
| ott_0.34+ds-3.debian.tar.xz | 7,0 kB | a49cc6896513e8798a3043213c62868d |
- 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