Filename Modification time Size coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 2024-06-18 11:01 CEST 10 KiB coq-serapi_8.19.0+0.19.3-3.dsc 2024-06-18 11:01 CEST 2493 B coq-serapi_8.19.0+0.19.3-3_amd64.deb 2024-06-18 11:16 CEST 29 MiB coq-serapi_8.19.0+0.19.3-3_arm64.deb 2024-06-18 11:16 CEST 34 MiB coq-serapi_8.19.0+0.19.3-3_armhf.deb 2024-06-18 11:21 CEST 28 MiB coq-serapi_8.19.0+0.19.3-3_i386.deb 2024-06-18 11:16 CEST 27 MiB coq-serapi_8.19.0+0.19.3-3_ppc64el.deb 2024-06-18 11:16 CEST 29 MiB coq-serapi_8.19.0+0.19.3-3_riscv64.deb 2024-06-18 11:42 CEST 29 MiB coq-serapi_8.19.0+0.19.3.orig.tar.gz 2024-05-16 15:13 CEST 175 KiB libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb 2024-06-18 11:16 CEST 13 MiB libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb 2024-06-18 11:16 CEST 13 MiB libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb 2024-06-18 11:21 CEST 13 MiB libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_i386.deb 2024-06-18 11:16 CEST 13 MiB libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_ppc64el.deb 2024-06-18 11:16 CEST 13 MiB libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_riscv64.deb 2024-06-18 11:42 CEST 14 MiB libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb 2024-06-18 11:16 CEST 5945 KiB libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb 2024-06-18 11:16 CEST 6168 KiB libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb 2024-06-18 11:21 CEST 5977 KiB libcoq-serapi-ocaml_8.19.0+0.19.3-3_i386.deb 2024-06-18 11:16 CEST 5806 KiB libcoq-serapi-ocaml_8.19.0+0.19.3-3_ppc64el.deb 2024-06-18 11:16 CEST 5982 KiB libcoq-serapi-ocaml_8.19.0+0.19.3-3_riscv64.deb 2024-06-18 11:42 CEST 6086 KiB