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

      Name                                         Last modified      Size  Description
      Parent Directory                                                  -   
      libcoq-micromega-plugin_1.1.1-2_ppc64el.deb  2026-08-26 11:57  3.7M  
      libcoq-micromega-plugin_1.1.1-2_riscv64.deb  2026-08-26 11:57  4.0M  
      libcoq-micromega-plugin_1.1.1-2_amd64.deb    2026-08-26 11:47  3.7M  
      libcoq-micromega-plugin_1.1.1-2_arm64.deb    2026-08-26 11:47  3.7M  
      libcoq-micromega-plugin_1.1.1-2_s390x.deb    2026-08-26 11:42  3.7M  
      rocq-micromega-plugin_1.1.1-2.git.tar.xz     2026-08-26 11:32  259K  
      rocq-micromega-plugin_1.1.1-2.dsc            2026-08-26 11:32  2.4K  
      rocq-micromega-plugin_1.1.1-2.debian.tar.xz  2026-08-26 11:32  2.5K  
      libcoq-micromega-plugin_1.1.1-1_riscv64.deb  2026-07-28 12:04  4.0M  
      libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb 2026-07-28 06:35  3.7M  
      libcoq-micromega-plugin_1.1.1-1_ppc64el.deb  2026-07-28 06:20  3.7M  
      libcoq-micromega-plugin_1.1.1-1_arm64.deb    2026-07-28 06:20  3.7M  
      libcoq-micromega-plugin_1.1.1-1_s390x.deb    2026-07-28 06:15  3.7M  
      rocq-micromega-plugin_1.1.1.orig.tar.gz      2026-07-28 05:49  150K  
      rocq-micromega-plugin_1.1.1-1.dsc            2026-07-28 05:49  2.2K  
      rocq-micromega-plugin_1.1.1-1.debian.tar.xz  2026-07-28 05:49  2.4K