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

Format: 3.0 (quilt)
Source: spass
Binary: spass
Architecture: any
Version: 3.9-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
 73e7dd161820342c37945b8611d879e1e515fdf1 3844 spass_3.9-1.debian.tar.xz
Checksums-Sha256:
 cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d 560563 spass_3.9.orig.tar.gz
 9c14ad2bbc3631ea01f6a1241ae171583e17aff700415da42e9fb08eddd7d765 3844 spass_3.9-1.debian.tar.xz
Files:
 d5d1fd09574bd93e5c7c1781e89b743e 560563 spass_3.9.orig.tar.gz
 6ccb9d9819ec9eabf0f22121b676efd5 3844 spass_3.9-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6pVF0ACgkQdFxHZtTK
zf82Lw//TCrnMX7uAWz8Rl7P/18klqj6T+dGRzXPIFATkpptc+smkXj8mIj2mUtT
8HLezSpST5FKde+1wiTU4qkj9r8GW79rsC7LPT/w21zfxIBaARLNUCi3jBuRnxVo
qI+jgviOA8AspdZoI6wEuMlxJE/5oyqiR5vIj84f9MwbmYpSwZ4kGI3/1B+4H+kn
WMSogSMygcOy9FgHW1xtoOw9YIITZM0DPQ3knUWBO+9SuyLttpXQYQ39hTf/4oin
P1qjMu3eHfgYlBmDqS0RBjuG7Q2FoXBFRSetHu60na75bFMikoAndbiQwRx4yOXr
EYhxJ3oerEjAHHnEATpMuhCKN+cO2j+vEID+SV8lMXX54CZnE/eN1QsQYRpU8NYn
IQeXcU/z2lX/dzfpkJPXi6o3MywfEa3jdB93j2E9kDD+4IHeFqTNlqlOhObyXtFE
XkIE9UmvyEFE92wvyoY5KS1jkqqW2jaAmmUZZlU8VgATcc/fIgxmW5VT3fef03Kq
ImWxjD7HlS2ZdIyVhVT5eZIWfWawrDN9zSs9phO9BhVS9PyLWz9nb1GWRWFoyyNU
JB7qL8rcNIHPlUVDpGM/hL6pWXu2V69IN0q6ERm4C6fC46A1nW0LaFho9G1OVHOj
/Z6nOIBUrn/uxjr7iZJl1ObUts+5hFanomhA3Tm2r5PjwZ14ouA=
=+XZy
-----END PGP SIGNATURE-----