-----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-3
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
 7e0a9d7aea61350e4b02b63e27fa6416f52debe9 7072 cvc5_1.0.5-3.debian.tar.xz
Checksums-Sha256:
 a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a 8431503 cvc5_1.0.5.orig.tar.gz
 5bcf8290d17fe2481f9f97c9f011a8be10b3111b51b75d97feed3d829ba0956a 7072 cvc5_1.0.5-3.debian.tar.xz
Files:
 57717622ec2afbc8664b6865c4142833 8431503 cvc5_1.0.5.orig.tar.gz
 584594a814c4ba284317287007c353c7 7072 cvc5_1.0.5-3.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSV974PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iihEwP/1vwKD+BIpidRWLPbBe+T4eYI5RnCaMVBAKg
js20UTaRtCQ0O5yBYg98ZqvehO6lRaA0aIBb4xUiyu3yWp4/BoVlWIZeouFuCtPf
dKz8fgrnBi/0La/o8RxctxzDmgR2F9jQX6/OE3P6JS2JngNsfO9tOpmNuHFZ1VSC
KR6ObsdFL+ALC1D1amPrqOPdEyPNSgat35RwNuvJKP9WITMNOm05873EhrmRt6+7
vbN5QKwaGWRcXOOa7D0WQ+w/yQiyvZJV+txYz5tzHS25DMxJWQ1j+m+BVBgV18OZ
FJRXeSFcl7NhHTfb0fjUoO0GL6kMME8tsR6cRa4DQjI651poiVvK4DcQAB1reM/P
0Dp4LNLp3JZy6YXHY0SbYX3FN6dApAasYxmxkTvKEHdgpsol9KNnzbzNzFmPpev3
An6XURhKGlPhcaIGKPJfWWmI2mcDd/kp9poWXAfHkugXpU6saCSsWnohxCEZL4J6
V1FmB+hxH/4Pu7j+w+hC7MRUb8d+ozhnL/zR6zZZU1lFoyhTI0lDGNzYCA4GCzk2
ca8jcF6u6uktCqBRdl6XbgeBQTflriGVrxK0/THeuAM8FUP3+AUv1z10z2tL1Paq
rpgIY738mIGTA+SJFMriExyittn0PRWYWGMaX5F1J2OL5RR5PuCYBcbaISWJJZkZ
7bNUOOdN
=PJoi
-----END PGP SIGNATURE-----