../ eprover_3.2.0+ds-1.debian.tar.xz 17-Jun-2024 14:10 4424 eprover_3.2.0+ds-1.dsc 17-Jun-2024 14:10 1927 eprover_3.2.0+ds-1_amd64.deb 17-Jun-2024 14:36 1006K eprover_3.2.0+ds-1_arm64.deb 17-Jun-2024 14:41 898K eprover_3.2.0+ds-1_armel.deb 17-Jun-2024 14:41 690K eprover_3.2.0+ds-1_armhf.deb 17-Jun-2024 14:41 705K eprover_3.2.0+ds-1_i386.deb 17-Jun-2024 14:36 1010K eprover_3.2.0+ds.orig.tar.xz 17-Jun-2024 14:10 1010K