Index of /mirrors/ubuntu/pool/universe/c/coq-serapi/

directories: 0, files: 17

NameLast modifiedSize
../
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb2025-06-20 06:01:486.30 MiB
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 22:25:316.31 MiB
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb2024-09-07 01:05:396.01 MiB
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb2025-06-20 06:01:4816.74 MiB
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 22:25:3116.75 MiB
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb2024-09-07 01:05:3916.14 MiB
coq-serapi_8.20.0+0.20.0.orig.tar.gz2024-11-20 19:47:26178.20 KiB
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb2025-06-20 06:01:4933.10 MiB
coq-serapi_8.20.0+0.20.0-1build4.dsc2025-06-19 19:20:202.43 KiB
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz2025-06-19 19:20:209.02 KiB
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 22:25:3233.12 MiB
coq-serapi_8.20.0+0.20.0-1build3.dsc2025-02-18 22:25:082.43 KiB
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz2025-02-18 22:25:089.00 KiB
coq-serapi_8.19.0+0.19.3.orig.tar.gz2024-05-26 19:38:04175.44 KiB
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb2024-09-07 01:05:4033.34 MiB
coq-serapi_8.19.0+0.19.3-4build2.dsc2024-09-07 01:05:162.43 KiB
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz2024-09-07 01:05:1610.16 KiB