Ubuntu
coq-simple-io package

coq-simple-io 1.8.0-3ubuntu3 source package in Ubuntu

Changelog

coq-simple-io (1.8.0-3ubuntu3) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 06 Nov 2023 17:16:01 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
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
coq-simple-io_1.8.0.orig.tar.gz 32.2 KiB f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33
coq-simple-io_1.8.0-3ubuntu3.debian.tar.xz 2.4 KiB 93661b34683c2a32e8e94003303b922611f3131c2fe35d01c7313016602b0f02
coq-simple-io_1.8.0-3ubuntu3.dsc 2.1 KiB cc493cc183804cf683e0a22427ad7fc9f928b58143acdecf82f5002df50050fd

Available diffs

View changes file

Binary packages built by this source

libcoq-simple-io: Coq plugin for purely functional IO

 This package provides a plugin to implement
 Input/Output (IO) programs directly in Coq, in a
 style similar to Haskell's.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-simple-io-dbgsym: debug symbols for libcoq-simple-io