Artifact eprover_2.6+ds-3

dsc_fields:
  Architecture: any
  Binary: eprover
  Build-Depends: debhelper-compat (= 13), help2man, picosat
  Checksums-Sha1:
  - name: eprover_2.6+ds.orig.tar.xz
    sha1: b25bdcd33ab85d42d2528924627282e5846f0756
    size: '1080164'
  - name: eprover_2.6+ds-3.debian.tar.xz
    sha1: 33ae032580a065645ff1105ee80c1679562eb978
    size: '10228'
  Checksums-Sha256:
  - name: eprover_2.6+ds.orig.tar.xz
    sha256: 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245
    size: '1080164'
  - name: eprover_2.6+ds-3.debian.tar.xz
    sha256: 3bb6442dfe021e3a47ce1baa2864d27ca2b366d7a2580a773df1e08134900e52
    size: '10228'
  Files:
  - md5sum: a9479a59b6b3ed4f5209c5f3b0d46488
    name: eprover_2.6+ds.orig.tar.xz
    size: '1080164'
  - md5sum: cacd19b43aa4b1d9e13a8284b3cad425
    name: eprover_2.6+ds-3.debian.tar.xz
    size: '10228'
  Format: 3.0 (quilt)
  Homepage: https://eprover.org
  Maintainer: Debian Math Team <team+math@tracker.debian.org>
  Package-List: |2-

     eprover deb math optional arch=any
  Source: eprover
  Standards-Version: 4.6.1
  Uploaders: Julien Puydt <jpuydt@debian.org>
  Vcs-Browser: https://salsa.debian.org/math-team/eprover
  Vcs-Git: https://salsa.debian.org/math-team/eprover.git
  Version: 2.6+ds-3
name: eprover
type: dpkg
version: 2.6+ds-3