Ubuntu
coq-iris package

coq-iris 4.1.0-1build2 source package in Ubuntu

Changelog

coq-iris (4.1.0-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <email address hidden>  Sun, 31 Mar 2024 17:54:28 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-iris_4.1.0.orig.tar.gz 732.4 KiB af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694
coq-iris_4.1.0-1build2.debian.tar.xz 11.9 KiB 2b27952bb5c6231addfa63f0a2de3e1f6c5694e5f37a2b02b40f1df52b862a6f
coq-iris_4.1.0-1build2.dsc 2.2 KiB 4b522e9ab4b78c1ef3e54d2c054055b815f2190b04bdbd2fd3908c534fa30932

Available diffs

View changes file

Binary packages built by this source

libcoq-iris: high-order concurrent separation logic framework for Coq

 This package provides a high-order concurrent separation
 logic framework for Coq, which means it is useful to reason
 about safety of concurrent programs.
 .
 Coq is a proof assistant for higher-order logic.