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

../
coq-corn_8.16.0-2.debian.tar.xz                    10-Feb-2023 17:40    3864
coq-corn_8.16.0-2.dsc                              10-Feb-2023 17:40    2092
coq-corn_8.16.0.orig.tar.gz                        28-Nov-2022 17:36      1M
coq-corn_8.20.0-1.debian.tar.xz                    13-Aug-2025 00:15    4296
coq-corn_8.20.0-1.dsc                              13-Aug-2025 00:15    2117
coq-corn_8.20.0.orig.tar.gz                        13-Aug-2025 00:15      1M
libcoq-corn_8.16.0-2+b1_amd64.deb                  28-Apr-2023 18:26     11M
libcoq-corn_8.16.0-2+b1_arm64.deb                  28-Apr-2023 18:38     11M
libcoq-corn_8.16.0-2+b1_i386.deb                   28-Apr-2023 18:01     11M
libcoq-corn_8.20.0-1+b4_amd64.deb                  13-Aug-2025 01:17     13M
libcoq-corn_8.20.0-1+b4_arm64.deb                  13-Aug-2025 02:58     13M