-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: spass
Binary: spass
Architecture: any
Version: 3.9-1.1build1
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
 42024b44328c94559d691651ded8b7be53836c60 4040 spass_3.9-1.1build1.debian.tar.xz
Checksums-Sha256:
 cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d 560563 spass_3.9.orig.tar.gz
 bc2b507a740bc075ef209c96264f3423b8711fe8a56ec15feccc437c3cad5f37 4040 spass_3.9-1.1build1.debian.tar.xz
Files:
 d5d1fd09574bd93e5c7c1781e89b743e 560563 spass_3.9.orig.tar.gz
 6c45d880e26fd0ce71a264960c0fac12 4040 spass_3.9-1.1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmkvXRMACgkQWWH9vpxh
mAl7fg//UfYWBWC8xou9SCvbScKDt+Bmwh7U3nAoJRtY7mYzG5JmFxDRX5HqgldP
J2QIdt7gtWR4F++RwElsekd/p93HCN6hQ0zx2JXoki+u8ueTJf4YFtLBjSv5G9mf
g3fvL0U+MOs87t+M7FbeSoKuQ978OaTBCRPVdaIRguX7pO8cU5WhpxMVRf1HyUpf
eEmUAat9gwOrL2AAVZznuEN9Bfa7ixsndJsxjnKEzdtVgyhQoBVKfXsf+DSQnDrO
upKechdMYGtlLm4VhS8XRTGwhdGiZIUimCYuwXapVcaLNEKYZ2GVMr/6pXvttdmq
E9F5D57jVv2tnCk8nNNBtL0WRGDaUl5t6UIy6BpX6n+sZ0oH6nShax7NJ3tGpKGr
MBrPaHFblIFT/BSHL/bL3w6zaXUAmyif+vRmH6w0Uw+PjT5uONLgoBiq4cQNgESt
w7ue8NuR4ucRzUo4cZs+CNihCT4BTHNWMGYYXAyFPtM0HuUM73WWwCipbH4/QHsj
Vq7PrUczl/ofylx0d/W6yC2jsEAzi7F6oElEm4z+F5oTIZMoo7DSghXuqtZMRWGH
Rq6BhqwKs0K8cuw1WK8tAlSsD8Uln9S+UI6sWeHpATYJ7xxJAZMNkm6SLuvea/lx
HBy/aCDtGzINoPRu0L15iEs2ZRKTPh7OUQ9FRSfxyRtuzJIZD18=
=Z+65
-----END PGP SIGNATURE-----