Index of /ubuntu/pool/universe/c/coq-serapi/
../
coq-serapi_8.19.0+0.19.3-2.debian.tar.xz 27-May-2024 00:38 8932
coq-serapi_8.19.0+0.19.3-2.dsc 27-May-2024 00:38 2481
coq-serapi_8.19.0+0.19.3-2_amd64.deb 27-May-2024 02:03 34M
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 19-Jun-2024 06:39 10K
coq-serapi_8.19.0+0.19.3-3.dsc 19-Jun-2024 06:39 2493
coq-serapi_8.19.0+0.19.3-3_amd64.deb 19-Jun-2024 06:39 32M
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz 04-Aug-2024 18:34 10K
coq-serapi_8.19.0+0.19.3-4.dsc 04-Aug-2024 18:34 2271
coq-serapi_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 18:34 32M
coq-serapi_8.19.0+0.19.3-4build1.debian.tar.xz 09-Aug-2024 20:49 10K
coq-serapi_8.19.0+0.19.3-4build1.dsc 09-Aug-2024 20:49 2492
coq-serapi_8.19.0+0.19.3-4build1_amd64.deb 14-Aug-2024 20:42 33M
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz 07-Sep-2024 06:05 10K
coq-serapi_8.19.0+0.19.3-4build2.dsc 07-Sep-2024 06:05 2492
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb 07-Sep-2024 06:05 33M
coq-serapi_8.19.0+0.19.3.orig.tar.gz 27-May-2024 00:38 175K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 21-Nov-2024 01:47 9080
coq-serapi_8.20.0+0.20.0-1.dsc 21-Nov-2024 01:47 2490
coq-serapi_8.20.0+0.20.0-1_amd64.deb 21-Nov-2024 06:31 33M
coq-serapi_8.20.0+0.20.0-1build1.debian.tar.xz 31-Jan-2025 04:56 9144
coq-serapi_8.20.0+0.20.0-1build1.dsc 31-Jan-2025 04:56 2489
coq-serapi_8.20.0+0.20.0-1build1_amd64.deb 02-Feb-2025 00:02 33M
coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz 13-Feb-2025 05:46 9164
coq-serapi_8.20.0+0.20.0-1build2.dsc 13-Feb-2025 05:46 2489
coq-serapi_8.20.0+0.20.0-1build2_amd64.deb 14-Feb-2025 23:03 33M
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz 19-Feb-2025 04:25 9212
coq-serapi_8.20.0+0.20.0-1build3.dsc 19-Feb-2025 04:25 2489
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb 19-Feb-2025 04:25 33M
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz 20-Jun-2025 00:20 9240
coq-serapi_8.20.0+0.20.0-1build4.dsc 20-Jun-2025 00:20 2489
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb 20-Jun-2025 11:01 33M
coq-serapi_8.20.0+0.20.0.orig.tar.gz 21-Nov-2024 01:47 178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_amd64.deb 27-May-2024 02:03 14M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb 19-Jun-2024 06:39 15M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 18:34 15M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build1_a..> 14-Aug-2024 20:42 16M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_a..> 07-Sep-2024 06:05 16M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 21-Nov-2024 06:31 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build1_a..> 02-Feb-2025 00:02 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_a..> 14-Feb-2025 23:03 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_a..> 19-Feb-2025 04:25 17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_a..> 20-Jun-2025 11:01 17M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_amd64.deb 27-May-2024 02:03 7M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb 19-Jun-2024 06:39 7M
libcoq-serapi-ocaml_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 18:34 7M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build1_amd64..> 14-Aug-2024 20:42 6M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64..> 07-Sep-2024 06:05 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 21-Nov-2024 06:31 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build1_amd64..> 02-Feb-2025 00:02 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_amd64..> 14-Feb-2025 23:03 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64..> 19-Feb-2025 04:25 6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64..> 20-Jun-2025 11:01 6M