⊟
8.54 KB
/srv/reproducible-results/rbuild-debian/r-b-build.yLFbXhu7/b1/cvc4_1.8-3_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.yLFbXhu7/b2/cvc4_1.8-3_i386.changes
⊟
1.2 KB
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·4020820da29422e4e20469b7afc4c9d1·1015668·debug·optional·cvc4-dbgsym_1.8-3_i386.deb 
2 ·961372611ade544d97270cba4d2cc206·82684·math·optional·cvc4_1.8-3_i386.deb 
3 ·455d8276781a638a4f6de62e4f5a080c·195649016·debug·optional·libcvc4-7-dbgsym_1.8-3_i386.deb 
4 ·3b323584042957dbfdeacc25293325ca·6703480·libs·optional·libcvc4-7_1.8-3_i386.deb 
5 ·0cadd16358ced62044a5db28c6dd70ca·131180·libdevel·optional·libcvc4-dev_1.8-3_i386.deb 
6 ·fb77106132e0c72c36a0993d714a6052·5324160·debug·optional·libcvc4parser7-dbgsym_1.8-3_i386.deb 
7 ·8d53cc959a734afc425a0ef2ae272701·388160·libs·optional·libcvc4parser7_1.8-3_i386.deb1 ·e30543434e58ac410bf5bdccda2712bb·1015572·debug·optional·cvc4-dbgsym_1.8-3_i386.deb
 2 ·504c52e90193b227e4efe03838ff6546·82696·math·optional·cvc4_1.8-3_i386.deb
 3 ·4c85b9f42ed38c0af5fa53346473fd29·195649128·debug·optional·libcvc4-7-dbgsym_1.8-3_i386.deb
 4 ·9c7e0006f4f87305da58cc05ccf1cef4·6702064·libs·optional·libcvc4-7_1.8-3_i386.deb
 5 ·e0445b89d7206e74f2e206e4d1cb7098·131168·libdevel·optional·libcvc4-dev_1.8-3_i386.deb
 6 ·98a2269672b60131570753aacd68e9f2·5323928·debug·optional·libcvc4parser7-dbgsym_1.8-3_i386.deb
 7 ·9491b3e2f279dd5486c4be041c2eccb3·388392·libs·optional·libcvc4parser7_1.8-3_i386.deb
⊟
4.2 KB
cvc4_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·····1480·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1480·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0····81012·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0····81024·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:·37fbdb3e7f2b9579cac39557c7a906fbd57f52e66 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·3af4cfdff57e5a076932d2f938ab2e2711a5726d
  
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·66626462·33653766·32623935·37396361·fbdb3e7f2b9579ca 
3 ··0x00000010·63333935·35376337·61393036·66626435·c39557c7a906fbd52 ··0x00000000·66346366·64666635·37653561·30373639·f4cfdff57e5a0769
 3 ··0x00000010·33326432·66393338·61623265·32373131·32d2f938ab2e2711
4 ··0x00000020·37663532·65362e64·65627567·00000000·7f52e6.debug....4 ··0x00000020·61353732·36642e64·65627567·00000000·a5726d.debug....
5 ··0x00000030·7d084ee9····························}.N.5 ··0x00000030·0169964e····························.i.N
  
⊟
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.
  
⊟
2.47 KB
libcvc4-7_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·····1212·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1208·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6702076·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0··6700664·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
⊟
1.89 KB
data.tar.xz
⊟
1.87 KB
data.tar
⊟
1.85 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:·809be454eb128b2d455308bf9af9c55b6b8a44223 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b3f053afded982a5658e0564f51604cbc175a9b9
  
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
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
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 242