--- /srv/rebuilderd/tmp/rebuilderdmRf92p/inputs/libghc-copilot-theorem-dev_4.6-2_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdmRf92p/out/libghc-copilot-theorem-dev_4.6-2_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-12 00:02:34.000000 debian-binary │ --rw-r--r-- 0 0 0 3076 2026-02-12 00:02:34.000000 control.tar.xz │ --rw-r--r-- 0 0 0 575972 2026-02-12 00:02:34.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 3072 2026-02-12 00:02:34.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 576100 2026-02-12 00:02:34.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.6-IfTm0gg5rTwDhaXRFpil2F/Copilot/Theorem/What4/Translate.dyn_hi │ │ │ @@ -1,12 +1,12 @@ │ │ │ 00000000: 01fa ce64 0439 3130 3303 6479 6eb2 fbd2 ...d.9103.dyn... │ │ │ 00000010: 80e6 83f4 a45a ddb7 8a92 f390 f1f5 d701 .....Z.......... │ │ │ 00000020: 0000 f15d 0000 be8c 0000 b815 0000 0100 ...]............ │ │ │ -00000030: 00c9 df9a c497 85ab d570 cfc3 c2ab 8eb5 .........p...... │ │ │ -00000040: 9ead 5e99 a5e4 e0c4 b1ae c0c7 0184 c5f9 ..^............. │ │ │ +00000030: 00b8 cae2 c09c a0b1 cc08 94df 95e8 dfcb ................ │ │ │ +00000040: cec7 4e99 a5e4 e0c4 b1ae c0c7 0184 c5f9 ..N............. │ │ │ 00000050: f5ec b2c5 b465 f99d b38a fdf7 ece2 7989 .....e........y. │ │ │ 00000060: df81 f7df 99db 90c5 01c8 d9e2 d690 f5d6 ................ │ │ │ 00000070: b5c4 01a6 93d1 81c2 f3a5 d692 0189 c1b6 ................ │ │ │ 00000080: f0df b5a1 dc93 01f1 bed6 fe84 928d fbcd ................ │ │ │ 00000090: 01c9 c2c7 b5ad 8290 8bad 0187 c0cc 888b ................ │ │ │ 000000a0: aba7 9a42 0000 0000 02ab 000a 0203 0405 ...B............ │ │ │ 000000b0: 0607 0809 0a0b 0000 0000 1700 0c0d 000e ................ │ │ │ @@ -144,17 +144,17 @@ │ │ │ 000008f0: c384 cd83 bee5 b1eb f401 aae6 8abc 8ff1 ................ │ │ │ 00000900: 8c83 cd01 0002 ee01 8f99 fe92 c8fa ee92 ................ │ │ │ 00000910: 8f01 a6e5 ddda 81ad c9f6 9001 0002 ef01 ................ │ │ │ 00000920: caab 9acf 8fd5 b7af 41c1 a083 f996 e3f5 ........A....... │ │ │ 00000930: c628 0002 f001 a5f3 e2ff a6ed 8f9d 04d5 .(.............. │ │ │ 00000940: e1fa 96d6 b3b7 ead8 0100 02f1 01f0 d1c2 ................ │ │ │ 00000950: e18a a2b0 817c ad9b d283 d6ed 839c ae01 .....|.......... │ │ │ -00000960: 0002 f201 cca4 fad4 d5c9 a3b5 ec01 e099 ................ │ │ │ -00000970: 94e4 cdbb 86c4 0e00 02f3 01bb c3b7 82dc ................ │ │ │ -00000980: c39d cce8 01fe a783 91f3 878f aefa 0100 ................ │ │ │ +00000960: 0002 f201 bbc3 b782 dcc3 9dcc e801 fea7 ................ │ │ │ +00000970: 8391 f387 8fae fa01 0002 f301 cca4 fad4 ................ │ │ │ +00000980: d5c9 a3b5 ec01 e099 94e4 cdbb 86c4 0e00 ................ │ │ │ 00000990: 02f4 01b4 feb2 bfbc f3a7 9bca 0187 c7e7 ................ │ │ │ 000009a0: 97ab bd88 fb34 0002 f501 ba81 adc5 f3b9 .....4.......... │ │ │ 000009b0: 82f9 3bb6 a7ac 91bb 8d84 85d8 0100 02f6 ..;............. │ │ │ 000009c0: 01cd f0dc 83dc c7fe dccb 0182 baf4 b8f2 ................ │ │ │ 000009d0: fddf fe99 0100 02f7 01e9 e8be f8e8 93b2 ................ │ │ │ 000009e0: d7f8 01b6 a78c edf4 e3ba d8f6 0100 02f8 ................ │ │ │ 000009f0: 01e0 ffee b984 a5c5 dc92 0199 e8a4 8f81 ................ │ │ │ @@ -3439,25 +3439,25 @@ │ │ │ 0000d6e0: 2e30 2d69 6e70 6c61 6365 2d67 6863 392e .0-inplace-ghc9. │ │ │ 0000d6f0: 3130 2e33 2e73 6fda 002f 7573 722f 6c69 10.3.so../usr/li │ │ │ 0000d700: 622f 6768 632f 6c69 622f 2e2e 2f6c 6962 b/ghc/lib/../lib │ │ │ 0000d710: 2f61 6172 6368 3634 2d6c 696e 7578 2d67 /aarch64-linux-g │ │ │ 0000d720: 6863 2d39 2e31 302e 332f 6c69 6248 5364 hc-9.10.3/libHSd │ │ │ 0000d730: 6565 7073 6571 2d31 2e35 2e30 2e30 2d69 eepseq-1.5.0.0-i │ │ │ 0000d740: 6e70 6c61 6365 2d67 6863 392e 3130 2e33 nplace-ghc9.10.3 │ │ │ -0000d750: 2e73 6fd9 002f 7573 722f 6c69 622f 6768 .so../usr/lib/gh │ │ │ +0000d750: 2e73 6fdd 002f 7573 722f 6c69 622f 6768 .so../usr/lib/gh │ │ │ 0000d760: 632f 6c69 622f 2e2e 2f6c 6962 2f61 6172 c/lib/../lib/aar │ │ │ 0000d770: 6368 3634 2d6c 696e 7578 2d67 6863 2d39 ch64-linux-ghc-9 │ │ │ -0000d780: 2e31 302e 332f 6c69 6248 5370 7265 7474 .10.3/libHSprett │ │ │ -0000d790: 792d 312e 312e 332e 362d 696e 706c 6163 y-1.1.3.6-inplac │ │ │ -0000d7a0: 652d 6768 6339 2e31 302e 332e 736f dd00 e-ghc9.10.3.so.. │ │ │ -0000d7b0: 2f75 7372 2f6c 6962 2f67 6863 2f6c 6962 /usr/lib/ghc/lib │ │ │ -0000d7c0: 2f2e 2e2f 6c69 622f 6161 7263 6836 342d /../lib/aarch64- │ │ │ -0000d7d0: 6c69 6e75 782d 6768 632d 392e 3130 2e33 linux-ghc-9.10.3 │ │ │ -0000d7e0: 2f6c 6962 4853 6768 632d 626f 6f74 2d74 /libHSghc-boot-t │ │ │ -0000d7f0: 682d 392e 3130 2e33 2d69 6e70 6c61 6365 h-9.10.3-inplace │ │ │ +0000d780: 2e31 302e 332f 6c69 6248 5367 6863 2d62 .10.3/libHSghc-b │ │ │ +0000d790: 6f6f 742d 7468 2d39 2e31 302e 332d 696e oot-th-9.10.3-in │ │ │ +0000d7a0: 706c 6163 652d 6768 6339 2e31 302e 332e place-ghc9.10.3. │ │ │ +0000d7b0: 736f d900 2f75 7372 2f6c 6962 2f67 6863 so../usr/lib/ghc │ │ │ +0000d7c0: 2f6c 6962 2f2e 2e2f 6c69 622f 6161 7263 /lib/../lib/aarc │ │ │ +0000d7d0: 6836 342d 6c69 6e75 782d 6768 632d 392e h64-linux-ghc-9. │ │ │ +0000d7e0: 3130 2e33 2f6c 6962 4853 7072 6574 7479 10.3/libHSpretty │ │ │ +0000d7f0: 2d31 2e31 2e33 2e36 2d69 6e70 6c61 6365 -1.1.3.6-inplace │ │ │ 0000d800: 2d67 6863 392e 3130 2e33 2e73 6fe4 002f -ghc9.10.3.so../ │ │ │ 0000d810: 7573 722f 6c69 622f 6768 632f 6c69 622f usr/lib/ghc/lib/ │ │ │ 0000d820: 2e2e 2f6c 6962 2f61 6172 6368 3634 2d6c ../lib/aarch64-l │ │ │ 0000d830: 696e 7578 2d67 6863 2d39 2e31 302e 332f inux-ghc-9.10.3/ │ │ │ 0000d840: 6c69 6248 5374 656d 706c 6174 652d 6861 libHStemplate-ha │ │ │ 0000d850: 736b 656c 6c2d 322e 3232 2e30 2e30 2d69 skell-2.22.0.0-i │ │ │ 0000d860: 6e70 6c61 6365 2d67 6863 392e 3130 2e33 nplace-ghc9.10.3 │ │ ├── ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.6-IfTm0gg5rTwDhaXRFpil2F/Copilot/Theorem/What4/Translate.hi │ │ │ @@ -1,11 +1,11 @@ │ │ │ 00000000: 01fa ce64 0439 3130 3300 b2fb d280 e683 ...d.9103....... │ │ │ 00000010: f4a4 5add b78a 92f3 90f1 f5d7 0100 00f1 ..Z............. │ │ │ -00000020: 5a00 00be 8900 00b8 1200 0001 0000 c9df Z............... │ │ │ -00000030: 9ac4 9785 abd5 70cf c3c2 ab8e b59e ad5e ......p........^ │ │ │ +00000020: 5a00 00be 8900 00b8 1200 0001 0000 b8ca Z............... │ │ │ +00000030: e2c0 9ca0 b1cc 0894 df95 e8df cbce c74e ...............N │ │ │ 00000040: 99a5 e4e0 c4b1 aec0 c701 84c5 f9f5 ecb2 ................ │ │ │ 00000050: c5b4 65f9 9db3 8afd f7ec e279 89df 81f7 ..e........y.... │ │ │ 00000060: df99 db90 c501 c8d9 e2d6 90f5 d6b5 c401 ................ │ │ │ 00000070: a693 d181 c2f3 a5d6 9201 89c1 b6f0 dfb5 ................ │ │ │ 00000080: a1dc 9301 f1be d6fe 8492 8dfb cd01 c9c2 ................ │ │ │ 00000090: c7b5 ad82 908b ad01 87c0 cc88 8bab a79a ................ │ │ │ 000000a0: 4200 0000 0002 a800 0a02 0304 0506 0708 B............... │ │ │ @@ -144,17 +144,17 @@ │ │ │ 000008f0: 83be e5b1 ebf4 01aa e68a bc8f f18c 83cd ................ │ │ │ 00000900: 0100 02ee 018f 99fe 92c8 faee 928f 01a6 ................ │ │ │ 00000910: e5dd da81 adc9 f690 0100 02ef 01ca ab9a ................ │ │ │ 00000920: cf8f d5b7 af41 c1a0 83f9 96e3 f5c6 2800 .....A........(. │ │ │ 00000930: 02f0 01a5 f3e2 ffa6 ed8f 9d04 d5e1 fa96 ................ │ │ │ 00000940: d6b3 b7ea d801 0002 f101 f0d1 c2e1 8aa2 ................ │ │ │ 00000950: b081 7cad 9bd2 83d6 ed83 9cae 0100 02f2 ..|............. │ │ │ -00000960: 01cc a4fa d4d5 c9a3 b5ec 01e0 9994 e4cd ................ │ │ │ -00000970: bb86 c40e 0002 f301 bbc3 b782 dcc3 9dcc ................ │ │ │ -00000980: e801 fea7 8391 f387 8fae fa01 0002 f401 ................ │ │ │ +00000960: 01bb c3b7 82dc c39d cce8 01fe a783 91f3 ................ │ │ │ +00000970: 878f aefa 0100 02f3 01cc a4fa d4d5 c9a3 ................ │ │ │ +00000980: b5ec 01e0 9994 e4cd bb86 c40e 0002 f401 ................ │ │ │ 00000990: b4fe b2bf bcf3 a79b ca01 87c7 e797 abbd ................ │ │ │ 000009a0: 88fb 3400 02f5 01ba 81ad c5f3 b982 f93b ..4............; │ │ │ 000009b0: b6a7 ac91 bb8d 8485 d801 0002 f601 cdf0 ................ │ │ │ 000009c0: dc83 dcc7 fedc cb01 82ba f4b8 f2fd dffe ................ │ │ │ 000009d0: 9901 0002 f701 e9e8 bef8 e893 b2d7 f801 ................ │ │ │ 000009e0: b6a7 8ced f4e3 bad8 f601 0002 f801 e0ff ................ │ │ │ 000009f0: eeb9 84a5 c5dc 9201 99e8 a48f 8191 b1ef ................ │ │ │ @@ -3439,25 +3439,25 @@ │ │ │ 0000d6e0: 696e 706c 6163 652d 6768 6339 2e31 302e inplace-ghc9.10. │ │ │ 0000d6f0: 332e 736f da00 2f75 7372 2f6c 6962 2f67 3.so../usr/lib/g │ │ │ 0000d700: 6863 2f6c 6962 2f2e 2e2f 6c69 622f 6161 hc/lib/../lib/aa │ │ │ 0000d710: 7263 6836 342d 6c69 6e75 782d 6768 632d rch64-linux-ghc- │ │ │ 0000d720: 392e 3130 2e33 2f6c 6962 4853 6465 6570 9.10.3/libHSdeep │ │ │ 0000d730: 7365 712d 312e 352e 302e 302d 696e 706c seq-1.5.0.0-inpl │ │ │ 0000d740: 6163 652d 6768 6339 2e31 302e 332e 736f ace-ghc9.10.3.so │ │ │ -0000d750: d900 2f75 7372 2f6c 6962 2f67 6863 2f6c ../usr/lib/ghc/l │ │ │ +0000d750: dd00 2f75 7372 2f6c 6962 2f67 6863 2f6c ../usr/lib/ghc/l │ │ │ 0000d760: 6962 2f2e 2e2f 6c69 622f 6161 7263 6836 ib/../lib/aarch6 │ │ │ 0000d770: 342d 6c69 6e75 782d 6768 632d 392e 3130 4-linux-ghc-9.10 │ │ │ -0000d780: 2e33 2f6c 6962 4853 7072 6574 7479 2d31 .3/libHSpretty-1 │ │ │ -0000d790: 2e31 2e33 2e36 2d69 6e70 6c61 6365 2d67 .1.3.6-inplace-g │ │ │ -0000d7a0: 6863 392e 3130 2e33 2e73 6fdd 002f 7573 hc9.10.3.so../us │ │ │ -0000d7b0: 722f 6c69 622f 6768 632f 6c69 622f 2e2e r/lib/ghc/lib/.. │ │ │ -0000d7c0: 2f6c 6962 2f61 6172 6368 3634 2d6c 696e /lib/aarch64-lin │ │ │ -0000d7d0: 7578 2d67 6863 2d39 2e31 302e 332f 6c69 ux-ghc-9.10.3/li │ │ │ -0000d7e0: 6248 5367 6863 2d62 6f6f 742d 7468 2d39 bHSghc-boot-th-9 │ │ │ -0000d7f0: 2e31 302e 332d 696e 706c 6163 652d 6768 .10.3-inplace-gh │ │ │ +0000d780: 2e33 2f6c 6962 4853 6768 632d 626f 6f74 .3/libHSghc-boot │ │ │ +0000d790: 2d74 682d 392e 3130 2e33 2d69 6e70 6c61 -th-9.10.3-inpla │ │ │ +0000d7a0: 6365 2d67 6863 392e 3130 2e33 2e73 6fd9 ce-ghc9.10.3.so. │ │ │ +0000d7b0: 002f 7573 722f 6c69 622f 6768 632f 6c69 ./usr/lib/ghc/li │ │ │ +0000d7c0: 622f 2e2e 2f6c 6962 2f61 6172 6368 3634 b/../lib/aarch64 │ │ │ +0000d7d0: 2d6c 696e 7578 2d67 6863 2d39 2e31 302e -linux-ghc-9.10. │ │ │ +0000d7e0: 332f 6c69 6248 5370 7265 7474 792d 312e 3/libHSpretty-1. │ │ │ +0000d7f0: 312e 332e 362d 696e 706c 6163 652d 6768 1.3.6-inplace-gh │ │ │ 0000d800: 6339 2e31 302e 332e 736f e400 2f75 7372 c9.10.3.so../usr │ │ │ 0000d810: 2f6c 6962 2f67 6863 2f6c 6962 2f2e 2e2f /lib/ghc/lib/../ │ │ │ 0000d820: 6c69 622f 6161 7263 6836 342d 6c69 6e75 lib/aarch64-linu │ │ │ 0000d830: 782d 6768 632d 392e 3130 2e33 2f6c 6962 x-ghc-9.10.3/lib │ │ │ 0000d840: 4853 7465 6d70 6c61 7465 2d68 6173 6b65 HStemplate-haske │ │ │ 0000d850: 6c6c 2d32 2e32 322e 302e 302d 696e 706c ll-2.22.0.0-inpl │ │ │ 0000d860: 6163 652d 6768 6339 2e31 302e 332e 736f ace-ghc9.10.3.so │ │ ├── ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/libHScopilot-theorem-4.6-IfTm0gg5rTwDhaXRFpil2F-ghc9.10.3.so │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --dynamic {} │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ │ │ │ Dynamic section at offset 0x17eaf0 contains 135 entries: │ │ │ │ Tag Type Name/Value │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libm.so.6] │ │ │ │ - 0x0000000000000001 (NEEDED) Shared library: [libHScopilot-prettyprinter-4.6-IGdeEqG8wkr4ANv9y6t2mJ-ghc9.10.3.so] │ │ │ │ - 0x0000000000000001 (NEEDED) Shared library: [libHScopilot-core-4.6-Da65n6Q9CLYFqqncAgrjeg-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSdata-default-0.8.0.1-91Wz0ppme1c1GDgyfnAO0B-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSxml-1.3.14-DfDcwX6S3f86dPD2cqZusc-ghc9.10.3.so] │ │ │ │ + 0x0000000000000001 (NEEDED) Shared library: [libHScopilot-prettyprinter-4.6-IGdeEqG8wkr4ANv9y6t2mJ-ghc9.10.3.so] │ │ │ │ + 0x0000000000000001 (NEEDED) Shared library: [libHScopilot-core-4.6-Da65n6Q9CLYFqqncAgrjeg-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSwhat4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSzenc-0.1.2-AOZhsM8M7EuEM2j9Ohid4D-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSversions-6.0.8-8010jVc99ZXG8EKUxZ72J4-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSutf8-string-1.0.2-Hcf4GfMGHw6J5KI5BUWa7M-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSunliftio-0.2.25.1-IysTP3jVmOGD5aDAyf3Nqh-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSunliftio-core-0.2.1.0-4w0XdrbbaozL3byKowXR47-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSsafe-exceptions-0.1.7.4-9gCeyIgAb6XAMIaW8J8Cro-ghc9.10.3.so] │ │ │ │ @@ -89,22 +89,22 @@ │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHStext-2.1.3-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSbinary-0.8.9.3-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSfilepath-1.5.4.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSos-string-2.0.7-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSexceptions-0.10.9-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSstm-2.5.3.1-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSmtl-2.3.1-inplace-ghc9.10.3.so] │ │ │ │ + 0x0000000000000001 (NEEDED) Shared library: [libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so] │ │ │ │ + 0x0000000000000001 (NEEDED) Shared library: [libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHStransformers-0.6.1.1-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHScontainers-0.7-inplace-ghc9.10.3.so] │ │ │ │ - 0x0000000000000001 (NEEDED) Shared library: [libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHStemplate-haskell-2.22.0.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSpretty-1.1.3.6-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSghc-boot-th-9.10.3-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSdeepseq-1.5.0.0-inplace-ghc9.10.3.so] │ │ │ │ - 0x0000000000000001 (NEEDED) Shared library: [libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSarray-0.5.8.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSbase-4.20.2.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSghc-internal-9.1003.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSghc-bignum-1.3-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libHSghc-prim-0.12.0-inplace-ghc9.10.3.so] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libz.so.1] │ │ │ │ 0x0000000000000001 (NEEDED) Shared library: [libgmp.so.10] │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,4 +1,4 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 83f3178f22d3f00582d780fc5935c8f1502f5840 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 0a099748c3a31e99bc1d4dfeba1e435892e2854c │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -4203,18 +4203,18 @@ │ │ │ │ copilotzmtheoremzm4zi6zmIfTm0gg5rTwDhaXRFpil2F_CopilotziTheoremziWhat4ziTranslate_getStreamValue1_info │ │ │ │ copilotzmtheoremzm4zi6zmIfTm0gg5rTwDhaXRFpil2F_CopilotziTheoremziWhat4ziTranslate_getStreamValue1_closure │ │ │ │ copilotzmtheoremzm4zi6zmIfTm0gg5rTwDhaXRFpil2F_CopilotziTheoremziWhat4ziTranslate_getStreamValue_info │ │ │ │ copilotzmtheoremzm4zi6zmIfTm0gg5rTwDhaXRFpil2F_CopilotziTheoremziWhat4ziTranslate_getStreamValue_closure │ │ │ │ copilotzmtheoremzm4zi6zmIfTm0gg5rTwDhaXRFpil2F_CopilotziTheoremziWhat4ziTranslate_CopilotWhat4_closure_tbl │ │ │ │ copilotzmtheoremzm4zi6zmIfTm0gg5rTwDhaXRFpil2F_CopilotziTheoremziWhat4ziTranslate_BVSign_closure_tbl │ │ │ │ libm.so.6 │ │ │ │ -libHScopilot-prettyprinter-4.6-IGdeEqG8wkr4ANv9y6t2mJ-ghc9.10.3.so │ │ │ │ -libHScopilot-core-4.6-Da65n6Q9CLYFqqncAgrjeg-ghc9.10.3.so │ │ │ │ libHSdata-default-0.8.0.1-91Wz0ppme1c1GDgyfnAO0B-ghc9.10.3.so │ │ │ │ libHSxml-1.3.14-DfDcwX6S3f86dPD2cqZusc-ghc9.10.3.so │ │ │ │ +libHScopilot-prettyprinter-4.6-IGdeEqG8wkr4ANv9y6t2mJ-ghc9.10.3.so │ │ │ │ +libHScopilot-core-4.6-Da65n6Q9CLYFqqncAgrjeg-ghc9.10.3.so │ │ │ │ libHSwhat4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9-ghc9.10.3.so │ │ │ │ libHSzenc-0.1.2-AOZhsM8M7EuEM2j9Ohid4D-ghc9.10.3.so │ │ │ │ libHSversions-6.0.8-8010jVc99ZXG8EKUxZ72J4-ghc9.10.3.so │ │ │ │ libHSutf8-string-1.0.2-Hcf4GfMGHw6J5KI5BUWa7M-ghc9.10.3.so │ │ │ │ libHSunliftio-0.2.25.1-IysTP3jVmOGD5aDAyf3Nqh-ghc9.10.3.so │ │ │ │ libHSunliftio-core-0.2.1.0-4w0XdrbbaozL3byKowXR47-ghc9.10.3.so │ │ │ │ libHSsafe-exceptions-0.1.7.4-9gCeyIgAb6XAMIaW8J8Cro-ghc9.10.3.so │ │ │ │ @@ -4294,22 +4294,22 @@ │ │ │ │ libHStext-2.1.3-inplace-ghc9.10.3.so │ │ │ │ libHSbinary-0.8.9.3-inplace-ghc9.10.3.so │ │ │ │ libHSfilepath-1.5.4.0-inplace-ghc9.10.3.so │ │ │ │ libHSos-string-2.0.7-inplace-ghc9.10.3.so │ │ │ │ libHSexceptions-0.10.9-inplace-ghc9.10.3.so │ │ │ │ libHSstm-2.5.3.1-inplace-ghc9.10.3.so │ │ │ │ libHSmtl-2.3.1-inplace-ghc9.10.3.so │ │ │ │ +libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so │ │ │ │ +libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so │ │ │ │ libHStransformers-0.6.1.1-inplace-ghc9.10.3.so │ │ │ │ libHScontainers-0.7-inplace-ghc9.10.3.so │ │ │ │ -libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so │ │ │ │ libHStemplate-haskell-2.22.0.0-inplace-ghc9.10.3.so │ │ │ │ libHSpretty-1.1.3.6-inplace-ghc9.10.3.so │ │ │ │ libHSghc-boot-th-9.10.3-inplace-ghc9.10.3.so │ │ │ │ libHSdeepseq-1.5.0.0-inplace-ghc9.10.3.so │ │ │ │ -libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so │ │ │ │ libHSarray-0.5.8.0-inplace-ghc9.10.3.so │ │ │ │ libHSbase-4.20.2.0-inplace-ghc9.10.3.so │ │ │ │ libHSghc-internal-9.1003.0-inplace-ghc9.10.3.so │ │ │ │ libHSghc-bignum-1.3-inplace-ghc9.10.3.so │ │ │ │ libHSghc-prim-0.12.0-inplace-ghc9.10.3.so │ │ │ │ libz.so.1 │ │ │ │ libgmp.so.10 │ │ │ ├── readelf --wide --decompress --hex-dump=.dynstr {} │ │ │ │ @@ -24576,28 +24576,28 @@ │ │ │ │ 0x0007f240 636f7069 6c6f747a 6d746865 6f72656d copilotzmtheorem │ │ │ │ 0x0007f250 7a6d347a 69367a6d 4966546d 30676735 zm4zi6zmIfTm0gg5 │ │ │ │ 0x0007f260 72547744 68615852 4670696c 32465f43 rTwDhaXRFpil2F_C │ │ │ │ 0x0007f270 6f70696c 6f747a69 5468656f 72656d7a opilotziTheoremz │ │ │ │ 0x0007f280 69576861 74347a69 5472616e 736c6174 iWhat4ziTranslat │ │ │ │ 0x0007f290 655f4256 5369676e 5f636c6f 73757265 e_BVSign_closure │ │ │ │ 0x0007f2a0 5f74626c 006c6962 6d2e736f 2e36006c _tbl.libm.so.6.l │ │ │ │ - 0x0007f2b0 69624853 636f7069 6c6f742d 70726574 ibHScopilot-pret │ │ │ │ - 0x0007f2c0 74797072 696e7465 722d342e 362d4947 typrinter-4.6-IG │ │ │ │ - 0x0007f2d0 64654571 4738776b 7234414e 76397936 deEqG8wkr4ANv9y6 │ │ │ │ - 0x0007f2e0 74326d4a 2d676863 392e3130 2e332e73 t2mJ-ghc9.10.3.s │ │ │ │ - 0x0007f2f0 6f006c69 62485363 6f70696c 6f742d63 o.libHScopilot-c │ │ │ │ - 0x0007f300 6f72652d 342e362d 44613635 6e365139 ore-4.6-Da65n6Q9 │ │ │ │ - 0x0007f310 434c5946 71716e63 4167726a 65672d67 CLYFqqncAgrjeg-g │ │ │ │ - 0x0007f320 6863392e 31302e33 2e736f00 6c696248 hc9.10.3.so.libH │ │ │ │ - 0x0007f330 53646174 612d6465 6661756c 742d302e Sdata-default-0. │ │ │ │ - 0x0007f340 382e302e 312d3931 577a3070 706d6531 8.0.1-91Wz0ppme1 │ │ │ │ - 0x0007f350 63314744 6779666e 414f3042 2d676863 c1GDgyfnAO0B-ghc │ │ │ │ - 0x0007f360 392e3130 2e332e73 6f006c69 62485378 9.10.3.so.libHSx │ │ │ │ - 0x0007f370 6d6c2d31 2e332e31 342d4466 44637758 ml-1.3.14-DfDcwX │ │ │ │ - 0x0007f380 36533366 38366450 44326371 5a757363 6S3f86dPD2cqZusc │ │ │ │ + 0x0007f2b0 69624853 64617461 2d646566 61756c74 ibHSdata-default │ │ │ │ + 0x0007f2c0 2d302e38 2e302e31 2d393157 7a307070 -0.8.0.1-91Wz0pp │ │ │ │ + 0x0007f2d0 6d653163 31474467 79666e41 4f30422d me1c1GDgyfnAO0B- │ │ │ │ + 0x0007f2e0 67686339 2e31302e 332e736f 006c6962 ghc9.10.3.so.lib │ │ │ │ + 0x0007f2f0 4853786d 6c2d312e 332e3134 2d446644 HSxml-1.3.14-DfD │ │ │ │ + 0x0007f300 63775836 53336638 36645044 3263715a cwX6S3f86dPD2cqZ │ │ │ │ + 0x0007f310 7573632d 67686339 2e31302e 332e736f usc-ghc9.10.3.so │ │ │ │ + 0x0007f320 006c6962 4853636f 70696c6f 742d7072 .libHScopilot-pr │ │ │ │ + 0x0007f330 65747479 7072696e 7465722d 342e362d ettyprinter-4.6- │ │ │ │ + 0x0007f340 49476465 45714738 776b7234 414e7639 IGdeEqG8wkr4ANv9 │ │ │ │ + 0x0007f350 79367432 6d4a2d67 6863392e 31302e33 y6t2mJ-ghc9.10.3 │ │ │ │ + 0x0007f360 2e736f00 6c696248 53636f70 696c6f74 .so.libHScopilot │ │ │ │ + 0x0007f370 2d636f72 652d342e 362d4461 36356e36 -core-4.6-Da65n6 │ │ │ │ + 0x0007f380 5139434c 59467171 6e634167 726a6567 Q9CLYFqqncAgrjeg │ │ │ │ 0x0007f390 2d676863 392e3130 2e332e73 6f006c69 -ghc9.10.3.so.li │ │ │ │ 0x0007f3a0 62485377 68617434 2d312e36 2e332d39 bHSwhat4-1.6.3-9 │ │ │ │ 0x0007f3b0 7542566b 52787231 52753165 76474478 uBVkRxr1Ru1evGDx │ │ │ │ 0x0007f3c0 57416d4d 392d6768 63392e31 302e332e WAmM9-ghc9.10.3. │ │ │ │ 0x0007f3d0 736f006c 69624853 7a656e63 2d302e31 so.libHSzenc-0.1 │ │ │ │ 0x0007f3e0 2e322d41 4f5a6873 4d384d37 4575454d .2-AOZhsM8M7EuEM │ │ │ │ 0x0007f3f0 326a394f 68696434 442d6768 63392e31 2j9Ohid4D-ghc9.1 │ │ │ │ @@ -24898,38 +24898,38 @@ │ │ │ │ 0x00080660 736f006c 69624853 65786365 7074696f so.libHSexceptio │ │ │ │ 0x00080670 6e732d30 2e31302e 392d696e 706c6163 ns-0.10.9-inplac │ │ │ │ 0x00080680 652d6768 63392e31 302e332e 736f006c e-ghc9.10.3.so.l │ │ │ │ 0x00080690 69624853 73746d2d 322e352e 332e312d ibHSstm-2.5.3.1- │ │ │ │ 0x000806a0 696e706c 6163652d 67686339 2e31302e inplace-ghc9.10. │ │ │ │ 0x000806b0 332e736f 006c6962 48536d74 6c2d322e 3.so.libHSmtl-2. │ │ │ │ 0x000806c0 332e312d 696e706c 6163652d 67686339 3.1-inplace-ghc9 │ │ │ │ - 0x000806d0 2e31302e 332e736f 006c6962 48537472 .10.3.so.libHStr │ │ │ │ - 0x000806e0 616e7366 6f726d65 72732d30 2e362e31 ansformers-0.6.1 │ │ │ │ - 0x000806f0 2e312d69 6e706c61 63652d67 6863392e .1-inplace-ghc9. │ │ │ │ - 0x00080700 31302e33 2e736f00 6c696248 53636f6e 10.3.so.libHScon │ │ │ │ - 0x00080710 7461696e 6572732d 302e372d 696e706c tainers-0.7-inpl │ │ │ │ - 0x00080720 6163652d 67686339 2e31302e 332e736f ace-ghc9.10.3.so │ │ │ │ - 0x00080730 006c6962 48536279 74657374 72696e67 .libHSbytestring │ │ │ │ - 0x00080740 2d302e31 322e322e 302d696e 706c6163 -0.12.2.0-inplac │ │ │ │ - 0x00080750 652d6768 63392e31 302e332e 736f006c e-ghc9.10.3.so.l │ │ │ │ - 0x00080760 69624853 74656d70 6c617465 2d686173 ibHStemplate-has │ │ │ │ - 0x00080770 6b656c6c 2d322e32 322e302e 302d696e kell-2.22.0.0-in │ │ │ │ - 0x00080780 706c6163 652d6768 63392e31 302e332e place-ghc9.10.3. │ │ │ │ - 0x00080790 736f006c 69624853 70726574 74792d31 so.libHSpretty-1 │ │ │ │ - 0x000807a0 2e312e33 2e362d69 6e706c61 63652d67 .1.3.6-inplace-g │ │ │ │ - 0x000807b0 6863392e 31302e33 2e736f00 6c696248 hc9.10.3.so.libH │ │ │ │ - 0x000807c0 53676863 2d626f6f 742d7468 2d392e31 Sghc-boot-th-9.1 │ │ │ │ - 0x000807d0 302e332d 696e706c 6163652d 67686339 0.3-inplace-ghc9 │ │ │ │ - 0x000807e0 2e31302e 332e736f 006c6962 48536465 .10.3.so.libHSde │ │ │ │ - 0x000807f0 65707365 712d312e 352e302e 302d696e epseq-1.5.0.0-in │ │ │ │ - 0x00080800 706c6163 652d6768 63392e31 302e332e place-ghc9.10.3. │ │ │ │ - 0x00080810 736f006c 69624853 426f756e 64656443 so.libHSBoundedC │ │ │ │ - 0x00080820 68616e2d 312e302e 332e302d 36426878 han-1.0.3.0-6Bhx │ │ │ │ - 0x00080830 416b3371 61707734 70717248 644f7a66 Ak3qapw4pqrHdOzf │ │ │ │ - 0x00080840 376c2d67 6863392e 31302e33 2e736f00 7l-ghc9.10.3.so. │ │ │ │ + 0x000806d0 2e31302e 332e736f 006c6962 48536279 .10.3.so.libHSby │ │ │ │ + 0x000806e0 74657374 72696e67 2d302e31 322e322e testring-0.12.2. │ │ │ │ + 0x000806f0 302d696e 706c6163 652d6768 63392e31 0-inplace-ghc9.1 │ │ │ │ + 0x00080700 302e332e 736f006c 69624853 426f756e 0.3.so.libHSBoun │ │ │ │ + 0x00080710 64656443 68616e2d 312e302e 332e302d dedChan-1.0.3.0- │ │ │ │ + 0x00080720 36426878 416b3371 61707734 70717248 6BhxAk3qapw4pqrH │ │ │ │ + 0x00080730 644f7a66 376c2d67 6863392e 31302e33 dOzf7l-ghc9.10.3 │ │ │ │ + 0x00080740 2e736f00 6c696248 53747261 6e73666f .so.libHStransfo │ │ │ │ + 0x00080750 726d6572 732d302e 362e312e 312d696e rmers-0.6.1.1-in │ │ │ │ + 0x00080760 706c6163 652d6768 63392e31 302e332e place-ghc9.10.3. │ │ │ │ + 0x00080770 736f006c 69624853 636f6e74 61696e65 so.libHScontaine │ │ │ │ + 0x00080780 72732d30 2e372d69 6e706c61 63652d67 rs-0.7-inplace-g │ │ │ │ + 0x00080790 6863392e 31302e33 2e736f00 6c696248 hc9.10.3.so.libH │ │ │ │ + 0x000807a0 5374656d 706c6174 652d6861 736b656c Stemplate-haskel │ │ │ │ + 0x000807b0 6c2d322e 32322e30 2e302d69 6e706c61 l-2.22.0.0-inpla │ │ │ │ + 0x000807c0 63652d67 6863392e 31302e33 2e736f00 ce-ghc9.10.3.so. │ │ │ │ + 0x000807d0 6c696248 53707265 7474792d 312e312e libHSpretty-1.1. │ │ │ │ + 0x000807e0 332e362d 696e706c 6163652d 67686339 3.6-inplace-ghc9 │ │ │ │ + 0x000807f0 2e31302e 332e736f 006c6962 48536768 .10.3.so.libHSgh │ │ │ │ + 0x00080800 632d626f 6f742d74 682d392e 31302e33 c-boot-th-9.10.3 │ │ │ │ + 0x00080810 2d696e70 6c616365 2d676863 392e3130 -inplace-ghc9.10 │ │ │ │ + 0x00080820 2e332e73 6f006c69 62485364 65657073 .3.so.libHSdeeps │ │ │ │ + 0x00080830 65712d31 2e352e30 2e302d69 6e706c61 eq-1.5.0.0-inpla │ │ │ │ + 0x00080840 63652d67 6863392e 31302e33 2e736f00 ce-ghc9.10.3.so. │ │ │ │ 0x00080850 6c696248 53617272 61792d30 2e352e38 libHSarray-0.5.8 │ │ │ │ 0x00080860 2e302d69 6e706c61 63652d67 6863392e .0-inplace-ghc9. │ │ │ │ 0x00080870 31302e33 2e736f00 6c696248 53626173 10.3.so.libHSbas │ │ │ │ 0x00080880 652d342e 32302e32 2e302d69 6e706c61 e-4.20.2.0-inpla │ │ │ │ 0x00080890 63652d67 6863392e 31302e33 2e736f00 ce-ghc9.10.3.so. │ │ │ │ 0x000808a0 6c696248 53676863 2d696e74 65726e61 libHSghc-interna │ │ │ │ 0x000808b0 6c2d392e 31303033 2e302d69 6e706c61 l-9.1003.0-inpla