Index of /ubuntu-ports/packages/pool/universe/c/coq-iris/

../
libcoq-iris_4.0.0-3build1_arm64.deb                16-Feb-2023 20:13     13M
libcoq-iris_4.0.0-3build1_armhf.deb                16-Feb-2023 20:44     13M
libcoq-iris_4.1.0-1build3_arm64.deb                08-Apr-2024 13:14     13M
libcoq-iris_4.1.0-1build3_armhf.deb                08-Apr-2024 13:14     13M
libcoq-iris_4.2.0-3build3_arm64.deb                07-Sep-2024 19:58     14M
libcoq-iris_4.3.0-1_arm64.deb                      21-Nov-2024 08:16     14M