Ubuntu
coq-simple-io package

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

Changelog

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

  * Rebuild against latest ocaml

 -- Jeremy Bícha <email address hidden>  Sat, 01 Feb 2025 20:22:49 -0500

Upload details

Uploaded by:
Jeremy Bícha
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-1build3.debian.tar.xz 2.8 KiB 76874e3e922c63e0efd1da12c084d44ce06fa84ba5f15cf4ec57ef479ebce338
coq-simple-io_1.10.0-1build3.dsc 2.1 KiB 82c4e612154aadf7422905afb3e9722a7f45a49892be6f45612d5c5d2f1da8d1

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