Versions Packages Information History Related Badges Report

Packages for coqprime

10 package(s) known

Debian 12
bookworm/main

coqprime

8.15 (8.15-2)
Debian 13
trixie/main

coqprime

8.17 (8.17-1)
Debian Unstable
sid/main

coqprime

8.17 (8.17-1)
Devuan Unstable
unstable/main

coqprime

8.17 (8.17-1)
Kali Linux Rolling
main

coqprime

8.17 (8.17-1)
PureOS landing

coqprime

8.15 (8.15-2)
Raspbian Stable
main

coqprime

8.15 (8.15-2)
Raspbian Testing
main

coqprime

8.17 (8.17-1)
Ubuntu 23.04
lunar/universe

coqprime

8.15 (8.15-2build2)
Ubuntu 23.10
mantic/universe

coqprime

8.17 (8.17-1build1)