Källkodspaket: ott (0.34+ds-3)
Länkar för ott
Debianresurser:
- Felrapporter
- Developer Information
- Ändringslogg för Debian
- Upphovsrättsfil
- Debians källkodsarkiv (Git)
- Debian Patch Tracker
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Experimentellt paket
Varning: Paketet är från den experimentella utgåvan. Det innebär att det med stor sannolikhet är instabilt eller innehåller fel, och kanske till och med kan orsaka dataförluster. Se till att läsa ändringsloggen och annan dokumentation innan du använder det.
Följande binärpaket byggs från detta källkodspaket:
- libcoq-ott
- Ott tool (Coq plugin)
- ott-tools
- Ott tool (executable)
Andra paket besläktade med ott
|
|
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: debhelper-compat (= 13)
- Paketet inte tillgängligt
-
- 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
- Standard library for the Rocq Theorem Prover
-
- adep: libocamlgraph-ocaml-dev
- graph library for OCaml
-
- adep: pandoc
- general markup converter
Download ott
| Fil | Storlek (i kbyte) | MD5-kontrollsumma |
|---|---|---|
| ott_0.34+ds-3.dsc | 2,1 kbyte | 7242f4b35cbfabfc51b5ca241aa7bd6c |
| ott_0.34+ds.orig.tar.xz | 1.115,4 kbyte | 5eff147ec6d1f2eccd2766437e4fdb28 |
| ott_0.34+ds-3.debian.tar.xz | 7,0 kbyte | a49cc6896513e8798a3043213c62868d |
- Debians paketkällkodsarkiv- (VCS: Git)
- https://salsa.debian.org/ocaml-team/ott.git
- Debians paketkällkodsarkiv (blädderbart)
- https://salsa.debian.org/ocaml-team/ott