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

Format: 3.0 (quilt)
Source: cvc5
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1, python3-cvc5
Architecture: any
Version: 1.0.5-2
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: https://cvc5.github.io/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/science-team/cvc5
Vcs-Git: https://salsa.debian.org/science-team/cvc5.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: antlr3, chrpath, cmake, cxxtest, cython3, debhelper-compat (= 13), dh-sequence-python3, libantlr3c-dev, libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkg-config, python3, python3-dev, python3-pyparsing, python3-pytest, python3-setuptools, python3-skbuild, python3-toml
Package-List:
 cvc5 deb math optional arch=any
 libcvc5-1 deb libs optional arch=any
 libcvc5-dev deb libdevel optional arch=any
 libcvc5parser1 deb libs optional arch=any
 python3-cvc5 deb math optional arch=any
Checksums-Sha1:
 62afe28182342c622cd938b68ec15f3ec8cbae12 8431503 cvc5_1.0.5.orig.tar.gz
 98de093613656df49a632f6394fb83a806a539ba 7036 cvc5_1.0.5-2.debian.tar.xz
Checksums-Sha256:
 a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a 8431503 cvc5_1.0.5.orig.tar.gz
 d55b910b981eeceba47e8b10b4a32ac3b6c15057db954d5c5059fc4e1f51d017 7036 cvc5_1.0.5-2.debian.tar.xz
Files:
 57717622ec2afbc8664b6865c4142833 8431503 cvc5_1.0.5.orig.tar.gz
 6270c3acc9534f029c415b5a435b628a 7036 cvc5_1.0.5-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSU3NsPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiQk8P/jPj3P8RPm4bS+4Cv5gy7fbMoW+QxBKJ1616
w5D515UFr4VfqBoqGCu9zBUUy1yhwvIj8rNzS+JflySWcBsAeasJ/GWrMMN4li7+
GPN/HHNB5NIloAIygQeQEO6gezawqujGg1tIoIJJRMUWmcLLMAYOg3ixryloja4O
jkvEpwiWcT5sHHsF+lPJXzXFehWnKtXK9/DiJf7YPBaL/0/8XWO169OrTfk4dXZE
OKpdtDpZavS21i5U79WFQ5qCKoaADgFKRWQcW/YJDRXWozMvP4LAlyAV5YuGE70/
4f81140qZPTG7+AXW/ROnBQFPCggxUH4n/oYc3tCn6SOKPsUQh2A1ZOgw9Bf3Esr
jJW9QGSi4AvKb1f6bjDx/0xMzGYfgIFwNPDIP7Fzl+uV32AkKFcKxQiXXQJuPoFD
b09kvjZIvyUHlxuOmtNhp5N/RJ07R0unC34mZXxNTh55wLFPRMx45KQXlFoeMeQt
FCUURCICjSAEUFBl4VckUkC0QjikLdbp5YKw+eR4W44uWGBgUJYmsvhVwOc6UxP9
IVewEChicbZo4/wsy9PJKBwep6oMQWJIvZVW6s5DpNA0mTSD1xvZIHCoPl2YA1yd
no5O9MzyjcVIn7KmI+uuGIonHq1IyJRC1qI9VoGT8Q0eWlXcbpc3eQ7pVTx+nbNe
D5M73tIC
=Pa/q
-----END PGP SIGNATURE-----