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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 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  
 libcoq-mathcomp_2.2.0-2+b5_arm64.deb               2024-09-17 16:08  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b5_arm64.deb     2024-09-17 16:08  5.8M  
 libcoq-mathcomp-solvable_2.2.0-2+b5_arm64.deb      2024-09-17 16:08  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-2+b5_arm64.deb      2024-09-17 16:08  2.1M  
 libcoq-mathcomp-field_2.2.0-2+b5_arm64.deb         2024-09-17 16:08  3.1M  
 libcoq-mathcomp-character_2.2.0-2+b5_arm64.deb     2024-09-17 16:08  4.0M  
 libcoq-mathcomp-algebra_2.2.0-2+b5_arm64.deb       2024-09-17 16:08  9.5M  
 libcoq-mathcomp_2.2.0-2+b5_amd64.deb               2024-09-17 14:32  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b5_amd64.deb     2024-09-17 14:32  5.8M  
 libcoq-mathcomp-solvable_2.2.0-2+b5_amd64.deb      2024-09-17 14:32  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-2+b5_amd64.deb      2024-09-17 14:32  2.1M  
 libcoq-mathcomp-field_2.2.0-2+b5_amd64.deb         2024-09-17 14:32  3.1M  
 libcoq-mathcomp-character_2.2.0-2+b5_amd64.deb     2024-09-17 14:32  4.0M  
 libcoq-mathcomp-algebra_2.2.0-2+b5_amd64.deb       2024-09-17 14:32  9.5M  
 libcoq-mathcomp_2.2.0-2+b4_arm64.deb               2024-08-31 13:01  2.7M  
 libcoq-mathcomp_2.2.0-2+b4_amd64.deb               2024-08-31 13:01  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b4_arm64.deb     2024-08-31 13:01  5.8M  
 libcoq-mathcomp-ssreflect_2.2.0-2+b4_amd64.deb     2024-08-31 13:01  5.8M  
 libcoq-mathcomp-solvable_2.2.0-2+b4_arm64.deb      2024-08-31 13:01  4.5M  
 libcoq-mathcomp-solvable_2.2.0-2+b4_amd64.deb      2024-08-31 13:01  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-2+b4_arm64.deb      2024-08-31 13:01  2.1M  
 libcoq-mathcomp-fingroup_2.2.0-2+b4_amd64.deb      2024-08-31 13:01  2.1M  
 libcoq-mathcomp-field_2.2.0-2+b4_arm64.deb         2024-08-31 13:01  3.1M  
 libcoq-mathcomp-field_2.2.0-2+b4_amd64.deb         2024-08-31 13:01  3.1M  
 libcoq-mathcomp-character_2.2.0-2+b4_arm64.deb     2024-08-31 13:01  4.0M  
 libcoq-mathcomp-character_2.2.0-2+b4_amd64.deb     2024-08-31 13:01  4.0M  
 libcoq-mathcomp-algebra_2.2.0-2+b4_arm64.deb       2024-08-31 13:01  9.5M  
 libcoq-mathcomp-algebra_2.2.0-2+b4_amd64.deb       2024-08-31 13:01  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  
 libcoq-mathcomp_2.2.0-1+b2_arm64.deb               2024-06-15 22:02  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-1+b2_arm64.deb     2024-06-15 22:02  5.8M  
 libcoq-mathcomp-solvable_2.2.0-1+b2_arm64.deb      2024-06-15 22:02  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-1+b2_arm64.deb      2024-06-15 22:02  2.1M  
 libcoq-mathcomp-field_2.2.0-1+b2_arm64.deb         2024-06-15 22:02  3.1M  
 libcoq-mathcomp-character_2.2.0-1+b2_arm64.deb     2024-06-15 22:02  4.0M  
 libcoq-mathcomp-algebra_2.2.0-1+b2_arm64.deb       2024-06-15 22:02  9.5M  
 libcoq-mathcomp_2.2.0-1+b1_armhf.deb               2024-06-15 20:51  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-1+b1_armhf.deb     2024-06-15 20:51  5.8M  
 libcoq-mathcomp-solvable_2.2.0-1+b1_armhf.deb      2024-06-15 20:51  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-1+b1_armhf.deb      2024-06-15 20:51  2.1M  
 libcoq-mathcomp-field_2.2.0-1+b1_armhf.deb         2024-06-15 20:51  3.1M  
 libcoq-mathcomp-character_2.2.0-1+b1_armhf.deb     2024-06-15 20:51  4.0M  
 libcoq-mathcomp-algebra_2.2.0-1+b1_armhf.deb       2024-06-15 20:51  9.5M  
 libcoq-mathcomp_2.2.0-1+b2_amd64.deb               2024-06-15 20:41  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-1+b2_amd64.deb     2024-06-15 20:41  5.8M  
 libcoq-mathcomp-solvable_2.2.0-1+b2_amd64.deb      2024-06-15 20:41  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-1+b2_amd64.deb      2024-06-15 20:41  2.1M  
 libcoq-mathcomp-field_2.2.0-1+b2_amd64.deb         2024-06-15 20:41  3.1M  
 libcoq-mathcomp-character_2.2.0-1+b2_amd64.deb     2024-06-15 20:41  4.0M  
 libcoq-mathcomp-algebra_2.2.0-1+b2_amd64.deb       2024-06-15 20:41  9.5M  
 libcoq-mathcomp_2.2.0-1+b2_i386.deb                2024-06-15 20:36  2.7M  
 libcoq-mathcomp-ssreflect_2.2.0-1+b2_i386.deb      2024-06-15 20:36  5.8M  
 libcoq-mathcomp-solvable_2.2.0-1+b2_i386.deb       2024-06-15 20:36  4.5M  
 libcoq-mathcomp-fingroup_2.2.0-1+b2_i386.deb       2024-06-15 20:36  2.1M  
 libcoq-mathcomp-field_2.2.0-1+b2_i386.deb          2024-06-15 20:36  3.1M  
 libcoq-mathcomp-character_2.2.0-1+b2_i386.deb      2024-06-15 20:36  4.0M  
 libcoq-mathcomp-algebra_2.2.0-1+b2_i386.deb        2024-06-15 20:36  9.5M  
 ssreflect_2.2.0.orig.tar.gz                        2024-04-26 22:06  1.8M  
 ssreflect_2.2.0-1.dsc                              2024-04-26 22:06  2.6K  
 ssreflect_2.2.0-1.debian.tar.xz                    2024-04-26 22:06   12K