Index of /loongnix/25/pool/main/c/coqeal/

../
coqeal_2.0.2-2.debian.tar.xz                       15-Nov-2024 13:48                2372
coqeal_2.0.2-2.dsc                                 15-Nov-2024 13:48                1937
coqeal_2.0.2.orig.tar.gz                           15-Nov-2024 13:48              217033
libcoq-coqeal_2.0.2-2_loong64.deb                  29-Oct-2024 22:57             5221216