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

Format: 3.0 (quilt)
Source: btor2tools
Binary: btor2tools, libbtor2parser0, libbtor2parser-dev
Architecture: any
Version: 1.0.3-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Andreas Tille <tille@debian.org>
Homepage: https://github.com/hwmcc/btor2tools
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/science-team/btor2tools
Vcs-Git: https://salsa.debian.org/science-team/btor2tools.git
Build-Depends: debhelper-compat (= 14), cmake, d-shlibs
Package-List:
 btor2tools deb science optional arch=any
 libbtor2parser-dev deb libdevel optional arch=any
 libbtor2parser0 deb libs optional arch=any
Checksums-Sha1:
 d72a240d602fca778cdd0082998095d58ffaaf51 88197 btor2tools_1.0.3.orig.tar.gz
 8e8ddb7d6aace2f6835c92956ed9fc295e292782 3528 btor2tools_1.0.3-1.debian.tar.xz
Checksums-Sha256:
 e9cf6605772cbfa0936f17cad96beee8c5cdb6dd11b3d8b35a659e8d9b1cf063 88197 btor2tools_1.0.3.orig.tar.gz
 793fe2737f04c0652bb415db0453906ea36a54a0a58ee4302a3151e432932d3d 3528 btor2tools_1.0.3-1.debian.tar.xz
Files:
 a541999bb0fd66809d7fd8e50c5c63e9 88197 btor2tools_1.0.3.orig.tar.gz
 c1b8ffdbf247809c5e49806338a1be65 3528 btor2tools_1.0.3-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqzkv0RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFykA//QtdQwiO99rc2RIV+Cntttl8p15i8F5eW
xDLLONvREmDHR3TdNDSHPoHeZ1P9/o1giUMnnG4m1Pcn7XJV3HhBQS1SQJlrZmaS
YvZgZlAZDWsL54wKPZg8pXpF88tj51zEcJoX2VlwXQ420vcG5gBUTiRHHFuIxqvb
eTV6dzBkHYgerp9WgsWcjrrsQUUy1ptzoPw5p06lcKhEaD4GpySbObJJECIP2zmX
aNeIkPilTlCoRYdWBmLGewm8CfbdXq/kQipfZsu0Wbn68uZ/6B3Qw2sSX0bz/dp2
wu23TynvkQrnACKW5NwB7PkXqRp0raHnCX8nVAU3HQoNNtYThcgjq9Ze26bkGj+7
t7FZPFnNcdomgabW9+v4r/UsH1hUGnLFOcw0/xuzh1LinsVaEHLOD0rT5pq4dvkk
MI7B7PGw9eQk9QzUARfUIsWPvSdjHeO86z9mEvNndFJbAuYTEs0Ykgu+VmRUr6Ch
C919c9WtyGu9r0SVNY7JgT35s+iD4EFwH0/7X1p+WIsqgW2u9BEnPO+l7W3AKwXh
padmIAQ3TLTPgt7tgU9OrJAYs8FAFISnLnLSOc/1UaZu7EhLr3Dmv144xo0aQk2H
cUaIWDdygC61FkaODMC1c9dxXYdo6YvRLK3lcL5JPHdMs1c0zK3/w3iCS2uJd3IY
Xo71zZYrQPM=
=5soi
-----END PGP SIGNATURE-----