Ubuntu
ott package

ott 0.33+ds-2build3 source package in Ubuntu

Changelog

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

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 16:11:24 +1100

Upload details

Uploaded by:
William Grant
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Noble release universe misc

Downloads

File Size SHA-256 Checksum
ott_0.33+ds.orig.tar.xz 1.1 MiB 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73
ott_0.33+ds-2build3.debian.tar.xz 6.9 KiB 40d2e8fe5b7bf8d07a9b31fe13f4dee2f48d37d0fa07bf33389de652b6586c10
ott_0.33+ds-2build3.dsc 2.1 KiB 69ac7950e228ea9277b46d54f3491aa5fc453afad9303a8c980e2045e40dd5d3

Available diffs

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