Index of /kylinsoft/anything2.0/openkylin/pool/main/c/coq-equations/

../
coq-equations_1.3-8.18-ok1.debian.tar.xz           31-May-2024 06:16                2452
coq-equations_1.3-8.18-ok1.dsc                     31-May-2024 06:16                2049
coq-equations_1.3-8.18.orig.tar.gz                 31-May-2024 06:16             1102730
libcoq-equations_1.3-8.18-ok1_arm64.deb            22-Nov-2024 12:30             1424372
libcoq-equations_1.3-8.18-ok1_riscv64.deb          13-Jul-2024 15:03             1391772