Index of /rockos/20240830/rockos-base/pool/main/c/coq-quickchick/

../
coq-quickchick_2.0.2-1.debian.tar.xz               15-May-2024 11:34    3048
coq-quickchick_2.0.2-1.dsc                         15-May-2024 11:34    2275
coq-quickchick_2.0.2.orig.tar.gz                   15-May-2024 11:34    406K
coq-quickchick_2.0.3-2.debian.tar.xz               15-May-2024 11:50    2792
coq-quickchick_2.0.3-2.dsc                         15-May-2024 11:50    2275
coq-quickchick_2.0.3.orig.tar.gz                   15-May-2024 11:50    402K
libcoq-quickchick_2.0.3-2_riscv64.deb              13-May-2024 09:13      3M
quickchick_2.0.3-2_riscv64.deb                     13-May-2024 09:09    410K