Ubuntu
coq-iris package

There are currently no open bugs.

"coq-iris" versions published in Ubuntu

Oracular (4.2.0-1build2): universe/misc
Noble (4.1.0-1build3): universe/misc
Mantic (4.0.0-4build1): universe/misc