Directory: /debian/pool/main/r/rocq-micromega-plugin/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| libcoq-micromega-plugin_1.1.1-2_amd64.deb | 3.68M | Wed Aug 26 2026 |
| rocq-micromega-plugin_1.1.1-2.debian.tar.xz | 2.5K | Wed Aug 26 2026 |
| rocq-micromega-plugin_1.1.1-2.dsc | 2.41K | Wed Aug 26 2026 |
| rocq-micromega-plugin_1.1.1-2.git.tar.xz | 260K | Wed Aug 26 2026 |
| rocq-micromega-plugin_1.1.1.orig.tar.gz | 151K | Tue Jul 28 2026 |