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

Pakiet źródłowy: ott (0.34+ds-1)

Odnośniki dla ott

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

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

Inne pakiety związane z ott

build-depends

build-depends-indep

adep: coq

Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
adep: debhelper-compat (= 13)

Pakiet niedostępny
adep: dh-coq

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

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

Automatyczny generator stron podręcznika systemowego
adep: hevea

translates from LaTeX to HTML, info, or text
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: pandoc

general markup converter

Download ott

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
ott_0.34+ds-1.dsc	2,1 KiB	14cbea5e65143fb5ceb606ab6a5527a2
ott_0.34+ds.orig.tar.xz	1 115,4 KiB	5eff147ec6d1f2eccd2766437e4fdb28
ott_0.34+ds-1.debian.tar.xz	6,8 KiB	66964204cb764dc8f6d59e2a8c752f67

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/ocaml-team/ott.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/ocaml-team/ott