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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 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  
 libcoq-mathcomp_2.1.0-1+b1_arm64.deb               2024-02-17 01:11  2.7M  
 libcoq-mathcomp-ssreflect_2.1.0-1+b1_arm64.deb     2024-02-17 01:11  5.5M  
 libcoq-mathcomp-solvable_2.1.0-1+b1_arm64.deb      2024-02-17 01:11  4.4M  
 libcoq-mathcomp-fingroup_2.1.0-1+b1_arm64.deb      2024-02-17 01:11  1.9M  
 libcoq-mathcomp-field_2.1.0-1+b1_arm64.deb         2024-02-17 01:11  2.9M  
 libcoq-mathcomp-character_2.1.0-1+b1_arm64.deb     2024-02-17 01:11  3.8M  
 libcoq-mathcomp-algebra_2.1.0-1+b1_arm64.deb       2024-02-17 01:11  8.6M  
 libcoq-mathcomp_2.1.0-1+b1_amd64.deb               2024-02-16 22:14  2.7M  
 libcoq-mathcomp-ssreflect_2.1.0-1+b1_amd64.deb     2024-02-16 22:14  5.5M  
 libcoq-mathcomp-solvable_2.1.0-1+b1_amd64.deb      2024-02-16 22:14  4.4M  
 libcoq-mathcomp-fingroup_2.1.0-1+b1_amd64.deb      2024-02-16 22:14  1.9M  
 libcoq-mathcomp-field_2.1.0-1+b1_amd64.deb         2024-02-16 22:14  2.9M  
 libcoq-mathcomp-character_2.1.0-1+b1_amd64.deb     2024-02-16 22:14  3.8M  
 libcoq-mathcomp-algebra_2.1.0-1+b1_amd64.deb       2024-02-16 22:14  8.6M  
 libcoq-mathcomp_2.1.0-1+b1_i386.deb                2024-02-16 22:04  2.7M  
 libcoq-mathcomp-ssreflect_2.1.0-1+b1_i386.deb      2024-02-16 22:04  5.5M  
 libcoq-mathcomp-solvable_2.1.0-1+b1_i386.deb       2024-02-16 22:04  4.4M  
 libcoq-mathcomp-fingroup_2.1.0-1+b1_i386.deb       2024-02-16 22:04  1.9M  
 libcoq-mathcomp-field_2.1.0-1+b1_i386.deb          2024-02-16 22:04  2.9M  
 libcoq-mathcomp-character_2.1.0-1+b1_i386.deb      2024-02-16 22:04  3.8M  
 libcoq-mathcomp-algebra_2.1.0-1+b1_i386.deb        2024-02-16 22:04  8.6M  
 libcoq-mathcomp_2.1.0-1+b1_armhf.deb               2024-02-16 21:38  2.7M  
 libcoq-mathcomp-ssreflect_2.1.0-1+b1_armhf.deb     2024-02-16 21:38  5.5M  
 libcoq-mathcomp-solvable_2.1.0-1+b1_armhf.deb      2024-02-16 21:38  4.4M  
 libcoq-mathcomp-fingroup_2.1.0-1+b1_armhf.deb      2024-02-16 21:38  1.9M  
 libcoq-mathcomp-field_2.1.0-1+b1_armhf.deb         2024-02-16 21:38  2.9M  
 libcoq-mathcomp-character_2.1.0-1+b1_armhf.deb     2024-02-16 21:38  3.8M  
 libcoq-mathcomp-algebra_2.1.0-1+b1_armhf.deb       2024-02-16 21:38  8.6M  
 ssreflect_2.1.0.orig.tar.gz                        2023-12-22 19:07  1.8M  
 ssreflect_2.1.0-1.dsc                              2023-12-22 19:07  2.6K  
 ssreflect_2.1.0-1.debian.tar.xz                    2023-12-22 19:07   12K