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

../
coq-math-classes_8.15.0-4.debian.tar.xz            10-Feb-2023 16:56    2624
coq-math-classes_8.15.0-4.dsc                      10-Feb-2023 16:56    2164
coq-math-classes_8.15.0.orig.tar.gz                28-Nov-2022 19:26    164K
coq-math-classes_8.19.0-1.debian.tar.xz            13-Aug-2025 00:33    2936
coq-math-classes_8.19.0-1.dsc                      13-Aug-2025 00:33    2164
coq-math-classes_8.19.0.orig.tar.gz                13-Aug-2025 00:33    165K
libcoq-math-classes_8.15.0-4+b1_amd64.deb          28-Apr-2023 18:31      3M
libcoq-math-classes_8.15.0-4+b1_arm64.deb          28-Apr-2023 18:36      3M
libcoq-math-classes_8.15.0-4+b1_i386.deb           28-Apr-2023 18:43      3M
libcoq-math-classes_8.19.0-1+b10_arm64.deb         13-Aug-2025 03:01      3M
libcoq-math-classes_8.19.0-1+b11_amd64.deb         13-Aug-2025 02:51      3M