Ubuntu
ott package

ott 0.33+ds-3 source package in Ubuntu

Changelog

ott (0.33+ds-3) unstable; urgency=medium

  * Add patch for Coq 8.19 support.
  * Bump standards-version to 4.7.0.

 -- Julien Puydt <email address hidden>  Mon, 22 Apr 2024 18:06:42 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
ott_0.33+ds-3.dsc 2.1 KiB 80f7c5432132208e221b5ca01def58a108983ce0617754725099650305a82d00
ott_0.33+ds.orig.tar.xz 1.1 MiB 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73
ott_0.33+ds-3.debian.tar.xz 7.9 KiB 710bd6d8c3c2a1c40f35964d65f4fcb923473d8aa116aaaee9ce61377f4c9160

No changes file available.

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