Index of /kali/pool/main/c/coq-quickchick
Name
Last modified
Size
Description
Parent Directory
-
quickchick_2.1.0-1.1+b2_arm64.deb
2025-10-29 04:48
521K
quickchick_2.1.0-1.1+b2_amd64.deb
2025-10-29 04:48
479K
quickchick_2.1.0-1.1+b1_arm64.deb
2025-10-17 21:17
521K
quickchick_2.1.0-1.1+b1_amd64.deb
2025-10-17 20:46
478K
quickchick_2.1.0-1+b3_arm64.deb
2025-08-26 20:31
522K
quickchick_2.1.0-1+b3_amd64.deb
2025-08-26 20:00
480K
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb
2025-10-29 04:48
4.1M
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb
2025-10-29 04:48
4.1M
libcoq-quickchick_2.1.0-1.1+b1_arm64.deb
2025-10-17 21:17
4.1M
libcoq-quickchick_2.1.0-1.1+b1_amd64.deb
2025-10-17 20:46
4.1M
libcoq-quickchick_2.1.0-1+b3_arm64.deb
2025-08-26 20:31
4.1M
libcoq-quickchick_2.1.0-1+b3_amd64.deb
2025-08-26 20:00
4.1M
coq-quickchick_2.1.0.orig.tar.gz
2025-03-18 20:33
405K
coq-quickchick_2.1.0-1.dsc
2025-03-18 20:33
2.2K
coq-quickchick_2.1.0-1.debian.tar.xz
2025-03-18 20:33
2.8K
coq-quickchick_2.1.0-1.1.dsc
2025-09-21 19:55
2.2K
coq-quickchick_2.1.0-1.1.debian.tar.xz
2025-09-21 19:55
2.9K