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 ---
-- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
