Ubuntu
ott package

ott 0.33+ds-2build1 source package in Ubuntu

Changelog

ott (0.33+ds-2build1) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Fri, 22 Dec 2023 21:05:57 -0500

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Noble
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
ott_0.33+ds.orig.tar.xz 1.1 MiB 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73
ott_0.33+ds-2build1.debian.tar.xz 6.7 KiB a8ca221554ebd98bd70a4001c4c50f69269e9aa283b1870e4ca07a600ec6bf6c
ott_0.33+ds-2build1.dsc 2.1 KiB ee95def2ad63c031724c3d89e5ad5978288fdf76e8f9be0cf467bcddda1ef5e1

View changes file

Binary packages built by this source

libcoq-ott: Ott tool (Coq plugin)

 Ott is a tool to write definitions of programming
 languages and calculi. From the definition of a
 language syntex and semanticsin a concise and readable
 notation close to informal mathematics, it can
 provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
 versions of the definition.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides the Coq plugin itself.

ott-tools: Ott tool (executable)

 Ott is a tool to write definitions of programming
 languages and calculi. From the definition of a
 language syntex and semanticsin a concise and readable
 notation close to informal mathematics, it can
 provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
 versions of the definition.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides the executable.

ott-tools-dbgsym: debug symbols for ott-tools