Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

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

File Last Modified Size
📂 Parent Directory
📄 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz2025-02-18 21:25:089 KB
📄 coq-serapi_8.20.0+0.20.0-1build3.dsc2025-02-18 21:25:082.43 KB
📄 coq-serapi_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 21:25:3233.12 MB
📄 coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz2025-06-19 17:20:209.02 KB
📄 coq-serapi_8.20.0+0.20.0-1build4.dsc2025-06-19 17:20:202.43 KB
📄 coq-serapi_8.20.0+0.20.0-1build4_amd64.deb2025-06-20 04:01:4933.1 MB
📄 coq-serapi_8.20.0+0.20.0.orig.tar.gz2024-11-20 18:47:26178.2 KB
📄 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 21:25:3116.76 MB
📄 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb2025-06-20 04:01:4816.74 MB
📄 libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 21:25:316.31 MB
📄 libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb2025-06-20 04:01:486.3 MB