Index of /pardus/pool/main/c/coq-stdpp/

../
coq-stdpp_1.11.0-1.debian.tar.xz                   13-Aug-2025 02:09    2772
coq-stdpp_1.11.0-1.dsc                             13-Aug-2025 02:09    2076
coq-stdpp_1.11.0.orig.tar.bz2                      13-Aug-2025 02:09    251K
coq-stdpp_1.8.0-3.debian.tar.xz                    10-Feb-2023 16:51    2392
coq-stdpp_1.8.0-3.dsc                              10-Feb-2023 16:51    2056
coq-stdpp_1.8.0.orig.tar.gz                        28-Nov-2022 18:04    249K
libcoq-stdpp_1.11.0-1+b5_arm64.deb                 13-Aug-2025 04:51      5M
libcoq-stdpp_1.11.0-1+b6_amd64.deb                 13-Aug-2025 01:01      5M
libcoq-stdpp_1.8.0-3+b1_amd64.deb                  28-Apr-2023 17:50      4M
libcoq-stdpp_1.8.0-3+b1_arm64.deb                  28-Apr-2023 18:23      4M
libcoq-stdpp_1.8.0-3+b1_i386.deb                   28-Apr-2023 18:17      4M