Versions Packages Information History Badges Report

Packages for coq-equations

10 package(s) known

Debian 12
bookworm/main

coq-equations

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

coq-equations

1.3-8.17 (1.3-8.17-2)
Debian Unstable
sid/main

coq-equations

1.3-8.17 (1.3-8.17-2)
Devuan Unstable
unstable/main

coq-equations

1.3-8.17 (1.3-8.17-2)
Kali Linux Rolling
main

coq-equations

1.3-8.17 (1.3-8.17-2)
PureOS landing

coq-equations

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

coq-equations

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

coq-equations

1.3-8.17 (1.3-8.17-2)
Ubuntu 23.04
lunar/universe

coq-equations

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

coq-equations

1.3-8.17 (1.3-8.17-2build2)