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

../
libcoq-mathcomp-algebra_2.2.0-1+b1_armhf.deb       15-Jun-2024 12:51            10002744
libcoq-mathcomp-algebra_2.2.0-1+b2_amd64.deb       15-Jun-2024 12:41            10003000
libcoq-mathcomp-algebra_2.2.0-1+b2_arm64.deb       15-Jun-2024 14:02            10005584
libcoq-mathcomp-algebra_2.2.0-1+b2_i386.deb        15-Jun-2024 12:36            10004300
libcoq-mathcomp-algebra_2.2.0-2+b4_amd64.deb       31-Aug-2024 05:01            10004932
libcoq-mathcomp-algebra_2.2.0-2+b4_arm64.deb       31-Aug-2024 05:01            10004364
libcoq-mathcomp-algebra_2.2.0-2+b5_amd64.deb       17-Sep-2024 06:32            10005568
libcoq-mathcomp-algebra_2.2.0-2+b5_arm64.deb       17-Sep-2024 08:08            10002884
libcoq-mathcomp-character_2.2.0-1+b1_armhf.deb     15-Jun-2024 12:51             4179944
libcoq-mathcomp-character_2.2.0-1+b2_amd64.deb     15-Jun-2024 12:41             4184588
libcoq-mathcomp-character_2.2.0-1+b2_arm64.deb     15-Jun-2024 14:02             4187328
libcoq-mathcomp-character_2.2.0-1+b2_i386.deb      15-Jun-2024 12:36             4186960
libcoq-mathcomp-character_2.2.0-2+b4_amd64.deb     31-Aug-2024 05:01             4191232
libcoq-mathcomp-character_2.2.0-2+b4_arm64.deb     31-Aug-2024 05:01             4190972
libcoq-mathcomp-character_2.2.0-2+b5_amd64.deb     17-Sep-2024 06:32             4185400
libcoq-mathcomp-character_2.2.0-2+b5_arm64.deb     17-Sep-2024 08:08             4187548
libcoq-mathcomp-field_2.2.0-1+b1_armhf.deb         15-Jun-2024 12:51             3248052
libcoq-mathcomp-field_2.2.0-1+b2_amd64.deb         15-Jun-2024 12:41             3249928
libcoq-mathcomp-field_2.2.0-1+b2_arm64.deb         15-Jun-2024 14:02             3250088
libcoq-mathcomp-field_2.2.0-1+b2_i386.deb          15-Jun-2024 12:36             3248856
libcoq-mathcomp-field_2.2.0-2+b4_amd64.deb         31-Aug-2024 05:01             3250480
libcoq-mathcomp-field_2.2.0-2+b4_arm64.deb         31-Aug-2024 05:01             3250844
libcoq-mathcomp-field_2.2.0-2+b5_amd64.deb         17-Sep-2024 06:32             3248504
libcoq-mathcomp-field_2.2.0-2+b5_arm64.deb         17-Sep-2024 08:08             3249324
libcoq-mathcomp-fingroup_2.2.0-1+b1_armhf.deb      15-Jun-2024 12:51             2161524
libcoq-mathcomp-fingroup_2.2.0-1+b2_amd64.deb      15-Jun-2024 12:41             2161448
libcoq-mathcomp-fingroup_2.2.0-1+b2_arm64.deb      15-Jun-2024 14:02             2161488
libcoq-mathcomp-fingroup_2.2.0-1+b2_i386.deb       15-Jun-2024 12:36             2160972
libcoq-mathcomp-fingroup_2.2.0-2+b4_amd64.deb      31-Aug-2024 05:01             2162048
libcoq-mathcomp-fingroup_2.2.0-2+b4_arm64.deb      31-Aug-2024 05:01             2162072
libcoq-mathcomp-fingroup_2.2.0-2+b5_amd64.deb      17-Sep-2024 06:32             2162172
libcoq-mathcomp-fingroup_2.2.0-2+b5_arm64.deb      17-Sep-2024 08:08             2162044
libcoq-mathcomp-solvable_2.2.0-1+b1_armhf.deb      15-Jun-2024 12:51             4726180
libcoq-mathcomp-solvable_2.2.0-1+b2_amd64.deb      15-Jun-2024 12:41             4727628
libcoq-mathcomp-solvable_2.2.0-1+b2_arm64.deb      15-Jun-2024 14:02             4726628
libcoq-mathcomp-solvable_2.2.0-1+b2_i386.deb       15-Jun-2024 12:36             4723308
libcoq-mathcomp-solvable_2.2.0-2+b4_amd64.deb      31-Aug-2024 05:01             4726732
libcoq-mathcomp-solvable_2.2.0-2+b4_arm64.deb      31-Aug-2024 05:01             4726564
libcoq-mathcomp-solvable_2.2.0-2+b5_amd64.deb      17-Sep-2024 06:32             4726696
libcoq-mathcomp-solvable_2.2.0-2+b5_arm64.deb      17-Sep-2024 08:08             4726992
libcoq-mathcomp-ssreflect_2.2.0-1+b1_armhf.deb     15-Jun-2024 12:51             6078604
libcoq-mathcomp-ssreflect_2.2.0-1+b2_amd64.deb     15-Jun-2024 12:41             6076140
libcoq-mathcomp-ssreflect_2.2.0-1+b2_arm64.deb     15-Jun-2024 14:02             6078024
libcoq-mathcomp-ssreflect_2.2.0-1+b2_i386.deb      15-Jun-2024 12:36             6078732
libcoq-mathcomp-ssreflect_2.2.0-2+b4_amd64.deb     31-Aug-2024 05:01             6078324
libcoq-mathcomp-ssreflect_2.2.0-2+b4_arm64.deb     31-Aug-2024 05:01             6079276
libcoq-mathcomp-ssreflect_2.2.0-2+b5_amd64.deb     17-Sep-2024 06:32             6079108
libcoq-mathcomp-ssreflect_2.2.0-2+b5_arm64.deb     17-Sep-2024 08:08             6077840
libcoq-mathcomp_2.2.0-1+b1_armhf.deb               15-Jun-2024 12:51             2862076
libcoq-mathcomp_2.2.0-1+b2_amd64.deb               15-Jun-2024 12:41             2861948
libcoq-mathcomp_2.2.0-1+b2_arm64.deb               15-Jun-2024 14:02             2861996
libcoq-mathcomp_2.2.0-1+b2_i386.deb                15-Jun-2024 12:36             2862000
libcoq-mathcomp_2.2.0-2+b4_amd64.deb               31-Aug-2024 05:01             2862040
libcoq-mathcomp_2.2.0-2+b4_arm64.deb               31-Aug-2024 05:01             2861944
libcoq-mathcomp_2.2.0-2+b5_amd64.deb               17-Sep-2024 06:32             2862076
libcoq-mathcomp_2.2.0-2+b5_arm64.deb               17-Sep-2024 08:08             2861936
ssreflect_2.2.0-1.debian.tar.xz                    26-Apr-2024 14:06               12616
ssreflect_2.2.0-1.dsc                              26-Apr-2024 14:06                2622
ssreflect_2.2.0-2.debian.tar.xz                    03-Aug-2024 08:23               12660
ssreflect_2.2.0-2.dsc                              03-Aug-2024 08:23                2391
ssreflect_2.2.0.orig.tar.gz                        26-Apr-2024 14:06             1839093