Ubuntu
coq-reduction-effects package

coq-reduction-effects source package in Lunar

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.4-3build2
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.4-3build2)

File Size SHA-256 Checksum
coq-reduction-effects_0.1.4.orig.tar.gz 10.1 KiB dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47
coq-reduction-effects_0.1.4-3build2.debian.tar.xz 1.6 KiB 929111087dda62e87c3b8a2dcd35b7aecf6946964764715058311bf152fa7155
coq-reduction-effects_0.1.4-3build2.dsc 2.2 KiB 721b162518abc90061ccb597a51032aca961e41af5ac4a23052ea705b5649c06

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies