architecture: arm64 component: main package: eprover priority: optional section: math srcpkg_name: eprover srcpkg_version: 2.6+ds-3 version: 2.6+ds-3