/ubuntu/pool/universe/c/coq-serapi/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-serapi_8.20.0+0.20.0-1build4_arm64.deb	40.0 MiB	2025-Jun-20 04:01
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_arm64...>	6.8 MiB	2025-Jun-20 04:01
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_ar..>	17.0 MiB	2025-Jun-20 04:01
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb	33.1 MiB	2025-Jun-20 04:01
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_am..>	16.7 MiB	2025-Jun-20 04:01
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64...>	6.3 MiB	2025-Jun-20 04:01
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz	9.0 KiB	2025-Jun-19 17:20
coq-serapi_8.20.0+0.20.0-1build4.dsc	2.4 KiB	2025-Jun-19 17:20
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb	33.1 MiB	2025-Feb-18 21:25
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_am..>	16.8 MiB	2025-Feb-18 21:25
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64...>	6.3 MiB	2025-Feb-18 21:25
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz	9.0 KiB	2025-Feb-18 21:25
coq-serapi_8.20.0+0.20.0-1build3.dsc	2.4 KiB	2025-Feb-18 21:25
coq-serapi_8.20.0+0.20.0.orig.tar.gz	178.2 KiB	2024-Nov-20 18:47