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

directories: 0, files: 12

NameLast modifiedSize
../
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-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-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