Ubuntu
coq-reduction-effects package

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

Changelog

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

  * Fix d/rules clean target (Closes: #1044395).
  * New upstream release.
  * Remove obsolete d/copyright entry.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 16:04:44 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
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-reduction-effects_0.1.5-1.dsc 2.2 KiB f7172525d5ade40133c4c02d8f12d5dbcdc7e175bf846f0d5276e176fce43e92
coq-reduction-effects_0.1.5.orig.tar.gz 10.1 KiB 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352
coq-reduction-effects_0.1.5-1.debian.tar.xz 1.7 KiB ac9a4b01732cabeb6bb8dd1c1acda244646a9cc9e89302687383c646cb4642d9

No changes file available.

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