30.5 KB
/srv/reproducible-results/archlinuxrb-build-MBzN5OXx/b1/haskell-tamarin-prover-utils/haskell-tamarin-prover-utils-1.8.0-24-x86_64.pkg.tar.zst vs.
/srv/reproducible-results/archlinuxrb-build-MBzN5OXx/b2/haskell-tamarin-prover-utils/haskell-tamarin-prover-utils-1.8.0-24-x86_64.pkg.tar.zst
30.2 KB
haskell-tamarin-prover-utils-1.8.0-24-x86_64.pkg.tar
2.54 KB
file list
    
Offset 1, 17 lines modifiedOffset 1, 17 lines modified
1 -rw-r--r--···0·root·········(0)·root·········(0)·····7960·2024-03-07·21:10:29.000000·.BUILDINFO1 -rw-r--r--···0·root·········(0)·root·········(0)·····7960·2024-03-07·21:10:29.000000·.BUILDINFO
2 -rw-r--r--···0·root·········(0)·root·········(0)·····2628·2024-03-07·21:10:29.000000·.MTREE2 -rw-r--r--···0·root·········(0)·root·········(0)·····2626·2024-03-07·21:10:29.000000·.MTREE
3 -rw-r--r--···0·root·········(0)·root·········(0)······612·2024-03-07·21:10:29.000000·.PKGINFO3 -rw-r--r--···0·root·········(0)·root·········(0)······612·2024-03-07·21:10:29.000000·.PKGINFO
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/
10 -rw-r--r--···0·root·········(0)·root·········(0)·····2636·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Basics.dyn_hi10 -rw-r--r--···0·root·········(0)·root·········(0)·····2662·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Basics.dyn_hi
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/
12 -rw-r--r--···0·root·········(0)·root·········(0)····11975·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Bind.dyn_hi12 -rw-r--r--···0·root·········(0)·root·········(0)····11975·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Bind.dyn_hi
13 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj/13 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj/
14 -rw-r--r--···0·root·········(0)·root·········(0)·····5622·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj.dyn_hi14 -rw-r--r--···0·root·········(0)·root·········(0)·····5622·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj.dyn_hi
15 -rw-r--r--···0·root·········(0)·root·········(0)····10312·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj/Class.dyn_hi15 -rw-r--r--···0·root·········(0)·root·········(0)····10312·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj/Class.dyn_hi
16 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Fresh/16 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Fresh/
17 -rw-r--r--···0·root·········(0)·root·········(0)·····3484·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Fresh.dyn_hi17 -rw-r--r--···0·root·········(0)·root·········(0)·····3484·2024-03-07·21:10:29.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Fresh.dyn_hi
3.01 KB
.MTREE
3.0 KB
.MTREE-content
    
Offset 1, 20 lines modifiedOffset 1, 20 lines modified
1 #mtree1 #mtree
2 /set·type=file·uid=0·gid=0·mode=6442 /set·type=file·uid=0·gid=0·mode=644
3 ./.BUILDINFO·time=1709845829.0·size=7960·md5digest=76c50437fa5f9f7e1a3fe38fce273491·sha256digest=befa060d4bd5867907c2e136d5d38f37e484663b553dc2e4dd9f5b84ffb2ff6f3 ./.BUILDINFO·time=1709845829.0·size=7960·md5digest=76c50437fa5f9f7e1a3fe38fce273491·sha256digest=befa060d4bd5867907c2e136d5d38f37e484663b553dc2e4dd9f5b84ffb2ff6f
4 ./.PKGINFO·time=1709845829.0·size=612·md5digest=3dd9acc6747006ff311e0ab203e7e0c0·sha256digest=b98904098877ab013ea85af25edc549c0d680670f0345ceb353f5ca5969d4bd34 ./.PKGINFO·time=1709845829.0·size=612·md5digest=5b31abe953aeedea1c4d34ab4e4c9196·sha256digest=a1e76840ee5802b1d35cd0fc8c75baf07eac0f8a46a63dc706ae7f5dde087b36
5 /set·mode=7555 /set·mode=755
6 ./usr·time=1709845829.0·type=dir6 ./usr·time=1709845829.0·type=dir
7 ./usr/lib·time=1709845829.0·type=dir7 ./usr/lib·time=1709845829.0·type=dir
8 ./usr/lib/libHStamarin-prover-utils-1.8.0-5iXwfEzJ0lMGI8JzS9phJ6-ghc9.2.8.so·time=1709845829.0·size=738888·md5digest=4e8b4699364f2646fbcb53852e8f3036·sha256digest=3cb8b61782a506f4cb0c77ae06f1d1cccce1e9cc924bc3d1323105af530c1d728 ./usr/lib/libHStamarin-prover-utils-1.8.0-5iXwfEzJ0lMGI8JzS9phJ6-ghc9.2.8.so·time=1709845829.0·size=738888·md5digest=7dab9e7475c249d4a0d2336de0fb39b4·sha256digest=60613b8239875437d4ef52e2d83a138edbe7cd41f22f634467752a418cc9df26
9 ./usr/lib/ghc-9.2.8·time=1709845829.0·type=dir9 ./usr/lib/ghc-9.2.8·time=1709845829.0·type=dir
10 ./usr/lib/ghc-9.2.8/site-local·time=1709845829.0·type=dir10 ./usr/lib/ghc-9.2.8/site-local·time=1709845829.0·type=dir
11 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0·time=1709845829.0·type=dir11 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0·time=1709845829.0·type=dir
12 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control·time=1709845829.0·type=dir12 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control·time=1709845829.0·type=dir
13 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Basics.dyn_hi·time=1709845829.0·mode=644·size=2636·md5digest=8c7fbfbdd80b6b5c63149e7cb98734bc·sha256digest=9c53a98f84e986408684bce37d371dcbd4ab9cdb405a9b2ce243ce46acdfe56713 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Basics.dyn_hi·time=1709845829.0·mode=644·size=2662·md5digest=ce9e2a609fc9560501d5dc3818c132af·sha256digest=baeadadf74c4e49a92debc54bb05498f899a8936e23a7d404f8c8ff8efe2dbee
14 /set·mode=64414 /set·mode=644
15 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad·time=1709845829.0·mode=755·type=dir15 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad·time=1709845829.0·mode=755·type=dir
16 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Bind.dyn_hi·time=1709845829.0·size=11975·md5digest=932be1012269eee5ac90ea991b3d5f5a·sha256digest=144592129838f8a7bdde5f01fdf2984cfc0b7c29193f7a4615c509637628b08616 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Bind.dyn_hi·time=1709845829.0·size=11975·md5digest=932be1012269eee5ac90ea991b3d5f5a·sha256digest=144592129838f8a7bdde5f01fdf2984cfc0b7c29193f7a4615c509637628b086
17 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj.dyn_hi·time=1709845829.0·size=5622·md5digest=b6e1d7d72d1719c8e7e8261c3ac23872·sha256digest=61464796469e441218129563b11c422eacc10c98e05c94f586997bd1fbb1600417 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj.dyn_hi·time=1709845829.0·size=5622·md5digest=b6e1d7d72d1719c8e7e8261c3ac23872·sha256digest=61464796469e441218129563b11c422eacc10c98e05c94f586997bd1fbb16004
18 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Fresh.dyn_hi·time=1709845829.0·size=3484·md5digest=c55e2b308f043437c91c53a9944b8a9f·sha256digest=6402740b4d9eaa6e36f0cde0c38905e66e44ed35a09558680065cf2c646bfad918 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Fresh.dyn_hi·time=1709845829.0·size=3484·md5digest=c55e2b308f043437c91c53a9944b8a9f·sha256digest=6402740b4d9eaa6e36f0cde0c38905e66e44ed35a09558680065cf2c646bfad9
19 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj·time=1709845829.0·mode=755·type=dir19 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj·time=1709845829.0·mode=755·type=dir
20 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj/Class.dyn_hi·time=1709845829.0·size=10312·md5digest=da4da90d4a6440f5fa76c7f236c60a02·sha256digest=874498a0ad0087301a462380645b2502d31a5b1e06d54a339bcb237d4d95550d20 ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Monad/Disj/Class.dyn_hi·time=1709845829.0·size=10312·md5digest=da4da90d4a6440f5fa76c7f236c60a02·sha256digest=874498a0ad0087301a462380645b2502d31a5b1e06d54a339bcb237d4d95550d
532 B
.PKGINFO
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 pkgname·=·haskell-tamarin-prover-utils3 pkgname·=·haskell-tamarin-prover-utils
4 pkgbase·=·haskell-tamarin-prover-utils4 pkgbase·=·haskell-tamarin-prover-utils
5 pkgver·=·1.8.0-245 pkgver·=·1.8.0-24
6 pkgdesc·=·Utility·library·for·the·tamarin·prover6 pkgdesc·=·Utility·library·for·the·tamarin·prover
7 url·=·http://www.infsec.ethz.ch/research/software/tamarin7 url·=·http://www.infsec.ethz.ch/research/software/tamarin
8 builddate·=·17098458298 builddate·=·1709845829
9 packager·=·Reproducible·Arch·Linux·tests·<reproducible@archlinux.org>9 packager·=·Reproducible·Arch·Linux·tests·<reproducible@archlinux.org>
10 size·=·116629310 size·=·1166319
11 arch·=·x86_6411 arch·=·x86_64
12 license·=·GPL12 license·=·GPL
13 depend·=·ghc-libs13 depend·=·ghc-libs
14 depend·=·haskell-sha14 depend·=·haskell-sha
15 depend·=·haskell-base64-bytestring15 depend·=·haskell-base64-bytestring
16 depend·=·haskell-blaze-builder16 depend·=·haskell-blaze-builder
17 depend·=·haskell-dlist17 depend·=·haskell-dlist
22.5 KB
usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-1.8.0/Control/Basics.dyn_hi
    
Offset 1, 165 lines modifiedOffset 1, 167 lines modified
00000000:·01fa·ce64·0439·3032·3803·6479·6e00·000a··...d.9028.dyn...00000000:·01fa·ce64·0439·3032·3803·6479·6e00·000a··...d.9028.dyn...
00000010:·4b00·0006·4400·0004·7100·0001·0000·e1d2··K...D...q.......00000010:·6500·0006·5e00·0004·8b00·0001·0000·a6d9··e...^...........
00000020:·cbf2·a1cc·f1e8·56b0·e1da·8aab·8cca·e162··......V........b 
00000030:·dbd3·bce5·a5fd·eafd·4aa1·9fab·d0da·8d8b··........J....... 
00000040:·9ef5·01be·9ad9·ffac·b2c9·90f2·01fa·ffd4··................ 
00000050:·c98c·d088·8f8f·01be·84c2·cab5·bebf·9a4a··...............J00000020:·b0b7·8e91·dc91·e501·a68c·a8d0·fcd0·9cc6··................
 00000030:·72db·d3bc·e5a5·fdea·fd4a·a19f·abd0·da8d··r........J......
 00000040:·8b9e·f501·be9a·d9ff·acb2·c990·f201·faff··................
 00000050:·d4c9·8cd0·888f·8f01·be84·c2ca·b5be·bf9a··................
00000060:·cfe8·abc3·dde5·b9b1·d601·89c1·b6f0·dfb5··................00000060:·4acf·e8ab·c3dd·e5b9·b1d6·0189·c1b6·f0df··J...............
00000070:·a1dc·9301·f1be·d6fe·8492·8dfb·cd01·c9c2··................ 
00000080:·c7b5·ad82·908b·ad01·87c0·cc88·8bab·a79a··................ 
00000090:·4200·0000·0000·c600·0302·0103·0004·0002··B............... 
000000a0:·0002·0500·0206·0a00·0207·0002·0800·0209··................00000070:·b5a1·dc93·01f1·bed6·fe84·928d·fbcd·01c9··................
 00000080:·c2c7·b5ad·8290·8bad·0187·c0cc·888b·aba7··................
 00000090:·9a42·0000·0000·00c7·0003·0201·0300·0400··.B..............
 000000a0:·0200·0205·0002·060a·0002·0700·0208·0002··................
000000b0:·0002·0a00·020b·0002·0c00·020d·0002·0e00··................000000b0:·0900·020a·0002·0b00·020c·0002·0d00·020e··................
000000c0:·020f·0002·1000·0000·0143·0500·0002·07ac··.........C......000000c0:·0002·0f00·0210·0000·0001·5d06·0000·0207··..........].....
000000d0:·f8d7·b9f3·d88c·8348·e599·b4b2·f796·99b3··.......H........000000d0:·acf8·d7b9·f3d8·8c83·48e5·99b4·b2f7·9699··........H.......
000000e0:·ff01·0000·0002·08f7·bec4·8be7·8981·cbc3··................000000e0:·b3ff·0100·0000·0208·f7be·c48b·e789·81cb··................
000000f0:·01e9·cfc1·f0a9·ee9f·f15b·0000·0002·1188··.........[...... 
00000100:·f996·e388·cdc0·a1e1·01d9·93de·96fd·cfea··................ 
00000110:·de1d·0000·0002·0685·cad8·8dd5·a4a3·ad6d··...............m000000f0:·c301·e9cf·c1f0·a9ee·9ff1·5b00·0000·0211··..........[.....
 00000100:·88f9·96e3·88cd·c0a1·e101·d993·de96·fdcf··................
 00000110:·eade·1d00·0000·0212·d885·e0b7·f991·cfe7··................
00000120:·d6b5·b6c2·f58d·9ab4·df01·0000·0002·1289··................00000120:·e501·b8a8·f5d8·90b0·abf0·a101·0000·0002··................
00000130:·9ff0·b7d0·c191·ef64·c083·dfe9·c6cb·cf9f··.......d........ 
00000140:·d201·003f·0000·0000·0001·0000·0200·0003··...?............ 
00000150:·0000·0400·0005·0000·0600·0007·0000·0800··................00000130:·0685·cad8·8dd5·a4a3·ad6d·d6b5·b6c2·f58d··.........m......
 00000140:·9ab4·df01·0000·0002·1389·9ff0·b7d0·c191··................
 00000150:·ef64·c083·dfe9·c6cb·cf9f·d201·003f·0000··.d...........?..
00000160:·0009·0000·0a00·000b·0000·0c00·000d·0000··................00000160:·0000·0001·0000·0200·0003·0000·0400·0005··................
00000170:·0e00·000f·0000·c281·80e0·0800·0010·0000··................ 
00000180:·1100·0012·0000·1300·0014·0000·1500·0016··................ 
00000190:·0000·1700·0018·0000·1900·001a·0000·1b00··................00000170:·0000·0600·0007·0000·0800·0009·0000·0a00··................
000001a0:·001c·0000·1d00·001e·0000·1f00·0020·0000··.............·..00000180:·000b·0000·0c00·000d·0000·0e00·000f·0000··................
 00000190:·c281·80e0·0800·0010·0000·1100·0012·0000··................
 000001a0:·1300·0014·0000·1500·0016·0000·1700·0018··................
 000001b0:·0000·1900·001a·0000·1b00·001c·0000·1d00··................
 000001c0:·001e·0000·1f00·0020·0000·2100·00ee·8580··.......·..!.....
 000001d0:·e008·0000·2200·0023·0000·2400·0025·0000··...."..#..$..%..
 000001e0:·2600·0027·0000·2800·0029·012a·0300·2a00··&..'..(..).*..*.
 000001f0:·2b01·1400·012c·012d·0300·2d00·2e01·1500··+....,.-..-.....
 00000200:·012f·0130·0300·3000·3101·1600·0132·0133··./.0..0.1....2.3
 00000210:·0600·3300·3400·3500·b481·80e0·0800·b681··..3.4.5.........
 00000220:·80e0·0800·3601·3702·0037·00b7·8180·e008··....6.7..7......
 00000230:·0138·0500·3800·3900·3a00·3b00·b881·80e0··.8..8.9.:.;.....
 00000240:·0801·3c02·003c·00b9·8180·e008·013d·0200··..<..<.......=..
 00000250:·3d00·3e01·3f02·003f·0040·0141·0200·4100··=.>.?..?.@.A..A.
 00000260:·4201·4303·0043·0044·0117·0001·4501·9d80··B.C..C.D....E...
000001b0:·2100·00ee·8580·e008·0000·2200·0023·0000··!........."..#.. 
000001c0:·2400·0025·0000·2600·0027·0000·2800·0029··$..%..&..'..(..) 
000001d0:·012a·0300·2a00·2b01·1300·012c·012d·0300··.*..*.+....,.-.. 
000001e0:·2d00·2e01·1400·012f·0130·0300·3000·3101··-....../.0..0.1. 
000001f0:·1500·0132·0133·0600·3300·3400·3500·b481··...2.3..3.4.5... 
00000200:·80e0·0800·b681·80e0·0800·3601·3702·0037··..........6.7..7 
00000210:·00b7·8180·e008·0138·0500·3800·3900·3a00··.......8..8.9.:. 
00000220:·3b00·b881·80e0·0801·3c02·003c·00b9·8180··;.......<..<.... 
00000230:·e008·013d·0200·3d00·3e01·3f02·003f·0040··...=..=.>.?..?.@ 
00000240:·0141·0200·4100·4201·4303·0043·0044·0116··.A..A.B.C..C.D.. 
00000250:·0001·4501·9d80·80e4·0802·009d·8080·e408··..E............. 
00000260:·00b0·8180·e008·0146·0300·4600·4701·1700··.......F..F.G... 
00000270:·0148·01a4·8080·e408·0200·4900·4a01·4b05··.H........I.J.K. 
00000280:·004b·004c·004d·004e·004f·01a2·8080·e408··.K.L.M.N.O...... 
00000290:·0600·a280·80e4·0800·f185·80e0·0800·5000··..............P. 
000002a0:·ef85·80e0·0800·5100·f085·80e0·0801·8a80··......Q......... 
000002b0:·80e4·0803·008a·8080·e408·0052·00ad·8180··...........R....00000270:·80e4·0802·009d·8080·e408·00b0·8180·e008··................
 00000280:·0146·0300·4600·4701·1800·0148·01a4·8080··.F..F.G....H....
 00000290:·e408·0200·4900·4a01·4b05·004b·004c·004d··....I.J.K..K.L.M
 000002a0:·004e·004f·01a2·8080·e408·0600·a280·80e4··.N.O............
 000002b0:·0800·f185·80e0·0800·5000·ef85·80e0·0800··........P.......
 000002c0:·5100·f085·80e0·0801·8a80·80e4·0803·008a··Q...............
 000002d0:·8080·e408·0052·00ad·8180·e008·0188·8080··.....R..........
000002c0:·e008·0188·8080·e408·0400·8880·80e4·0800··................000002e0:·e408·0400·8880·80e4·0800·ac81·80e0·0800··................
 000002f0:·ab81·80e0·0800·ae81·80e0·0801·5303·0053··............S..S
 00000300:·0054·0055·bfcb·e5e0·8bd5·84e0·c901·fcf1··.T.U............
 00000310:·d38f·f0b5·e69b·a901·0000·0000·031f·0000··................
 00000320:·0003·2400·05d2·f3c8·d7f0·f4ba·f7d8·01ed··..$.............
 00000330:·90b6·90c9·adb5·8b6e·0056·0000·035d·05fe··.......n.V...]..
000002d0:·ac81·80e0·0800·ab81·80e0·0800·ae81·80e0··................ 
000002e0:·0801·5303·0053·0054·0055·bfcb·e5e0·8bd5··..S..S.T.U...... 
000002f0:·84e0·c901·fcf1·d38f·f0b5·e69b·a901·0000··................ 
00000300:·0000·0305·0000·0003·0a00·05d2·f3c8·d7f0··................ 
00000310:·f4ba·f7d8·01ed·90b6·90c9·adb5·8b6e·0056··.............n.V 
00000320:·0000·0343·05fe·8080·ec08·0000·0100·0304··...C............ 
00000330:·0702·8181·80ec·0802·0000·0005·050b·570b··..............W. 
00000340:·580b·59cd·c2e2·c0a7·b0e8·caee·01d7·fab0··X.Y............. 
00000350:·eff5·b9df·9741·0059·0000·0378·0584·8180··.....A.Y...x.... 
00000360:·ec08·0000·0100·0304·0702·8781·80ec·0802··................00000340:·8080·ec08·0000·0100·0304·0702·8181·80ec··................
00000370:·0000·0005·0b5a·0b5b·e8ec·85c6·cae8·b9b4··.....Z.[........ 
00000380:·098b·80a6·deed·ccbd·b977·005b·0000·03b3··.........w.[.... 
00000390:·0582·8080·e608·0000·0100·0304·0704·0200··................ 
000003a0:·0000·0901·0e43·6f6e·7472·6f6c·2e42·6173··.....Control.Bas 
000003b0:·6963·738f·929f·aca0·bb8e·ec4a·f08a·bcc7··ics........J.... 
000003c0:·e8d4·eb8b·4a00·5800·0003·e705·8481·80ec··....J.X......... 
000003d0:·0800·0001·0003·0407·0287·8180·ec08·0200··................ 
000003e0:·0000·050b·5a0b·5c99·dbd3·d4b2·dadc·c242··....Z.\........B 
000003f0:·faf2·fbf9·f7c7·f9c9·0900·5c00·0004·4505··..........\...E. 
00000400:·8280·80e6·0800·0001·0003·0407·0402·0000··................ 
00000410:·0009·0131·7461·6d61·7269·6e2d·7072·6f76··...1tamarin-prov 
00000420:·6572·2d75·7469·6c73·2d31·2e38·2e30·2d35··er-utils-1.8.0-5 
00000430:·6958·7766·457a·4a30·6c4d·4749·384a·7a53··iXwfEzJ0lMGI8JzS 
00000440:·3970·684a·3600·0000·0004·4c00·c7f9·f7e9··9phJ6.....L..... 
00000450:·84df·a69f·69ae·bcf1·de85·c083·b21e·0004··....i........... 
00000460:·0000·0000·0467·0000·0004·6c00·0000·0471··.....g....l....q 
00000470:·00dd·0000·0207·0018·0002·0800·1900·0208··................00000350:·0802·0000·0005·050b·570b·580b·59cd·c2e2··........W.X.Y...
 00000360:·c0a7·b0e8·caee·01d7·fab0·eff5·b9df·9741··...............A
 00000370:·0059·0000·0392·0584·8180·ec08·0000·0100··.Y..............
 00000380:·0304·0702·8781·80ec·0802·0000·0005·0b5a··...............Z
 00000390:·0b5b·e8ec·85c6·cae8·b9b4·098b·80a6·deed··.[..............
 000003a0:·ccbd·b977·005b·0000·03cd·0582·8080·e608··...w.[..........
 000003b0:·0000·0100·0304·0704·0200·0000·0901·0e43··...............C
 000003c0:·6f6e·7472·6f6c·2e42·6173·6963·738f·929f··ontrol.Basics...
 000003d0:·aca0·bb8e·ec4a·f08a·bcc7·e8d4·eb8b·4a00··.....J........J.
 000003e0:·5800·0004·0105·8481·80ec·0800·0001·0003··X...............
 000003f0:·0407·0287·8180·ec08·0200·0000·050b·5a0b··..............Z.
 00000400:·5c99·dbd3·d4b2·dadc·c242·faf2·fbf9·f7c7··\........B......
 00000410:·f9c9·0900·5c00·0004·5f05·8280·80e6·0800··....\..._.......
 00000420:·0001·0003·0407·0402·0000·0009·0131·7461··.............1ta
 00000430:·6d61·7269·6e2d·7072·6f76·6572·2d75·7469··marin-prover-uti
 00000440:·6c73·2d31·2e38·2e30·2d35·6958·7766·457a··ls-1.8.0-5iXwfEz
 00000450:·4a30·6c4d·4749·384a·7a53·3970·684a·3600··J0lMGI8JzS9phJ6.
 00000460:·0000·0004·6600·c7f9·f7e9·84df·a69f·69ae··....f.........i.
 00000470:·bcf1·de85·c083·b21e·0004·0000·0000·0481··................
 00000480:·0000·0004·8600·0000·048b·00dd·0000·0207··................
00000480:·001a·0002·0800·1b00·0208·001c·0002·0800··................00000490:·0019·0002·0800·1a00·0208·001b·0002·0800··................
Max diff block lines reached; -1/22845 bytes (-0.00%) of diff not shown.
1.57 KB
usr/lib/libHStamarin-prover-utils-1.8.0-5iXwfEzJ0lMGI8JzS9phJ6-ghc9.2.8.so
File has been modified after NT_GNU_BUILD_ID has been applied.
824 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature·used:·x86,·XMM3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature·used:·x86,·XMM
  
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:·fa3879eb34f94af0ccae07ec1e20e7809d4fad5f6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·51df4a4b8cfdfecfca887905beb84486178041f4
  
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
573 B
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·6c696248·5374616d·6172696e·2d70726f·libHStamarin-pro2 ··0x00000000·6c696248·5374616d·6172696e·2d70726f·libHStamarin-pro
3 ··0x00000010·7665722d·7574696c·732d312e·382e302d·ver-utils-1.8.0-3 ··0x00000010·7665722d·7574696c·732d312e·382e302d·ver-utils-1.8.0-
4 ··0x00000020·35695877·66457a4a·306c4d47·49384a7a·5iXwfEzJ0lMGI8Jz4 ··0x00000020·35695877·66457a4a·306c4d47·49384a7a·5iXwfEzJ0lMGI8Jz
5 ··0x00000030·53397068·4a362d67·6863392e·322e382e·S9phJ6-ghc9.2.8.5 ··0x00000030·53397068·4a362d67·6863392e·322e382e·S9phJ6-ghc9.2.8.
6 ··0x00000040·736f2e64·65627567·00000000·84ece2b5·so.debug........6 ··0x00000040·736f2e64·65627567·00000000·a85da9d5·so.debug.....]..