Index of /pureos/pool/main/c/coq-serapi/

../
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz           24-Jun-2024 14:11     10K
coq-serapi_8.19.0+0.19.3-3.dsc                     24-Jun-2024 14:11    2493
coq-serapi_8.19.0+0.19.3-3_amd64.deb               24-Jun-2024 14:17     29M
coq-serapi_8.19.0+0.19.3-3_arm64.deb               24-Jun-2024 14:17     34M
coq-serapi_8.19.0+0.19.3.orig.tar.gz               24-Jun-2024 14:11    175K
coq-serapi_8.20.0+0.20.0-1+b1_amd64.deb            07-Feb-2025 18:01     30M
coq-serapi_8.20.0+0.20.0-1+b1_arm64.deb            07-Feb-2025 18:01     34M
coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb            13-Feb-2025 18:12     30M
coq-serapi_8.20.0+0.20.0-1+b2_arm64.deb            13-Feb-2025 18:12     34M
coq-serapi_8.20.0+0.20.0-1+b3_amd64.deb            26-Feb-2025 06:27     30M
coq-serapi_8.20.0+0.20.0-1+b3_arm64.deb            26-Feb-2025 06:27     34M
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz           29-Nov-2024 04:50    9080
coq-serapi_8.20.0+0.20.0-1.dsc                     29-Nov-2024 04:50    2490
coq-serapi_8.20.0+0.20.0-1_amd64.deb               29-Nov-2024 04:57     30M
coq-serapi_8.20.0+0.20.0-1_arm64.deb               29-Nov-2024 04:57     34M
coq-serapi_8.20.0+0.20.0.orig.tar.gz               29-Nov-2024 04:50    178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb  24-Jun-2024 14:17     13M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb  24-Jun-2024 14:17     13M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_amd6..> 07-Feb-2025 18:01     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_arm6..> 07-Feb-2025 18:01     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_amd6..> 13-Feb-2025 18:12     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_arm6..> 13-Feb-2025 18:12     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_amd6..> 26-Feb-2025 06:27     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_arm6..> 26-Feb-2025 06:27     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb  29-Nov-2024 04:57     17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb  29-Nov-2024 04:57     17M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb      24-Jun-2024 14:17      6M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb      24-Jun-2024 14:17      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_amd64.deb   07-Feb-2025 18:01      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_arm64.deb   07-Feb-2025 18:01      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_amd64.deb   13-Feb-2025 18:12      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_arm64.deb   13-Feb-2025 18:12      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_amd64.deb   26-Feb-2025 06:27      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_arm64.deb   26-Feb-2025 06:27      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb      29-Nov-2024 04:57      6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb      29-Nov-2024 04:57      6M