Filename Modification time Size coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb 2025-06-15 03:53 CEST 30 MiB coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb 2025-06-15 07:38 CEST 34 MiB coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb 2025-06-15 08:18 CEST 30 MiB coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb 2025-06-15 08:23 CEST 31 MiB coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 2024-11-20 10:57 CET 9080 B coq-serapi_8.20.0+0.20.0-1.dsc 2024-11-20 10:57 CET 2490 B coq-serapi_8.20.0+0.20.0.orig.tar.gz 2024-11-20 10:57 CET 178 KiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb 2025-06-15 03:53 CEST 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb 2025-06-15 07:38 CEST 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb 2025-06-15 08:18 CEST 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb 2025-06-15 08:23 CEST 18 MiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb 2025-06-15 03:53 CEST 6249 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb 2025-06-15 07:38 CEST 6499 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb 2025-06-15 08:18 CEST 6270 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb 2025-06-15 08:23 CEST 6459 KiB
