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

Paquet source : ott (0.34+ds-1)

Liens pour ott

Les paquets binaires suivants sont compilés à partir de ce paquet source :

adep: coq

outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
adep: debhelper-compat (= 13)

Paquet indisponible
adep: dh-coq

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

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

Générateur automatique de pages de manuel
adep: hevea

transformation de code LaTeX en HTML, info ou texte
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: pandoc

convertisseur général de balisage

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/ocaml-team/ott.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/ocaml-team/ott