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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.6-1build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>
Homepage: https://www.sat4j.org
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/science-team/sat4j
Vcs-Git: https://salsa.debian.org/science-team/sat4j.git
Build-Depends: debhelper-compat (= 13), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional, libmockito-java, maven-repo-helper
Package-List:
 sat4j deb science optional arch=all
Checksums-Sha1:
 fe6fb36f335ca467d4eef9ecd44304f2a1c78fe3 6764268 sat4j_2.3.6.orig.tar.xz
 c344dc1dc12d7ccf0c2740b28a358f01702996c8 17004 sat4j_2.3.6-1build1.debian.tar.xz
Checksums-Sha256:
 64b9ad30778447a8c0cbd8a13d3acc1ec2dadb056c133b2464b844271ad91b89 6764268 sat4j_2.3.6.orig.tar.xz
 5de8ffe9dcc2ae2ca1f449bdd2f920dec8f309881b2e26a4197b1dacd8f269c6 17004 sat4j_2.3.6-1build1.debian.tar.xz
Files:
 5fe729d34b717f7eb890f0df557225c6 6764268 sat4j_2.3.6.orig.tar.xz
 45e8d0b74fb833321ad45219fa745680 17004 sat4j_2.3.6-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAml7yfsACgkQWWH9vpxh
mAlU4g//YvmoOY6nxtMwddViiDaoWu50WCjaS5ruskMUhBeaJ/3KQx6yC+zO4wKN
5fivLtPtn+zEgKEmX3eYNFxwpgb2pT3VunVgbXuaRfrV4bwRg1xbZ+rYVGSNJXLm
2Mb5F5CqsO/6Po0dugvFiBcB8VkLOHnIhRBsELHiab7rz00LYYm1H6iwtCzq/aPO
eQuJA0FgNDJvRAyzy5uEf3W77BRelQUcNy52F+Au63MxRaYOduGj5IDUxI4+aRLv
GbvyKo1wXVEjOyX5/nSNtq0eZv8LqXAK1jUd09o/wQIrlD6BQWF6BgATXXnYR2za
Rg1mZr3XzaBosliXafHx5lQDOMTwxB3Vf02Ey9G1edPAnbW0tyaIkn+6sL+fJm8d
ZfhU9Iy5PnwLLU6n6nm4gHCtsA7mNoZAOAcv8Dbn5AOwriKDonDW6fcnoR+HTc8A
1GPu4t4Lxi724qYKAvDKzvhcbbk/39LyDxWDzOt6gdpR6fblcaqlpHgjlssYBnpU
Y1XmabpVvXJVIqxpD+ph7XbjIZuGP3EjW0xa+fSx530EmJv7d2r4zOTnvCm7vREA
2ge63ITnE/GhrB9fwlG367UPPL9Il5aLmVTvsXT0kdGw4xcbvVI5lBANQN6aR/Wy
TABdFr7G0KGbtqP1WIhWoskMLf70W79SnVdzFy865/5SUYaHZBw=
=TlH2
-----END PGP SIGNATURE-----