format = 2
pkgname = prover9
pkgbase = prover9
pkgver = 2009.11A-2
pkgarch = aarch64
packager = @termux
builddate = 1757675117
