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

File Name

Size

Last Modified

..

—

—
coq-reglang_1.2.1-1build5.debian.tar.xz

8.56KB

April 8, 2024, 7:57 am

coq-reglang_1.2.1-1build5.dsc

2.14KB

April 8, 2024, 7:57 am

coq-reglang_1.2.1-4build12.debian.tar.xz

8.73KB

February 19, 2025, 7:52 am

coq-reglang_1.2.1-4build12.dsc

2.07KB

February 19, 2025, 7:52 am

coq-reglang_1.2.1-4build16.debian.tar.xz

8.79KB

August 31, 2025, 7:42 pm

coq-reglang_1.2.1-4build16.dsc

2.07KB

August 31, 2025, 7:42 pm

coq-reglang_1.2.1-4build21.debian.tar.xz

8.91KB

March 7, 2026, 7:00 pm

coq-reglang_1.2.1-4build21.dsc

2.07KB

March 7, 2026, 7:00 pm

coq-reglang_1.2.1.orig.tar.gz

67.80KB

January 21, 2024, 5:45 am

libcoq-reglang_1.2.1-1build5_amd64.deb

804.98KB

April 8, 2024, 2:36 pm

libcoq-reglang_1.2.1-4build12_amd64.deb

971.82KB

February 20, 2025, 4:20 am

libcoq-reglang_1.2.1-4build16_amd64.deb

969.83KB

September 1, 2025, 7:52 pm

libcoq-reglang_1.2.1-4build21_amd64.deb

970.39KB

March 7, 2026, 7:01 pm

libcoq-reglang_1.2.1-4build21_amd64v3.deb

970.45KB

March 7, 2026, 7:02 pm