Index of /ubuntu/pool/universe/e/eprover

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]eprover_2.6+ds-3.debian.tar.xz14-Jul-2022 17:23 10K 
[TXT]eprover_2.6+ds-3.dsc14-Jul-2022 17:23 1.9K 
[   ]eprover_2.6+ds-3_amd64.deb14-Jul-2022 17:23 1.0M 
[   ]eprover_2.6+ds.orig.tar.xz12-Jul-2022 11:34 1.0M 
[   ]eprover_3.0.03+ds-1.debian.tar.xz13-Dec-2023 12:28 4.8K 
[TXT]eprover_3.0.03+ds-1.dsc13-Dec-2023 12:28 1.9K 
[   ]eprover_3.0.03+ds-1_amd64.deb13-Dec-2023 12:28 1.5M 
[   ]eprover_3.0.03+ds.orig.tar.xz13-Dec-2023 12:28 1.0M 
[   ]eprover_3.2.0+ds-1.debian.tar.xz18-Jun-2024 00:03 4.3K 
[TXT]eprover_3.2.0+ds-1.dsc18-Jun-2024 00:03 1.9K 
[   ]eprover_3.2.0+ds-1_amd64.deb18-Jun-2024 00:04 1.1M 
[   ]eprover_3.2.0+ds.orig.tar.xz18-Jun-2024 00:03 1.0M 
[   ]eprover_3.2.5+ds-1.debian.tar.xz01-Nov-2024 06:14 4.3K 
[TXT]eprover_3.2.5+ds-1.dsc01-Nov-2024 06:14 1.9K 
[   ]eprover_3.2.5+ds-1_amd64.deb01-Nov-2024 08:17 1.1M 
[   ]eprover_3.2.5+ds.orig.tar.xz01-Nov-2024 06:14 1.0M 

Apache/2.2.15 (Red Hat) Server at ucmirror.canterbury.ac.nz Port 80