--- /srv/rebuilderd/tmp/rebuilderdbsy961/inputs/libghc-copilot-theorem-prof_4.6.1-1_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdbsy961/out/libghc-copilot-theorem-prof_4.6.1-1_amd64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-27 03:18:59.000000 debian-binary │ -rw-r--r-- 0 0 0 2212 2026-02-27 03:18:59.000000 control.tar.xz │ --rw-r--r-- 0 0 0 551496 2026-02-27 03:18:59.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 549344 2026-02-27 03:18:59.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-5co11AME8HDAudeMjdDQp2/Copilot/Theorem/What4/Translate.p_hi │ │ │ @@ -1,12 +1,12 @@ │ │ │ 00000000: 01fa ce64 0439 3130 3301 70b2 fbd2 80e6 ...d.9103.p..... │ │ │ 00000010: 83f4 a45a ddb7 8a92 f390 f1f5 d701 0000 ...Z............ │ │ │ -00000020: d1f2 0000 9faa 0000 994b 0000 0100 00d5 .........K...... │ │ │ -00000030: c8d0 ebdf d5d0 a0eb 01aa ecbc ecf8 edec ................ │ │ │ -00000040: 8429 a4d6 c1e8 c08f b4bb c301 a3e8 d2e7 .).............. │ │ │ +00000020: d1f2 0000 9faa 0000 994b 0000 0100 00be .........K...... │ │ │ +00000030: bad9 e3aa fac7 ec0b a9bc ace5 fdd8 ebcd ................ │ │ │ +00000040: ad01 a4d6 c1e8 c08f b4bb c301 a3e8 d2e7 ................ │ │ │ 00000050: b082 f7a4 a201 939d cdaa a6cc e6ad d701 ................ │ │ │ 00000060: c2ad e5be 9ccc 9790 1ec8 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: 0002 ed01 a3fc f094 9f9b 9fba b601 dde5 ................ │ │ │ 00000900: 82d2 f2d5 d7f7 8801 0002 ee01 a0fc bfb2 ................ │ │ │ 00000910: f3d0 f1b3 6fa4 b7a1 a1ad c28d 8055 0002 ....o........U.. │ │ │ 00000920: ef01 a7f6 91c7 b0b7 8791 9b01 83ac b7dc ................ │ │ │ 00000930: fbc0 9ee7 5700 02f0 019f 9db8 89ac a89e ....W........... │ │ │ 00000940: e64c aaac e5d6 d490 fbd0 bd01 0002 f101 .L.............. │ │ │ 00000950: 9682 94f3 e5f2 b9f0 01aa 9096 d7d1 9b8e ................ │ │ │ -00000960: e395 0100 02f2 01d3 b986 f5ad aad6 a820 ............... │ │ │ -00000970: d4c2 c0f2 c3d4 bea1 a401 0002 f301 e0e6 ................ │ │ │ -00000980: d385 9fc1 96e0 9b01 cca9 a782 f2fc 9d8a ................ │ │ │ +00000960: e395 0100 02f2 01e0 e6d3 859f c196 e09b ................ │ │ │ +00000970: 01cc a9a7 82f2 fc9d 8a01 0002 f301 d3b9 ................ │ │ │ +00000980: 86f5 adaa d6a8 20d4 c2c0 f2c3 d4be a1a4 ...... ......... │ │ │ 00000990: 0100 02f4 01b7 a090 9a82 e9db ffdb 01f6 ................ │ │ │ 000009a0: d3b1 8ccb e8d8 8259 0002 f501 e4b4 9dd7 .......Y........ │ │ │ 000009b0: abe5 af92 8b01 d98a ce9e d684 a5c3 0c00 ................ │ │ │ 000009c0: 02f6 01ef a4bc aeea 90b9 fce6 01bb f5d0 ................ │ │ │ 000009d0: 9cf3 cb9d b0c4 0100 02f7 019d d5e6 b3af ................ │ │ │ 000009e0: ebd0 b5c5 01fe d688 ba8f fad3 cf0f 0002 ................ │ │ │ 000009f0: f801 d7fc d08f c98d 83f9 64e8 cf80 d1a4 ..........d..... │ │ │ @@ -2945,25 +2945,25 @@ │ │ │ 0000b800: 302d 696e 706c 6163 652d 6768 6339 2e31 0-inplace-ghc9.1 │ │ │ 0000b810: 302e 332e 736f d900 2f75 7372 2f6c 6962 0.3.so../usr/lib │ │ │ 0000b820: 2f67 6863 2f6c 6962 2f2e 2e2f 6c69 622f /ghc/lib/../lib/ │ │ │ 0000b830: 7838 365f 3634 2d6c 696e 7578 2d67 6863 x86_64-linux-ghc │ │ │ 0000b840: 2d39 2e31 302e 332f 6c69 6248 5364 6565 -9.10.3/libHSdee │ │ │ 0000b850: 7073 6571 2d31 2e35 2e30 2e30 2d69 6e70 pseq-1.5.0.0-inp │ │ │ 0000b860: 6c61 6365 2d67 6863 392e 3130 2e33 2e73 lace-ghc9.10.3.s │ │ │ -0000b870: 6fd8 002f 7573 722f 6c69 622f 6768 632f o../usr/lib/ghc/ │ │ │ +0000b870: 6fdc 002f 7573 722f 6c69 622f 6768 632f o../usr/lib/ghc/ │ │ │ 0000b880: 6c69 622f 2e2e 2f6c 6962 2f78 3836 5f36 lib/../lib/x86_6 │ │ │ 0000b890: 342d 6c69 6e75 782d 6768 632d 392e 3130 4-linux-ghc-9.10 │ │ │ -0000b8a0: 2e33 2f6c 6962 4853 7072 6574 7479 2d31 .3/libHSpretty-1 │ │ │ -0000b8b0: 2e31 2e33 2e36 2d69 6e70 6c61 6365 2d67 .1.3.6-inplace-g │ │ │ -0000b8c0: 6863 392e 3130 2e33 2e73 6fdc 002f 7573 hc9.10.3.so../us │ │ │ -0000b8d0: 722f 6c69 622f 6768 632f 6c69 622f 2e2e r/lib/ghc/lib/.. │ │ │ -0000b8e0: 2f6c 6962 2f78 3836 5f36 342d 6c69 6e75 /lib/x86_64-linu │ │ │ -0000b8f0: 782d 6768 632d 392e 3130 2e33 2f6c 6962 x-ghc-9.10.3/lib │ │ │ -0000b900: 4853 6768 632d 626f 6f74 2d74 682d 392e HSghc-boot-th-9. │ │ │ -0000b910: 3130 2e33 2d69 6e70 6c61 6365 2d67 6863 10.3-inplace-ghc │ │ │ +0000b8a0: 2e33 2f6c 6962 4853 6768 632d 626f 6f74 .3/libHSghc-boot │ │ │ +0000b8b0: 2d74 682d 392e 3130 2e33 2d69 6e70 6c61 -th-9.10.3-inpla │ │ │ +0000b8c0: 6365 2d67 6863 392e 3130 2e33 2e73 6fd8 ce-ghc9.10.3.so. │ │ │ +0000b8d0: 002f 7573 722f 6c69 622f 6768 632f 6c69 ./usr/lib/ghc/li │ │ │ +0000b8e0: 622f 2e2e 2f6c 6962 2f78 3836 5f36 342d b/../lib/x86_64- │ │ │ +0000b8f0: 6c69 6e75 782d 6768 632d 392e 3130 2e33 linux-ghc-9.10.3 │ │ │ +0000b900: 2f6c 6962 4853 7072 6574 7479 2d31 2e31 /libHSpretty-1.1 │ │ │ +0000b910: 2e33 2e36 2d69 6e70 6c61 6365 2d67 6863 .3.6-inplace-ghc │ │ │ 0000b920: 392e 3130 2e33 2e73 6fe3 002f 7573 722f 9.10.3.so../usr/ │ │ │ 0000b930: 6c69 622f 6768 632f 6c69 622f 2e2e 2f6c lib/ghc/lib/../l │ │ │ 0000b940: 6962 2f78 3836 5f36 342d 6c69 6e75 782d ib/x86_64-linux- │ │ │ 0000b950: 6768 632d 392e 3130 2e33 2f6c 6962 4853 ghc-9.10.3/libHS │ │ │ 0000b960: 7465 6d70 6c61 7465 2d68 6173 6b65 6c6c template-haskell │ │ │ 0000b970: 2d32 2e32 322e 302e 302d 696e 706c 6163 -2.22.0.0-inplac │ │ │ 0000b980: 652d 6768 6339 2e31 302e 332e 736f dd00 e-ghc9.10.3.so..