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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-mathcomp_2.3.0-1+b1_arm64.deb               2024-12-20 01:41  2.9M  
 libcoq-mathcomp-ssreflect_2.3.0-1+b1_arm64.deb     2024-12-20 01:41  7.9M  
 libcoq-mathcomp-solvable_2.3.0-1+b1_arm64.deb      2024-12-20 01:41  4.7M  
 libcoq-mathcomp-fingroup_2.3.0-1+b1_arm64.deb      2024-12-20 01:41  2.2M  
 libcoq-mathcomp-field_2.3.0-1+b1_arm64.deb         2024-12-20 01:41  3.3M  
 libcoq-mathcomp-character_2.3.0-1+b1_arm64.deb     2024-12-20 01:41  4.1M  
 libcoq-mathcomp-algebra_2.3.0-1+b1_arm64.deb       2024-12-20 01:41   12M  
 libcoq-mathcomp_2.3.0-1+b1_amd64.deb               2024-12-20 00:09  2.9M  
 libcoq-mathcomp-ssreflect_2.3.0-1+b1_amd64.deb     2024-12-20 00:09  7.9M  
 libcoq-mathcomp-solvable_2.3.0-1+b1_amd64.deb      2024-12-20 00:09  4.7M  
 libcoq-mathcomp-fingroup_2.3.0-1+b1_amd64.deb      2024-12-20 00:09  2.2M  
 libcoq-mathcomp-field_2.3.0-1+b1_amd64.deb         2024-12-20 00:09  3.3M  
 libcoq-mathcomp-character_2.3.0-1+b1_amd64.deb     2024-12-20 00:09  4.1M  
 libcoq-mathcomp-algebra_2.3.0-1+b1_amd64.deb       2024-12-20 00:09   12M  
 ssreflect_2.3.0.orig.tar.gz                        2024-12-19 00:08  1.8M  
 ssreflect_2.3.0-1.dsc                              2024-12-19 00:08  2.6K  
 ssreflect_2.3.0-1.debian.tar.xz                    2024-12-19 00:08   12K  
 libcoq-mathcomp_2.2.0-2+b7_arm64.deb               2024-10-13 19:54  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b7_arm64.deb     2024-10-13 19:54  5.8M  
 libcoq-mathcomp-solvable_2.2.0-2+b7_arm64.deb      2024-10-13 19:54  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-2+b7_arm64.deb      2024-10-13 19:54  2.1M  
 libcoq-mathcomp-field_2.2.0-2+b7_arm64.deb         2024-10-13 19:54  3.1M  
 libcoq-mathcomp-character_2.2.0-2+b7_arm64.deb     2024-10-13 19:54  4.0M  
 libcoq-mathcomp-algebra_2.2.0-2+b7_arm64.deb       2024-10-13 19:54  9.5M  
 libcoq-mathcomp_2.2.0-2+b7_amd64.deb               2024-10-13 19:28  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b7_amd64.deb     2024-10-13 19:28  5.8M  
 libcoq-mathcomp-solvable_2.2.0-2+b7_amd64.deb      2024-10-13 19:28  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64.deb      2024-10-13 19:28  2.1M  
 libcoq-mathcomp-field_2.2.0-2+b7_amd64.deb         2024-10-13 19:28  3.1M  
 libcoq-mathcomp-character_2.2.0-2+b7_amd64.deb     2024-10-13 19:28  4.0M  
 libcoq-mathcomp-algebra_2.2.0-2+b7_amd64.deb       2024-10-13 19:28  9.5M  
 ssreflect_2.2.0-2.dsc                              2024-08-03 16:23  2.3K  
 ssreflect_2.2.0-2.debian.tar.xz                    2024-08-03 16:23   12K  
 ssreflect_2.2.0.orig.tar.gz                        2024-04-26 22:06  1.8M