[ bookworm ] [ trixie ] [ sid ]

Пакет исходного кода: ott (0.33+ds-3)

Ссылки для ott

Из этого пакета исходного кода собираются следующие двоичные пакеты:

adep: coq

интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)
adep: debhelper-compat (= 13)

Пакет недоступен
adep: dh-coq

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

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

автоматический генератор man-страниц
adep: hevea

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

development libraries and tools for Coq
adep: libcoq-stdlib

интерактивное программное средство доказательства теорем логики высшего порядка (теории)
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: pandoc

general markup converter

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/ocaml-team/ott.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/ocaml-team/ott