--- /srv/rebuilderd/tmp/rebuilderdCWeqVF/inputs/libghc-type-level-numbers-dev_0.1.1.2-4_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdCWeqVF/out/libghc-type-level-numbers-dev_0.1.1.2-4_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-01-05 15:43:00.000000 debian-binary │ --rw-r--r-- 0 0 0 1576 2026-01-05 15:43:00.000000 control.tar.xz │ --rw-r--r-- 0 0 0 109444 2026-01-05 15:43:00.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 1572 2026-01-05 15:43:00.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 109468 2026-01-05 15:43:00.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-98d9/type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb/libHStype-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb.a │ │ │ ├── nm --print-armap {} │ │ │ │ @@ -932,21 +932,21 @@ │ │ │ │ U ghczmprim_GHCziTypes_Module_con_info │ │ │ │ U ghczmprim_GHCziTypes_TrNameS_con_info │ │ │ │ U ghczmprim_GHCziTypes_TyCon_con_info │ │ │ │ U ghczmprim_GHCziTypes_ZC_con_info │ │ │ │ U ghczmprim_GHCziTypes_ZMZN_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdConstraint_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdzt_closure │ │ │ │ -0000000000000280 r i69E_str │ │ │ │ -00000000000002d8 r i69Q_str │ │ │ │ -0000000000000178 r i69j_str │ │ │ │ -00000000000001d0 r i69q_str │ │ │ │ -0000000000000228 r i69x_str │ │ │ │ -0000000000000330 r i6aN_str │ │ │ │ -0000000000000388 r i6aU_str │ │ │ │ +0000000000000280 r i5lD_str │ │ │ │ +00000000000002d8 r i5lK_str │ │ │ │ +0000000000000330 r i5lR_str │ │ │ │ +0000000000000388 r i5lY_str │ │ │ │ +0000000000000178 r i5ld_str │ │ │ │ +00000000000001d0 r i5lk_str │ │ │ │ +0000000000000228 r i5lu_str │ │ │ │ U stg_INTLIKE_closure │ │ │ │ U stg_unpack_cstring_info │ │ │ │ 0000000000000f98 D typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_CZCGreaterEq_closure │ │ │ │ 0000000000000488 T typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_CZCGreaterEq_con_info │ │ │ │ 0000000000000fa8 D typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_CZCGreater_closure │ │ │ │ 00000000000004d8 T typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_CZCGreater_con_info │ │ │ │ 0000000000000fa0 D typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_CZCLesserEq_closure │ │ │ │ @@ -1945,15 +1945,15 @@ │ │ │ │ U ghczmprim_GHCziTypes_True_closure │ │ │ │ U ghczmprim_GHCziTypes_TyCon_con_info │ │ │ │ U ghczmprim_GHCziTypes_ZC_con_info │ │ │ │ U ghczmprim_GHCziTypes_ZMZN_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdConstraint_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdzt_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdztzmzgztzmzgzt_closure │ │ │ │ -0000000000000130 r i87D_str │ │ │ │ +0000000000000130 r i84D_str │ │ │ │ U newCAF │ │ │ │ U stg_INTLIKE_closure │ │ │ │ U stg_SRT_1_info │ │ │ │ U stg_SRT_2_info │ │ │ │ U stg_ap_0_fast │ │ │ │ U stg_ap_p_fast │ │ │ │ U stg_ap_p_info │ │ │ ├── Classes.o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -50,33 +50,33 @@ │ │ │ │ │ 46: 0000000000000380 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 47: 0000000000000398 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 48: 00000000000003a8 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 49: 00000000000003c0 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 50: 00000000000003d0 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 51: 00000000000003e8 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 52: 0000000000000000 0 NOTYPE LOCAL DEFAULT 7 $d │ │ │ │ │ - 53: 0000000000000178 0 NOTYPE LOCAL DEFAULT 6 i69j_str │ │ │ │ │ + 53: 0000000000000178 0 NOTYPE LOCAL DEFAULT 6 i5ld_str │ │ │ │ │ 54: 00000000000003f8 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 55: 0000000000000410 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 56: 00000000000001d0 0 NOTYPE LOCAL DEFAULT 6 i69q_str │ │ │ │ │ + 56: 00000000000001d0 0 NOTYPE LOCAL DEFAULT 6 i5lk_str │ │ │ │ │ 57: 0000000000000420 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 58: 0000000000000438 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 59: 0000000000000228 0 NOTYPE LOCAL DEFAULT 6 i69x_str │ │ │ │ │ + 59: 0000000000000228 0 NOTYPE LOCAL DEFAULT 6 i5lu_str │ │ │ │ │ 60: 0000000000000448 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 61: 0000000000000460 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 62: 0000000000000280 0 NOTYPE LOCAL DEFAULT 6 i69E_str │ │ │ │ │ + 62: 0000000000000280 0 NOTYPE LOCAL DEFAULT 6 i5lD_str │ │ │ │ │ 63: 0000000000000470 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 64: 0000000000000488 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 65: 00000000000002d8 0 NOTYPE LOCAL DEFAULT 6 i69Q_str │ │ │ │ │ + 65: 00000000000002d8 0 NOTYPE LOCAL DEFAULT 6 i5lK_str │ │ │ │ │ 66: 0000000000000498 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 67: 00000000000004b0 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 68: 0000000000000330 0 NOTYPE LOCAL DEFAULT 6 i6aN_str │ │ │ │ │ + 68: 0000000000000330 0 NOTYPE LOCAL DEFAULT 6 i5lR_str │ │ │ │ │ 69: 00000000000004c0 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 70: 00000000000004d8 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 71: 0000000000000388 0 NOTYPE LOCAL DEFAULT 6 i6aU_str │ │ │ │ │ + 71: 0000000000000388 0 NOTYPE LOCAL DEFAULT 6 i5lY_str │ │ │ │ │ 72: 00000000000004e8 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 73: 0000000000000500 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 74: 0000000000000000 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCPositive3_bytes │ │ │ │ │ 75: 0000000000000010 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtcPositive2_bytes │ │ │ │ │ 76: 0000000000000020 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCNonZZero3_bytes │ │ │ │ │ 77: 0000000000000030 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtcNonZZero3_bytes │ │ │ │ │ 78: 0000000000000038 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCOneOfTwo3_bytes │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -65,21 +65,21 @@ │ │ │ │ │ 00000000000003a4 000000a00000011a R_AARCH64_JUMP26 0000000000000000 ghczminternal_GHCziInternalziErr_undefined_info + 0 │ │ │ │ │ 00000000000003c0 000000c400000113 R_AARCH64_ADR_PREL_PG_HI21 00000000000006d8 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_mulN1_closure + 0 │ │ │ │ │ 00000000000003c4 000000c400000115 R_AARCH64_ADD_ABS_LO12_NC 00000000000006d8 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_mulN1_closure + 0 │ │ │ │ │ 00000000000003cc 000000a00000011a R_AARCH64_JUMP26 0000000000000000 ghczminternal_GHCziInternalziErr_undefined_info + 0 │ │ │ │ │ 00000000000003e8 000000c900000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000778 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_divN1_closure + 0 │ │ │ │ │ 00000000000003ec 000000c900000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000778 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_divN1_closure + 0 │ │ │ │ │ 00000000000003f4 000000a00000011a R_AARCH64_JUMP26 0000000000000000 ghczminternal_GHCziInternalziErr_undefined_info + 0 │ │ │ │ │ -00000000000003f8 0000003500000104 R_AARCH64_PREL64 0000000000000178 i69j_str - 18 │ │ │ │ │ -0000000000000420 0000003800000104 R_AARCH64_PREL64 00000000000001d0 i69q_str - 18 │ │ │ │ │ -0000000000000448 0000003b00000104 R_AARCH64_PREL64 0000000000000228 i69x_str - 18 │ │ │ │ │ -0000000000000470 0000003e00000104 R_AARCH64_PREL64 0000000000000280 i69E_str - 18 │ │ │ │ │ -0000000000000498 0000004100000104 R_AARCH64_PREL64 00000000000002d8 i69Q_str - 18 │ │ │ │ │ -00000000000004c0 0000004400000104 R_AARCH64_PREL64 0000000000000330 i6aN_str - 18 │ │ │ │ │ -00000000000004e8 0000004700000104 R_AARCH64_PREL64 0000000000000388 i6aU_str - 18 │ │ │ │ │ +00000000000003f8 0000003500000104 R_AARCH64_PREL64 0000000000000178 i5ld_str - 18 │ │ │ │ │ +0000000000000420 0000003800000104 R_AARCH64_PREL64 00000000000001d0 i5lk_str - 18 │ │ │ │ │ +0000000000000448 0000003b00000104 R_AARCH64_PREL64 0000000000000228 i5lu_str - 18 │ │ │ │ │ +0000000000000470 0000003e00000104 R_AARCH64_PREL64 0000000000000280 i5lD_str - 18 │ │ │ │ │ +0000000000000498 0000004100000104 R_AARCH64_PREL64 00000000000002d8 i5lK_str - 18 │ │ │ │ │ +00000000000004c0 0000004400000104 R_AARCH64_PREL64 0000000000000330 i5lR_str - 18 │ │ │ │ │ +00000000000004e8 0000004700000104 R_AARCH64_PREL64 0000000000000388 i5lY_str - 18 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data' at offset 0x8a30 contains 348 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000006000000101 R_AARCH64_ABS64 0000000000000000 stg_unpack_cstring_info + 0 │ │ │ │ │ 0000000000000020 0000005e00000101 R_AARCH64_ABS64 0000000000000168 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdfShowIsLesser3_bytes + 0 │ │ │ │ │ 0000000000000028 0000006100000101 R_AARCH64_ABS64 0000000000000018 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdfShowIsLesserzuzdcshow_info + 0 │ │ │ │ │ 0000000000000038 0000006300000101 R_AARCH64_ABS64 0000000000000040 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdfShowIsLesserzuzdcshowsPrec_info + 0 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -18,21 +18,21 @@ │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:Positive │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:NonZero │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:OneOfTwo │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:GreaterEq │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:LesserEq │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:Greater │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Number.Classes.C:Lesser │ │ │ │ │ -i69j_str │ │ │ │ │ -i69q_str │ │ │ │ │ -i69x_str │ │ │ │ │ -i69E_str │ │ │ │ │ -i69Q_str │ │ │ │ │ -i6aN_str │ │ │ │ │ -i6aU_str │ │ │ │ │ +i5ld_str │ │ │ │ │ +i5lk_str │ │ │ │ │ +i5lu_str │ │ │ │ │ +i5lD_str │ │ │ │ │ +i5lK_str │ │ │ │ │ +i5lR_str │ │ │ │ │ +i5lY_str │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCPositive3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtcPositive2_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCNonZZero3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtcNonZZero3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCOneOfTwo3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtcOneOfTwo3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_zdtczqCZCGreaterEq3_bytes │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -379,50 +379,50 @@ │ │ │ │ │ R_AARCH64_ADR_PREL_PG_HI21 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_divN1_closure │ │ │ │ │ add x23, x23, #0x0 │ │ │ │ │ R_AARCH64_ADD_ABS_LO12_NC typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziNumberziClasses_divN1_closure │ │ │ │ │ add x23, x23, #0x2 │ │ │ │ │ b 0 │ │ │ │ │ R_AARCH64_JUMP26 ghczminternal_GHCziInternalziErr_undefined_info │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i69j_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5ld_str-0x18 │ │ │ │ │ .word 0x00000001 │ │ │ │ │ .word 0x00000003 │ │ │ │ │ .word 0x00000000 │ │ │ │ │ │ │ │ │ │ 0000000000000410 : │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i69q_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5lk_str-0x18 │ │ │ │ │ ............ │ │ │ │ │ │ │ │ │ │ 0000000000000438 : │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i69x_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5lu_str-0x18 │ │ │ │ │ ............ │ │ │ │ │ │ │ │ │ │ 0000000000000460 : │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i69E_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5lD_str-0x18 │ │ │ │ │ ............ │ │ │ │ │ │ │ │ │ │ 0000000000000488 : │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i69Q_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5lK_str-0x18 │ │ │ │ │ ............ │ │ │ │ │ │ │ │ │ │ 00000000000004b0 : │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i6aN_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5lR_str-0x18 │ │ │ │ │ ............ │ │ │ │ │ │ │ │ │ │ 00000000000004d8 : │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i6aU_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5lY_str-0x18 │ │ │ │ │ ............ │ │ │ │ │ │ │ │ │ │ 0000000000000500 : │ │ │ │ │ ......@.@... │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,14 +1,14 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ - 0x00000000 00246400 24780069 36396a5f 73747200 .$d.$x.i69j_str. │ │ │ │ │ - 0x00000010 69363971 5f737472 00693639 785f7374 i69q_str.i69x_st │ │ │ │ │ - 0x00000020 72006936 39455f73 74720069 3639515f r.i69E_str.i69Q_ │ │ │ │ │ - 0x00000030 73747200 6936614e 5f737472 00693661 str.i6aN_str.i6a │ │ │ │ │ - 0x00000040 555f7374 72007479 70657a6d 6c657665 U_str.typezmleve │ │ │ │ │ + 0x00000000 00246400 24780069 356c645f 73747200 .$d.$x.i5ld_str. │ │ │ │ │ + 0x00000010 69356c6b 5f737472 0069356c 755f7374 i5lk_str.i5lu_st │ │ │ │ │ + 0x00000020 72006935 6c445f73 74720069 356c4b5f r.i5lD_str.i5lK_ │ │ │ │ │ + 0x00000030 73747200 69356c52 5f737472 0069356c str.i5lR_str.i5l │ │ │ │ │ + 0x00000040 595f7374 72007479 70657a6d 6c657665 Y_str.typezmleve │ │ │ │ │ 0x00000050 6c7a6d6e 756d6265 72737a6d 307a6931 lzmnumberszm0zi1 │ │ │ │ │ 0x00000060 7a69317a 69327a6d 45455959 37573157 zi1zi2zmEEYY7W1W │ │ │ │ │ 0x00000070 30724644 6c6e465a 5a62637a 7a517962 0rFDlnFZZbczzQyb │ │ │ │ │ 0x00000080 5f547970 654c6576 656c7a69 4e756d62 _TypeLevelziNumb │ │ │ │ │ 0x00000090 65727a69 436c6173 7365735f 7a647463 erziClasses_zdtc │ │ │ │ │ 0x000000a0 7a71435a 43506f73 69746976 65335f62 zqCZCPositive3_b │ │ │ │ │ 0x000000b0 79746573 00747970 657a6d6c 6576656c ytes.typezmlevel │ │ │ ├── Reify.o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -267,15 +267,15 @@ │ │ │ │ │ 263: 0000000000002eb0 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 264: 0000000000002ec8 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 265: 0000000000002ed8 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 266: 0000000000002f10 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 267: 0000000000002f28 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 268: 0000000000003100 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 269: 0000000000003118 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 270: 0000000000000130 0 NOTYPE LOCAL DEFAULT 6 i87D_str │ │ │ │ │ + 270: 0000000000000130 0 NOTYPE LOCAL DEFAULT 6 i84D_str │ │ │ │ │ 271: 0000000000003160 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 272: 0000000000003178 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 273: 0000000000000000 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtczqCZCReify3_bytes │ │ │ │ │ 274: 0000000000000010 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtcReify3_bytes │ │ │ │ │ 275: 0000000000000088 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtczqWitness3_bytes │ │ │ │ │ 276: 0000000000000098 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtrModule2_bytes │ │ │ │ │ 277: 00000000000000a8 0 OBJECT GLOBAL DEFAULT 6 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtrModule4_bytes │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -596,15 +596,15 @@ │ │ │ │ │ 0000000000003088 0000000200000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 .data + 648 │ │ │ │ │ 00000000000030f0 0000019c00000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000650 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdfDataWitness_closure + 0 │ │ │ │ │ 00000000000030f4 0000019c00000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000650 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdfDataWitness_closure + 0 │ │ │ │ │ 0000000000003128 0000011d00000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000003178 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_Witness_con_info + 0 │ │ │ │ │ 000000000000312c 0000011d00000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000003178 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_Witness_con_info + 0 │ │ │ │ │ 000000000000314c 000001a300000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000768 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_Witness_closure + 0 │ │ │ │ │ 0000000000003150 000001a300000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000768 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_Witness_closure + 0 │ │ │ │ │ -0000000000003160 0000010e00000104 R_AARCH64_PREL64 0000000000000130 i87D_str - 18 │ │ │ │ │ +0000000000003160 0000010e00000104 R_AARCH64_PREL64 0000000000000130 i84D_str - 18 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data' at offset 0xc5b0 contains 156 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000011a00000101 R_AARCH64_ABS64 0000000000000018 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_witness_info + 0 │ │ │ │ │ 0000000000000008 0000011c00000101 R_AARCH64_ABS64 0000000000000040 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdfDataWitness2_info + 0 │ │ │ │ │ 0000000000000010 0000012100000101 R_AARCH64_ABS64 00000000000000f0 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdfDataWitnesszuzdcgfoldl_info + 0 │ │ │ │ │ 0000000000000018 0000012500000101 R_AARCH64_ABS64 00000000000001b0 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdfEqWitnesszuzdczeze_info + 0 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -6,15 +6,15 @@ │ │ │ │ │ 'Witness │ │ │ │ │ TypeLevel.Reify │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb │ │ │ │ │ TypeLevel.Reify.Witness │ │ │ │ │ getValue │ │ │ │ │ Witness {getValue = │ │ │ │ │ type-level-numbers-0.1.1.2-EEYY7W1W0rFDlnFZbczQyb:TypeLevel.Reify.Witness │ │ │ │ │ -i87D_str │ │ │ │ │ +i84D_str │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtczqCZCReify3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtcReify3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtczqWitness3_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtrModule2_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtrModule4_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdfDataWitness10_bytes │ │ │ │ │ typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_zdtcWitness2_bytes │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -3807,15 +3807,15 @@ │ │ │ │ │ R_AARCH64_ADR_PREL_PG_HI21 typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_Witness_closure │ │ │ │ │ add x22, x22, #0x0 │ │ │ │ │ R_AARCH64_ADD_ABS_LO12_NC typezmlevelzmnumberszm0zi1zi1zi2zmEEYY7W1W0rFDlnFZZbczzQyb_TypeLevelziReify_Witness_closure │ │ │ │ │ ldur x18, [x19, #-8] │ │ │ │ │ br x18 │ │ │ │ │ nop │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i87D_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i84D_str-0x18 │ │ │ │ │ .word 0x00000001 │ │ │ │ │ .word 0x00000000 │ │ │ │ │ .word 0x00000002 │ │ │ │ │ .word 0x00000000 │ │ │ │ │ │ │ │ │ │ 0000000000003178 : │ │ │ │ │ ......@.@... │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,10 +1,10 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ - 0x00000000 00246400 24780069 3837445f 73747200 .$d.$x.i87D_str. │ │ │ │ │ + 0x00000000 00246400 24780069 3834445f 73747200 .$d.$x.i84D_str. │ │ │ │ │ 0x00000010 74797065 7a6d6c65 76656c7a 6d6e756d typezmlevelzmnum │ │ │ │ │ 0x00000020 62657273 7a6d307a 69317a69 317a6932 berszm0zi1zi1zi2 │ │ │ │ │ 0x00000030 7a6d4545 59593757 31573072 46446c6e zmEEYY7W1W0rFDln │ │ │ │ │ 0x00000040 465a5a62 637a7a51 79625f54 7970654c FZZbczzQyb_TypeL │ │ │ │ │ 0x00000050 6576656c 7a695265 6966795f 7a647463 evelziReify_zdtc │ │ │ │ │ 0x00000060 7a71435a 43526569 6679335f 62797465 zqCZCReify3_byte │ │ │ │ │ 0x00000070 73007479 70657a6d 6c657665 6c7a6d6e s.typezmlevelzmn