Your message dated Sat, 11 Aug 2018 20:10:34 +0000
with message-id <e1foada-000cqk...@fasolo.debian.org>
and subject line Bug#880146: fixed in cvc4 1.6-1
has caused the Debian Bug report #880146,
regarding cvc4: FTBFS on non-x86: test suite errors
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 ow...@bugs.debian.org
immediately.)


-- 
880146: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=880146
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: cvc4
Version: 1.5-1
Severity: important
Tags: upstream
Justification: fails to build from source

All non-x86 builds of cvc4 to date have failed with test suite errors,
as detailed at

https://buildd.debian.org/status/logs.php?pkg=cvc4&ver=1.5-1

So far, these errors have occurred on arm64, ppc64el, s390x, and the
non-release architectures powerpc, ppc64, and sparc64.  On almost all
of these architectures, the testing summary took the form

  =============================== TESTING SUMMARY =============================
  150 TOTAL, 136 PASS, 14 FAIL
      /.../production/test/regress/regress0/test-suite.log
  32 TOTAL, 32 PASS              in regress/regress0/arith
  14 TOTAL, 14 PASS              in regress/regress0/arith/integers
  32 TOTAL, 12 PASS, 20 FAIL
      /.../production/test/regress/regress0/arrays/test-suite.log
  37 TOTAL, 31 PASS, 6 FAIL
      /.../production/test/regress/regress0/aufbv/test-suite.log
  11 TOTAL, 11 PASS              in regress/regress0/auflia
  86 TOTAL, 60 PASS, 26 FAIL
      /.../production/test/regress/regress0/bv/test-suite.log
  65 TOTAL, 4 PASS, 61 FAIL
      /.../production/test/regress/regress0/bv/core/test-suite.log
  62 TOTAL, 62 PASS              in regress/regress0/datatypes
  18 TOTAL, 12 PASS, 6 FAIL
      /.../production/test/regress/regress0/decision/test-suite.log
  [long run of fully successful tests elided]
  33 TOTAL, 9 PASS, 24 FAIL
      /.../production/test/regress/regress0/uf/test-suite.log
  [shorter run of fully successful tests elided]
  =============================== TESTING SUMMARY =============================

The one exception was sparc64, which encountered many more errors;
I'll report a separate bug for that architecture.

Could you please take a look?

Thanks!

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu

--- End Message ---
--- Begin Message ---
Source: cvc4
Source-Version: 1.6-1

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 880...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Fabian Wolff <fabi.wo...@arcor.de> (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 ftpmas...@ftp-master.debian.org)


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

Format: 1.8
Date: Sun, 07 Jan 2018 16:19:48 +0100
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-5 libcvc4parser5
Architecture: source amd64
Version: 1.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers 
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wo...@arcor.de>
Description:
 cvc4       - automated theorem prover for SMT problems
 libcvc4-5  - automated theorem prover for SMT problems (runtime)
 libcvc4-dev - automated theorem prover for SMT problems (development files)
 libcvc4parser5 - automated theorem prover for SMT problems (parser runtime)
Closes: 880146 880147
Changes:
 cvc4 (1.6-1) unstable; urgency=medium
 .
   * New upstream release.
   * Update Vcs-Git and Vcs-Browser fields in debian/control.
   * Restrict build architectures to those architectures where cvc4 has
     previously built successfully since upstream has been unresponsive
     with regard to fixing those build failures (Closes: #880146,
     #880147).
   * Refresh patches.
   * Remove 02-include-paths.patch (fixed upstream).
   * Install NEWS file.
   * Install some examples with the -dev package.
   * Upgrade to debhelper compat level 11.
   * Upgrade to Standards-Version 4.2.0 in debian/control (no changes).
   * Update debian/copyright.
   * Adjust package names to match new SONAMEs.
   * Add patch 04-fix-spelling.patch to fix several spelling errors.
   * Mark libcvc4-5 and libcvc4parser5 as Multi-Arch: same.
Checksums-Sha1:
 c04310e8cd009deee278d72ea5c772c60dca934b 2643 cvc4_1.6-1.dsc
 b180389c2df64c16b52eee70de57bf4893fd1b8c 7815893 cvc4_1.6.orig.tar.gz
 6d764293b0b0feee02a9034a896c0fc7698f06d0 8176 cvc4_1.6-1.debian.tar.xz
 c6ae88bafbdae1afd15ede4af543a4930e2f2136 3555376 cvc4-dbgsym_1.6-1_amd64.deb
 dabbbdf1cf9be8f6341b9a0301fbef54291d4bf6 8445 cvc4_1.6-1_amd64.buildinfo
 01302eb945d1fa4c9dd9105cca4be3035b1539f3 139508 cvc4_1.6-1_amd64.deb
 9c0259232b0319987a749532ab6e0c0053a92557 151678128 
libcvc4-5-dbgsym_1.6-1_amd64.deb
 79891c3d68e7b2a009b34d37151f4c1e5135875c 4112080 libcvc4-5_1.6-1_amd64.deb
 3a4b1280871e29c481d599e519be698f28d85eaf 6760264 libcvc4-dev_1.6-1_amd64.deb
 191b1ee1fdaf85552adbcce5391497447a63a00f 6229340 
libcvc4parser5-dbgsym_1.6-1_amd64.deb
 01d303a5cab19d3a51b14666a410182022e43726 362620 libcvc4parser5_1.6-1_amd64.deb
Checksums-Sha256:
 014f3ad74e11ee0473ee452e5490b8571bb92ae892a2db748a46493d8d9c7772 2643 
cvc4_1.6-1.dsc
 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 7815893 
cvc4_1.6.orig.tar.gz
 38c4b3866770f3b2566228da992c8aa2b5e7ad0360cfb31be63ff9646222f44a 8176 
cvc4_1.6-1.debian.tar.xz
 9b362dfe7612a23f4fc03eecae5bdb1b33fafc759b7a5a35db731f71a6f40190 3555376 
cvc4-dbgsym_1.6-1_amd64.deb
 fc158313f28566d9e52b18c1c2d33cd881fe3a92c593729abc842efa0388af0c 8445 
cvc4_1.6-1_amd64.buildinfo
 b3804fbaced6ee3b9f47680128dfd90857f236d58598bbf1fec19876897dc84d 139508 
cvc4_1.6-1_amd64.deb
 83da5bdc5003cf76f0a57b907629e91f7c4f26691445d0b2a262cdc5fae09fa4 151678128 
libcvc4-5-dbgsym_1.6-1_amd64.deb
 d55e08ebad8fa49635004c212024e848e7057d5da8c4bd94e2bb5eb868c5873e 4112080 
libcvc4-5_1.6-1_amd64.deb
 cf452ebd845655c23ef2297f80537352a6f37167b33669065b9e1389fd5269c4 6760264 
libcvc4-dev_1.6-1_amd64.deb
 2ed85d9560dc734520f60f591d4a5404881b3d1ff81f134f77c8562d28864cc6 6229340 
libcvc4parser5-dbgsym_1.6-1_amd64.deb
 d86ffa195a12227fad9febd918ed257a7b5e23beacefa7587dbb648d141e9641 362620 
libcvc4parser5_1.6-1_amd64.deb
Files:
 cddea4025a8c894aad5ba19a9ac3d84f 2643 math optional cvc4_1.6-1.dsc
 aac9f3725d2247bcf5dcb87bbbbdf5bb 7815893 math optional cvc4_1.6.orig.tar.gz
 6aa32040763309ecda4fe0ac3637cd60 8176 math optional cvc4_1.6-1.debian.tar.xz
 c80e6f7828e3066209b0769d6c9d83a2 3555376 debug optional 
cvc4-dbgsym_1.6-1_amd64.deb
 78ffd00dca814039c0de26599e4b9c2f 8445 math optional cvc4_1.6-1_amd64.buildinfo
 ecd72951ee1dc9f990e3ffff7080f5cc 139508 math optional cvc4_1.6-1_amd64.deb
 3d263e9b48b7cb524acc75dbfa0965dc 151678128 debug optional 
libcvc4-5-dbgsym_1.6-1_amd64.deb
 74d69c81372e636a2d547a1c20814371 4112080 libs optional 
libcvc4-5_1.6-1_amd64.deb
 1dbf53f53bb01f4579b6ab6e61b5881d 6760264 libdevel optional 
libcvc4-dev_1.6-1_amd64.deb
 2827c8d42bcafbd6930da2b8184bd87b 6229340 debug optional 
libcvc4parser5-dbgsym_1.6-1_amd64.deb
 5c05fbd5b2a69ae02703012429acc1b3 362620 libs optional 
libcvc4parser5_1.6-1_amd64.deb

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

iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAltp7IEACgkQ0Ot2KGX8
XjZ6ig/7BE54Hxd+wcZrAY4NSQn2aA0z9vFrfK+cLwUWg2iZj7iuDEaFROa1x8SX
hhjI7LrUU+VWwsRPYB+0uiO1YJygvW4acxLv7ujygaAyh6L+k6wCXAfUGLM62syZ
8rARb5xw16JM/686383uMQisqSLPa1bzWbreI4RkU+l/JkDlWwsw2werEv269VH5
SbDVOZbiIBT8fV712AwyjReMfB0cxSyhb67R870/P6xtPuAlCsYuXluYV6/cR12I
Ydi8ev3LD5mnp58rcZKHygkU7u2NqrbMyp2qVGCPo+JjXV4GKB2tbKs5RHvR9sYG
PCJNHHxIVCf05O8i5llKW5NiHGqgk1bAEwe1kxv6EzL0sVuO220Yvs6jmPlolUNq
FKbP1tNU6UWYC/eORiMgxm5+JITLyQXcBemQ1GvMrgZGzGq/ywUt9QyskS2a7bH/
hLZ5E1FSP2L3rPqH1YQ85mn4WghAtfryKG3m48/TgyXyZqkCUEmOXPXSY/haUKfV
mtTdYahWQWUyibrl64zKQXabyp3pgghw+lZHMX+2b2d/xB2NKzTZmQJFgB+2TRjm
O7Zo0II3p34vxyNXmffPRkzAVZPlI2UfKVIQIpm9/W1fySEt1I1+kfW2w/pp2SNp
yFoleSTJWySbzJdJMkr0Cxw5iyWQZgYokOqJdHgKiNNLSPkXVIA=
=KsQL
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to