Welcome to NYCU CSIT Mirror site

Index of /kali/pool/main/s/ssreflect/

../
libcoq-mathcomp-algebra_2.3.0-1+b17_amd64.deb      13-Feb-2026 22:02            12036408
libcoq-mathcomp-algebra_2.3.0-1+b17_arm64.deb      13-Feb-2026 19:32            12038364
libcoq-mathcomp-character_2.3.0-1+b17_amd64.deb    13-Feb-2026 22:02             4287248
libcoq-mathcomp-character_2.3.0-1+b17_arm64.deb    13-Feb-2026 19:32             4288000
libcoq-mathcomp-field_2.3.0-1+b17_amd64.deb        13-Feb-2026 22:02             3405972
libcoq-mathcomp-field_2.3.0-1+b17_arm64.deb        13-Feb-2026 19:32             3405932
libcoq-mathcomp-fingroup_2.3.0-1+b17_amd64.deb     13-Feb-2026 22:02             2299160
libcoq-mathcomp-fingroup_2.3.0-1+b17_arm64.deb     13-Feb-2026 19:32             2299052
libcoq-mathcomp-solvable_2.3.0-1+b17_amd64.deb     13-Feb-2026 22:02             4864856
libcoq-mathcomp-solvable_2.3.0-1+b17_arm64.deb     13-Feb-2026 19:32             4864328
libcoq-mathcomp-ssreflect_2.3.0-1+b17_amd64.deb    13-Feb-2026 22:02             8246288
libcoq-mathcomp-ssreflect_2.3.0-1+b17_arm64.deb    13-Feb-2026 19:32             8246052
libcoq-mathcomp_2.3.0-1+b17_amd64.deb              13-Feb-2026 22:02             3063824
libcoq-mathcomp_2.3.0-1+b17_arm64.deb              13-Feb-2026 19:32             3063680
ssreflect_2.3.0-1.debian.tar.xz                    18-Dec-2024 16:08               12672
ssreflect_2.3.0-1.dsc                              18-Dec-2024 16:08                2634
ssreflect_2.3.0.orig.tar.gz                        18-Dec-2024 16:08             1880788