Index of /debian/pool/main/c/coq-serapi/
../
coq-serapi_8.19.0+0.19.3-2+b1_amd64.deb 26-May-2024 19:15 30847100
coq-serapi_8.19.0+0.19.3-2.debian.tar.xz 16-May-2024 21:13 8932
coq-serapi_8.19.0+0.19.3-2.dsc 16-May-2024 21:13 2481
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 18-Jun-2024 17:01 10200
coq-serapi_8.19.0+0.19.3-3.dsc 18-Jun-2024 17:01 2493
coq-serapi_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 17:16 30162940
coq-serapi_8.19.0+0.19.3-4+b1_amd64.deb 09-Aug-2024 02:29 31168280
coq-serapi_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 11:54 31155140
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz 04-Aug-2024 14:53 10264
coq-serapi_8.19.0+0.19.3-4.dsc 04-Aug-2024 14:53 2271
coq-serapi_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 15:28 30162856
coq-serapi_8.19.0+0.19.3.orig.tar.gz 16-May-2024 21:13 179654
coq-serapi_8.20.0+0.20.0-1+b1_amd64.deb 29-Jan-2025 01:37 31004932
coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb 13-Feb-2025 13:22 31038660
coq-serapi_8.20.0+0.20.0-1+b3_amd64.deb 19-Feb-2025 09:17 31037952
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb 15-Jun-2025 09:53 31048764
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 20-Nov-2024 17:57 9080
coq-serapi_8.20.0+0.20.0-1.dsc 20-Nov-2024 17:57 2490
coq-serapi_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 22:21 31112908
coq-serapi_8.20.0+0.20.0.orig.tar.gz 20-Nov-2024 17:57 182481
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2+b1_amd6..> 26-May-2024 19:15 12305996
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 17:16 13125028
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_amd6..> 09-Aug-2024 02:29 16758948
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_amd6..> 21-Aug-2024 11:54 16759848
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 15:28 13114284
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_amd6..> 29-Jan-2025 01:37 17408500
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_amd6..> 13-Feb-2025 13:22 17409296
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_amd6..> 19-Feb-2025 09:17 17406344
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd6..> 15-Jun-2025 09:53 17397424
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 22:21 17479056
libcoq-serapi-ocaml_8.19.0+0.19.3-2+b1_amd64.deb 26-May-2024 19:15 6112764
libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 17:16 6087312
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_amd64.deb 09-Aug-2024 02:29 6127408
libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 11:54 6126460
libcoq-serapi-ocaml_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 15:28 6087196
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_amd64.deb 29-Jan-2025 01:37 6402992
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_amd64.deb 13-Feb-2025 13:22 6403952
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_amd64.deb 19-Feb-2025 09:17 6402096
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb 15-Jun-2025 09:53 6398840
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 22:21 6373804