ubuntu/pool/universe/e/eprover • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / ubuntu / pool / universe / e / eprover

File Name

Size

Last Modified

..

—

—
eprover_3.0.03+ds-1.debian.tar.xz

4.78KB

December 12, 2023, 11:28 pm

eprover_3.0.03+ds-1.dsc

1.89KB

December 12, 2023, 11:28 pm

eprover_3.0.03+ds-1_amd64.deb

1.55MB

December 12, 2023, 11:28 pm

eprover_3.0.03+ds.orig.tar.xz

0.98MB

December 12, 2023, 11:28 pm

eprover_3.2.0+ds-1.debian.tar.xz

4.32KB

June 17, 2024, 12:03 pm

eprover_3.2.0+ds-1.dsc

1.88KB

June 17, 2024, 12:03 pm

eprover_3.2.0+ds-1_amd64.deb

1.08MB

June 17, 2024, 12:04 pm

eprover_3.2.0+ds.orig.tar.xz

0.99MB

June 17, 2024, 12:03 pm

eprover_3.2.5+ds-1.debian.tar.xz

4.34KB

October 31, 2024, 5:14 pm

eprover_3.2.5+ds-1.dsc

1.88KB

October 31, 2024, 5:14 pm

eprover_3.2.5+ds-1_amd64.deb

1.10MB

October 31, 2024, 7:17 pm

eprover_3.2.5+ds.orig.tar.xz

0.99MB

October 31, 2024, 5:14 pm