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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
Architecture: any
Version: 1.8-3build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://cvc4.github.io/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/science-team/cvc4
Vcs-Git: https://salsa.debian.org/science-team/cvc4.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: debhelper-compat (= 13), libgmp-dev, libcln-dev, antlr3, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, python3, python3-toml, cmake
Package-List:
 cvc4 deb math optional arch=any
 libcvc4-7 deb libs optional arch=any
 libcvc4-dev deb libdevel optional arch=any
 libcvc4parser7 deb libs optional arch=any
Checksums-Sha1:
 4d8a91a2c666728199d2fc20772c919edbd448d0 7547187 cvc4_1.8.orig.tar.gz
 78d051266db35b67e4151eac1aeb42832141dae5 16876 cvc4_1.8-3build2.debian.tar.xz
Checksums-Sha256:
 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
 d580ee0dcf28c21dc71fb9f61afbe3f44211fc0f49e6c499905678bce03e963c 16876 cvc4_1.8-3build2.debian.tar.xz
Files:
 9f7657e21fec3c4042225b0b8f513c34 7547187 cvc4_1.8.orig.tar.gz
 0019f230bad365543fa2d9d9ffdccfaf 16876 cvc4_1.8-3build2.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJpEYaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2AbQ/+LM1n9MAYD7XLBKzyk7wp
J9DUhKF0sVhlwlVCxafN3LBWIr3BPf6KcCu0pjZMsf+vY7EiqPlsidce80CGjNJv
l4aQeI+2W4wwyJhFY7Vu4Gzsr47FQyC8cJklFAzVOWNWDHZ+dG73p5tBsh6W3WRa
MwfX3PlXlCiqkf4v3Vunc1UsCjNDND9LjNi6JVaojElwrWJiArF66NzH19iAB2jf
y/WOjR8E18DsfRBDRkwtl6xSqJTfijwcC4+D9hq+qz/SZTRxO3sSu94LAgRL2e8Y
hC7Oc/h54JFPPPvNnjZU4ncbKg/ZVzmqf67Hgs/mHS3xX5z1lePKBWYGruoAAyU6
SOopWMY1amq2WVjTtMIjYsb3qn83SWF+IpuxRTx8kxyIWzW9GrAYpWxO9PVh2PjW
GkJwkcUbpYAV48TNy2S8WNrOrKt/tyvCwz7ZmySyS6YTLo0Ml14x+KsrFFUDrwhf
iN5AEbOflR6hFxVn5+DFVsANaG4bADdybfPnSiUU7lJUUYV5SnURWl8YjF/Qz6L8
hh2F2kc+tLznksljeb7KzS84XWRxPy/CvdviQIxafqwp9az5ZkENAUvZpNHoXJUH
t0zN2U3zEnIm51tIp3zE9nIZwnBqIwRSZmTgGxFGd8L+6rY1AZBlsioSV+J9KmNa
2tg7IzO0L/FB8XJbBBqUSr8=
=lUmL
-----END PGP SIGNATURE-----