Index of /ubuntu-ports/packages/pool/universe/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb    01-Apr-2024 10:35    145K
libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb    01-Apr-2024 10:36    125K
libcoq-paramcoq_1.1.3+coq8.19-2build2_arm64.deb    07-Sep-2024 15:44    137K
libcoq-paramcoq_1.1.3+coq8.20-1_arm64.deb          20-Nov-2024 23:31    137K