Format: 3.0 (quilt)
Source: spass
Binary: spass
Architecture: any
Version: 3.9-1.1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/science-team/spass
Vcs-Git: https://salsa.debian.org/science-team/spass.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 12), bison, flex
Package-List:
 spass deb science optional arch=any
Checksums-Sha1:
 a51bd27fd0b742686754cc63f55a29eb5aadb66c 560563 spass_3.9.orig.tar.gz
 51354bb4474ef760fe775b741d6b63aa2b9b6c19 3952 spass_3.9-1.1.debian.tar.xz
Checksums-Sha256:
 cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d 560563 spass_3.9.orig.tar.gz
 49308482d40f90007e000b13ba1420df368459a1dbfad8622afc0cf237d2ca4d 3952 spass_3.9-1.1.debian.tar.xz
Files:
 d5d1fd09574bd93e5c7c1781e89b743e 560563 spass_3.9.orig.tar.gz
 b67dc868555b72899d0aeb3498b3d194 3952 spass_3.9-1.1.debian.tar.xz