Versions Packages Information History Badges Report

Packages for coq-reduction-effects

14 package(s) known

Debian 12
bookworm/main

coq-reduction-effects

0.1.4 (0.1.4-3)
Debian 13
trixie/main

coq-reduction-effects

0.1.5 (0.1.5-5)
Debian Unstable
sid/main

coq-reduction-effects

0.1.5 (0.1.5-5)
Devuan Unstable
unstable/main

coq-reduction-effects

0.1.5 (0.1.5-5)
Kali Linux Rolling
main

coq-reduction-effects

0.1.5 (0.1.5-5)
Parrot
parrot/main

coq-reduction-effects

0.1.4 (0.1.4-3)
Parrot
parrot-updates/main

coq-reduction-effects

0.1.4 (0.1.4-3)
PureOS landing
landing/main

coq-reduction-effects

0.1.5 (0.1.5-5)
Raspbian Stable
main

coq-reduction-effects

0.1.4 (0.1.4-3)
Raspbian Testing
main

coq-reduction-effects

0.1.5 (0.1.5-5)
Ubuntu 24.04
noble/universe

coq-reduction-effects

0.1.5 (0.1.5-1build3)
Ubuntu 24.10
oracular/universe

coq-reduction-effects

0.1.5 (0.1.5-5build3)
Ubuntu 25.04
plucky/universe

coq-reduction-effects

0.1.5 (0.1.5-5build7)
Ubuntu 25.10
questing/universe

coq-reduction-effects

0.1.5 (0.1.5-5build7)