Source Package: ott (0.34+ds-3)
Links for ott
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [github.com]
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
The following binary packages are built from this source package:
- libcoq-ott
- Ott tool (Coq plugin)
- ott-tools
- Ott-værktøj - kørbar fil
Other Packages Related to ott
|
|
-
- adep: coq (>= 9)
- Bevisassistent for højere ordens logik - topniveau og kompiler
-
- adep: debhelper-compat (= 13)
- Package not available
-
- adep: dh-coq
- Debhelper-værktøj til Coq-relaterede Debianpakker
-
- adep: dh-ocaml
- Hjælpeværktøjer for vedligeholdelse af OCaml-relaterede Debianpakker
-
- adep: help2man
- Automatisk oprettelse af manualsider
-
- adep: hevea
- Oversætter fra LaTeX til HTML, info eller tekst
-
- adep: libcoq-core-ocaml-dev
- Udviklingsbiblioteker og værktøjer for Coq
-
- adep: libcoq-stdlib
- Standard library for the Rocq Theorem Prover
-
- adep: libocamlgraph-ocaml-dev
- graph library for OCaml
-
- adep: pandoc
- Generelt værktøj til konvertering af opmærkning
Download ott
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| 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 |
- 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