kali/pool/main/c/coq-quickchick • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / kali / pool / main / c / coq-quickchick

File Name

Size

Last Modified

..

—

—
coq-quickchick_2.1.0-1.1.debian.tar.xz

2.95KB

September 21, 2025, 11:55 am

coq-quickchick_2.1.0-1.1.dsc

2.21KB

September 21, 2025, 11:55 am

coq-quickchick_2.1.0.orig.tar.gz

404.83KB

March 18, 2025, 12:33 pm

libcoq-quickchick_2.1.0-1.1+b2_amd64.deb

4.06MB

October 28, 2025, 8:48 pm

libcoq-quickchick_2.1.0-1.1+b2_arm64.deb

4.06MB

October 28, 2025, 8:48 pm

libcoq-quickchick_2.1.0-1.1+b4_amd64.deb

3.41MB

December 28, 2025, 6:17 am

libcoq-quickchick_2.1.0-1.1+b4_arm64.deb

3.42MB

December 28, 2025, 6:17 am

quickchick_2.1.0-1.1+b2_amd64.deb

478.77KB

October 28, 2025, 8:48 pm

quickchick_2.1.0-1.1+b2_arm64.deb

520.78KB

October 28, 2025, 8:48 pm

quickchick_2.1.0-1.1+b4_amd64.deb

489.24KB

December 28, 2025, 6:17 am

quickchick_2.1.0-1.1+b4_arm64.deb

528.35KB

December 28, 2025, 6:17 am