⊟
9.09 KB
/srv/reproducible-results/rbuild-debian/r-b-build.tV4BDlPP/b1/cvc4_1.8-3_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.tV4BDlPP/b2/cvc4_1.8-3_arm64.changes
⊟
1.22 KB
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·f9008c3033a999d9b1f7e94653af0434·1008840·debug·optional·cvc4-dbgsym_1.8-3_arm64.deb 
2 ·8c2ea4e49d0c70508cc93203c2498601·75588·math·optional·cvc4_1.8-3_arm64.deb 
3 ·9a068edd334cbdefe1fb235ab339bd1b·195153416·debug·optional·libcvc4-7-dbgsym_1.8-3_arm64.deb 
4 ·10ab277d33b495b29db62a8c750f15a9·5008976·libs·optional·libcvc4-7_1.8-3_arm64.deb 
5 ·681f0e13b2d50d38677091acf1fab22e·131188·libdevel·optional·libcvc4-dev_1.8-3_arm64.deb 
6 ·da513b5c04d42ae6b304d619321daabc·5291236·debug·optional·libcvc4parser7-dbgsym_1.8-3_arm64.deb 
7 ·9be8cd1f849c3e59f291a6aad9b706ad·323052·libs·optional·libcvc4parser7_1.8-3_arm64.deb1 ·064b67225f95064ea2bd4d7e18fba619·1008784·debug·optional·cvc4-dbgsym_1.8-3_arm64.deb
 2 ·e06162ab689adb7532834635e92cfcd7·75572·math·optional·cvc4_1.8-3_arm64.deb
 3 ·f5535ec36576f001c7a885a3a99f4412·195161160·debug·optional·libcvc4-7-dbgsym_1.8-3_arm64.deb
 4 ·b18bd0ad53dac4ec24889fa5fae3424a·5011572·libs·optional·libcvc4-7_1.8-3_arm64.deb
 5 ·467889f52d010aafdc7475ffe12143bf·131176·libdevel·optional·libcvc4-dev_1.8-3_arm64.deb
 6 ·f1a6f3425343752f944b2778877d026b·5291264·debug·optional·libcvc4parser7-dbgsym_1.8-3_arm64.deb
 7 ·db0126d609acc8f076b459b0423baaef·323088·libs·optional·libcvc4parser7_1.8-3_arm64.deb
⊟
4.2 KB
cvc4_1.8-3_arm64.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·····1476·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····73920·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0····73904·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.7.03 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.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:·8a0edbdfb9125af2c607ab913c3cd477b7fbe86b6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b03cfb201ed2fe1892d6f8cbe8b3618a3460aee6
  
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·30656462·64666239·31323561·66326336·0edbdfb9125af2c6 
3 ··0x00000010·30376162·39313363·33636434·37376237·07ab913c3cd477b72 ··0x00000000·33636662·32303165·64326665·31383932·3cfb201ed2fe1892
 3 ··0x00000010·64366638·63626538·62333631·38613334·d6f8cbe8b3618a34
4 ··0x00000020·66626538·36622e64·65627567·00000000·fbe86b.debug....4 ··0x00000020·36306165·65362e64·65627567·00000000·60aee6.debug....
5 ··0x00000030·39ffba8b····························9...5 ··0x00000030·b7307e9c····························.0~.
  
⊟
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.99 KB
libcvc4-7_1.8-3_arm64.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··5007572·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0··5010168·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.49 KB
data.tar.xz
⊟
2.46 KB
data.tar
⊟
2.45 KB
./usr/lib/aarch64-linux-gnu/libcvc4.so.7
⊟
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:·b5160368a00adab7116a8eb8f2cae9895071f1fc3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·040e120345a5345ec88eded41cab1dfe21acb777
  
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
⊟
777 B
strings --all --bytes=8 {}
    
Offset 22314, 15 lines modifiedOffset 22314, 15 lines modified
22314 EQUALITY_UNKNOWN22314 EQUALITY_UNKNOWN
22315 ./src/theory/valuation.cpp22315 ./src/theory/valuation.cpp
22316 std::ostream&·CVC4::theory::operator<<(std::ostream&,·EqualityStatus)22316 std::ostream&·CVC4::theory::operator<<(std::ostream&,·EqualityStatus)
22317 Fatal·failure·within·22317 Fatal·failure·within·
22318 '·is·a·bad·argument;·expected·22318 '·is·a·bad·argument;·expected·
22319 ·to·hold22319 ·to·hold
22320 Illegal·argument·detected22320 Illegal·argument·detected
22321 2022-10-29·06:49:4022321 2022-10-30·08:49:40
22322 Copyright·(c)·2009-2020·by·the·authors·and·their·institutional22322 Copyright·(c)·2009-2020·by·the·authors·and·their·institutional
22323 affiliations·listed·at·http://cvc4.cs.stanford.edu/authors22323 affiliations·listed·at·http://cvc4.cs.stanford.edu/authors
22324 This·build·of·CVC4·uses·GPLed·libraries,·and·is·thus·covered·by22324 This·build·of·CVC4·uses·GPLed·libraries,·and·is·thus·covered·by
22325 the·GNU·General·Public·License·(GPL)·version·3.··Versions·of·CVC422325 the·GNU·General·Public·License·(GPL)·version·3.··Versions·of·CVC4
22326 are·available·that·are·covered·by·the·(modified)·BSD·license.·If22326 are·available·that·are·covered·by·the·(modified)·BSD·license.·If
22327 you·want·to·license·CVC4·under·this·license,·please·configure·CVC422327 you·want·to·license·CVC4·under·this·license,·please·configure·CVC4
22328 with·the·"--no-gpl"·option·before·building·from·sources.22328 with·the·"--no-gpl"·option·before·building·from·sources.
⊟
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.
⊟
98.0 B
libcvc4-dev_1.8-3_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
104 B
libcvc4parser7_1.8-3_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
98.0 B
cvc4-dbgsym_1.8-3_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
108 B
libcvc4-7-dbgsym_1.8-3_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
libcvc4parser7-dbgsym_1.8-3_arm64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 240