File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb	18.4 MiB	2025-06-15 08:23
coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb	30.7 MiB	2025-06-15 08:23
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb	6.3 MiB	2025-06-15 08:23
coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb	29.6 MiB	2025-06-15 08:18
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb	6.1 MiB	2025-06-15 08:18
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb	16.9 MiB	2025-06-15 08:18
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb	6.3 MiB	2025-06-15 07:38
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb	16.8 MiB	2025-06-15 07:38
coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb	34.4 MiB	2025-06-15 07:38
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb	29.6 MiB	2025-06-15 03:53
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb	16.6 MiB	2025-06-15 03:53
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb	6.1 MiB	2025-06-15 03:53
coq-serapi_8.20.0+0.20.0.orig.tar.gz	178.2 KiB	2024-11-20 11:57
coq-serapi_8.20.0+0.20.0-1.dsc	2.4 KiB	2024-11-20 11:57
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz	8.9 KiB	2024-11-20 11:57