Repositori Linux Lokal — Diskominfo Kutim
Ubuntu · CentOS · AlmaLinux · archive.ubuntu.com
| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| coq-serapi_8.20.0+0.20.0-1build3_amd64.deb | 2025-02-19 05:25 | 33M |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb | 2025-02-19 05:25 | 17M |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb | 2025-02-19 05:25 | 6.3M |