Your message dated Wed, 16 Sep 2020 10:00:10 +0000
with message-id <[email protected]>
and subject line Bug#941431: fixed in cvc4 1.8-1
has caused the Debian Bug report #941431,
regarding Build cvc4 on other architectures
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
941431: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941431
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:cvc4
Version: 1.6-2
--
Dear maintainer,
is there any reason that cvc4 isn't build on "any" ?
I tested ppc64 and ppc64el and it worked well.
Regards,
F.
pgph6qHoD_8rN.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: cvc4
Source-Version: 1.8-1
Done: Fabian Wolff <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cvc4, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Fabian Wolff <[email protected]> (supplier of updated cvc4 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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
<[email protected]>
Changed-By: Fabian Wolff <[email protected]>
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-----
--- End Message ---
