Studenten Net Twente Mirror service

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

Filename Modification time Size
eprover_3.0.03+ds-1.debian.tar.xz 4892 B
eprover_3.0.03+ds-1.dsc 1934 B
eprover_3.0.03+ds-1_amd64.deb 1587 KiB
eprover_3.0.03+ds.orig.tar.xz 1008 KiB
eprover_3.2.0+ds-1.debian.tar.xz 4424 B
eprover_3.2.0+ds-1.dsc 1927 B
eprover_3.2.0+ds-1_amd64.deb 1110 KiB
eprover_3.2.0+ds.orig.tar.xz 1010 KiB
eprover_3.2.5+ds-1.debian.tar.xz 4448 B
eprover_3.2.5+ds-1.dsc 1927 B
eprover_3.2.5+ds-1_amd64.deb 1125 KiB
eprover_3.2.5+ds.orig.tar.xz 1011 KiB