| Name | Size | Modified | ||
|---|---|---|---|---|
| .. | — | — | ||
| libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2_loong64.deb | 13 KB | |||
| libcoq-paramcoq_1.1.3+coq8.19-2_loong64.deb | 112 KB | |||
| paramcoq_1.1.3+coq8.19-2.debian.tar.xz | 3 KB | |||
| paramcoq_1.1.3+coq8.19-2.dsc | 1 KB | |||
| paramcoq_1.1.3+coq8.19.orig.tar.gz | 44 KB |