Index of /ubuntu-ports/pool/universe/c/coqeal/

../
coqeal_2.0.1-1build5.debian.tar.xz                 11-Apr-2024 00:15                2560
coqeal_2.0.1-1build5.dsc                           11-Apr-2024 00:15                2249
coqeal_2.0.1.orig.tar.gz                           01-Feb-2024 00:13              216810
libcoq-coqeal_2.0.1-1build5_arm64.deb              11-Apr-2024 00:15             5510722