-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: spass
Binary: spass
Architecture: any
Version: 3.7-4
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: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/spass.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/spass.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 10)
Package-List:
 spass deb science optional arch=any
Checksums-Sha1:
 68b1e570381b1bedafb5c682f4dee7ed3a6c6874 1340925 spass_3.7.orig.tar.gz
 a9312c8de0145bf8b6c121ba97899772e897eb56 3468 spass_3.7-4.debian.tar.xz
Checksums-Sha256:
 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc 1340925 spass_3.7.orig.tar.gz
 71e7f22d12bd48f89fde36d8df1f0f0618251ebd3d94fe04840f2578e6156ec0 3468 spass_3.7-4.debian.tar.xz
Files:
 6505f4f3ad91cc289d9dd73889ebb304 1340925 spass_3.7.orig.tar.gz
 fc02ce63f7f59eebae774b8a5d6c2a42 3468 spass_3.7-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJYDQBaAAoJEHRcR2bUys3/d9MQAJnyCzBY5O7TQScJySQaEURj
bDpgMBhU0oPvWEvL3/Ojt40xIcjiVAhHWNU2lf+TRObkUSU+4geeSzZ1+QUorr8v
3gnmsA0zgA8bVRRVnhyLKLNnM/5a04uuLKHv7wNlY6p7GwjmZM/i8d9by0kcWE7c
ytTb7cmxwwkofpbL8OfxWrFbeiAzPfIpCc18orb+7caOQ+M4zBHmh1n/jrG/2oCT
9sUkag9GxcC+JLC4N/vcZaSQXRZ+q5H9YQCaycndThM/4X+76r+OodkEKd+3pnWi
g83m3Mpc+syW6YgYmIHcDEjVbyDKbyAp91xOoGzE/CurYyMdkCqcTPOA0tapOEWf
Ql5YcH9OTQtzu4VX6wrW9VC+JiNSGh7PwPLqTaOsMyqln4hUnt02IdSSyaD4sy9B
401D/d44pZXmDshV+xh9VZONDJPaxhBdNHKhxZ6vyb866Uxcyu5vYicRu6t/rCeQ
V7W1CSCk7Gzp4hbz9dRn93W4U1ebs/9dx2hGb7YCqlQkJRmwaSGsr1b0bsE/hIRM
vhk88680SRcM/8lfv70cLvJx8GEGEO0jICmBisO6nDCwR5pfJ4M+MJOD94q3/23k
L0LZxOF4HAk6l96Lfg6qVQRJzx1Otglp/FP2KKtv53BSr9+RkTb/Ei5phMgyrzJF
Vt5ZpyEMvzEpaRqit4mf
=7zoF
-----END PGP SIGNATURE-----