Ubuntu
coq-simple-io package

coq-simple-io 1.10.0-1build2 source package in Ubuntu

Changelog

coq-simple-io (1.10.0-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 10 Jan 2025 12:29:05 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Plucky
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.10.0.orig.tar.gz 33.6 KiB f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa
coq-simple-io_1.10.0-1build2.debian.tar.xz 2.7 KiB f9171116f114b464f09de5cd9a416577e2e50d1e6cd8880bdb2631b72406737f
coq-simple-io_1.10.0-1build2.dsc 2.1 KiB 194991d386e9155d8de9ee565945558f96e605ed427739dd28f1edf0eca76bd5

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