Ubuntu
coq-reduction-effects package

coq-reduction-effects 0.1.5-1build3 source package in Ubuntu

Changelog

coq-reduction-effects (0.1.5-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:14:57 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Noble release universe misc

Downloads

File Size SHA-256 Checksum
coq-reduction-effects_0.1.5.orig.tar.gz 10.1 KiB 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352
coq-reduction-effects_0.1.5-1build3.debian.tar.xz 1.9 KiB 6a85ea0e553a22701ef991b869de00282b61ed0eb28a6001ec08f338698ca74e
coq-reduction-effects_0.1.5-1build3.dsc 2.2 KiB 500129d683863eb25da1575c36c81c74cc201f8c63cf6435b202ca27719a5a5f

Available diffs

View changes file

Binary packages built by this source

libcoq-reduction-effects: reduction effects for Coq

 This plugin adds reduction side effects to some
 of the Coq reduction strategies.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-reduction-effects-dbgsym: debug symbols for libcoq-reduction-effects