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

../
coq_8.20.1+dfsg-1.debian.tar.xz                    22-Sep-2025 09:24               30208
coq_8.20.1+dfsg-1.dsc                              22-Sep-2025 09:24                2582
coq_8.20.1+dfsg.orig.tar.xz                        22-Sep-2025 09:24             5014988