| Filename | Modification time | Size |
|---|---|---|
| libcoq-micromega-plugin_1.1.0-1_amd64.deb | 4043 KiB | |
| libcoq-micromega-plugin_1.1.0-1_arm64.deb | 4047 KiB | |
| libcoq-micromega-plugin_1.1.0-1_ppc64el.deb | 4070 KiB | |
| libcoq-micromega-plugin_1.1.0-1_s390x.deb | 4060 KiB | |
| rocq-micromega-plugin_1.1.0-1.debian.tar.xz | 1924 B | |
| rocq-micromega-plugin_1.1.0-1.dsc | 2214 B | |
| rocq-micromega-plugin_1.1.0.orig.tar.gz | 150 KiB |
Studenten Net Twente
Mirror service
