Ubuntu
coq-reduction-effects package

coq-reduction-effects source package in Oracular

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

Versions published

Release

The package versions that were published when the distribution release was made.

coq-reduction-effects information

Current version:
0.1.5-4build2
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Binary packages

Download files from current release (0.1.5-4build2)

File Size SHA-256 Checksum
coq-reduction-effects_0.1.5.orig.tar.gz 10.1 KiB 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352
coq-reduction-effects_0.1.5-4build2.debian.tar.xz 1.8 KiB c9e5e837840b76665787a0d8e68e72cd67280974cf43721587d17baf03f90032
coq-reduction-effects_0.1.5-4build2.dsc 2.2 KiB f40bb197a22df7eca21bc3cfd42925bad54d3f759c053853b5956872150e764d

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies