Versions Packages Information History Related Badges Report

Packages for coq-relation-algebra

10 package(s) known

Debian 12
bookworm/main

coq-relation-algebra

1.7.8 (1.7.8-2)
Debian 13
trixie/main

coq-relation-algebra

1.7.9 (1.7.9-1)
Debian Unstable
sid/main

coq-relation-algebra

1.7.9 (1.7.9-1)
Devuan Unstable
unstable/main

coq-relation-algebra

1.7.9 (1.7.9-1)
Kali Linux Rolling
main

coq-relation-algebra

1.7.9 (1.7.9-1)
PureOS landing

coq-relation-algebra

1.7.8 (1.7.8-2)
Raspbian Stable
main

coq-relation-algebra

1.7.8 (1.7.8-2)
Raspbian Testing
main

coq-relation-algebra

1.7.9 (1.7.9-1)
Ubuntu 23.04
lunar/universe

coq-relation-algebra

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

coq-relation-algebra

1.7.9 (1.7.9-1build1)