Versions Packages Information History Badges Report

Packages for coq-unicoq

10 package(s) known

Debian 12
bookworm/main

coq-unicoq

1.6-8.16 (1.6-8.16-2)
Debian 13
trixie/main

coq-unicoq

1.6-8.17 (1.6-8.17-1)
Debian Unstable
sid/main

coq-unicoq

1.6-8.17 (1.6-8.17-1)
Devuan Unstable
unstable/main

coq-unicoq

1.6-8.17 (1.6-8.17-1)
Kali Linux Rolling
main

coq-unicoq

1.6-8.17 (1.6-8.17-1)
PureOS landing

coq-unicoq

1.6-8.16 (1.6-8.16-2)
Raspbian Stable
main

coq-unicoq

1.6-8.16 (1.6-8.16-2)
Raspbian Testing
main

coq-unicoq

1.6-8.17 (1.6-8.17-1)
Ubuntu 23.04
lunar/universe

coq-unicoq

1.6-8.16 (1.6-8.16-2build2)
Ubuntu 23.10
mantic/universe

coq-unicoq

1.6-8.17 (1.6-8.17-1build1)