Index of /loongnix/25/pool/main/c/coq-equations/

../
coq-equations_1.3.1-8.20-1.debian.tar.xz           22-Sep-2025 09:25                2748
coq-equations_1.3.1-8.20-1.dsc                     22-Sep-2025 09:25                2180
coq-equations_1.3.1-8.20.orig.tar.gz               22-Sep-2025 09:25             1104362