../ eprover_3.0.03+ds-1.debian.tar.xz 06-May-2024 19:16 4892 eprover_3.0.03+ds-1.dsc 06-May-2024 19:16 1934 eprover_3.0.03+ds-1_amd64.deb 06-May-2024 19:16 2M eprover_3.0.03+ds.orig.tar.xz 06-May-2024 19:16 1008K