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

../
coq-unicoq_1.6-8.16-2.debian.tar.xz                10-Feb-2023 16:25    2364
coq-unicoq_1.6-8.16-2.dsc                          10-Feb-2023 16:25    2084
coq-unicoq_1.6-8.16.orig.tar.gz                    28-Nov-2022 16:54    580K
coq-unicoq_1.6-8.20-1.debian.tar.xz                13-Aug-2025 04:27    2720
coq-unicoq_1.6-8.20-1.dsc                          13-Aug-2025 04:27    2094
coq-unicoq_1.6-8.20.orig.tar.gz                    13-Aug-2025 04:27    580K
libcoq-unicoq_1.6-8.16-2+b1_amd64.deb              28-Apr-2023 19:09     77K
libcoq-unicoq_1.6-8.16-2+b1_arm64.deb              28-Apr-2023 18:21     81K
libcoq-unicoq_1.6-8.16-2+b1_i386.deb               28-Apr-2023 17:58     71K
libcoq-unicoq_1.6-8.20-1+b4_amd64.deb              13-Aug-2025 00:27     85K
libcoq-unicoq_1.6-8.20-1+b4_arm64.deb              13-Aug-2025 05:08     88K