Index of /pub/Linux/kali/pool/main/c/coq-quickchick
Name Last modified Size Description
Parent Directory -
coq-quickchick_2.0.5-1.debian.tar.xz 2024-12-19 01:08 2.8K
coq-quickchick_2.0.5-1.dsc 2024-12-19 01:08 2.2K
coq-quickchick_2.0.5.orig.tar.gz 2024-12-19 01:08 403K
coq-quickchick_2.1.0-1.debian.tar.xz 2025-03-18 21:33 2.8K
coq-quickchick_2.1.0-1.dsc 2025-03-18 21:33 2.2K
coq-quickchick_2.1.0.orig.tar.gz 2025-03-18 21:33 405K
libcoq-quickchick_2.0.5-1+b4_amd64.deb 2025-01-30 17:08 4.0M
libcoq-quickchick_2.0.5-1+b4_arm64.deb 2025-01-30 18:08 4.0M
libcoq-quickchick_2.0.5-1+b6_amd64.deb 2025-02-18 11:57 4.0M
libcoq-quickchick_2.0.5-1+b6_arm64.deb 2025-02-18 14:49 4.0M
libcoq-quickchick_2.1.0-1+b1_amd64.deb 2025-03-19 02:39 4.1M
libcoq-quickchick_2.1.0-1+b1_arm64.deb 2025-03-19 04:12 4.1M
quickchick_2.0.5-1+b4_amd64.deb 2025-01-30 17:08 480K
quickchick_2.0.5-1+b4_arm64.deb 2025-01-30 18:08 523K
quickchick_2.0.5-1+b6_amd64.deb 2025-02-18 11:57 481K
quickchick_2.0.5-1+b6_arm64.deb 2025-02-18 14:49 525K
quickchick_2.1.0-1+b1_amd64.deb 2025-03-19 02:39 481K
quickchick_2.1.0-1+b1_arm64.deb 2025-03-19 04:12 523K