Index of /index/unix/Linux/mirrors/debian/pool/main/r/rocq-micromega-plugin

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 libcoq-micromega-plugin_1.1.0-1_amd64.deb     2026-07-16 13:08  3.9M  
 libcoq-micromega-plugin_1.1.0-1_arm64.deb     2026-07-18 06:17  4.0M  
 libcoq-micromega-plugin_1.1.0-1_ppc64el.deb   2026-07-18 06:17  4.0M  
 libcoq-micromega-plugin_1.1.0-1_s390x.deb     2026-07-18 06:17  4.0M  
 rocq-micromega-plugin_1.1.0-1.debian.tar.xz   2026-07-16 13:08  1.9K  
 rocq-micromega-plugin_1.1.0-1.dsc             2026-07-16 13:08  2.2K  
 rocq-micromega-plugin_1.1.0.orig.tar.gz       2026-07-16 13:08  150K