kali/pool/main/c/coq • 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

File Name

Size

Last Modified

..

—

—
coq_8.20.1+dfsg-1+b1_amd64.deb

66.97MB

June 15, 2025, 1:07 am

coq_8.20.1+dfsg-1+b1_arm64.deb

71.00MB

June 15, 2025, 5:17 am

coq_8.20.1+dfsg-1.debian.tar.xz

29.50KB

February 17, 2025, 4:37 pm

coq_8.20.1+dfsg-1.dsc

2.52KB

February 17, 2025, 4:37 pm

coq_8.20.1+dfsg.orig.tar.xz

4.78MB

February 17, 2025, 4:37 pm

coqide_8.20.1+dfsg-1+b1_amd64.deb

1.84MB

June 15, 2025, 1:07 am

coqide_8.20.1+dfsg-1+b1_arm64.deb

2.14MB

June 15, 2025, 5:17 am

libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb

65.52MB

June 15, 2025, 1:07 am

libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb

65.39MB

June 15, 2025, 5:17 am

libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb

24.75MB

June 15, 2025, 1:07 am

libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb

25.17MB

June 15, 2025, 5:17 am

libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb

22.44MB

June 15, 2025, 1:07 am

libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb

22.44MB

June 15, 2025, 5:17 am