Index of /debian/pool/main/c/coq-serapi/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-serapi_8.20.0+0.20.0-1+b3_arm64.deb	34.3 MiB	2025-02-19 01:22
coq-serapi_8.20.0+0.20.0-1+b3_riscv64.deb	30.7 MiB	2025-02-19 01:43
coq-serapi_8.20.0+0.20.0-1+b3_amd64.deb	29.6 MiB	2025-02-19 01:17
coq-serapi_8.20.0+0.20.0-1+b3_ppc64el.deb	29.6 MiB	2025-02-19 01:17
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_riscv64.deb	18.5 MiB	2025-02-19 01:43
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_ppc64el.deb	17.0 MiB	2025-02-19 01:17
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_arm64.deb	16.8 MiB	2025-02-19 01:22
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_amd64.deb	16.6 MiB	2025-02-19 01:17
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_arm64.deb	6.4 MiB	2025-02-19 01:22
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_riscv64.deb	6.3 MiB	2025-02-19 01:43
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_ppc64el.deb	6.1 MiB	2025-02-19 01:17
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_amd64.deb	6.1 MiB	2025-02-19 01:17
coq-serapi_8.20.0+0.20.0.orig.tar.gz	178.2 KiB	2024-11-20 09:57
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz	8.9 KiB	2024-11-20 09:57
coq-serapi_8.20.0+0.20.0-1.dsc	2.4 KiB	2024-11-20 09:57

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)