Artifact eprover_3.2.5+ds-1

Metadata

dsc_fields:
  Architecture: any
  Binary: eprover
  Build-Depends: debhelper-compat (= 13), help2man, picosat
  Checksums-Sha1:
  - name: eprover_3.2.5+ds.orig.tar.xz
    sha1: a145d17fe65236a3b46a63a16ce76adc32b94e08
    size: '1035484'
  - name: eprover_3.2.5+ds-1.debian.tar.xz
    sha1: dce43b0cf04359d402dc6ed6ff138b9a9577c5c9
    size: '4448'
  Checksums-Sha256:
  - name: eprover_3.2.5+ds.orig.tar.xz
    sha256: a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a
    size: '1035484'
  - name: eprover_3.2.5+ds-1.debian.tar.xz
    sha256: 1824a1aa5497593efed83886c9a0644647997ff61f6f5c4920ca8f7e8e4385bf
    size: '4448'
  Files:
  - md5sum: 2def1cb0a3843b47907193cb22a83701
    name: eprover_3.2.5+ds.orig.tar.xz
    size: '1035484'
  - md5sum: 5a6f0a977494d739c546ff9f11a4a444
    name: eprover_3.2.5+ds-1.debian.tar.xz
    size: '4448'
  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.7.0
  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: 3.2.5+ds-1
name: eprover
type: dpkg
version: 3.2.5+ds-1

Files

Name	Size (bytes)
eprover_3.2.5+ds-1.debian.tar.xz	4.3 KB
eprover_3.2.5+ds-1.dsc	1.9 KB
eprover_3.2.5+ds.orig.tar.xz	1011.2 KB