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

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
 33ae0bb1ba3782b7f6bd2fb3aede11a0b5ba99cc 3944 spass_3.9-1.1.debian.tar.xz
Checksums-Sha256:
 cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d 560563 spass_3.9.orig.tar.gz
 e0b1d75f3cb79b9863571c644b52ec31d57874e030b2bf6dbbccb7c016424fcb 3944 spass_3.9-1.1.debian.tar.xz
Files:
 d5d1fd09574bd93e5c7c1781e89b743e 560563 spass_3.9.orig.tar.gz
 90cd0bbd8499d837c5465c50efa45f01 3944 spass_3.9-1.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmAJnGIACgkQiNJCh6LY
mLG84A/8CUVou83jhKB5vuIcCPB6AcsMxhnYER2XjNQcPWqF8+z/DORpG6rKjQRK
32CbkeMuSZA1TriEJJA1hOhwLsDRhMxaa4MkKPoo7y186NN7bXNy5EFRCVGr6egz
z90Ve1anqvJAJIeqO6vmkSegoeCCbyd2dXOXPadkI3V5BYMDbmBlvEJlrrfxfoyw
EG1jZXULFt7ckiwCf5mudpuR3Wa2kiDH844Vfg6Z54NtXfYOb5P3ONTrSd/fPpYV
xJqcovW8UiahuPe1bsIZbiVZitpefZEn0GItjLXW+04VUsM5Rq/ecfoYeWKnY/UY
AGqjDjCCExH8y/NVDXxaqJky7+HIOzRx4cVUDRLbRY5CNf4gQSmxdS9gfwBQQgx3
Ar17V4aNIEJERLYcD0b+hcHwr1lHsAleNMvS4WoBEeoLKYuiirGxRQ/iyg3Ny3HD
b0XCRg/QZz7IbTw6OOJ/KYwd+IeD7UtioCohIyGQiq68rmAYVxm+uaOFDMNBgTdp
nBOeDRPK87JbAdQn7X/rYr1W3fwCG9LWYm1o7qjT/eMi0ge3IahgDM6l3LwFk896
p3qaukHrOBUitJ8I/c+B0pTBEW2IOa6MscI58/vzgsU8UQgO2TN8fddP1BAiGLQR
1bjKzbgDtdsh0hHIPkIOa68oxLeiEax2rZnefPAA6gw2odCho0I=
=nf24
-----END PGP SIGNATURE-----