Index of /deepin/beige/pool/community/e/eprover

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 eprover_3.2.5+ds.orig.tar.xz          2025-07-18 09:13  1.0M  
 eprover_3.2.5+ds-1_riscv64.deb        2025-07-15 22:50  786K  
 eprover_3.2.5+ds-1_loong64.deb        2025-07-15 22:50  927K  
 eprover_3.2.5+ds-1_i386.deb           2025-07-15 22:51  1.0M  
 eprover_3.2.5+ds-1_arm64.deb          2025-07-15 22:50  899K  
 eprover_3.2.5+ds-1_amd64.deb          2025-07-15 22:51  1.0M  
 eprover_3.2.5+ds-1.dsc                2025-07-18 09:13  1.0K  
 eprover_3.2.5+ds-1.debian.tar.xz      2025-07-18 09:13  4.3K  
 eprover-dbgsym_3.2.5+ds-1_riscv64.deb 2025-07-15 22:50  146K  
 eprover-dbgsym_3.2.5+ds-1_loong64.deb 2025-07-15 22:50  144K  
 eprover-dbgsym_3.2.5+ds-1_i386.deb    2025-07-15 22:51  136K  
 eprover-dbgsym_3.2.5+ds-1_arm64.deb   2025-07-15 22:51  151K  
 eprover-dbgsym_3.2.5+ds-1_amd64.deb   2025-07-15 22:50  140K