Index of /pub/linux/ubuntu-ports/pool/universe/e/eprover

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 eprover_3.0.03+ds-1.debian.tar.xz        2023-12-13 08:28  4.8K  
 eprover_3.0.03+ds-1.dsc                  2023-12-13 08:28  1.9K  
 eprover_3.0.03+ds-1_arm64.deb            2023-12-13 08:28  1.4M  
 eprover_3.0.03+ds-1_armhf.deb            2023-12-13 09:17  1.2M  
 eprover_3.0.03+ds-1_ppc64el.deb          2023-12-13 08:28  1.5M  
 eprover_3.0.03+ds-1_riscv64.deb          2023-12-23 21:47  2.5M  
 eprover_3.0.03+ds-1_s390x.deb            2023-12-13 08:28  1.5M  
 eprover_3.0.03+ds.orig.tar.xz            2023-12-13 08:28  1.0M  
 eprover_3.2.0+ds-1.debian.tar.xz         2024-06-17 21:03  4.3K  
 eprover_3.2.0+ds-1.dsc                   2024-06-17 21:03  1.9K  
 eprover_3.2.0+ds-1_arm64.deb             2024-06-17 21:04  1.1M  
 eprover_3.2.0+ds-1_armhf.deb             2024-06-17 21:04  845K  
 eprover_3.2.0+ds-1_ppc64el.deb           2024-06-17 21:04  1.1M  
 eprover_3.2.0+ds-1_riscv64.deb           2024-06-17 21:53  1.1M  
 eprover_3.2.0+ds-1_s390x.deb             2024-06-17 21:04  1.1M  
 eprover_3.2.0+ds.orig.tar.xz             2024-06-17 21:03  1.0M  
 eprover_3.2.5+ds-1.debian.tar.xz         2024-11-01 02:14  4.3K  
 eprover_3.2.5+ds-1.dsc                   2024-11-01 02:14  1.9K  
 eprover_3.2.5+ds-1_arm64.deb             2024-11-01 04:20  1.1M  
 eprover_3.2.5+ds-1_armhf.deb             2024-11-01 04:22  852K  
 eprover_3.2.5+ds-1_ppc64el.deb           2024-11-01 04:23  1.1M  
 eprover_3.2.5+ds-1_riscv64.deb           2024-11-01 10:11  1.1M  
 eprover_3.2.5+ds-1_s390x.deb             2024-11-01 04:26  1.1M  
 eprover_3.2.5+ds.orig.tar.xz             2024-11-01 02:14  1.0M