Versions Packages Information History Related Badges Report

Packages for coq-gappa

14 package(s) known

Debian 12
bookworm/main

coq-gappa

1.5.2 (1.5.2-5)
Debian 13
trixie/main

coq-gappa

1.7.0 (1.7.0-1)
Debian Unstable
sid/main

coq-gappa

1.7.0 (1.7.0-1)
Devuan Unstable
unstable/main

coq-gappa

1.7.0 (1.7.0-1)
Kali Linux Rolling
main

coq-gappa

1.7.0 (1.7.0-1)
Parrot
parrot/main

coq-gappa

1.5.2 (1.5.2-5)
Parrot
parrot-updates/main

coq-gappa

1.5.2 (1.5.2-5)
PureOS landing
landing/main

coq-gappa

1.7.0 (1.7.0-1)
Raspbian Stable
main

coq-gappa

1.5.2 (1.5.2-5)
Raspbian Testing
main

coq-gappa

1.7.0 (1.7.0-1)
Ubuntu 24.04
noble/universe

coq-gappa

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

coq-gappa

1.5.5 (1.5.5-2build2)
Ubuntu 25.04
plucky/universe

coq-gappa

1.6.0 (1.6.0-1build4)
Ubuntu 25.10
questing/universe

coq-gappa

1.7.0 (1.7.0-1)