Ubuntu
coq-reduction-effects package

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

Changelog

coq-reduction-effects (0.1.5-4build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:34:54 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular 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-4build3.debian.tar.xz 1.9 KiB 253cfa90dbaef152e0cd250b213f9f1e7a082c85994c32b73278fab2128a20eb
coq-reduction-effects_0.1.5-4build3.dsc 2.2 KiB b3ae8c63a173e6f0045e01dd2109f7255b76b5519ee11109fadf0770bb745c69

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