Index of /debian/pool/main/c/coq-serapi/
../
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 18-Jun-2024 09:01 10200
coq-serapi_8.19.0+0.19.3-3.dsc 18-Jun-2024 09:01 2493
coq-serapi_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 09:16 30162940
coq-serapi_8.19.0+0.19.3-3_arm64.deb 18-Jun-2024 09:16 35508224
coq-serapi_8.19.0+0.19.3-3_i386.deb 18-Jun-2024 09:16 27905056
coq-serapi_8.19.0+0.19.3-4+b1_amd64.deb 08-Aug-2024 18:29 31168280
coq-serapi_8.19.0+0.19.3-4+b1_arm64.deb 08-Aug-2024 18:29 35929376
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz 04-Aug-2024 06:53 10264
coq-serapi_8.19.0+0.19.3-4.dsc 04-Aug-2024 06:53 2271
coq-serapi_8.19.0+0.19.3-4_i386.deb 04-Aug-2024 07:23 27899032
coq-serapi_8.19.0+0.19.3.orig.tar.gz 16-May-2024 13:13 179654
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 09:16 13125028
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb 18-Jun-2024 09:16 13287640
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_i386.deb 18-Jun-2024 09:16 13107532
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_amd6..> 08-Aug-2024 18:29 16758948
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_arm6..> 08-Aug-2024 18:29 16945564
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_i386.deb 04-Aug-2024 07:23 13095624
libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 09:16 6087312
libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb 18-Jun-2024 09:16 6316252
libcoq-serapi-ocaml_8.19.0+0.19.3-3_i386.deb 18-Jun-2024 09:16 5945100
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_amd64.deb 08-Aug-2024 18:29 6127408
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_arm64.deb 08-Aug-2024 18:29 6360716
libcoq-serapi-ocaml_8.19.0+0.19.3-4_i386.deb 04-Aug-2024 07:23 5944272