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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.6-1
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
 1b55a4d51bf48a300e3f53caa24f944516947978 16916 sat4j_2.3.6-1.debian.tar.xz
Checksums-Sha256:
 64b9ad30778447a8c0cbd8a13d3acc1ec2dadb056c133b2464b844271ad91b89 6764268 sat4j_2.3.6.orig.tar.xz
 5bd1222f0bb88e3d4283e21e5e5d01ebca088cbe5ce3a6558ef7c4ebbea26398 16916 sat4j_2.3.6-1.debian.tar.xz
Files:
 5fe729d34b717f7eb890f0df557225c6 6764268 sat4j_2.3.6.orig.tar.xz
 5a4f2090108861f0039aaec02ac7ac43 16916 sat4j_2.3.6-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmeg3OoRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtE5RRAAgvki0XE2XGWSCBU8sOYkDN4YudfQke7t
tcSSn3iX+v7t021gwB/YIio4XFP5mrJ8spueP127oBdsYl2onJDzdTdGRlVhjRWB
HdR+i1jA0C2qI4kGf8NSJLRTtchobYpnkhWtzP6mJtoJkjMRDu0GKkYqrn3BYyrP
4xxqgZanVAWUpYSuLRlv8KviWo/6jZuSWkVKVfGVzyqBtWGY4KRVqYYT0Ig07vF1
lqyVnx2hh5nkfs3c/LP7r6YJgNJx5tcqidnnXBsVSvsyCfmcTLqKJBHm9JVhh3ZO
t5J9DIfsSeSNK9FpAiaG6xMsMMo3NP/gG8iudvyH03U0f0ZUGXxhOOIN6f3dwJF4
0CC3PXvTznP4uB6SkPjvni17lODSbfXPAojIOP9ol0+CT6Y5XiapRee4z0toVLMk
4W63BapLpRMqRyn6Z3LKkvIFaoWtSJcI+kTe1UcJl1TK+klIpaImSeqDxdTD+kpd
RJdSpQWSmrKs/R3zFPqLh1QP8pUVS9z+B1xmMKsQX9zpiWuFeFX1ljVFXaypkKRf
qAhRdIuv2iXW59D7rutR/ZG/UE2HfGZZBOWNo50527SZbg8MmOY5qUcbfa0VUgTn
ELQ7rAXKLDxFpDGLH0FJI7ZCSZVd9hqykzzKkQ+ewvh6pK/PqTHbsmWtOdX1Simj
Tlwb2yu2RWc=
=Zt3z
-----END PGP SIGNATURE-----
