--- /srv/rebuilderd/tmp/rebuilderdObabqD/inputs/libghc-copilot-theorem-dev_4.6-2_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdObabqD/out/libghc-copilot-theorem-dev_4.6-2_armhf.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 3064 2026-02-12 00:02:34.000000 control.tar.xz │ --rw-r--r-- 0 0 0 694920 2026-02-12 00:02:34.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 3068 2026-02-12 00:02:34.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 696240 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/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6-CTEPxGe42hS56TAgkSXpbU/Copilot/Theorem/What4/Translate.dyn_hi │ │ │ @@ -1,12 +1,12 @@ │ │ │ 00000000: 0001 face 0439 3130 3303 6479 6eb2 fbd2 .....9103.dyn... │ │ │ 00000010: 80e6 83f4 a45a ddb7 8a92 f390 f1f5 d701 .....Z.......... │ │ │ 00000020: 0000 f10f 0000 be71 0000 b7fa 0000 0100 .......q........ │ │ │ -00000030: 00f6 c8d2 8dd4 f39d fd8b 01d1 dea3 8cd3 ................ │ │ │ -00000040: abd4 e10f ff90 cac3 afd9 e782 30f1 cf86 ............0... │ │ │ +00000030: 0093 c38e d79a 9fac e3f9 01c3 d3f9 d4fb ................ │ │ │ +00000040: d4e1 a308 ff90 cac3 afd9 e782 30f1 cf86 ............0... │ │ │ 00000050: a4e0 b8db bd41 f99d b38a fdf7 ece2 7989 .....A........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 ................ │ │ │ @@ -143,18 +143,18 @@ │ │ │ 000008e0: e79b df8f a635 0002 ed01 9181 f8b2 f8b4 .....5.......... │ │ │ 000008f0: a4e1 3aef ba9a cda3 fe91 f4cd 0100 02ee ..:............. │ │ │ 00000900: 01cb 8ac9 c8da bcc1 8183 01ec 909e d5a4 ................ │ │ │ 00000910: b7cb b961 0002 ef01 edd4 f1d2 dbde c188 ...a............ │ │ │ 00000920: c801 faeb 81ae 869e 96d8 3700 02f0 01fc ..........7..... │ │ │ 00000930: c6a0 8de0 dc9a cf0a dff1 d7cf b99c fbb1 ................ │ │ │ 00000940: ec01 0002 f101 e7c1 9db6 da92 9ae6 16b2 ................ │ │ │ -00000950: fbc4 b6c3 c5c1 8fbc 0100 02f2 018b fdbc ................ │ │ │ -00000960: 8fe2 d080 cb23 95eb bad5 c5fb b2d7 1200 .....#.......... │ │ │ -00000970: 02f3 01d1 88f2 fdf6 9d98 888d 01d3 8ba6 ................ │ │ │ -00000980: 97c9 e5a3 cc8a 0100 02f4 019b e6bb d1c3 ................ │ │ │ +00000950: fbc4 b6c3 c5c1 8fbc 0100 02f2 01d1 88f2 ................ │ │ │ +00000960: fdf6 9d98 888d 01d3 8ba6 97c9 e5a3 cc8a ................ │ │ │ +00000970: 0100 02f3 018b fdbc 8fe2 d080 cb23 95eb .............#.. │ │ │ +00000980: bad5 c5fb b2d7 1200 02f4 019b e6bb d1c3 ................ │ │ │ 00000990: c389 bb55 fdc5 dba6 bedc 8eaa cd01 0002 ...U............ │ │ │ 000009a0: f501 8aaa d1c8 a8b5 aaf9 5582 a78a 8bd6 ..........U..... │ │ │ 000009b0: 95c3 e2c8 0100 02f6 01b1 e7f1 f381 eee4 ................ │ │ │ 000009c0: a7a8 01b9 ef91 bae4 f4e8 890f 0002 f701 ................ │ │ │ 000009d0: b6c2 81e4 9af2 91d8 5590 acba c781 be8b ........U....... │ │ │ 000009e0: a852 0002 f801 d9b9 a6a2 9bd3 f8cd 10de .R.............. │ │ │ 000009f0: f4ac df85 8eda 9785 0100 02f9 01b8 c5da ................ │ │ │ @@ -3436,25 +3436,25 @@ │ │ │ 0000d6b0: 5361 7272 6179 2d30 2e35 2e38 2e30 2d69 Sarray-0.5.8.0-i │ │ │ 0000d6c0: 6e70 6c61 6365 2d67 6863 392e 3130 2e33 nplace-ghc9.10.3 │ │ │ 0000d6d0: 2e73 6fd8 002f 7573 722f 6c69 622f 6768 .so../usr/lib/gh │ │ │ 0000d6e0: 632f 6c69 622f 2e2e 2f6c 6962 2f61 726d c/lib/../lib/arm │ │ │ 0000d6f0: 7637 2d6c 696e 7578 2d67 6863 2d39 2e31 v7-linux-ghc-9.1 │ │ │ 0000d700: 302e 332f 6c69 6248 5364 6565 7073 6571 0.3/libHSdeepseq │ │ │ 0000d710: 2d31 2e35 2e30 2e30 2d69 6e70 6c61 6365 -1.5.0.0-inplace │ │ │ -0000d720: 2d67 6863 392e 3130 2e33 2e73 6fd7 002f -ghc9.10.3.so../ │ │ │ +0000d720: 2d67 6863 392e 3130 2e33 2e73 6fdb 002f -ghc9.10.3.so../ │ │ │ 0000d730: 7573 722f 6c69 622f 6768 632f 6c69 622f usr/lib/ghc/lib/ │ │ │ 0000d740: 2e2e 2f6c 6962 2f61 726d 7637 2d6c 696e ../lib/armv7-lin │ │ │ 0000d750: 7578 2d67 6863 2d39 2e31 302e 332f 6c69 ux-ghc-9.10.3/li │ │ │ -0000d760: 6248 5370 7265 7474 792d 312e 312e 332e bHSpretty-1.1.3. │ │ │ -0000d770: 362d 696e 706c 6163 652d 6768 6339 2e31 6-inplace-ghc9.1 │ │ │ -0000d780: 302e 332e 736f db00 2f75 7372 2f6c 6962 0.3.so../usr/lib │ │ │ -0000d790: 2f67 6863 2f6c 6962 2f2e 2e2f 6c69 622f /ghc/lib/../lib/ │ │ │ -0000d7a0: 6172 6d76 372d 6c69 6e75 782d 6768 632d armv7-linux-ghc- │ │ │ -0000d7b0: 392e 3130 2e33 2f6c 6962 4853 6768 632d 9.10.3/libHSghc- │ │ │ -0000d7c0: 626f 6f74 2d74 682d 392e 3130 2e33 2d69 boot-th-9.10.3-i │ │ │ +0000d760: 6248 5367 6863 2d62 6f6f 742d 7468 2d39 bHSghc-boot-th-9 │ │ │ +0000d770: 2e31 302e 332d 696e 706c 6163 652d 6768 .10.3-inplace-gh │ │ │ +0000d780: 6339 2e31 302e 332e 736f d700 2f75 7372 c9.10.3.so../usr │ │ │ +0000d790: 2f6c 6962 2f67 6863 2f6c 6962 2f2e 2e2f /lib/ghc/lib/../ │ │ │ +0000d7a0: 6c69 622f 6172 6d76 372d 6c69 6e75 782d lib/armv7-linux- │ │ │ +0000d7b0: 6768 632d 392e 3130 2e33 2f6c 6962 4853 ghc-9.10.3/libHS │ │ │ +0000d7c0: 7072 6574 7479 2d31 2e31 2e33 2e36 2d69 pretty-1.1.3.6-i │ │ │ 0000d7d0: 6e70 6c61 6365 2d67 6863 392e 3130 2e33 nplace-ghc9.10.3 │ │ │ 0000d7e0: 2e73 6fe2 002f 7573 722f 6c69 622f 6768 .so../usr/lib/gh │ │ │ 0000d7f0: 632f 6c69 622f 2e2e 2f6c 6962 2f61 726d c/lib/../lib/arm │ │ │ 0000d800: 7637 2d6c 696e 7578 2d67 6863 2d39 2e31 v7-linux-ghc-9.1 │ │ │ 0000d810: 302e 332f 6c69 6248 5374 656d 706c 6174 0.3/libHStemplat │ │ │ 0000d820: 652d 6861 736b 656c 6c2d 322e 3232 2e30 e-haskell-2.22.0 │ │ │ 0000d830: 2e30 2d69 6e70 6c61 6365 2d67 6863 392e .0-inplace-ghc9. │ │ ├── ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6-CTEPxGe42hS56TAgkSXpbU/Copilot/Theorem/What4/Translate.hi │ │ │ @@ -1,12 +1,12 @@ │ │ │ 00000000: 0001 face 0439 3130 3300 b2fb d280 e683 .....9103....... │ │ │ 00000010: f4a4 5add b78a 92f3 90f1 f5d7 0100 00f1 ..Z............. │ │ │ -00000020: 0c00 00be 6e00 00b7 f700 0001 0000 f6c8 ....n........... │ │ │ -00000030: d28d d4f3 9dfd 8b01 d1de a38c d3ab d4e1 ................ │ │ │ -00000040: 0fff 90ca c3af d9e7 8230 f1cf 86a4 e0b8 .........0...... │ │ │ +00000020: 0c00 00be 6e00 00b7 f700 0001 0000 93c3 ....n........... │ │ │ +00000030: 8ed7 9a9f ace3 f901 c3d3 f9d4 fbd4 e1a3 ................ │ │ │ +00000040: 08ff 90ca c3af d9e7 8230 f1cf 86a4 e0b8 .........0...... │ │ │ 00000050: dbbd 41f9 9db3 8afd f7ec e279 89df 81f7 ..A........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............... │ │ │ 000000b0: 090a 0b00 0000 0017 000c 0d00 0e0f 0010 ................ │ │ │ @@ -143,18 +143,18 @@ │ │ │ 000008e0: 8fa6 3500 02ed 0191 81f8 b2f8 b4a4 e13a ..5............: │ │ │ 000008f0: efba 9acd a3fe 91f4 cd01 0002 ee01 cb8a ................ │ │ │ 00000900: c9c8 dabc c181 8301 ec90 9ed5 a4b7 cbb9 ................ │ │ │ 00000910: 6100 02ef 01ed d4f1 d2db dec1 88c8 01fa a............... │ │ │ 00000920: eb81 ae86 9e96 d837 0002 f001 fcc6 a08d .......7........ │ │ │ 00000930: e0dc 9acf 0adf f1d7 cfb9 9cfb b1ec 0100 ................ │ │ │ 00000940: 02f1 01e7 c19d b6da 929a e616 b2fb c4b6 ................ │ │ │ -00000950: c3c5 c18f bc01 0002 f201 8bfd bc8f e2d0 ................ │ │ │ -00000960: 80cb 2395 ebba d5c5 fbb2 d712 0002 f301 ..#............. │ │ │ -00000970: d188 f2fd f69d 9888 8d01 d38b a697 c9e5 ................ │ │ │ -00000980: a3cc 8a01 0002 f401 9be6 bbd1 c3c3 89bb ................ │ │ │ +00000950: c3c5 c18f bc01 0002 f201 d188 f2fd f69d ................ │ │ │ +00000960: 9888 8d01 d38b a697 c9e5 a3cc 8a01 0002 ................ │ │ │ +00000970: f301 8bfd bc8f e2d0 80cb 2395 ebba d5c5 ..........#..... │ │ │ +00000980: fbb2 d712 0002 f401 9be6 bbd1 c3c3 89bb ................ │ │ │ 00000990: 55fd c5db a6be dc8e aacd 0100 02f5 018a U............... │ │ │ 000009a0: aad1 c8a8 b5aa f955 82a7 8a8b d695 c3e2 .......U........ │ │ │ 000009b0: c801 0002 f601 b1e7 f1f3 81ee e4a7 a801 ................ │ │ │ 000009c0: b9ef 91ba e4f4 e889 0f00 02f7 01b6 c281 ................ │ │ │ 000009d0: e49a f291 d855 90ac bac7 81be 8ba8 5200 .....U........R. │ │ │ 000009e0: 02f8 01d9 b9a6 a29b d3f8 cd10 def4 acdf ................ │ │ │ 000009f0: 858e da97 8501 0002 f901 b8c5 dad7 e2d8 ................ │ │ │ @@ -3436,25 +3436,25 @@ │ │ │ 0000d6b0: 7261 792d 302e 352e 382e 302d 696e 706c ray-0.5.8.0-inpl │ │ │ 0000d6c0: 6163 652d 6768 6339 2e31 302e 332e 736f ace-ghc9.10.3.so │ │ │ 0000d6d0: d800 2f75 7372 2f6c 6962 2f67 6863 2f6c ../usr/lib/ghc/l │ │ │ 0000d6e0: 6962 2f2e 2e2f 6c69 622f 6172 6d76 372d ib/../lib/armv7- │ │ │ 0000d6f0: 6c69 6e75 782d 6768 632d 392e 3130 2e33 linux-ghc-9.10.3 │ │ │ 0000d700: 2f6c 6962 4853 6465 6570 7365 712d 312e /libHSdeepseq-1. │ │ │ 0000d710: 352e 302e 302d 696e 706c 6163 652d 6768 5.0.0-inplace-gh │ │ │ -0000d720: 6339 2e31 302e 332e 736f d700 2f75 7372 c9.10.3.so../usr │ │ │ +0000d720: 6339 2e31 302e 332e 736f db00 2f75 7372 c9.10.3.so../usr │ │ │ 0000d730: 2f6c 6962 2f67 6863 2f6c 6962 2f2e 2e2f /lib/ghc/lib/../ │ │ │ 0000d740: 6c69 622f 6172 6d76 372d 6c69 6e75 782d lib/armv7-linux- │ │ │ 0000d750: 6768 632d 392e 3130 2e33 2f6c 6962 4853 ghc-9.10.3/libHS │ │ │ -0000d760: 7072 6574 7479 2d31 2e31 2e33 2e36 2d69 pretty-1.1.3.6-i │ │ │ -0000d770: 6e70 6c61 6365 2d67 6863 392e 3130 2e33 nplace-ghc9.10.3 │ │ │ -0000d780: 2e73 6fdb 002f 7573 722f 6c69 622f 6768 .so../usr/lib/gh │ │ │ -0000d790: 632f 6c69 622f 2e2e 2f6c 6962 2f61 726d c/lib/../lib/arm │ │ │ -0000d7a0: 7637 2d6c 696e 7578 2d67 6863 2d39 2e31 v7-linux-ghc-9.1 │ │ │ -0000d7b0: 302e 332f 6c69 6248 5367 6863 2d62 6f6f 0.3/libHSghc-boo │ │ │ -0000d7c0: 742d 7468 2d39 2e31 302e 332d 696e 706c t-th-9.10.3-inpl │ │ │ +0000d760: 6768 632d 626f 6f74 2d74 682d 392e 3130 ghc-boot-th-9.10 │ │ │ +0000d770: 2e33 2d69 6e70 6c61 6365 2d67 6863 392e .3-inplace-ghc9. │ │ │ +0000d780: 3130 2e33 2e73 6fd7 002f 7573 722f 6c69 10.3.so../usr/li │ │ │ +0000d790: 622f 6768 632f 6c69 622f 2e2e 2f6c 6962 b/ghc/lib/../lib │ │ │ +0000d7a0: 2f61 726d 7637 2d6c 696e 7578 2d67 6863 /armv7-linux-ghc │ │ │ +0000d7b0: 2d39 2e31 302e 332f 6c69 6248 5370 7265 -9.10.3/libHSpre │ │ │ +0000d7c0: 7474 792d 312e 312e 332e 362d 696e 706c tty-1.1.3.6-inpl │ │ │ 0000d7d0: 6163 652d 6768 6339 2e31 302e 332e 736f ace-ghc9.10.3.so │ │ │ 0000d7e0: e200 2f75 7372 2f6c 6962 2f67 6863 2f6c ../usr/lib/ghc/l │ │ │ 0000d7f0: 6962 2f2e 2e2f 6c69 622f 6172 6d76 372d ib/../lib/armv7- │ │ │ 0000d800: 6c69 6e75 782d 6768 632d 392e 3130 2e33 linux-ghc-9.10.3 │ │ │ 0000d810: 2f6c 6962 4853 7465 6d70 6c61 7465 2d68 /libHStemplate-h │ │ │ 0000d820: 6173 6b65 6c6c 2d32 2e32 322e 302e 302d askell-2.22.0.0- │ │ │ 0000d830: 696e 706c 6163 652d 6768 6339 2e31 302e inplace-ghc9.10. │ │ ├── ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/libHScopilot-theorem-4.6-CTEPxGe42hS56TAgkSXpbU-ghc9.10.3.so │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --dynamic {} │ │ │ │ @@ -11,18 +11,18 @@ │ │ │ │ 0x6ffffffa (RELCOUNT) 6113 │ │ │ │ 0x00000006 (SYMTAB) 0x178 │ │ │ │ 0x0000000b (SYMENT) 16 (bytes) │ │ │ │ 0x00000005 (STRTAB) 0x14768 │ │ │ │ 0x0000000a (STRSZ) 504353 (bytes) │ │ │ │ 0x6ffffef5 (GNU_HASH) 0x8f98c │ │ │ │ 0x00000001 (NEEDED) Shared library: [libm.so.6] │ │ │ │ - 0x00000001 (NEEDED) Shared library: [libHScopilot-prettyprinter-4.6-IGdeEqG8wkr4ANv9y6t2mJ-ghc9.10.3.so] │ │ │ │ - 0x00000001 (NEEDED) Shared library: [libHScopilot-core-4.6-Da65n6Q9CLYFqqncAgrjeg-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSdata-default-0.8.0.1-91Wz0ppme1c1GDgyfnAO0B-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSxml-1.3.14-DfDcwX6S3f86dPD2cqZusc-ghc9.10.3.so] │ │ │ │ + 0x00000001 (NEEDED) Shared library: [libHScopilot-prettyprinter-4.6-IGdeEqG8wkr4ANv9y6t2mJ-ghc9.10.3.so] │ │ │ │ + 0x00000001 (NEEDED) Shared library: [libHScopilot-core-4.6-Da65n6Q9CLYFqqncAgrjeg-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSwhat4-1.6.3-4q8YHAYUKjy39LZh9xUbRB-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSzenc-0.1.2-ArA6Yf0wUYTAPFreVb9BrH-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSversions-6.0.8-GI5Q3jWHyNgKJGQNQANwjy-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSutf8-string-1.0.2-Hcf4GfMGHw6J5KI5BUWa7M-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSunliftio-0.2.25.1-IysTP3jVmOGD5aDAyf3Nqh-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSunliftio-core-0.2.1.0-4w0XdrbbaozL3byKowXR47-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSsafe-exceptions-0.1.7.4-9gCeyIgAb6XAMIaW8J8Cro-ghc9.10.3.so] │ │ │ │ @@ -102,22 +102,22 @@ │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHStext-2.1.3-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSbinary-0.8.9.3-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSfilepath-1.5.4.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSos-string-2.0.7-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSexceptions-0.10.9-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSstm-2.5.3.1-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSmtl-2.3.1-inplace-ghc9.10.3.so] │ │ │ │ + 0x00000001 (NEEDED) Shared library: [libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so] │ │ │ │ + 0x00000001 (NEEDED) Shared library: [libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHStransformers-0.6.1.1-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHScontainers-0.7-inplace-ghc9.10.3.so] │ │ │ │ - 0x00000001 (NEEDED) Shared library: [libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHStemplate-haskell-2.22.0.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSpretty-1.1.3.6-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSghc-boot-th-9.10.3-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSdeepseq-1.5.0.0-inplace-ghc9.10.3.so] │ │ │ │ - 0x00000001 (NEEDED) Shared library: [libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSarray-0.5.8.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSbase-4.20.2.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSghc-internal-9.1003.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSghc-bignum-1.3-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libHSghc-prim-0.12.0-inplace-ghc9.10.3.so] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libz.so.1] │ │ │ │ 0x00000001 (NEEDED) Shared library: [libgmp.so.10] │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,8 +1,8 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 19cb183d89579a54334be76fa79ca064bb8b1348 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 37616765b1b17d5f69ee82d1def03e883c08a5b9 │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ Owner Data size Description │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -5208,18 +5208,18 @@ │ │ │ │ ghczmprim_GHCziTypes_TrNameS_con_info │ │ │ │ copilotzmtheoremzm4zi6zmCTEPxGe42hS56TAgkSXpbU_CopilotziTheoremziProve_Proof_con_info │ │ │ │ __cxa_finalize │ │ │ │ _ITM_registerTMCloneTable │ │ │ │ _ITM_deregisterTMCloneTable │ │ │ │ __gmon_start__ │ │ │ │ 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-4q8YHAYUKjy39LZh9xUbRB-ghc9.10.3.so │ │ │ │ libHSzenc-0.1.2-ArA6Yf0wUYTAPFreVb9BrH-ghc9.10.3.so │ │ │ │ libHSversions-6.0.8-GI5Q3jWHyNgKJGQNQANwjy-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 │ │ │ │ @@ -5299,22 +5299,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 {} │ │ │ │ @@ -1,11 +1,11 @@ │ │ │ │ │ │ │ │ Hex dump of section '.dynstr': │ │ │ │ - 0x00014768 005f5f62 73735f73 74617274 005f656e .__bss_start._en │ │ │ │ - 0x00014778 64005f65 64617461 00636f70 696c6f74 d._edata.copilot │ │ │ │ + 0x00014768 005f5f62 73735f73 74617274 005f6564 .__bss_start._ed │ │ │ │ + 0x00014778 61746100 5f656e64 00636f70 696c6f74 ata._end.copilot │ │ │ │ 0x00014788 7a6d7468 656f7265 6d7a6d34 7a69367a zmtheoremzm4zi6z │ │ │ │ 0x00014798 6d435445 50784765 34326853 35365441 mCTEPxGe42hS56TA │ │ │ │ 0x000147a8 676b5358 7062555f 436f7069 6c6f747a gkSXpbU_Copilotz │ │ │ │ 0x000147b8 69546865 6f72656d 7a695768 6174347a iTheoremziWhat4z │ │ │ │ 0x000147c8 69547261 6e736c61 74655f42 56536967 iTranslate_BVSig │ │ │ │ 0x000147d8 6e5f636c 6f737572 655f7462 6c00636f n_closure_tbl.co │ │ │ │ 0x000147e8 70696c6f 747a6d74 68656f72 656d7a6d pilotzmtheoremzm │ │ │ │ @@ -31149,29 +31149,29 @@ │ │ │ │ 0x0008e208 76655f50 726f6f66 5f636f6e 5f696e66 ve_Proof_con_inf │ │ │ │ 0x0008e218 6f005f5f 6378615f 66696e61 6c697a65 o.__cxa_finalize │ │ │ │ 0x0008e228 005f4954 4d5f7265 67697374 6572544d ._ITM_registerTM │ │ │ │ 0x0008e238 436c6f6e 65546162 6c65005f 49544d5f CloneTable._ITM_ │ │ │ │ 0x0008e248 64657265 67697374 6572544d 436c6f6e deregisterTMClon │ │ │ │ 0x0008e258 65546162 6c65005f 5f676d6f 6e5f7374 eTable.__gmon_st │ │ │ │ 0x0008e268 6172745f 5f006c69 626d2e73 6f2e3600 art__.libm.so.6. │ │ │ │ - 0x0008e278 6c696248 53636f70 696c6f74 2d707265 libHScopilot-pre │ │ │ │ - 0x0008e288 74747970 72696e74 65722d34 2e362d49 ttyprinter-4.6-I │ │ │ │ - 0x0008e298 47646545 71473877 6b723441 4e763979 GdeEqG8wkr4ANv9y │ │ │ │ - 0x0008e2a8 3674326d 4a2d6768 63392e31 302e332e 6t2mJ-ghc9.10.3. │ │ │ │ - 0x0008e2b8 736f006c 69624853 636f7069 6c6f742d so.libHScopilot- │ │ │ │ - 0x0008e2c8 636f7265 2d342e36 2d446136 356e3651 core-4.6-Da65n6Q │ │ │ │ - 0x0008e2d8 39434c59 4671716e 63416772 6a65672d 9CLYFqqncAgrjeg- │ │ │ │ - 0x0008e2e8 67686339 2e31302e 332e736f 006c6962 ghc9.10.3.so.lib │ │ │ │ - 0x0008e2f8 48536461 74612d64 65666175 6c742d30 HSdata-default-0 │ │ │ │ - 0x0008e308 2e382e30 2e312d39 31577a30 70706d65 .8.0.1-91Wz0ppme │ │ │ │ - 0x0008e318 31633147 44677966 6e414f30 422d6768 1c1GDgyfnAO0B-gh │ │ │ │ - 0x0008e328 63392e31 302e332e 736f006c 69624853 c9.10.3.so.libHS │ │ │ │ - 0x0008e338 786d6c2d 312e332e 31342d44 66446377 xml-1.3.14-DfDcw │ │ │ │ - 0x0008e348 58365333 66383664 50443263 715a7573 X6S3f86dPD2cqZus │ │ │ │ - 0x0008e358 632d6768 63392e31 302e332e 736f006c c-ghc9.10.3.so.l │ │ │ │ + 0x0008e278 6c696248 53646174 612d6465 6661756c libHSdata-defaul │ │ │ │ + 0x0008e288 742d302e 382e302e 312d3931 577a3070 t-0.8.0.1-91Wz0p │ │ │ │ + 0x0008e298 706d6531 63314744 6779666e 414f3042 pme1c1GDgyfnAO0B │ │ │ │ + 0x0008e2a8 2d676863 392e3130 2e332e73 6f006c69 -ghc9.10.3.so.li │ │ │ │ + 0x0008e2b8 62485378 6d6c2d31 2e332e31 342d4466 bHSxml-1.3.14-Df │ │ │ │ + 0x0008e2c8 44637758 36533366 38366450 44326371 DcwX6S3f86dPD2cq │ │ │ │ + 0x0008e2d8 5a757363 2d676863 392e3130 2e332e73 Zusc-ghc9.10.3.s │ │ │ │ + 0x0008e2e8 6f006c69 62485363 6f70696c 6f742d70 o.libHScopilot-p │ │ │ │ + 0x0008e2f8 72657474 79707269 6e746572 2d342e36 rettyprinter-4.6 │ │ │ │ + 0x0008e308 2d494764 65457147 38776b72 34414e76 -IGdeEqG8wkr4ANv │ │ │ │ + 0x0008e318 39793674 326d4a2d 67686339 2e31302e 9y6t2mJ-ghc9.10. │ │ │ │ + 0x0008e328 332e736f 006c6962 4853636f 70696c6f 3.so.libHScopilo │ │ │ │ + 0x0008e338 742d636f 72652d34 2e362d44 6136356e t-core-4.6-Da65n │ │ │ │ + 0x0008e348 36513943 4c594671 716e6341 67726a65 6Q9CLYFqqncAgrje │ │ │ │ + 0x0008e358 672d6768 63392e31 302e332e 736f006c g-ghc9.10.3.so.l │ │ │ │ 0x0008e368 69624853 77686174 342d312e 362e332d ibHSwhat4-1.6.3- │ │ │ │ 0x0008e378 34713859 48415955 4b6a7933 394c5a68 4q8YHAYUKjy39LZh │ │ │ │ 0x0008e388 39785562 52422d67 6863392e 31302e33 9xUbRB-ghc9.10.3 │ │ │ │ 0x0008e398 2e736f00 6c696248 537a656e 632d302e .so.libHSzenc-0. │ │ │ │ 0x0008e3a8 312e322d 41724136 59663077 55595441 1.2-ArA6Yf0wUYTA │ │ │ │ 0x0008e3b8 50467265 56623942 72482d67 6863392e PFreVb9BrH-ghc9. │ │ │ │ 0x0008e3c8 31302e33 2e736f00 6c696248 53766572 10.3.so.libHSver │ │ │ │ @@ -31472,37 +31472,37 @@ │ │ │ │ 0x0008f638 74696f6e 732d302e 31302e39 2d696e70 tions-0.10.9-inp │ │ │ │ 0x0008f648 6c616365 2d676863 392e3130 2e332e73 lace-ghc9.10.3.s │ │ │ │ 0x0008f658 6f006c69 62485373 746d2d32 2e352e33 o.libHSstm-2.5.3 │ │ │ │ 0x0008f668 2e312d69 6e706c61 63652d67 6863392e .1-inplace-ghc9. │ │ │ │ 0x0008f678 31302e33 2e736f00 6c696248 536d746c 10.3.so.libHSmtl │ │ │ │ 0x0008f688 2d322e33 2e312d69 6e706c61 63652d67 -2.3.1-inplace-g │ │ │ │ 0x0008f698 6863392e 31302e33 2e736f00 6c696248 hc9.10.3.so.libH │ │ │ │ - 0x0008f6a8 53747261 6e73666f 726d6572 732d302e Stransformers-0. │ │ │ │ - 0x0008f6b8 362e312e 312d696e 706c6163 652d6768 6.1.1-inplace-gh │ │ │ │ - 0x0008f6c8 63392e31 302e332e 736f006c 69624853 c9.10.3.so.libHS │ │ │ │ - 0x0008f6d8 636f6e74 61696e65 72732d30 2e372d69 containers-0.7-i │ │ │ │ - 0x0008f6e8 6e706c61 63652d67 6863392e 31302e33 nplace-ghc9.10.3 │ │ │ │ - 0x0008f6f8 2e736f00 6c696248 53627974 65737472 .so.libHSbytestr │ │ │ │ - 0x0008f708 696e672d 302e3132 2e322e30 2d696e70 ing-0.12.2.0-inp │ │ │ │ - 0x0008f718 6c616365 2d676863 392e3130 2e332e73 lace-ghc9.10.3.s │ │ │ │ - 0x0008f728 6f006c69 62485374 656d706c 6174652d o.libHStemplate- │ │ │ │ - 0x0008f738 6861736b 656c6c2d 322e3232 2e302e30 haskell-2.22.0.0 │ │ │ │ - 0x0008f748 2d696e70 6c616365 2d676863 392e3130 -inplace-ghc9.10 │ │ │ │ - 0x0008f758 2e332e73 6f006c69 62485370 72657474 .3.so.libHSprett │ │ │ │ - 0x0008f768 792d312e 312e332e 362d696e 706c6163 y-1.1.3.6-inplac │ │ │ │ - 0x0008f778 652d6768 63392e31 302e332e 736f006c e-ghc9.10.3.so.l │ │ │ │ - 0x0008f788 69624853 6768632d 626f6f74 2d74682d ibHSghc-boot-th- │ │ │ │ - 0x0008f798 392e3130 2e332d69 6e706c61 63652d67 9.10.3-inplace-g │ │ │ │ - 0x0008f7a8 6863392e 31302e33 2e736f00 6c696248 hc9.10.3.so.libH │ │ │ │ - 0x0008f7b8 53646565 70736571 2d312e35 2e302e30 Sdeepseq-1.5.0.0 │ │ │ │ - 0x0008f7c8 2d696e70 6c616365 2d676863 392e3130 -inplace-ghc9.10 │ │ │ │ - 0x0008f7d8 2e332e73 6f006c69 62485342 6f756e64 .3.so.libHSBound │ │ │ │ - 0x0008f7e8 65644368 616e2d31 2e302e33 2e302d36 edChan-1.0.3.0-6 │ │ │ │ - 0x0008f7f8 42687841 6b337161 70773470 71724864 BhxAk3qapw4pqrHd │ │ │ │ - 0x0008f808 4f7a6637 6c2d6768 63392e31 302e332e Ozf7l-ghc9.10.3. │ │ │ │ + 0x0008f6a8 53627974 65737472 696e672d 302e3132 Sbytestring-0.12 │ │ │ │ + 0x0008f6b8 2e322e30 2d696e70 6c616365 2d676863 .2.0-inplace-ghc │ │ │ │ + 0x0008f6c8 392e3130 2e332e73 6f006c69 62485342 9.10.3.so.libHSB │ │ │ │ + 0x0008f6d8 6f756e64 65644368 616e2d31 2e302e33 oundedChan-1.0.3 │ │ │ │ + 0x0008f6e8 2e302d36 42687841 6b337161 70773470 .0-6BhxAk3qapw4p │ │ │ │ + 0x0008f6f8 71724864 4f7a6637 6c2d6768 63392e31 qrHdOzf7l-ghc9.1 │ │ │ │ + 0x0008f708 302e332e 736f006c 69624853 7472616e 0.3.so.libHStran │ │ │ │ + 0x0008f718 73666f72 6d657273 2d302e36 2e312e31 sformers-0.6.1.1 │ │ │ │ + 0x0008f728 2d696e70 6c616365 2d676863 392e3130 -inplace-ghc9.10 │ │ │ │ + 0x0008f738 2e332e73 6f006c69 62485363 6f6e7461 .3.so.libHSconta │ │ │ │ + 0x0008f748 696e6572 732d302e 372d696e 706c6163 iners-0.7-inplac │ │ │ │ + 0x0008f758 652d6768 63392e31 302e332e 736f006c e-ghc9.10.3.so.l │ │ │ │ + 0x0008f768 69624853 74656d70 6c617465 2d686173 ibHStemplate-has │ │ │ │ + 0x0008f778 6b656c6c 2d322e32 322e302e 302d696e kell-2.22.0.0-in │ │ │ │ + 0x0008f788 706c6163 652d6768 63392e31 302e332e place-ghc9.10.3. │ │ │ │ + 0x0008f798 736f006c 69624853 70726574 74792d31 so.libHSpretty-1 │ │ │ │ + 0x0008f7a8 2e312e33 2e362d69 6e706c61 63652d67 .1.3.6-inplace-g │ │ │ │ + 0x0008f7b8 6863392e 31302e33 2e736f00 6c696248 hc9.10.3.so.libH │ │ │ │ + 0x0008f7c8 53676863 2d626f6f 742d7468 2d392e31 Sghc-boot-th-9.1 │ │ │ │ + 0x0008f7d8 302e332d 696e706c 6163652d 67686339 0.3-inplace-ghc9 │ │ │ │ + 0x0008f7e8 2e31302e 332e736f 006c6962 48536465 .10.3.so.libHSde │ │ │ │ + 0x0008f7f8 65707365 712d312e 352e302e 302d696e epseq-1.5.0.0-in │ │ │ │ + 0x0008f808 706c6163 652d6768 63392e31 302e332e place-ghc9.10.3. │ │ │ │ 0x0008f818 736f006c 69624853 61727261 792d302e so.libHSarray-0. │ │ │ │ 0x0008f828 352e382e 302d696e 706c6163 652d6768 5.8.0-inplace-gh │ │ │ │ 0x0008f838 63392e31 302e332e 736f006c 69624853 c9.10.3.so.libHS │ │ │ │ 0x0008f848 62617365 2d342e32 302e322e 302d696e base-4.20.2.0-in │ │ │ │ 0x0008f858 706c6163 652d6768 63392e31 302e332e place-ghc9.10.3. │ │ │ │ 0x0008f868 736f006c 69624853 6768632d 696e7465 so.libHSghc-inte │ │ │ │ 0x0008f878 726e616c 2d392e31 3030332e 302d696e rnal-9.1003.0-in