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

File Name

Size

Last Modified

..

—

—
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb

29.61MB

June 15, 2025, 1:53 am

coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb

34.39MB

June 15, 2025, 5:38 am

coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb

29.57MB

June 15, 2025, 6:18 am

coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb

30.72MB

June 15, 2025, 6:23 am

coq-serapi_8.20.0+0.20.0-1.debian.tar.xz

8.87KB

November 20, 2024, 9:57 am

coq-serapi_8.20.0+0.20.0-1.dsc

2.43KB

November 20, 2024, 9:57 am

coq-serapi_8.20.0+0.20.0.orig.tar.gz

178.20KB

November 20, 2024, 9:57 am

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb

16.59MB

June 15, 2025, 1:53 am

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb

16.76MB

June 15, 2025, 5:38 am

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb

16.95MB

June 15, 2025, 6:18 am

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb

18.44MB

June 15, 2025, 6:23 am

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb

6.10MB

June 15, 2025, 1:53 am

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb

6.35MB

June 15, 2025, 5:38 am

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb

6.12MB

June 15, 2025, 6:18 am

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb

6.31MB

June 15, 2025, 6:23 am