Index of /debian/pool/main/c/coq-serapi/
../
coq-serapi_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 03:54 30M
coq-serapi_8.19.0+0.19.3-4+b2_arm64.deb 21-Aug-2024 03:59 34M
coq-serapi_8.19.0+0.19.3-4+b2_riscv64.deb 21-Aug-2024 05:46 31M
coq-serapi_8.19.0+0.19.3-4+b3_ppc64el.deb 30-Aug-2024 15:15 30M
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz 04-Aug-2024 06:53 10K
coq-serapi_8.19.0+0.19.3-4.dsc 04-Aug-2024 06:53 2271
coq-serapi_8.19.0+0.19.3.orig.tar.gz 16-May-2024 13:13 175K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 20-Nov-2024 09:57 9080
coq-serapi_8.20.0+0.20.0-1.dsc 20-Nov-2024 09:57 2490
coq-serapi_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 14:21 30M
coq-serapi_8.20.0+0.20.0-1_arm64.deb 20-Nov-2024 14:57 34M
coq-serapi_8.20.0+0.20.0-1_ppc64el.deb 20-Nov-2024 14:57 30M
coq-serapi_8.20.0+0.20.0-1_riscv64.deb 20-Nov-2024 16:29 31M
coq-serapi_8.20.0+0.20.0.orig.tar.gz 20-Nov-2024 09:57 178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 03:54 16M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_arm64.deb 21-Aug-2024 03:59 16M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_riscv64.deb 21-Aug-2024 05:46 18M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b3_ppc64el.deb 30-Aug-2024 15:15 16M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 14:21 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb 20-Nov-2024 14:57 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el.deb 20-Nov-2024 14:57 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64.deb 20-Nov-2024 16:29 19M
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 03:54 6M
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_arm64.deb 21-Aug-2024 03:59 6M
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_riscv64.deb 21-Aug-2024 05:46 6M
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b3_ppc64el.deb 30-Aug-2024 15:15 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 14:21 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb 20-Nov-2024 14:57 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb 20-Nov-2024 14:57 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb 20-Nov-2024 16:29 6M