dsc_fields:
Architecture: any
Binary: spass
Build-Depends: debhelper-compat (= 12), bison, flex
Checksums-Sha1:
- name: spass_3.9.orig.tar.gz
sha1: a51bd27fd0b742686754cc63f55a29eb5aadb66c
size: '560563'
- name: spass_3.9-1.1.debian.tar.xz
sha1: 33ae0bb1ba3782b7f6bd2fb3aede11a0b5ba99cc
size: '3944'
Checksums-Sha256:
- name: spass_3.9.orig.tar.gz
sha256: cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d
size: '560563'
- name: spass_3.9-1.1.debian.tar.xz
sha256: e0b1d75f3cb79b9863571c644b52ec31d57874e030b2bf6dbbccb7c016424fcb
size: '3944'
Files:
- md5sum: d5d1fd09574bd93e5c7c1781e89b743e
name: spass_3.9.orig.tar.gz
size: '560563'
- md5sum: 90cd0bbd8499d837c5465c50efa45f01
name: spass_3.9-1.1.debian.tar.xz
size: '3944'
Format: 3.0 (quilt)
Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Package-List: |2-
spass deb science optional arch=any
Source: spass
Standards-Version: 4.5.0
Testsuite: autopkgtest
Uploaders: Ralf Treinen <treinen@debian.org>
Vcs-Browser: https://salsa.debian.org/science-team/spass
Vcs-Git: https://salsa.debian.org/science-team/spass.git
Version: 3.9-1.1
name: spass
type: dpkg
version: 3.9-1.1