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.19.0+0.19.3-4build2.debian.tar.xz2024-09-06 23:05:1610.16 KB
📄 coq-serapi_8.19.0+0.19.3-4build2.dsc2024-09-06 23:05:162.43 KB
📄 coq-serapi_8.19.0+0.19.3-4build2_amd64.deb2024-09-06 23:05:4033.34 MB
📄 coq-serapi_8.19.0+0.19.3.orig.tar.gz2024-05-26 17:38:04175.44 KB
📄 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.orig.tar.gz2024-11-20 18:47:26178.2 KB
📄 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb2024-09-06 23:05:3916.14 MB
📄 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 21:25:3116.76 MB
📄 libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb2024-09-06 23:05:396.01 MB
📄 libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 21:25:316.31 MB