Accepted cvc4 1.8-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 13 Sep 2020 14:04:56 +0200
Source: cvc4
Binary: cvc4 cvc4-dbgsym libcvc4-7 libcvc4-7-dbgsym libcvc4-dev libcvc4parser7 libcvc4parser7-dbgsym
Architecture: source amd64
Version: 1.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Description:
cvc4 - automated theorem prover for SMT problems
libcvc4-7 - automated theorem prover for SMT problems (runtime)
libcvc4-dev - automated theorem prover for SMT problems (development files)
libcvc4parser7 - automated theorem prover for SMT problems (parser runtime)
Closes: 941431
Changes:
cvc4 (1.8-1) unstable; urgency=medium
.
* New upstream release.
* Update watch file.
* Upgrade to debhelper compat level 13.
* Upgrade to Standards-Version 4.5.0.
* Update Homepage field in debian/control.
* Update debian/copyright.
* Update patches:
- Rename 01-timestamps.patch into 00-timestamps.patch.
- Drop 02-man-pages.patch (no longer needed; all man pages get
installed now).
- Drop 03-examples.patch (fixed upstream).
- Drop 04-fix-spelling.patch (fixed upstream).
- Add 01-disable-tests.patch to disable some lengthy test cases
that would otherwise be run during the package build.
- Add 02-install-lib-dir.patch to fix the directory into which
the shared libraries are installed.
- Add 03-remove-build-path.patch to help make the build more
reproducible.
- Add 04-spelling-errors.patch to fix the spelling errors found
by Lintian.
- Add 05-fix-headers.patch to make sure the installed header
files are actually usable.
* Switch to CMake build system.
* Change build architectures to "any" (Closes: #941431).
* Add print-version and simple-arith autopkgtests.
* Adjust package names to new SONAME.
Checksums-Sha1:
827a7eb9bf55489bb362882665bc3c83cac21c1b 2246 cvc4_1.8-1.dsc
4d8a91a2c666728199d2fc20772c919edbd448d0 7547187 cvc4_1.8.orig.tar.gz
8cd2e5c0e296b715013314f741a108591386228c 13648 cvc4_1.8-1.debian.tar.xz
c0d9bac198e5c515f1f5290f108e2eec09d403f5 991576 cvc4-dbgsym_1.8-1_amd64.deb
c452a5b1c9b5894c2a75c15ee4fd211949b2c722 10218 cvc4_1.8-1_amd64.buildinfo
f9f9ecc3c10c1a2feaf1ef1af9770b97146edf4d 81324 cvc4_1.8-1_amd64.deb
161b9577b53430594ae8b8de0944cc505fcf59b2 186513752 libcvc4-7-dbgsym_1.8-1_amd64.deb
bf0e61dd41864d180600f7bbc49ebb37b20e8509 5650132 libcvc4-7_1.8-1_amd64.deb
9933f81c63672b56d582ab191f944d89e57e4d64 131132 libcvc4-dev_1.8-1_amd64.deb
a51bce19ef244c8a7fe60364078f2ac5e38328a7 5161852 libcvc4parser7-dbgsym_1.8-1_amd64.deb
89712654a9926b8872d721ae7060ce72714fcdd8 365624 libcvc4parser7_1.8-1_amd64.deb
Checksums-Sha256:
b893e6664bd232cd896aca8c4edbc56c2437bb4d160e69f3ee23ddee0bce0b4f 2246 cvc4_1.8-1.dsc
27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
a0c9285ba39239d3829cdcdb94cfbc33fe80f5924a8fd3a5f0c0e3a39615bc0a 13648 cvc4_1.8-1.debian.tar.xz
f4b07ab4729acc8a1f52f351a20d68ec50fdb4833343a3f304a66d85e3b0043d 991576 cvc4-dbgsym_1.8-1_amd64.deb
0a23c9c68d470a9e5d161c48323a7ed58179484e77f02a85230f105d7c15f6e3 10218 cvc4_1.8-1_amd64.buildinfo
0015f3108d4760034c88edf172fc50256f081414fe700532cb47ddfb505ad3c5 81324 cvc4_1.8-1_amd64.deb
5e61fe0c2818e8b40babd1367440f9e113ac92b9e2dfdf79cbc3a2949f6bfd23 186513752 libcvc4-7-dbgsym_1.8-1_amd64.deb
7ddd42c16a1e0febffa5084b42daed44aad89f927f998246b145ced3b85cc017 5650132 libcvc4-7_1.8-1_amd64.deb
0aace7a0db72a2e3630ee4175365158e8cbd8fa2095566f287b672639f47c0af 131132 libcvc4-dev_1.8-1_amd64.deb
ce8884710d4595694a89a18ee1fa85b1b502fd835cc409b6abd2c49604330911 5161852 libcvc4parser7-dbgsym_1.8-1_amd64.deb
6a29db24af8872cd3a5aea2996beb9bd03a2c2c6f317c46a6ff3a0b6f7401732 365624 libcvc4parser7_1.8-1_amd64.deb
Files:
29345de93584c1d5ad79b1af8b56df81 2246 math optional cvc4_1.8-1.dsc
9f7657e21fec3c4042225b0b8f513c34 7547187 math optional cvc4_1.8.orig.tar.gz
ca14dedce5e3e2618b7abc786f7b566e 13648 math optional cvc4_1.8-1.debian.tar.xz
50d5615d7ee354bd5c00d1a887e6c1bc 991576 debug optional cvc4-dbgsym_1.8-1_amd64.deb
560de8c86ab8a00f15f91e62f1816851 10218 math optional cvc4_1.8-1_amd64.buildinfo
4f54b41660e641b807c3707764c92b05 81324 math optional cvc4_1.8-1_amd64.deb
8bc9169c42826ba6888bf7bb0d51a240 186513752 debug optional libcvc4-7-dbgsym_1.8-1_amd64.deb
da82bdee845c6a101de511bbee1926e3 5650132 libs optional libcvc4-7_1.8-1_amd64.deb
c6e16612de6f29e268b7a5f74877ba02 131132 libdevel optional libcvc4-dev_1.8-1_amd64.deb
80ad63e753b196db8ed6c13837ee8906 5161852 debug optional libcvc4parser7-dbgsym_1.8-1_amd64.deb
1d2f38324b995672b52ea50de9684205 365624 libs optional libcvc4parser7_1.8-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl9eqCoACgkQ0Ot2KGX8
XjYGZxAAq8Nw8XqKywhAE3CgwgHDJwEZZ8n/rKFyl/ceuyZRTdGKYQQjxODLGeiX
LNOm2+5AFs6DfarKNTNCfHX/32Fp5W0rtScq/2wAAgMMeVlwVZ3bUK8u8rCOkhtC
TkHIid6hKpREvgYQHQnlOUpzCmk1a5FbrgKcnTwKRC3aDgUlTF5SId/dySccQcGF
YKkdF/+RXcogqX5bzkM3WhdFUI/NCBEusnCwZL5/zbhVc17QbvSY3hakaELSHied
6fCUqhi7cVL7XiU0vZTNx4fRzPFPD5Bo0Mn07bP8WxlvAz2B1Fijg9hlCzq/l7Kg
YYG6x7qwkvRylVk8CI2f1078chLwTsfIUtqrvD8DL8X1+jjgp5ln0KBLjKutTOIZ
c/3rE6tlqd1pPUPoJ6QMVbXj+rJoorM8dbISqI1dDlqlIk+vxN5b9+VUDZuMN2Uo
EvRuKUsffFnk6HpxVzsYgI/5K/SZijaOFvPqRJns5T7Zgs9DNdGDTgLW8govmcxi
nkJb64hleoUCONo4j1FCHYE7VoA1Oqe54BVstiLChQ2NvtyDD2Y/bisQIFHyNztf
I76Rf6y7SaJlvGQjvbnPLdsR9NIHdCJa4l6cahN/OWKDHkadGPx7sBTeHzkpezQq
9+wrGRrapz95pls3/TKs4Tzw7SbJ1DP20CcY6YE5u48/wccWX9s=
=g39/
-----END PGP SIGNATURE-----