--- /srv/reproducible-results/rbuild-debian/r-b-build.cNiX0tLF/b1/cvc4_1.8-3_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.cNiX0tLF/b2/cvc4_1.8-3_amd64.changes ├── Files │ @@ -1,8 +1,8 @@ │ │ - 5a1c32ee62def72bddfdb0114f7e7c93 999176 debug optional cvc4-dbgsym_1.8-3_amd64.deb │ - 863b0df5ff608e42a2581037532a591e 82004 math optional cvc4_1.8-3_amd64.deb │ - 2d5bbb6b9f95eafe9a429811cae7c4c1 197458440 debug optional libcvc4-7-dbgsym_1.8-3_amd64.deb │ - 7146e0e17220f84461f75c9b6b669335 5993532 libs optional libcvc4-7_1.8-3_amd64.deb │ - 982e1ec0df8250df960cfa0c2233bee4 131188 libdevel optional libcvc4-dev_1.8-3_amd64.deb │ - 260879522b8cf68f90b61654503e63b1 5175588 debug optional libcvc4parser7-dbgsym_1.8-3_amd64.deb │ - 47287db7fa7ca12e45804c88820bc644 363964 libs optional libcvc4parser7_1.8-3_amd64.deb │ + 2e87c1f32359c0ef4d0a40fffccc5f82 999120 debug optional cvc4-dbgsym_1.8-3_amd64.deb │ + c2b046d30699ca291c5914644b434c3b 81856 math optional cvc4_1.8-3_amd64.deb │ + 9ef5345ecbc141b280670f3c913ca8de 197452820 debug optional libcvc4-7-dbgsym_1.8-3_amd64.deb │ + a62a3324f78551efbabb1021cc671abd 5997004 libs optional libcvc4-7_1.8-3_amd64.deb │ + 882302596967c6187f848d02da727a54 131176 libdevel optional libcvc4-dev_1.8-3_amd64.deb │ + 718445a51069d60f6288a46f40309082 5176340 debug optional libcvc4parser7-dbgsym_1.8-3_amd64.deb │ + 026fada2edfdd3c8b8f9f6133f0001f7 364232 libs optional libcvc4parser7_1.8-3_amd64.deb ├── cvc4_1.8-3_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2022-10-29 18:49:40.000000 debian-binary │ │ -rw-r--r-- 0 0 0 1476 2022-10-29 18:49:40.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 80336 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 80188 2022-10-29 18:49:40.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── file list │ │ │ │ @@ -24,8 +24,8 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2085 2020-06-19 16:59:27.000000 ./usr/share/doc/cvc4/THANKS │ │ │ │ -rw-r--r-- 0 root (0) root (0) 1043 2022-10-29 18:49:40.000000 ./usr/share/doc/cvc4/changelog.Debian.gz │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4452 2022-10-17 14:15:49.000000 ./usr/share/doc/cvc4/copyright │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2022-10-29 18:49:40.000000 ./usr/share/man/ │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2022-10-29 18:49:40.000000 ./usr/share/man/man1/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2116 2022-10-29 18:49:40.000000 ./usr/share/man/man1/cvc4.1.gz │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2022-10-29 18:49:40.000000 ./usr/share/man/man5/ │ │ │ │ --rw-r--r-- 0 root (0) root (0) 394 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 393 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz │ │ │ ├── ./usr/bin/cvc4 │ │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ │ ├── readelf --wide --sections {} │ │ │ │ │ @@ -4,15 +4,15 @@ │ │ │ │ │ [Nr] Name Type Address Off Size ES Flg Lk Inf Al │ │ │ │ │ [ 0] NULL 0000000000000000 000000 000000 00 0 0 0 │ │ │ │ │ [ 1] .interp PROGBITS 00000000000002a8 0002a8 00001c 00 A 0 0 1 │ │ │ │ │ [ 2] .note.gnu.property NOTE 00000000000002c8 0002c8 000020 00 A 0 0 8 │ │ │ │ │ [ 3] .note.ABI-tag NOTE 00000000000002e8 0002e8 000020 00 A 0 0 4 │ │ │ │ │ [ 4] .note.gnu.build-id NOTE 0000000000000308 000308 000024 00 A 0 0 4 │ │ │ │ │ [ 5] .dynsym DYNSYM 0000000000000330 000330 002b98 18 A 6 1 8 │ │ │ │ │ - [ 6] .dynstr STRTAB 0000000000002ec8 002ec8 004cba 00 A 0 0 1 │ │ │ │ │ + [ 6] .dynstr STRTAB 0000000000002ec8 002ec8 004cbe 00 A 0 0 1 │ │ │ │ │ [ 7] .gnu.hash GNU_HASH 0000000000007b88 007b88 000778 00 A 5 0 8 │ │ │ │ │ [ 8] .gnu.version VERSYM 0000000000008300 008300 0003a2 02 A 5 0 2 │ │ │ │ │ [ 9] .gnu.version_r VERNEED 00000000000086a4 0086a4 000110 00 A 6 4 4 │ │ │ │ │ [10] .rela.dyn RELA 00000000000087b8 0087b8 001290 18 A 5 0 8 │ │ │ │ │ [11] .rela.plt RELA 0000000000009a48 009a48 001488 18 AI 5 27 8 │ │ │ │ │ [12] .init PROGBITS 000000000000aed0 00aed0 000017 00 AX 0 0 4 │ │ │ │ │ [13] .plt PROGBITS 000000000000aef0 00aef0 000dc0 10 AX 0 0 16 │ │ │ │ ├── readelf --wide --dynamic {} │ │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ 0x0000000000000008 (RELASZ) 4752 (bytes) │ │ │ │ │ 0x0000000000000009 (RELAENT) 24 (bytes) │ │ │ │ │ 0x000000006ffffff9 (RELACOUNT) 109 │ │ │ │ │ 0x0000000000000015 (DEBUG) 0x0 │ │ │ │ │ 0x0000000000000006 (SYMTAB) 0x330 │ │ │ │ │ 0x000000000000000b (SYMENT) 24 (bytes) │ │ │ │ │ 0x0000000000000005 (STRTAB) 0x2ec8 │ │ │ │ │ - 0x000000000000000a (STRSZ) 19642 (bytes) │ │ │ │ │ + 0x000000000000000a (STRSZ) 19646 (bytes) │ │ │ │ │ 0x000000006ffffef5 (GNU_HASH) 0x7b88 │ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libcvc4parser.so.7] │ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libreadline.so.8] │ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libcvc4.so.7] │ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libcln.so.6] │ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libstdc++.so.6] │ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libgcc_s.so.1] │ │ │ │ ├── readelf --wide --notes {} │ │ │ │ │ @@ -5,12 +5,12 @@ │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.ABI-tag │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000010 NT_GNU_ABI_TAG (ABI version tag) OS: Linux, ABI: 3.2.0 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ │ Owner Data size Description │ │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: b34c6d29179928c961d5e6ae803f3543729df79e │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: d77270ec638e71974e21c104354986124d8f914a │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ │ ├── readelf --wide --decompress --hex-dump=.dynstr {} │ │ │ │ │ @@ -1223,9 +1223,9 @@ │ │ │ │ │ 0x00007b08 69626376 63342e73 6f2e3700 6c696263 ibcvc4.so.7.libc │ │ │ │ │ 0x00007b18 6c6e2e73 6f2e3600 00000000 00000000 ln.so.6......... │ │ │ │ │ 0x00007b28 00000000 00000000 00000000 00000000 ................ │ │ │ │ │ 0x00007b38 00000000 00000000 00000000 00000000 ................ │ │ │ │ │ 0x00007b48 00000000 00000000 00000000 00000000 ................ │ │ │ │ │ 0x00007b58 00000000 00000000 00000000 00000000 ................ │ │ │ │ │ 0x00007b68 00000000 00000000 00000000 00000000 ................ │ │ │ │ │ - 0x00007b78 00000000 00000000 0000 .......... │ │ │ │ │ + 0x00007b78 00000000 00000000 00000000 0000 .............. │ │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ │┄ error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: │ │ │ │ │┄ readelf: Error: Unable to find program interpreter name │ │ │ │ │┄ readelf: Error: no .dynamic section in the dynamic segment │ │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ │ - 0x00000000 34633664 32393137 39393238 63393631 4c6d29179928c961 │ │ │ │ │ - 0x00000010 64356536 61653830 33663335 34333732 d5e6ae803f354372 │ │ │ │ │ - 0x00000020 39646637 39652e64 65627567 00000000 9df79e.debug.... │ │ │ │ │ - 0x00000030 bdc2a120 ... │ │ │ │ │ + 0x00000000 37323730 65633633 38653731 39373465 7270ec638e71974e │ │ │ │ │ + 0x00000010 32316331 30343335 34393836 31323464 21c104354986124d │ │ │ │ │ + 0x00000020 38663931 34612e64 65627567 00000000 8f914a.debug.... │ │ │ │ │ + 0x00000030 9c35e6b9 .5.. │ │ │ ├── ./usr/share/man/man1/cvc4.1.gz │ │ │ │ ├── cvc4.1 │ │ │ │ │ @@ -1,11 +1,11 @@ │ │ │ │ │ .\" Process this file with │ │ │ │ │ .\" groff -man -Tascii cvc4.1 │ │ │ │ │ .\" │ │ │ │ │ -.TH CVC4 1 "2022-10-29" "CVC4 release CVC4_RELEASE_STRING" "User Manuals" │ │ │ │ │ +.TH CVC4 1 "2022-10-30" "CVC4 release CVC4_RELEASE_STRING" "User Manuals" │ │ │ │ │ .SH NAME │ │ │ │ │ cvc4, pcvc4 \- an automated theorem prover │ │ │ │ │ .SH SYNOPSIS │ │ │ │ │ .B cvc4 [ │ │ │ │ │ .I options │ │ │ │ │ .B ] [ │ │ │ │ │ .I file │ │ │ ├── ./usr/share/man/man5/cvc4.5.gz │ │ │ │ ├── cvc4.5 │ │ │ │ │ @@ -1,11 +1,11 @@ │ │ │ │ │ .\" Process this file with │ │ │ │ │ .\" groff -man -Tascii cvc4.5 │ │ │ │ │ .\" │ │ │ │ │ -.TH CVC4 5 "2022-10-29" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation" │ │ │ │ │ +.TH CVC4 5 "2022-10-30" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation" │ │ │ │ │ .SH NAME │ │ │ │ │ cvc4 \- the native input language for CVC4 │ │ │ │ │ .SH DESCRIPTION │ │ │ │ │ .B cvc4 │ │ │ │ │ is an automated theorem prover for first-order formulas with respect │ │ │ │ │ to background theories of interest. ├── libcvc4-7_1.8-3_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2022-10-29 18:49:40.000000 debian-binary │ │ --rw-r--r-- 0 0 0 1216 2022-10-29 18:49:40.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 5992124 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 1212 2022-10-29 18:49:40.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 5995600 2022-10-29 18:49:40.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── ./usr/lib/x86_64-linux-gnu/libcvc4.so.7 │ │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ │ ├── readelf --wide --notes {} │ │ │ │ │ @@ -1,8 +1,8 @@ │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ │ Owner Data size Description │ │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: ecc706a5c056fed55f11b3ae612e0c7fc481ffea │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 36248cd85a156071448f81bdc6a890d600ff4ff8 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -44582,15 +44582,15 @@ │ │ │ │ │ theory::arith::iteMinMaxApplicatteConstantApplictheory::arith::attempt::searchTittempt::queueTimttempt::conflicttheory::arith::congruence::watchwatchedVariablesedVariableIsZeroedVariableIsNotZongruence::equalalsConstantCallsongruence::propaagateConstraintsongruence::confltheory::arith::ArithCongruenceMad::unatePropagatgateImplicationstheory::arith::dio::conflictCallh::dio::cutCalls::dio::conflictsio::conflictTimeh::dio::cutTimeris an integer variable created by the dio solverual::UpdateConflual::findConflicctOnTheQueueTimeual::simplexConfual::recentViolaViolationCatchesdual::searchTimedual::lastPivotstheory::arith::ppqueue::enqueuesqueue::enqueuesCqueuesCollectionqueue::enqueuesDqueue::enqueuesVeuesVarOrderModeollectionDuplicaarOrderModeDuplitheory::arith::FC::initialProcesC::UpdateConflic::FC::FoundUnsatth::FC::FoundSatrith::FC::MissedFC::ConstructionC::selectUpdateFpdateForDualLike::FC::lastPivotstheory::arith::utheory::arith::weakening::attempeakening::succesweakening::total:weakening::timetheory::arith::fh::forcing::time │ │ │ │ │ phase shifted trrigonometric argnumber of shiftstheory::arith::SOI::initialProceOI::UpdateConfli:SOI::FoundUnsath::SOI::FoundSatith::SOI::MissedOI::ConfMin::num:SOI::HasToBeMinSOI::MaybeNotMinOI::ConstructionOI::Conflict::Mict::Minimization::SOI::selectSOI:SOI::lastPivots::ppRewriteTimeran extensional lemma index variable from the thetheory of arraysskolem for compuuting signaturesabstraction function for bv theotheory::bv::algebraic::NumCallsTbraic::NumSimpliSimplifiesToTrueimplifiesToFalseebraic::NumUnsatlgebraic::NumSatbraic::NumUnknowbraic::SolveTimebraic::UseHeuristheory::bv::BitblastSolver::NumC:NumCallsToChecklastSolver::NumTNumTimesLemmasBBtheory::bv::lazytheory::bv::CoreSolver::NumCallsSolver::SlicerEntheory::bv::inequality::NumCallsuality::SolveTimtheory::bv::slicslicer::NumNodeser::NumRepresentlicer::NumSplitslicer::NumMergeser::AverageFindDer::NumEqualitietheory::bv::AvgBvgBVConflictSizetheory::bv::NumSolveSubstitutiontheory::bv::solvtheory::bv::NumFumFullCheckCallstandardCheckCalltheory::bv::weightComputationTimtheory::bv::NumMMultSliceAppliedeated by the theory of bitvectortheory::datatypeEagerProofGeneraA boolean variable asserted to be true to force force a restart │ │ │ │ │ floatingpoint_mant_max_zero_casefloatingpoint_mint_min_zero_casefloatingpoint_to_real_infinity_aity_and_NaN_casevariable to represent disjoint et extract regionfree infinity for virtual term serm substitutioninfinity for virtual term substifree delta for virtual term subsdelta for virtual term substitutConjectureGenerawas created by conjecture ground term enumeratorinternal op for dynamic_rewritersygus-rr-synth-iskolem created for full-model chop for full-model-model checkingop created durinring fun def fmfInstStrategyEnumInstantiate::Instantiations_TotaInstantiate::Dup::Duplicate_Instuplicate_Inst_Eqlicate_Inst_Entalicate_Inst_ModeQuantConflictFinind::Inst_Roundsd::Entailment_ChEPR base constancreated during sng skolemizationg pre-skolemizatsingle invocatioCannot get synth function: reconstruction to syno syntax failed.cegis_unif_num_e │ │ │ │ │ 000102030405060708091011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495293949596979899 │ │ │ │ │ miniscope-quant-SynthEngine::ceg:cegqi_lemmas_ceqi_lemmas_refine:cegqi_lemmas_siSynthConjecture:cture::solutions:filtered_soluti:candidate_rewrie_rewrites_printSygusEnumerator::enumTermsRewrit:enumTermsEvalExrator::enumTerms │ │ │ │ │ head of unif evaevaluation pointqe for non-ground single invocatqe for function in non-ground siingle invocationfor sygus invarivariance testingtemplate inferenference argumentnce rev argumentis a termDb fresb fresh variablepredicate to force higher-order purify for function operator teror term indexingTheoryQuantifiercardinality bound element for setheory::sets::eetheory::shared_tSharedTermsDatabconstant created during sort infg sort inferenceinjection for monotonicity consttheory::strings:rings::checkRunsgs::strategyRunsings::inferences:cdSimplificatioings::reductions:regexpUnfoldingtrings::rewrites:conflictsEqEngi:conflictsEagerP::conflictsInfer:lemmasEagerPrep::lemmasCmiSplit:lemmasRegisterTgisterTermAtomicngs::lemmasInferstring purify sk │ │ │ │ │ THEORY_SAT_SOLVEShared assertionmissed-t-conflictheory::quantifiuf_combined_cardCardinalityExtension::Clique_Consion::Clique_Lemsion::Split_Lemmsion::Disambiguauate_Term_Lemmassion::Totality_Lsion::Max_Model_is a cardinalityality lemma termenumeration to meet negative car card constraint │ │ │ │ │ -or extensionalit2022-10-29 06:49this expression contains an element of unknown type (such as an abstract value); its type cannot be computed until it is substitsubstituted awayProofCheckerStatistics::ruleChecistics::totalRulPRefProofGeneratTConvProofGenerais an unresolved selector type ptype placeholderis a shared seleis a constructorFilesystem accesss not permittedError in option option parsing: 1844674407370955 │ │ │ │ │ +or extensionalit2022-10-30 08:49this expression contains an element of unknown type (such as an abstract value); its type cannot be computed until it is substitsubstituted awayProofCheckerStatistics::ruleChecistics::totalRulPRefProofGeneratTConvProofGenerais an unresolved selector type ptype placeholderis a shared seleis a constructorFilesystem accesss not permittedError in option option parsing: 1844674407370955 │ │ │ │ │ resource::Bitblaresource::BvEagevEagerAssertStepresource::BvPropvPropagationStepresource::BvSatCSatConflictsStepresource::CnfSteresource::Decisiresource::LemmaSresource::ParseSresource::Preproresource::Quantiresource::Restarresource::Rewritresource::SatCon:SatConflictStepresource::Theory:TheoryCheckStep │ │ │ │ │ is a skolem variable imported from another ExprM │ │ │ │ │ unknown option fn for --uf-ss: ` │ │ │ │ │ Y@ffffff │ │ │ │ │ N4CVC47context10ContextObjE │ │ │ │ │ N4CVC47context16ContextNotifyObjE │ │ │ │ │ N4CVC47context6CDListINS_12NodeTemplateILb1EEENS0_14DefaultCleanUpIS3_EESaIS3_EEE │ │ │ │ ├── .text │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .fini │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .rodata │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .gcc_except_table │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .eh_frame │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .eh_frame_hdr │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .tbss │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .data.rel.ro.local │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .fini_array │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .init_array │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .data.rel.ro │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .got │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .got.plt │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .data │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .tm_clone_table │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .bss │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .gnu_debuglink │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .shstrtab │ │ │ │ │┄ Timeout exceeded; details may be incomplete. ├── libcvc4-dev_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4parser7_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── cvc4-dbgsym_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4-7-dbgsym_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4parser7-dbgsym_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete.