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