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.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-1_amd64.deb 2024-11-20 15:21 CET 30 MiB coq-serapi_8.20.0+0.20.0-1_arm64.deb 2024-11-20 15:57 CET 34 MiB coq-serapi_8.20.0+0.20.0-1_ppc64el.deb 2024-11-20 15:57 CET 30 MiB coq-serapi_8.20.0+0.20.0-1_riscv64.deb 2024-11-20 17:29 CET 31 MiB 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_amd64.deb 2024-11-20 15:21 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb 2024-11-20 15:57 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el.deb 2024-11-20 15:57 CET 17 MiB libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64.deb 2024-11-20 17:29 CET 19 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_amd64.deb 2024-11-20 15:21 CET 6224 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb 2024-11-20 15:57 CET 6471 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb 2024-11-20 15:57 CET 6240 KiB libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb 2024-11-20 17:29 CET 6432 KiB
