-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-4, libcvc4parser4
Architecture: any
Version: 1.5-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: http://cvc4.cs.stanford.edu/web/
Standards-Version: 4.0.0
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/cvc4.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/cvc4.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: debhelper (>= 10), libgmp-dev, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, chrpath
Package-List:
 cvc4 deb math optional arch=any
 libcvc4-4 deb libs optional arch=any
 libcvc4-dev deb libdevel optional arch=any
 libcvc4parser4 deb libs optional arch=any
Checksums-Sha1:
 781dfa9c62bff6f75919ea83e5c2fd1cb8c7f6f1 7926116 cvc4_1.5.orig.tar.gz
 9f9a95cdcdfe06a673694a72dfe3665c3ed15e03 6012 cvc4_1.5-1.debian.tar.xz
Checksums-Sha256:
 57a38c4baa35fe62c336c16e2efaf3e15411501c225167ee44d4857a735581b8 7926116 cvc4_1.5.orig.tar.gz
 1d9fadc893d9849b1cf7eb683d6d47a8d026529efc14f6c38074189da0a68f93 6012 cvc4_1.5-1.debian.tar.xz
Files:
 f6e329763124bb7aaa3b4e86df1b3ade 7926116 cvc4_1.5.orig.tar.gz
 232e2b10011e08728d29ed4f5a97df2e 6012 cvc4_1.5-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAll/eHwACgkQdFxHZtTK
zf+nMw//ZDPT2hM5+IbkG33+Hvlc588n10ohX3cNj3INTCOOJjg5hCoWl8QI9/pW
wjpnpF4RNkWD3HZQguOMKu1LdIt9v9W0H+tUK+HSdaqdahbsgZ4ljL6ks3xC/S/A
Ze++rvnQ9vGpRcyw5lacbUy8zSztRP4VR8ajIrx0WHSoEKaMIBONXuEG/e3554lS
roSDGryv3WWFlvJ1Yy/x6g9AYi2v3W/fLjfDPJ7Qv84mFzYDwTultLreHnNE729R
Wdq6WcEW/iC4hJVolB9rxwcnjpHuLdRha35mJgk23SMqh1WddAC8+pQy6r0oJC6b
/F+vRKFGtgaYhxkyURAHOIZM/hsMbCdT6Oy3eA/4p+tkdE7Yx9/64Wa2lZTBI7pi
fCH6puoDjajr6CsnNoKNjuifTXoc9Q3we4XhJvHHSwJwwox+3UGirTk6KUraJYqs
glUAZnYF+1HSgEWHejqJTmGpbYg3pVd/5pn4VEhrjkhu+UDhcZXAzseiqxUSbIfV
4vYrjzzab4jDbLmUKer+AZaYevvWbrs7+tsIAk1c7xJtO3RpSOz+7iRcd0lZXkC2
vfg9FYhA+D9e9ZCa16L8hOv33OP17tDLR9Sjh4oa6GIXoMBYFpaUkSh0XIOEWBPy
MQnj3FhNtfwOBG7iANh83VRbV9QTqefubZTn9YEqJvkj0xVdUHM=
=ANQF
-----END PGP SIGNATURE-----