Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.2.5+ds-1
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://eprover.org
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/math-team/eprover
Vcs-Git: https://salsa.debian.org/math-team/eprover.git
Build-Depends: debhelper-compat (= 13), help2man, picosat
Package-List:
 eprover deb math optional arch=any
Checksums-Sha1:
 a145d17fe65236a3b46a63a16ce76adc32b94e08 1035484 eprover_3.2.5+ds.orig.tar.xz
 dce43b0cf04359d402dc6ed6ff138b9a9577c5c9 4448 eprover_3.2.5+ds-1.debian.tar.xz
Checksums-Sha256:
 a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a 1035484 eprover_3.2.5+ds.orig.tar.xz
 1824a1aa5497593efed83886c9a0644647997ff61f6f5c4920ca8f7e8e4385bf 4448 eprover_3.2.5+ds-1.debian.tar.xz
Files:
 2def1cb0a3843b47907193cb22a83701 1035484 eprover_3.2.5+ds.orig.tar.xz
 5a6f0a977494d739c546ff9f11a4a444 4448 eprover_3.2.5+ds-1.debian.tar.xz