Name | Size | Modified | ||
---|---|---|---|---|
Go up | — | — | ||
coqprime-tools_8.19-1+b2_amd64.deb | 134 KiB | |||
coqprime-tools_8.19-1+b2_arm64.deb | 133 KiB | |||
libcoq-coqprime_8.19-1+b2_amd64.deb | 1.7 MiB | |||
libcoq-coqprime_8.19-1+b2_arm64.deb | 1.7 MiB |
Name | Size | Modified | ||
---|---|---|---|---|
Go up | — | — | ||
coqprime-tools_8.19-1+b2_amd64.deb | 134 KiB | |||
coqprime-tools_8.19-1+b2_arm64.deb | 133 KiB | |||
libcoq-coqprime_8.19-1+b2_amd64.deb | 1.7 MiB | |||
libcoq-coqprime_8.19-1+b2_arm64.deb | 1.7 MiB |