Filename Modification time Size coq-serapi_8.20.0+0.20.0-1+b1_amd64.deb 2025-01-28 18:37 CET 30 MiB coq-serapi_8.20.0+0.20.0-1+b1_arm64.deb 2025-01-28 23:02 CET 34 MiB coq-serapi_8.20.0+0.20.0-1+b1_ppc64el.deb 2025-01-28 17:34 CET 30 MiB coq-serapi_8.20.0+0.20.0-1+b1_riscv64.deb 2025-01-29 13:11 CET 31 MiB coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb 2025-02-13 06:22 CET 30 MiB coq-serapi_8.20.0+0.20.0-1+b2_arm64.deb 2025-02-13 06:23 CET 34 MiB coq-serapi_8.20.0+0.20.0-1+b2_ppc64el.deb 2025-02-13 06:23 CET 30 MiB coq-serapi_8.20.0+0.20.0-1+b2_riscv64.deb 2025-02-13 08:56 CET 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+b1_amd64.deb 2025-01-28 18:37 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_arm64.deb 2025-01-28 23:02 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_ppc64el.deb 2025-01-28 17:34 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_riscv64.deb 2025-01-29 13:11 CET 18 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_amd64.deb 2025-02-13 06:22 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_arm64.deb 2025-02-13 06:23 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_ppc64el.deb 2025-02-13 06:23 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_riscv64.deb 2025-02-13 08:56 CET 18 MiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_amd64.deb 2025-01-28 18:37 CET 6253 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_arm64.deb 2025-01-28 23:02 CET 6498 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_ppc64el.deb 2025-01-28 17:34 CET 6272 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_riscv64.deb 2025-01-29 13:11 CET 6459 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_amd64.deb 2025-02-13 06:22 CET 6254 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_arm64.deb 2025-02-13 06:23 CET 6499 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_ppc64el.deb 2025-02-13 06:23 CET 6269 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_riscv64.deb 2025-02-13 08:56 CET 6458 KiB
