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

../
coq-math-classes_8.15.0-4.debian.tar.xz            26-Jan-2023 20:44                2624
coq-math-classes_8.15.0-4.dsc                      26-Jan-2023 20:44                2164
coq-math-classes_8.15.0.orig.tar.gz                08-Jul-2022 14:17              167961
coq-math-classes_8.18.0-1.debian.tar.xz            22-Dec-2023 19:07                2916
coq-math-classes_8.18.0-1.dsc                      22-Dec-2023 19:07                2164
coq-math-classes_8.18.0.orig.tar.gz                22-Dec-2023 19:07              169010
coq-math-classes_8.19.0-1.debian.tar.xz            26-Apr-2024 22:06                2936
coq-math-classes_8.19.0-1.dsc                      26-Apr-2024 22:06                2164
coq-math-classes_8.19.0.orig.tar.gz                26-Apr-2024 22:06              169013
coq-math-classes_9.0.0-1.debian.tar.xz             29-Oct-2025 17:29                2924
coq-math-classes_9.0.0-1.dsc                       29-Oct-2025 17:29                2169
coq-math-classes_9.0.0-2.debian.tar.xz             12-Nov-2025 02:41                2964
coq-math-classes_9.0.0-2.dsc                       12-Nov-2025 02:41                2176
coq-math-classes_9.0.0.orig.tar.gz                 29-Oct-2025 17:29              169022
libcoq-math-classes_8.15.0-4+b1_amd64.deb          13-Feb-2023 15:28             2971664
libcoq-math-classes_8.18.0-1_amd64.deb             23-Dec-2023 19:52             2899544
libcoq-math-classes_8.19.0-1+b10_amd64.deb         18-Feb-2025 08:30             2825720
libcoq-math-classes_8.19.0-1+b11_amd64.deb         15-Jun-2025 19:15             2826216
libcoq-math-classes_8.19.0-1+b12_amd64.deb         28-Dec-2025 12:45             2825800
libcoq-math-classes_8.19.0-1+b1_amd64.deb          15-Jun-2024 19:25             2883688
libcoq-math-classes_8.19.0-1+b2_amd64.deb          25-Jun-2024 17:58             2883876
libcoq-math-classes_8.19.0-1+b3_amd64.deb          05-Aug-2024 01:59             2883468
libcoq-math-classes_8.19.0-1+b4_amd64.deb          12-Aug-2024 12:05             2884960
libcoq-math-classes_8.19.0-1+b5_amd64.deb          21-Aug-2024 12:04             2885128
libcoq-math-classes_8.19.0-1+b6_amd64.deb          20-Nov-2024 23:37             2827188
libcoq-math-classes_8.19.0-1+b7_amd64.deb          21-Nov-2024 00:40             2826952
libcoq-math-classes_8.19.0-1+b8_amd64.deb          30-Jan-2025 15:32             2827352
libcoq-math-classes_8.19.0-1_amd64.deb             28-Apr-2024 23:11             2883080
libcoq-math-classes_9.0.0-1_amd64.deb              29-Oct-2025 17:29             2890104
libcoq-math-classes_9.0.0-2_amd64.deb              12-Nov-2025 02:41             2889564