Versions Packages Information History Related Badges Report

Packages for coq-libhyps

11 package(s) known

Debian 12
bookworm/main

coq-libhyps

2.0.6 (2.0.6-2)
Debian 13
trixie/main

coq-libhyps

2.0.6 (2.0.6-3)
Debian Unstable
sid/main

coq-libhyps

2.0.6 (2.0.6-3)
Debian Janitor - Snapshots

coq-libhyps

2.0.6+git20221212.1.3729e94 (2.0.6+git20221212.1.3729e94-1~jan+nus2)
Devuan Unstable
unstable/main

coq-libhyps

2.0.6 (2.0.6-3)
Kali Linux Rolling
main

coq-libhyps

2.0.6 (2.0.6-3)
PureOS landing

coq-libhyps

2.0.6 (2.0.6-2)
Raspbian Stable
main

coq-libhyps

2.0.6 (2.0.6-2)
Raspbian Testing
main

coq-libhyps

2.0.6 (2.0.6-3)
Ubuntu 23.04
lunar/universe

coq-libhyps

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

coq-libhyps

2.0.6 (2.0.6-3build1)