» Ubuntu » Paquets » stonking » Source » misc » ott
[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Paquet source : ott (0.34+ds-1build7) [universe]

Liens pour ott

Ressources Ubuntu :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-ott
Ott tool (Coq plugin)
ott-tools
Ott tool (executable)

Autres paquets associés à ott

  • build-depends
  • build-depends-indep
  • adep: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • 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
    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
    proof assistant for higher-order logic (theories)
  • adep: libocamlgraph-ocaml-dev
    graph library for OCaml
  • adep: pandoc
    general markup converter

Download ott

FichierTaille (en ko)Somme MD5
ott_0.34+ds.orig.tar.xz 1 115,4 ko 5eff147ec6d1f2eccd2766437e4fdb28
ott_0.34+ds-1build7.debian.tar.xz 7,1 ko aab4042a5656d41ecfcf99f0f1f5c51d
ott_0.34+ds-1build7.dsc 2,1 ko 59e2cd76d7cee435aa53aa6f57452389
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