Ubuntu
coq-reduction-effects package

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

Changelog

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

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:14:52 +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-reduction-effects_0.1.5.orig.tar.gz 10.1 KiB 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352
coq-reduction-effects_0.1.5-1build1.debian.tar.xz 1.8 KiB fe63227b5b847afcd4ab4245974af0350bbd087557aa7dffe4d7ea84da2ac106
coq-reduction-effects_0.1.5-1build1.dsc 2.3 KiB 480c2b11cc6b59919d52d1538c284f69d9ce32c371a9fc3d1fde163df7c45783

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