| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| coqprime-tools_8.20.1-1+b4_amd64.deb | 140 KiB | |||
| coqprime-tools_8.20.1-1+b4_arm64.deb | 139 KiB | |||
| libcoq-coqprime_8.20.1-1+b4_amd64.deb | 1.7 MiB | |||
| libcoq-coqprime_8.20.1-1+b4_arm64.deb | 1.7 MiB |
| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| coqprime-tools_8.20.1-1+b4_amd64.deb | 140 KiB | |||
| coqprime-tools_8.20.1-1+b4_arm64.deb | 139 KiB | |||
| libcoq-coqprime_8.20.1-1+b4_amd64.deb | 1.7 MiB | |||
| libcoq-coqprime_8.20.1-1+b4_arm64.deb | 1.7 MiB |