debian/pool/main/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 / debian / pool / main / c / coq-reglang

File Name

Size

Last Modified

..

—

—
coq-reglang_1.1.3-2.debian.tar.xz

8.20KB

January 26, 2023, 12:44 pm

coq-reglang_1.1.3-2.dsc

2.06KB

January 26, 2023, 12:44 pm

coq-reglang_1.1.3.orig.tar.gz

65.45KB

July 15, 2022, 9:06 pm

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

8.43KB

August 4, 2024, 6:22 am

coq-reglang_1.2.1-4.dsc

1.84KB

August 4, 2024, 6:22 am

coq-reglang_1.2.1.orig.tar.gz

67.80KB

January 20, 2024, 8:13 pm

libcoq-reglang_1.1.3-2+b1_amd64.deb

707.55KB

February 13, 2023, 7:28 am

libcoq-reglang_1.1.3-2+b1_arm64.deb

707.48KB

February 13, 2023, 7:28 am

libcoq-reglang_1.1.3-2+b1_armhf.deb

707.40KB

February 13, 2023, 7:28 am

libcoq-reglang_1.1.3-2+b1_i386.deb

707.27KB

February 13, 2023, 7:39 am

libcoq-reglang_1.1.3-2+b1_ppc64el.deb

707.45KB

February 13, 2023, 11:55 pm

libcoq-reglang_1.1.3-2+b1_s390x.deb

707.49KB

February 13, 2023, 10:20 am

libcoq-reglang_1.2.1-4+b12_arm64.deb

855.05KB

March 18, 2025, 7:12 pm

libcoq-reglang_1.2.1-4+b12_ppc64el.deb

854.70KB

March 18, 2025, 7:17 pm

libcoq-reglang_1.2.1-4+b12_riscv64.deb

854.66KB

March 19, 2025, 7:17 am

libcoq-reglang_1.2.1-4+b13_amd64.deb

854.79KB

March 18, 2025, 6:46 pm

libcoq-reglang_1.2.1-4+b13_s390x.deb

854.93KB

March 18, 2025, 11:58 pm