Index of /pureos/pool/main/e/eprover/
../
eprover_2.6+ds-3.debian.tar.xz 14-Jun-2023 13:57 10K
eprover_2.6+ds-3.dsc 14-Jun-2023 13:57 1916
eprover_2.6+ds-3_amd64.deb 14-Jun-2023 20:22 956K
eprover_2.6+ds-3_arm64.deb 14-Jun-2023 20:22 879K
eprover_2.6+ds.orig.tar.xz 14-Jun-2023 13:57 1M
eprover_3.2.0+ds-1.debian.tar.xz 22-Jun-2024 14:08 4424
eprover_3.2.0+ds-1.dsc 22-Jun-2024 14:08 1927
eprover_3.2.0+ds-1_amd64.deb 22-Jun-2024 14:10 1006K
eprover_3.2.0+ds-1_arm64.deb 22-Jun-2024 14:10 898K
eprover_3.2.0+ds.orig.tar.xz 22-Jun-2024 14:08 1010K