ubuntu/pool/universe/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 / ubuntu / pool / universe / c / coq-quickchick

File Name

Size

Last Modified

..

—

—
coq-quickchick_2.0.2-1build5.debian.tar.xz

3.22KB

April 8, 2024, 7:57 am

coq-quickchick_2.0.2-1build5.dsc

2.30KB

April 8, 2024, 7:57 am

coq-quickchick_2.0.2.orig.tar.gz

405.88KB

January 20, 2024, 11:35 pm

coq-quickchick_2.0.5-1build6.debian.tar.xz

2.99KB

February 19, 2025, 7:52 am

coq-quickchick_2.0.5-1build6.dsc

2.22KB

February 19, 2025, 7:52 am

coq-quickchick_2.0.5.orig.tar.gz

403.34KB

December 18, 2024, 11:41 pm

coq-quickchick_2.1.0-1build4.debian.tar.xz

2.98KB

August 31, 2025, 7:42 pm

coq-quickchick_2.1.0-1build4.dsc

2.22KB

August 31, 2025, 7:42 pm

coq-quickchick_2.1.0.orig.tar.gz

404.83KB

May 1, 2025, 4:23 pm

libcoq-quickchick_2.0.2-1build5_amd64.deb

1.86MB

April 8, 2024, 2:36 pm

libcoq-quickchick_2.0.5-1build6_amd64.deb

4.29MB

February 20, 2025, 4:20 am

libcoq-quickchick_2.1.0-1build4_amd64.deb

4.31MB

September 1, 2025, 7:52 pm

quickchick_2.0.2-1build5_amd64.deb

64.97KB

April 8, 2024, 2:36 pm

quickchick_2.0.5-1build6_amd64.deb

553.74KB

February 20, 2025, 4:20 am

quickchick_2.1.0-1build4_amd64.deb

528.50KB

September 1, 2025, 7:52 pm