/ubuntu/pool/universe/e/eprover/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
eprover_2.6+ds-3_amd64.deb	1.0 MiB	July 14, 2022
eprover_2.6+ds-3.dsc	1.9 KiB	July 14, 2022
eprover_2.6+ds-3.debian.tar.xz	10.0 KiB	July 14, 2022
eprover_2.6+ds.orig.tar.xz	1.0 MiB	July 11, 2022