-----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.1.1-1
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: chrpath, cmake, cxxtest, cython3, debhelper-compat (= 13), dh-sequence-python3, libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkgconf, 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 python optional arch=any
Checksums-Sha1:
 557685a5324ccbbbf6e8acf094292239a819a172 8509343 cvc5_1.1.1.orig.tar.gz
 a2bcba459c3a31a6051a86a5fec42dcc49a0df5d 6944 cvc5_1.1.1-1.debian.tar.xz
Checksums-Sha256:
 4747502675a778d4bf5ae9590adff0c3a8258b1198098cc39ac537b0cc7802cd 8509343 cvc5_1.1.1.orig.tar.gz
 8f8e814690b11e1246c0ee641bfa354ab4c0ef470388af905360950f5f94876c 6944 cvc5_1.1.1-1.debian.tar.xz
Files:
 e531248dadd40743625a665f6f558ed3 8509343 cvc5_1.1.1.orig.tar.gz
 200253e88f38b0f7bd5b929958d10b5c 6944 cvc5_1.1.1-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXJiCIPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iik+AQAI/jFjCHNUh9cdJd+Bk3TNqSjw9JuEOr2zNS
mLa7+/UfvKCTsZhYWkzLsW/Ymfz3GsSW/0Z8sHPqT6S9qQxSMaIc6Jdm07uE5LVb
YeviqH8OlxUrIqVWI41Fho7jJDWmSyfSw05G0wdc7SoUKtm1jo7lzpGxcSV+lLY5
Rh9LQ0L4yEtNuMfZs+RVlONY0eMcY8R1GjLYnIQlxgreJYFZ/eW8rFUMHTbP26yr
KTwn7YnYxxWBq8EvqRIHfO6Kx52pZybVwYcAlQ3haC7SoRg2EkH3oFRfXtMPSuII
vNDX4FBcfIATnMkZHgadjlanaYeX0nEAmCPdX8en5S/IaQGIV+/sQZW6ux6MgSIS
ALSsNZW3GABqWuP1cnRwzEeTpfUP5v8ETbtsWokIn9qLb68uZ2UV8aYMoYlDsIEq
atBDdwNNLFH1Zi7W9cvHpHgTHvZhadIMcXvJeHlOIJMZlV+87uys+FWsfLda3511
6JBKt0ww/XPDvfFttsLEhX/K/d+u010WFM7LLiAwTBrphpwavYYpxdCNlepNzmLJ
gZskq4mJvYF6ZzRu1obzg962zdUQbucFcKCsht5bzmivTwaaYEhqWic8nNsFiYWJ
HPdgGAtwyZHE5wFpr0/t/X3u1E0mJGROIJ1sy3RTzCdX+Qjm0pahrp/xMFsY2TyF
f62mINka
=wW4c
-----END PGP SIGNATURE-----