Index of /debian/pool/main/r/rocq-micromega-plugin

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb 2026-07-28 12:35  3.7M  
 libcoq-micromega-plugin_1.1.1-1_arm64.deb    2026-07-28 12:20  3.7M  
 libcoq-micromega-plugin_1.1.1-1_ppc64el.deb  2026-07-28 12:20  3.7M  
 libcoq-micromega-plugin_1.1.1-1_riscv64.deb  2026-07-28 18:04  4.0M  
 rocq-micromega-plugin_1.1.1-1.debian.tar.xz  2026-07-28 11:49  2.4K  
 rocq-micromega-plugin_1.1.1-1.dsc            2026-07-28 11:49  2.2K  
 rocq-micromega-plugin_1.1.1.orig.tar.gz      2026-07-28 11:49  150K

Apache/2.4.66 (Ubuntu) Server at wp.artfiles.org Port 443