Ubuntu
coqeal package

1 → 1 of 1 result First • Previous • Next • Last
High
Triaged
#2110317 coq-elpi fails to build on riscv64
coqeal (Ubuntu) 6
1 → 1 of 1 result First • Previous • Next • Last

"coqeal" versions published in Ubuntu

Questing-proposed (2.1.0-1): universe/misc
Questing (2.0.3-1build6): universe/misc
Plucky (2.0.3-1build6): universe/misc
Oracular (2.0.2-2build5): universe/misc
Noble (2.0.1-1build5): universe/misc