⊟
9.59 KB
/srv/reproducible-results/rbuild-debian/r-b-build.3m1tkz0C/b1/cvc4_1.8-3_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.3m1tkz0C/b2/cvc4_1.8-3_i386.changes
⊟
1.2 KB
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·4897554bb9b840e279190a01a60b9bc4·1015660·debug·optional·cvc4-dbgsym_1.8-3_i386.deb 
2 ·a05630f644c042388de3a586d0ba58e2·82668·math·optional·cvc4_1.8-3_i386.deb 
3 ·9068feeac74b1c039d0e1a0f1c56ef91·195648584·debug·optional·libcvc4-7-dbgsym_1.8-3_i386.deb 
4 ·785aab43a0d94e6b4eaaad4408631798·6701728·libs·optional·libcvc4-7_1.8-3_i386.deb 
5 ·0cadd16358ced62044a5db28c6dd70ca·131180·libdevel·optional·libcvc4-dev_1.8-3_i386.deb 
6 ·7db728c22835388d14f3941c72f375a9·5324244·debug·optional·libcvc4parser7-dbgsym_1.8-3_i386.deb 
7 ·f290a5b7b7778bd18fda685af6478bc4·388016·libs·optional·libcvc4parser7_1.8-3_i386.deb1 ·a72569501533634201a17bdffb8cffc6·1015608·debug·optional·cvc4-dbgsym_1.8-3_i386.deb
 2 ·235ed57618e8de61ecbb1d4c59cfe882·82632·math·optional·cvc4_1.8-3_i386.deb
 3 ·09543d0c750d4b9339f8e050cb1df16c·195649520·debug·optional·libcvc4-7-dbgsym_1.8-3_i386.deb
 4 ·6ce6f7c0c4f1631e2df7e9561a4b6cbe·6702604·libs·optional·libcvc4-7_1.8-3_i386.deb
 5 ·e0445b89d7206e74f2e206e4d1cb7098·131168·libdevel·optional·libcvc4-dev_1.8-3_i386.deb
 6 ·8d0bf3e67bfa235a101b731cd4608747·5324184·debug·optional·libcvc4parser7-dbgsym_1.8-3_i386.deb
 7 ·1b271baa677db0044fb576907d06b54b·388036·libs·optional·libcvc4parser7_1.8-3_i386.deb
⊟
4.28 KB
cvc4_1.8-3_i386.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary
2 -rw-r--r--···0········0········0·····1480·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1476·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0····80996·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0····80964·2022-10-29·18:49:40.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
3.71 KB
data.tar.xz
⊟
3.68 KB
data.tar
⊟
1.04 KB
file list
    
Offset 24, 8 lines modifiedOffset 24, 8 lines modified
24 -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS24 -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS
25 -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz25 -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz
26 -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright26 -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright
27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/
28 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/28 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/
29 -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz29 -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz
30 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/30 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/
31 -rw-r--r--···0·root·········(0)·root·········(0)······394·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz31 -rw-r--r--···0·root·········(0)·root·········(0)······393·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz
⊟
1.72 KB
./usr/bin/cvc4
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
810 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.ABI-tag1 Displaying·notes·found·in:·.note.ABI-tag
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.03 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·5db81e384c3c8bd4d6f2718ccd2d6caad60f2b796 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d2f3bb303456423150dbf03b171bb2a4aece3d25
  
7 Displaying·notes·found·in:·.note.gnu.gold-version7 Displaying·notes·found·in:·.note.gnu.gold-version
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.169 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
866 B
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
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·62383165·33383463·33633862·64346436·b81e384c3c8bd4d6 
3 ··0x00000010·66323731·38636364·32643663·61616436·f2718ccd2d6caad62 ··0x00000000·66336262·33303334·35363432·33313530·f3bb303456423150
 3 ··0x00000010·64626630·33623137·31626232·61346165·dbf03b171bb2a4ae
4 ··0x00000020·30663262·37392e64·65627567·00000000·0f2b79.debug....4 ··0x00000020·63653364·32352e64·65627567·00000000·ce3d25.debug....
5 ··0x00000030·aa84607f····························..`.5 ··0x00000030·6597f2fd····························e...
  
⊟
412 B
./usr/share/man/man1/cvc4.1.gz
⊟
352 B
cvc4.1
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 .\"·Process·this·file·with1 .\"·Process·this·file·with
2 .\"·groff·-man·-Tascii·cvc4.12 .\"·groff·-man·-Tascii·cvc4.1
3 .\"3 .\"
4 .TH·CVC4·1·"2022-10-29"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals"4 .TH·CVC4·1·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals"
5 .SH·NAME5 .SH·NAME
6 cvc4,·pcvc4·\-·an·automated·theorem·prover6 cvc4,·pcvc4·\-·an·automated·theorem·prover
7 .SH·SYNOPSIS7 .SH·SYNOPSIS
8 .B·cvc4·[8 .B·cvc4·[
9 .I·options9 .I·options
10 .B·]·[10 .B·]·[
11 .I·file11 .I·file
⊟
515 B
./usr/share/man/man5/cvc4.5.gz
⊟
455 B
cvc4.5
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 .\"·Process·this·file·with1 .\"·Process·this·file·with
2 .\"·groff·-man·-Tascii·cvc4.52 .\"·groff·-man·-Tascii·cvc4.5
3 .\"3 .\"
4 .TH·CVC4·5·"2022-10-29"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation"4 .TH·CVC4·5·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation"
5 .SH·NAME5 .SH·NAME
6 cvc4·\-·the·native·input·language·for·CVC46 cvc4·\-·the·native·input·language·for·CVC4
7 .SH·DESCRIPTION7 .SH·DESCRIPTION
8 .B·cvc48 .B·cvc4
9 is·an·automated·theorem·prover·for·first-order·formulas·with·respect9 is·an·automated·theorem·prover·for·first-order·formulas·with·respect
10 to·background·theories·of·interest.10 to·background·theories·of·interest.
  
⊟
3.44 KB
libcvc4-7_1.8-3_i386.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary
2 -rw-r--r--···0········0········0·····1212·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1212·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6700324·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0··6701200·2022-10-29·18:49:40.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
2.94 KB
data.tar.xz
⊟
2.91 KB
data.tar
⊟
2.9 KB
./usr/lib/i386-linux-gnu/libcvc4.so.7
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·5fcd379e726074beb1bedde88ac2ff6946a65c623 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d40c271d233791efb984443242d097a9332a8986
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
1.1 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:4304194296 ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:430
4194297 »       mov····%edx,%ecx4194297 »       mov····%edx,%ecx
4194298 »       and····$0xfffff00,%ecx4194298 »       and····$0xfffff00,%ecx
4194299 »       cmp····$0xffffe00,%ecx4194299 »       cmp····$0xffffe00,%ecx
4194300 »       jne····cab1ec·<std::_Hashtable<CVC4::NodeTemplate<false>,·std::pair<CVC4::NodeTemplate<false>·const,·unsigned·int>,·std::allocator<std::pair<CVC4::NodeTemplate<false>·const,·unsigned·int>·>,·std::__detail::_Select1st,·std::equal_to<CVC4::NodeTemplate<false>·>,·CVC4::TNodeHashFunction,·std::__detail::_Mod_range_hashing,·std::__detail::_Default_ranged_hash,·std::__detail::_Prime_rehash_policy,·std::__detail::_Hashtable_traits<true,·false,·true>·>::find(CVC4::NodeTemplate<false>·const&)@@Base+0x20ac>4194300 »       jne····cab1ec·<std::_Hashtable<CVC4::NodeTemplate<false>,·std::pair<CVC4::NodeTemplate<false>·const,·unsigned·int>,·std::allocator<std::pair<CVC4::NodeTemplate<false>·const,·unsigned·int>·>,·std::__detail::_Select1st,·std::equal_to<CVC4::NodeTemplate<false>·>,·CVC4::TNodeHashFunction,·std::__detail::_Mod_range_hashing,·std::__detail::_Default_ranged_hash,·std::__detail::_Prime_rehash_policy,·std::__detail::_Hashtable_traits<true,·false,·true>·>::find(CVC4::NodeTemplate<false>·const&)@@Base+0x20ac>
4194301 ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:4314194301 ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:431
4194302 »       add····$0x1,%eax4194302 »       add····$0x1,%eax
4194303 [·Too·much·input·for·diff·(SHA256:·f7aaae03d964182fe6496e93d2c1011e4ba3b3aa9d3da2827e2f2e1e88eac0dd)·]4194303 [·Too·much·input·for·diff·(SHA256:·5988ea0f7e29f94245f4aaf1ca67ef16c5031ca795860d5174173d46077c6400)·]
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
80.0 B
.data.rel.ro.local
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.got.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.tm_clone_table
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu_debuglink
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
96.0 B
libcvc4-dev_1.8-3_i386.deb
Timeout exceeded; details may be incomplete.
⊟
102 B
libcvc4parser7_1.8-3_i386.deb
Timeout exceeded; details may be incomplete.
⊟
96.0 B
cvc4-dbgsym_1.8-3_i386.deb
Timeout exceeded; details may be incomplete.
⊟
106 B
libcvc4-7-dbgsym_1.8-3_i386.deb
Timeout exceeded; details may be incomplete.
⊟
116 B
libcvc4parser7-dbgsym_1.8-3_i386.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 240