File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-serapi_8.20.0+0.20.0-1build3.dsc	2.4 KiB	2025-02-19 00:25
coq-serapi_8.20.0+0.20.0-1build4.dsc	2.4 KiB	2025-06-19 20:20
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz	9.0 KiB	2025-02-19 00:25
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz	9.0 KiB	2025-06-19 20:20
coq-serapi_8.20.0+0.20.0.orig.tar.gz	178.2 KiB	2024-11-20 21:47
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb	6.3 MiB	2025-06-20 07:01
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb	6.3 MiB	2025-02-19 00:25
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_arm64.deb	6.8 MiB	2025-06-20 07:01
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb	16.7 MiB	2025-06-20 07:01
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb	16.8 MiB	2025-02-19 00:25
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_arm64.deb	17.0 MiB	2025-06-20 07:01
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb	33.1 MiB	2025-06-20 07:01
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb	33.1 MiB	2025-02-19 00:25
coq-serapi_8.20.0+0.20.0-1build4_arm64.deb	40.0 MiB	2025-06-20 07:01