| Offset 1, 9 lines modified | Offset 1, 9 lines modified | ||
| 1 | -rw-r--r--···0·root·········(0)·root·········(0)····10648·2024-03-08·11:35:55.000000·.BUILDINFO | 1 | -rw-r--r--···0·root·········(0)·root·········(0)····10648·2024-03-08·11:35:55.000000·.BUILDINFO |
| 2 | -rw-r--r--···0·root·········(0)·root·········(0)·····661 | 2 | -rw-r--r--···0·root·········(0)·root·········(0)·····6617·2024-03-08·11:35:55.000000·.MTREE |
| 3 | -rw-r--r--···0·root·········(0)·root·········(0)······851·2024-03-08·11:35:55.000000·.PKGINFO | 3 | -rw-r--r--···0·root·········(0)·root·········(0)······851·2024-03-08·11:35:55.000000·.PKGINFO |
| 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/ | 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/ |
| 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ |
| 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/ |
| 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/site-local/ | 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/site-local/ |
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/ |
| 9 | -rw-r--r--···0·root·········(0)·root·········(0)····59367·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/ClosedTheory.dyn_hi | 9 | -rw-r--r--···0·root·········(0)·root·········(0)····59367·2024-03-08·11:35:55.000000·usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/ClosedTheory.dyn_hi |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | #mtree | 1 | #mtree |
| 2 | /set·type=file·uid=0·gid=0·mode=644 | 2 | /set·type=file·uid=0·gid=0·mode=644 |
| 3 | ./.BUILDINFO·time=1709897755.0·size=10648·md5digest=b05480d6992a5e7feb6ee5a91aef695a·sha256digest=f20f7a5e0f4acb24b8f9b917ddc760ece86ce2e1a7e10cc39c7fcb51125c0f9e | 3 | ./.BUILDINFO·time=1709897755.0·size=10648·md5digest=b05480d6992a5e7feb6ee5a91aef695a·sha256digest=f20f7a5e0f4acb24b8f9b917ddc760ece86ce2e1a7e10cc39c7fcb51125c0f9e |
| 4 | ./.PKGINFO·time=1709897755.0·size=851·md5digest=ff2aa674d5c50f85a36e91a1f9158540·sha256digest=eb2cfced8a85280547f8bae20f75048c4a340b110bb6b02f6f62889fe8a700e9 | 4 | ./.PKGINFO·time=1709897755.0·size=851·md5digest=ff2aa674d5c50f85a36e91a1f9158540·sha256digest=eb2cfced8a85280547f8bae20f75048c4a340b110bb6b02f6f62889fe8a700e9 |
| 5 | /set·mode=755 | 5 | /set·mode=755 |
| 6 | ./usr·time=1709897755.0·type=dir | 6 | ./usr·time=1709897755.0·type=dir |
| 7 | ./usr/lib·time=1709897755.0·type=dir | 7 | ./usr/lib·time=1709897755.0·type=dir |
| 8 | ./usr/lib/libHStamarin-prover-theory-1.8.0-Aj24yDbFCFrIZNHIwRTyEs-ghc9.2.8.so·time=1709897755.0·size=12860592·md5digest= | 8 | ./usr/lib/libHStamarin-prover-theory-1.8.0-Aj24yDbFCFrIZNHIwRTyEs-ghc9.2.8.so·time=1709897755.0·size=12860592·md5digest=eee4b6c8f79155a00891ef1af8a492bc·sha256digest=8dc232439752a4d2caeda702d908c925f3bfc16e0586f280403259e3181337f0 |
| 9 | ./usr/lib/ghc-9.2.8·time=1709897755.0·type=dir | 9 | ./usr/lib/ghc-9.2.8·time=1709897755.0·type=dir |
| 10 | ./usr/lib/ghc-9.2.8/site-local·time=1709897755.0·type=dir | 10 | ./usr/lib/ghc-9.2.8/site-local·time=1709897755.0·type=dir |
| 11 | /set·mode=644 | 11 | /set·mode=644 |
| 12 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0·time=1709897755.0·mode=755·type=dir | 12 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0·time=1709897755.0·mode=755·type=dir |
| 13 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/ClosedTheory.dyn_hi·time=1709897755.0·size=59367·md5digest=2aaae5f6f456d86209740f452d473ba6·sha256digest=d33171cc2174948bee5c33efe75c742aa5bd0d03e9ddc2cc2e3df90cdecc185c | 13 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/ClosedTheory.dyn_hi·time=1709897755.0·size=59367·md5digest=2aaae5f6f456d86209740f452d473ba6·sha256digest=d33171cc2174948bee5c33efe75c742aa5bd0d03e9ddc2cc2e3df90cdecc185c |
| 14 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/Lemma.dyn_hi·time=1709897755.0·size=22303·md5digest=f5f3523c6de7e90ef219b12dd2916024·sha256digest=8f74ad63e7bb457d43bba071860bc92d95f8368dd647f5367ba220180e43d5af | 14 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/Lemma.dyn_hi·time=1709897755.0·size=22303·md5digest=f5f3523c6de7e90ef219b12dd2916024·sha256digest=8f74ad63e7bb457d43bba071860bc92d95f8368dd647f5367ba220180e43d5af |
| 15 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/OpenTheory.dyn_hi·time=1709897755.0·size=64207·md5digest=102c2d7a3232081399d51f0ee7f794d3·sha256digest=ea9e99fdb816898014a2f565dbf4e71b46a79026a3fc2e3d3eacf9f2393d2c6a | 15 | ./usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-1.8.0/OpenTheory.dyn_hi·time=1709897755.0·size=64207·md5digest=102c2d7a3232081399d51f0ee7f794d3·sha256digest=ea9e99fdb816898014a2f565dbf4e71b46a79026a3fc2e3d3eacf9f2393d2c6a |
| Offset 49347, 15 lines modified | Offset 49347, 15 lines modified | ||
| 49347 | 0000000000bb2638··0000044600000006·R_X86_64_GLOB_DAT······0000000000000000·tamarinzmproverzmutilszm1zi8zi0zm5iXwfEzzJ0lMGI8JzzS9phJ6_TextziPrettyPrintziClass_brackets_info·+·0 | 49347 | 0000000000bb2638··0000044600000006·R_X86_64_GLOB_DAT······0000000000000000·tamarinzmproverzmutilszm1zi8zi0zm5iXwfEzzJ0lMGI8JzzS9phJ6_TextziPrettyPrintziClass_brackets_info·+·0 |
| 49348 | 0000000000bb2640··0000044700000006·R_X86_64_GLOB_DAT······0000000000000000·tamarinzmproverzmutilszm1zi8zi0zm5iXwfEzzJ0lMGI8JzzS9phJ6_TextziPrettyPrintziClass_nestShortzq_info·+·0 | 49348 | 0000000000bb2640··0000044700000006·R_X86_64_GLOB_DAT······0000000000000000·tamarinzmproverzmutilszm1zi8zi0zm5iXwfEzzJ0lMGI8JzzS9phJ6_TextziPrettyPrintziClass_nestShortzq_info·+·0 |
| 49349 | 0000000000bb2648··0000044800000006·R_X86_64_GLOB_DAT······0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49349 | 0000000000bb2648··0000044800000006·R_X86_64_GLOB_DAT······0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49350 | 0000000000bf6ec8··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49350 | 0000000000bf6ec8··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49351 | 0000000000bf6f80··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49351 | 0000000000bf6f80··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49352 | 0000000000bf6fd8··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49352 | 0000000000bf6fd8··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49353 | 0000000000c00658··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49353 | 0000000000c00658··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49354 | 0000000000c00d9 | 49354 | 0000000000c00d90··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49355 | 0000000000c00e08··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49355 | 0000000000c00e08··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49356 | 0000000000c00f30··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 | 49356 | 0000000000c00f30··0000044800000001·R_X86_64_64············0000000000000000·base_DataziData_zdfDataInt_closure·+·0 |
| 49357 | 0000000000bb2650··0000044900000006·R_X86_64_GLOB_DAT······0000000000000000·containerszm0zi6zi5zi1_DataziSetziInternal_zdfShowSet1_closure·+·0 | 49357 | 0000000000bb2650··0000044900000006·R_X86_64_GLOB_DAT······0000000000000000·containerszm0zi6zi5zi1_DataziSetziInternal_zdfShowSet1_closure·+·0 |
| 49358 | 0000000000bf7ac0··0000044900000001·R_X86_64_64············0000000000000000·containerszm0zi6zi5zi1_DataziSetziInternal_zdfShowSet1_closure·+·0 | 49358 | 0000000000bf7ac0··0000044900000001·R_X86_64_64············0000000000000000·containerszm0zi6zi5zi1_DataziSetziInternal_zdfShowSet1_closure·+·0 |
| 49359 | 0000000000bf8248··0000044a00000001·R_X86_64_64············0000000000000000·tamarinzmproverzmtermzm1zi8zi0zmAHxJbRJJzzGa6BHkV4j3gjF_TermziUnification_unifyLNTermzuzdsunifyLTerm_closure·+·0 | 49359 | 0000000000bf8248··0000044a00000001·R_X86_64_64············0000000000000000·tamarinzmproverzmtermzm1zi8zi0zmAHxJbRJJzzGa6BHkV4j3gjF_TermziUnification_unifyLNTermzuzdsunifyLTerm_closure·+·0 |
| 49360 | 0000000000c032a8··0000044a00000001·R_X86_64_64············0000000000000000·tamarinzmproverzmtermzm1zi8zi0zmAHxJbRJJzzGa6BHkV4j3gjF_TermziUnification_unifyLNTermzuzdsunifyLTerm_closure·+·0 | 49360 | 0000000000c032a8··0000044a00000001·R_X86_64_64············0000000000000000·tamarinzmproverzmtermzm1zi8zi0zmAHxJbRJJzzGa6BHkV4j3gjF_TermziUnification_unifyLNTermzuzdsunifyLTerm_closure·+·0 |
| 49361 | 0000000000bb2658··0000044b00000006·R_X86_64_GLOB_DAT······0000000000000000·tamarinzmproverzmtermzm1zi8zi0zmAHxJbRJJzzGa6BHkV4j3gjF_TermziUnification_unifyLNTermzuzdsunifyLTerm_info·+·0 | 49361 | 0000000000bb2658··0000044b00000006·R_X86_64_GLOB_DAT······0000000000000000·tamarinzmproverzmtermzm1zi8zi0zmAHxJbRJJzzGa6BHkV4j3gjF_TermziUnification_unifyLNTermzuzdsunifyLTerm_info·+·0 |
| Offset 1, 12 lines modified | Offset 1, 12 lines modified | ||
| 1 | Displaying·notes·found·in:·.note.gnu.property | 1 | Displaying·notes·found·in:·.note.gnu.property |
| 2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
| 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·feature·used:·x86,·XMM | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·feature·used:·x86,·XMM |
| 4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
| 5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
| 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·a | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·a6c4c45f02af6122e24df6ff9a5578e99afa0d83 |
| 7 | Displaying·notes·found·in:·.note.gnu.gold-version | 7 | Displaying·notes·found·in:·.note.gnu.gold-version |
| 8 | ··Owner················Data·size·» Description | 8 | ··Owner················Data·size·» Description |
| 9 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 | 9 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 |
| Offset 1, 8 lines modified | Offset 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-pro | 2 | ··0x00000000·6c696248·5374616d·6172696e·2d70726f·libHStamarin-pro |
| 3 | ··0x00000010·7665722d·7468656f·72792d31·2e382e30·ver-theory-1.8.0 | 3 | ··0x00000010·7665722d·7468656f·72792d31·2e382e30·ver-theory-1.8.0 |
| 4 | ··0x00000020·2d416a32·34794462·46434672·495a4e48·-Aj24yDbFCFrIZNH | 4 | ··0x00000020·2d416a32·34794462·46434672·495a4e48·-Aj24yDbFCFrIZNH |
| 5 | ··0x00000030·49775254·7945732d·67686339·2e322e38·IwRTyEs-ghc9.2.8 | 5 | ··0x00000030·49775254·7945732d·67686339·2e322e38·IwRTyEs-ghc9.2.8 |
| 6 | ··0x00000040·2e736f2e·64656275·67000000· | 6 | ··0x00000040·2e736f2e·64656275·67000000·740a08aa·.so.debug...t... |