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-4+b2_amd64.deb            12-Sep-2024 07:00     30M
coq-serapi_8.19.0+0.19.3-4+b2_arm64.deb            12-Sep-2024 07:00     34M
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz           12-Sep-2024 03:40     10K
coq-serapi_8.19.0+0.19.3-4.dsc                     12-Sep-2024 03:40    2271
coq-serapi_8.19.0+0.19.3.orig.tar.gz               24-Jun-2024 14:11    175K
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.19.0+0.19.3-4+b2_amd6..> 12-Sep-2024 07:00     16M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_arm6..> 12-Sep-2024 07:00     16M
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.19.0+0.19.3-4+b2_amd64.deb   12-Sep-2024 07:00      6M
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_arm64.deb   12-Sep-2024 07:00      6M