Your message dated Tue, 21 Jan 2025 21:21:48 +0000
with message-id <[email protected]>
and subject line Bug#1091116: fixed in cbmc 6.4.1-1
has caused the Debian Bug report #1091116,
regarding cbmc: FTBFS: [[1;31mERROR[m] Cannot access central
(https://repo.maven.apache.org/maven2) in offline mode and the artifact
org.apache.maven.plugins:maven-dependency-plugin:jar:3.7.0 has not been
downloaded from it before.
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.)
--
1091116: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1091116
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cbmc
Version: 6.1.1-2
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-20241222 ftbfs-trixie
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> make[3]: Entering directory '/<<PKGBUILDDIR>>/jbmc/src/java_bytecode'
> if [ -d ../../lib/java-models-library ]; then \
> (cd ../../lib/java-models-library; mvn --offline
> -Dmaven.repo.local=repo package); \
> fi
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o assignments_from_json.o
> assignments_from_json.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o bytecode_info.o
> bytecode_info.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o
> character_refine_preprocess.o character_refine_preprocess.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o ci_lazy_methods.o
> ci_lazy_methods.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o
> ci_lazy_methods_needed.o ci_lazy_methods_needed.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o code_with_references.o
> code_with_references.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o convert_java_nondet.o
> convert_java_nondet.cpp
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong
> -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection
> -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses
> -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum
> -Wno-deprecated-declarations -Wno-maybe-uninitialized
> -Wno-unknown-warning-option -I .. -I ../../../src -o
> create_array_with_type_intrinsic.o create_array_with_type_intrinsic.cpp
> [[1;34mINFO[m] Scanning for projects...
> [[1;33mWARNING[m]
> [[1;33mWARNING[m] Some problems were encountered while building the
> effective model for org.cprover.models:models:jar:1.0-SNAPSHOT
> [[1;33mWARNING[m] 'build.plugins.plugin.version' for
> org.apache.maven.plugins:maven-compiler-plugin is missing. @ line 74, column
> 15
> [[1;33mWARNING[m]
> [[1;33mWARNING[m] It is highly recommended to fix these problems because
> they threaten the stability of your build.
> [[1;33mWARNING[m]
> [[1;33mWARNING[m] For this reason, future Maven versions might no longer
> support building such malformed projects.
> [[1;33mWARNING[m]
> [[1;34mINFO[m]
> [[1;34mINFO[m] [1m---------------------<
> [0;36morg.cprover.models:models[0;1m >----------------------[m
> [[1;34mINFO[m] [1mBuilding CProver JDK Models 1.0-SNAPSHOT[m
> [[1;34mINFO[m] from pom.xml
> [[1;34mINFO[m] [1m--------------------------------[ jar
> ]---------------------------------[m
> [[1;33mWARNING[m] The POM for
> org.apache.maven.plugins:maven-dependency-plugin:jar:3.7.0 is missing, no
> dependency information available
> [[1;34mINFO[m]
> [1m------------------------------------------------------------------------[m
> [[1;34mINFO[m] [1;31mBUILD FAILURE[m
> [[1;34mINFO[m]
> [1m------------------------------------------------------------------------[m
> [[1;34mINFO[m] Total time: 0.268 s
> [[1;34mINFO[m] Finished at: 2024-12-22T13:38:58Z
> [[1;34mINFO[m]
> [1m------------------------------------------------------------------------[m
> [[1;31mERROR[m] Plugin
> org.apache.maven.plugins:maven-dependency-plugin:3.7.0 or one of its
> dependencies could not be resolved:
> [[1;31mERROR[m] Cannot access central
> (https://repo.maven.apache.org/maven2) in offline mode and the artifact
> org.apache.maven.plugins:maven-dependency-plugin:jar:3.7.0 has not been
> downloaded from it before.
> [[1;31mERROR[m] -> [1m[Help 1][m
> [[1;31mERROR[m]
> [[1;31mERROR[m] To see the full stack trace of the errors, re-run Maven
> with the [1m-e[m switch.
> [[1;31mERROR[m] Re-run Maven using the [1m-X[m switch to enable full
> debug logging.
> [[1;31mERROR[m]
> [[1;31mERROR[m] For more information about the errors and possible
> solutions, please read the following articles:
> [[1;31mERROR[m] [1m[Help 1][m
> http://cwiki.apache.org/confluence/display/MAVEN/PluginResolutionException
> make[3]: *** [Makefile:80: library] Error 1
The full build log is available from:
http://qa-logs.debian.net/2024/12/22/cbmc_6.1.1-2_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20241222;[email protected]
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20241222&[email protected]&allbugs=1&cseverity=1&ctags=1&caffected=1#results
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 6.4.1-1
Done: Michael Tautschnig <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cbmc, 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.
Michael Tautschnig <[email protected]> (supplier of updated cbmc 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: Tue, 21 Jan 2025 11:40:10 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 6.4.1-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
cbmc - bounded model checker for C and C++ programs
jbmc - bounded model checker for Java programs
Closes: 1091116
Changes:
cbmc (6.4.1-1) unstable; urgency=low
.
* New upstream release
* Fix Maven versioned dependency (Closes: #1091116)
Checksums-Sha1:
3c8d8de769b64f1276b829386a9d7a7fe6f225e6 3048 cbmc_6.4.1-1.dsc
18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582
cbmc_6.4.1.orig-java-cprover-api.tar.gz
ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209
cbmc_6.4.1.orig-java-models-library.tar.gz
96ca348b42781be193766d3137ada754bc296ff4 9127951 cbmc_6.4.1.orig.tar.gz
db873d5e70e39f0ac00c4ecdb8dbd6ecfe03716e 18076 cbmc_6.4.1-1.debian.tar.xz
Checksums-Sha256:
f3e0d0233a13df86a10c323317b5af3a1383cdfa43c767783b02a0cf927d106e 3048
cbmc_6.4.1-1.dsc
70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582
cbmc_6.4.1.orig-java-cprover-api.tar.gz
13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209
cbmc_6.4.1.orig-java-models-library.tar.gz
09507765190bd14d07452b68003087160c80325b251a6f13d50845bb5f44ae7e 9127951
cbmc_6.4.1.orig.tar.gz
8e60cd8aad012198edb4e64207644e13e079e1637cc60744b5681ba8f64a8674 18076
cbmc_6.4.1-1.debian.tar.xz
Files:
dd83d410255c5c8644cd65ab7fba56aa 3048 science optional cbmc_6.4.1-1.dsc
245cc4a092fb84d4c8a1333c793f1adc 14582 science optional
cbmc_6.4.1.orig-java-cprover-api.tar.gz
6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional
cbmc_6.4.1.orig-java-models-library.tar.gz
90a01f7ceabdc36081bf002eed073973 9127951 science optional
cbmc_6.4.1.orig.tar.gz
13c59c25aedc403310a4126047eae716 18076 science optional
cbmc_6.4.1-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmeQCM8OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGXnw//bOHnyeL/tX0eEdXSgKPyaHHDl2ZATSs81659
rsYjkrp0bnNkZnkoPyTtgPq7+mlhV46y/D3JJQ3AWtcfnnuJvtGD7d6z/QDO0Oa9
T4DLzbVY7b35AKzyMmX2yqPSnGqQnQVBSW4qScItb4wARCydqmPDzru0lSZB+Bfu
mpDMpuQgN7iuGVeunA6/3I45dxxJkqMc8HqKtsnMRlRwUxf/xzaljXi/CMSZon6I
+M4bvc4NQDL+r8EOpfu3iPN8Nzc5Yd2c2XLLV2TsAfXlbGe67rvPifVpkSiIJTD0
hhXFcltEXzZAz5VNRgdazdOd9pa9oQGA4DQlIGOUYBdLY1wanY3Z6D4NR5L32ucY
vdLhntvu8sa64Bvf/f/w7IE2N2wzUK5FxlgZQ5TFymNCOs+GseBsJC9S5vKQoD03
EoKlisgkgcHIWGaowJpRmzZq+Ja35V9FiQ9sb38etwmo90bwbo/TrIw5pCy2dsQP
MsYnh8mofQtxj3CJPq7josRJSgORaeB1phvw5gPDwVVHe6p9NpWL37PXt44eit7w
d3JqnAb1BoPN2Tr8+zFXIWhGunlXKcsVgJ2AAukSs+OtWLzAXpVHYNflOJbAQTd0
Y8jOou7QoX8dSV8DcXCHFzOAUPNIFeSdQAXDZvicFJLln06/7hhoAUVaJjBEaPvz
K6XVRq0=
=J9jB
-----END PGP SIGNATURE-----
pgpTMGD89BIyY.pgp
Description: PGP signature
--- End Message ---
