Index of /kali/pool/main/c/coq-math-classes/

../
coq-math-classes_8.18.0-1.debian.tar.xz            22-Dec-2023 11:07                2916
coq-math-classes_8.18.0-1.dsc                      22-Dec-2023 11:07                2164
coq-math-classes_8.18.0.orig.tar.gz                22-Dec-2023 11:07              169010
libcoq-math-classes_8.15.0-3+b1_amd64.deb          08-Sep-2022 23:43             2971324
libcoq-math-classes_8.15.0-3+b1_arm64.deb          08-Sep-2022 21:13             2971316
libcoq-math-classes_8.15.0-3+b1_armhf.deb          08-Sep-2022 21:28             2968692
libcoq-math-classes_8.15.0-3+b1_i386.deb           08-Sep-2022 21:57             2969148
libcoq-math-classes_8.15.0-3+b2_amd64.deb          30-Nov-2022 00:14             2970996
libcoq-math-classes_8.15.0-3+b2_arm64.deb          30-Nov-2022 00:45             2971000
libcoq-math-classes_8.15.0-3+b2_armhf.deb          30-Nov-2022 00:14             2969048
libcoq-math-classes_8.15.0-3+b2_i386.deb           30-Nov-2022 00:50             2969264
libcoq-math-classes_8.15.0-3+b3_amd64.deb          28-Dec-2022 17:14             2971480
libcoq-math-classes_8.15.0-3+b3_arm64.deb          28-Dec-2022 17:14             2970780
libcoq-math-classes_8.15.0-3+b3_armhf.deb          28-Dec-2022 17:14             2969216
libcoq-math-classes_8.15.0-3+b3_i386.deb           28-Dec-2022 17:14             2968648
libcoq-math-classes_8.15.0-4+b1_amd64.deb          13-Feb-2023 07:28             2971664
libcoq-math-classes_8.15.0-4+b1_arm64.deb          13-Feb-2023 07:28             2970856
libcoq-math-classes_8.15.0-4+b1_armhf.deb          13-Feb-2023 07:28             2969456
libcoq-math-classes_8.15.0-4+b1_i386.deb           13-Feb-2023 07:34             2969608
libcoq-math-classes_8.17.0-1+b1_amd64.deb          23-Jul-2023 05:43             2960720
libcoq-math-classes_8.17.0-1+b1_arm64.deb          23-Jul-2023 05:28             2960312
libcoq-math-classes_8.17.0-1+b1_armhf.deb          23-Jul-2023 05:44             2958572
libcoq-math-classes_8.17.0-1+b1_i386.deb           23-Jul-2023 06:55             2958380
libcoq-math-classes_8.17.0-1+b2_amd64.deb          22-Sep-2023 13:13             2960640
libcoq-math-classes_8.17.0-1+b2_arm64.deb          22-Sep-2023 13:13             2960460
libcoq-math-classes_8.17.0-1+b2_armhf.deb          22-Sep-2023 13:13             2958252
libcoq-math-classes_8.17.0-1+b2_i386.deb           22-Sep-2023 13:13             2958576
libcoq-math-classes_8.18.0-1_amd64.deb             23-Dec-2023 11:52             2899544
libcoq-math-classes_8.18.0-1_arm64.deb             23-Dec-2023 11:52             2899252
libcoq-math-classes_8.18.0-1_armhf.deb             23-Dec-2023 11:47             2896664
libcoq-math-classes_8.18.0-1_i386.deb              23-Dec-2023 11:53             2896912