~/f/coq/RPMS.2 ~/f/coq ~/f/coq RPMS.2/rocq-9.2.0-1.1.x86_64.rpm RPMS/rocq-9.2.0-1.1.x86_64.rpm differ: char 225, line 1 Comparing rocq-9.2.0-1.1.x86_64.rpm to rocq-9.2.0-1.1.x86_64.rpm comparing the rpm tags of rocq --- old-rpm-tags +++ new-rpm-tags @@ -528 +528 @@ -/usr/bin/rocq.byte 785583fc8225b540d8cdc84ea73378a8cbc070acc8e0e38c76f7877ac72ef54d 0 +/usr/bin/rocq.byte 07ccc73e50d184be23dc477f3cc7d9618bd027a876dc5a4f13763db9561d6ea4 0 @@ -899,2 +899,2 @@ -/usr/lib64/rocq-runtime/rocqworker.byte 1c2831154913a8e9a92eb668c8bcb0ffcf9da05cd87667122ca900d9b7cc9345 0 -/usr/lib64/rocq-runtime/rocqworker_with_drop b652ad04961d02aa2e785ce181f42ba6de412a12ff998c410a0d356bae0a8393 0 +/usr/lib64/rocq-runtime/rocqworker.byte 71afae46c342dcd5fb2362638caee916754722a7f2c1bb4c1f9ddcb168dff351 0 +/usr/lib64/rocq-runtime/rocqworker_with_drop 4b2be696c917bb61303889726dde33593770bf9838f5eb4fb3d5109629936573 0 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/bin/rocq.byte differs at offset '3811452' (a /usr/bin/ocamlrun-a100 script executable (binary data)) --- old /usr/bin/rocq.byte (hex) +++ new /usr/bin/rocq.byte (hex) @@ -1,33 +1,33 @@ 003a2840 6f 6f 74 2f 63 6c 69 62 a0 09 24 2f 77 6f 72 6b |oot/clib..$/work| 003a2850 73 70 61 63 65 5f 72 6f 6f 74 2f 63 6c 69 62 2f |space_root/clib/| 003a2860 2e 63 6c 69 62 2e 6f 62 6a 73 2f 62 79 74 65 40 |.clib.objs/byte@| -003a2870 00 07 dc 04 84 95 a6 be 00 00 50 61 00 00 0e c5 |..........Pa....| -003a2880 00 00 3b 63 00 00 3a 8d a0 08 00 00 2f 00 01 05 |..;c..:...../...| +003a2870 00 07 dc 04 84 95 a6 be 00 00 50 5b 00 00 0e c2 |..........P[....| +003a2880 00 00 3b 5c 00 00 3a 86 a0 08 00 00 2f 00 01 05 |..;\..:...../...| 003a2890 48 2b 4d 65 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 |H+Memprof_coq..&| 003a28a0 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 3f |_none_@@....AA"?| 003a28b0 3f 41 40 d0 40 40 40 40 40 a0 40 40 40 40 a0 08 |?A@.@@@@@.@@@@..| 003a28c0 00 00 2f 00 01 05 30 04 09 04 08 41 04 05 41 40 |../...0....A..A@| 003a28d0 04 04 04 03 40 40 a0 08 00 00 2f 00 01 04 f4 04 |....@@..../.....| -003a28e0 0b 04 0a 41 04 07 41 c3 c3 c3 c3 c3 b0 ab ab a7 |...A..A.........| -003a28f0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 |................| +003a28e0 0b 04 0a 41 04 07 41 c3 c3 c3 c3 c3 b0 ab a7 b2 |...A..A.........| +003a28f0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 |................| 003a2900 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -003a2910 b1 b1 40 a3 23 69 6e 74 41 08 00 00 3b 00 40 40 |..@.#intA...;.@@| -003a2920 93 04 03 41 40 40 40 40 40 04 39 40 41 40 93 04 |...A@@@@@.9@A@..| -003a2930 04 a3 24 63 68 61 72 42 08 00 00 3b 00 40 40 93 |..$charB...;.@@.| -003a2940 04 03 41 40 40 40 40 40 04 3e 40 41 40 93 04 04 |..A@@@@@.>@A@...| -003a2950 a3 26 73 74 72 69 6e 67 51 08 00 00 3b 00 40 40 |.&stringQ...;.@@| -003a2960 93 04 03 41 40 40 40 40 40 04 43 40 40 40 93 04 |...A@@@@@.C@@@..| -003a2970 04 a3 25 62 79 74 65 73 43 08 00 00 3b 00 40 40 |..%bytesC...;.@@| -003a2980 93 04 03 41 40 40 40 40 40 04 48 40 40 40 93 04 |...A@@@@@.H@@@..| -003a2990 04 a3 25 66 6c 6f 61 74 44 08 00 00 3b 00 40 40 |..%floatD...;.@@| -003a29a0 93 04 03 41 40 40 40 40 40 04 4d 40 40 40 93 04 |...A@@@@@.M@@@..| -003a29b0 04 a3 24 62 6f 6f 6c 45 08 00 00 3b 00 40 40 a2 |..$boolE...;.@@.| -003a29c0 a0 e0 a3 25 66 61 6c 73 65 63 90 40 40 04 57 40 |...%falsec.@@.W@| -003a29d0 93 04 03 a0 e0 a3 24 74 72 75 65 64 90 40 40 04 |......$trued.@@.| -003a29e0 5d 40 93 04 03 40 40 41 40 40 40 40 40 04 5e 40 |]@...@@A@@@@@.^@| -003a29f0 41 40 93 04 10 a3 24 75 6e 69 74 46 08 00 00 3b |A@....$unitF...;| -003a2a00 00 40 40 a2 a0 e0 a3 22 28 29 65 90 40 40 04 68 |.@@...."()e.@@.h| -003a2a10 40 93 04 03 40 40 41 40 40 40 40 40 04 69 40 41 |@...@@A@@@@@.i@A| -003a2a20 40 93 04 0a a3 23 65 78 6e 47 08 00 00 3b 00 40 |@....#exnG...;.@| -003a2a30 40 40 41 40 40 40 40 40 04 6d 40 40 40 93 04 03 |@@A@@@@@.m@@@...| +003a2910 b1 40 a3 23 69 6e 74 41 08 00 00 3b 00 40 40 93 |.@.#intA...;.@@.| +003a2920 04 03 41 40 40 40 40 40 04 38 40 41 40 93 04 04 |..A@@@@@.8@A@...| +003a2930 a3 24 63 68 61 72 42 08 00 00 3b 00 40 40 93 04 |.$charB...;.@@..| +003a2940 03 41 40 40 40 40 40 04 3d 40 41 40 93 04 04 a3 |.A@@@@@.=@A@....| +003a2950 26 73 74 72 69 6e 67 51 08 00 00 3b 00 40 40 93 |&stringQ...;.@@.| +003a2960 04 03 41 40 40 40 40 40 04 42 40 40 40 93 04 04 |..A@@@@@.B@@@...| +003a2970 a3 25 62 79 74 65 73 43 08 00 00 3b 00 40 40 93 |.%bytesC...;.@@.| +003a2980 04 03 41 40 40 40 40 40 04 47 40 40 40 93 04 04 |..A@@@@@.G@@@...| +003a2990 a3 25 66 6c 6f 61 74 44 08 00 00 3b 00 40 40 93 |.%floatD...;.@@.| +003a29a0 04 03 41 40 40 40 40 40 04 4c 40 40 40 93 04 04 |..A@@@@@.L@@@...| +003a29b0 a3 24 62 6f 6f 6c 45 08 00 00 3b 00 40 40 a2 a0 |.$boolE...;.@@..| +003a29c0 e0 a3 25 66 61 6c 73 65 63 90 40 40 04 56 40 93 |..%falsec.@@.V@.| +003a29d0 04 03 a0 e0 a3 24 74 72 75 65 64 90 40 40 04 5c |.....$trued.@@.\| +003a29e0 40 93 04 03 40 40 41 40 40 40 40 40 04 5d 40 41 |@...@@A@@@@@.]@A| +003a29f0 40 93 04 10 a3 24 75 6e 69 74 46 08 00 00 3b 00 |@....$unitF...;.| +003a2a00 40 40 a2 a0 e0 a3 22 28 29 65 90 40 40 04 67 40 |@@...."()e.@@.g@| +003a2a10 93 04 03 40 40 41 40 40 40 40 40 04 68 40 41 40 |...@@A@@@@@.h@A@| +003a2a20 93 04 0a a3 23 65 78 6e 47 08 00 00 3b 00 40 40 |....#exnG...;.@@| +003a2a30 40 41 40 40 40 40 40 04 6c 40 40 40 93 04 03 a3 |@A@@@@@.l@@@....| 003a2a40 /usr/lib64/rocq-runtime/rocqworker.byte differs at offset '41307431' (a /usr/bin/ocamlrun-a100 script executable (binary data)) --- old /usr/lib64/rocq-runtime/rocqworker.byte (hex) +++ new /usr/lib64/rocq-runtime/rocqworker.byte (hex) @@ -1,33 +1,33 @@ 02764d00 5f 72 6f 6f 74 2f 63 6c 69 62 2f 2e 63 6c 69 62 |_root/clib/.clib| 02764d10 2e 6f 62 6a 73 2f 62 79 74 65 40 00 09 ab 6c 84 |.objs/byte@...l.| -02764d20 95 a6 be 00 00 50 61 00 00 0e c5 00 00 3b 63 00 |.....Pa......;c.| -02764d30 00 3a 8d a0 08 00 00 2f 00 01 05 48 2b 4d 65 6d |.:...../...H+Mem| +02764d20 95 a6 be 00 00 50 5b 00 00 0e c2 00 00 3b 5c 00 |.....P[......;\.| +02764d30 00 3a 86 a0 08 00 00 2f 00 01 05 48 2b 4d 65 6d |.:...../...H+Mem| 02764d40 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e 65 |prof_coq..&_none| 02764d50 5f 40 40 00 ff 04 02 41 41 22 3f 3f 41 40 d0 40 |_@@....AA"??A@.@| 02764d60 40 40 40 40 a0 40 40 40 40 a0 08 00 00 2f 00 01 |@@@@.@@@@..../..| 02764d70 05 30 04 09 04 08 41 04 05 41 40 04 04 04 03 40 |.0....A..A@....@| 02764d80 40 a0 08 00 00 2f 00 01 04 f4 04 0b 04 0a 41 04 |@..../........A.| -02764d90 07 41 c3 c3 c3 c3 c3 b0 ab ab a7 b2 b2 b2 b2 b2 |.A..............| -02764da0 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 |................| -02764db0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 23 |.............@.#| -02764dc0 69 6e 74 41 08 00 00 3b 00 40 40 93 04 03 41 40 |intA...;.@@...A@| -02764dd0 40 40 40 40 04 39 40 41 40 93 04 04 a3 24 63 68 |@@@@.9@A@....$ch| -02764de0 61 72 42 08 00 00 3b 00 40 40 93 04 03 41 40 40 |arB...;.@@...A@@| -02764df0 40 40 40 04 3e 40 41 40 93 04 04 a3 26 73 74 72 |@@@.>@A@....&str| -02764e00 69 6e 67 51 08 00 00 3b 00 40 40 93 04 03 41 40 |ingQ...;.@@...A@| -02764e10 40 40 40 40 04 43 40 40 40 93 04 04 a3 25 62 79 |@@@@.C@@@....%by| -02764e20 74 65 73 43 08 00 00 3b 00 40 40 93 04 03 41 40 |tesC...;.@@...A@| -02764e30 40 40 40 40 04 48 40 40 40 93 04 04 a3 25 66 6c |@@@@.H@@@....%fl| -02764e40 6f 61 74 44 08 00 00 3b 00 40 40 93 04 03 41 40 |oatD...;.@@...A@| -02764e50 40 40 40 40 04 4d 40 40 40 93 04 04 a3 24 62 6f |@@@@.M@@@....$bo| -02764e60 6f 6c 45 08 00 00 3b 00 40 40 a2 a0 e0 a3 25 66 |olE...;.@@....%f| -02764e70 61 6c 73 65 63 90 40 40 04 57 40 93 04 03 a0 e0 |alsec.@@.W@.....| -02764e80 a3 24 74 72 75 65 64 90 40 40 04 5d 40 93 04 03 |.$trued.@@.]@...| -02764e90 40 40 41 40 40 40 40 40 04 5e 40 41 40 93 04 10 |@@A@@@@@.^@A@...| -02764ea0 a3 24 75 6e 69 74 46 08 00 00 3b 00 40 40 a2 a0 |.$unitF...;.@@..| -02764eb0 e0 a3 22 28 29 65 90 40 40 04 68 40 93 04 03 40 |.."()e.@@.h@...@| -02764ec0 40 41 40 40 40 40 40 04 69 40 41 40 93 04 0a a3 |@A@@@@@.i@A@....| -02764ed0 23 65 78 6e 47 08 00 00 3b 00 40 40 40 41 40 40 |#exnG...;.@@@A@@| -02764ee0 40 40 40 04 6d 40 40 40 93 04 03 a3 23 65 66 66 |@@@.m@@@....#eff| -02764ef0 48 08 00 00 3b 00 a0 c0 90 40 02 05 f5 e1 00 40 |H...;....@.....@| +02764d90 07 41 c3 c3 c3 c3 c3 b0 ab a7 b2 b2 b2 b2 b2 b2 |.A..............| +02764da0 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +02764db0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 23 69 |............@.#i| +02764dc0 6e 74 41 08 00 00 3b 00 40 40 93 04 03 41 40 40 |ntA...;.@@...A@@| +02764dd0 40 40 40 04 38 40 41 40 93 04 04 a3 24 63 68 61 |@@@.8@A@....$cha| +02764de0 72 42 08 00 00 3b 00 40 40 93 04 03 41 40 40 40 |rB...;.@@...A@@@| +02764df0 40 40 04 3d 40 41 40 93 04 04 a3 26 73 74 72 69 |@@.=@A@....&stri| +02764e00 6e 67 51 08 00 00 3b 00 40 40 93 04 03 41 40 40 |ngQ...;.@@...A@@| +02764e10 40 40 40 04 42 40 40 40 93 04 04 a3 25 62 79 74 |@@@.B@@@....%byt| +02764e20 65 73 43 08 00 00 3b 00 40 40 93 04 03 41 40 40 |esC...;.@@...A@@| +02764e30 40 40 40 04 47 40 40 40 93 04 04 a3 25 66 6c 6f |@@@.G@@@....%flo| +02764e40 61 74 44 08 00 00 3b 00 40 40 93 04 03 41 40 40 |atD...;.@@...A@@| +02764e50 40 40 40 04 4c 40 40 40 93 04 04 a3 24 62 6f 6f |@@@.L@@@....$boo| +02764e60 6c 45 08 00 00 3b 00 40 40 a2 a0 e0 a3 25 66 61 |lE...;.@@....%fa| +02764e70 6c 73 65 63 90 40 40 04 56 40 93 04 03 a0 e0 a3 |lsec.@@.V@......| +02764e80 24 74 72 75 65 64 90 40 40 04 5c 40 93 04 03 40 |$trued.@@.\@...@| +02764e90 40 41 40 40 40 40 40 04 5d 40 41 40 93 04 10 a3 |@A@@@@@.]@A@....| +02764ea0 24 75 6e 69 74 46 08 00 00 3b 00 40 40 a2 a0 e0 |$unitF...;.@@...| +02764eb0 a3 22 28 29 65 90 40 40 04 67 40 93 04 03 40 40 |."()e.@@.g@...@@| +02764ec0 41 40 40 40 40 40 04 68 40 41 40 93 04 0a a3 23 |A@@@@@.h@A@....#| +02764ed0 65 78 6e 47 08 00 00 3b 00 40 40 40 41 40 40 40 |exnG...;.@@@A@@@| +02764ee0 40 40 04 6c 40 40 40 93 04 03 a3 23 65 66 66 48 |@@.l@@@....#effH| +02764ef0 08 00 00 3b 00 a0 c0 90 40 02 05 f5 e1 00 40 4f |...;....@.....@O| 02764f00 /usr/lib64/rocq-runtime/rocqworker_with_drop differs at offset '52664667' (a /usr/bin/ocamlrun-a100 script executable (binary data)) --- old /usr/lib64/rocq-runtime/rocqworker_with_drop (hex) +++ new /usr/lib64/rocq-runtime/rocqworker_with_drop (hex) @@ -1,33 +1,33 @@ 03239940 63 6c 69 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 |clib.objs/byte@.| -03239950 34 49 00 84 95 a6 be 00 00 50 61 00 00 0e c5 00 |4I.......Pa.....| -03239960 00 3b 63 00 00 3a 8d a0 08 00 00 2f 00 01 05 48 |.;c..:...../...H| +03239950 34 49 00 84 95 a6 be 00 00 50 5b 00 00 0e c2 00 |4I.......P[.....| +03239960 00 3b 5c 00 00 3a 86 a0 08 00 00 2f 00 01 05 48 |.;\..:...../...H| 03239970 2b 4d 65 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f |+Memprof_coq..&_| 03239980 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f |none_@@....AA"??| 03239990 41 40 d0 40 40 40 40 40 a0 40 40 40 40 a0 08 00 |A@.@@@@@.@@@@...| 032399a0 00 2f 00 01 05 30 04 09 04 08 41 04 05 41 40 04 |./...0....A..A@.| 032399b0 04 04 03 40 40 a0 08 00 00 2f 00 01 04 f4 04 0b |...@@..../......| -032399c0 04 0a 41 04 07 41 c3 c3 c3 c3 c3 b0 ab ab a7 b2 |..A..A..........| -032399d0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 |................| +032399c0 04 0a 41 04 07 41 c3 c3 c3 c3 c3 b0 ab a7 b2 b2 |..A..A..........| +032399d0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 |................| 032399e0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -032399f0 b1 40 a3 23 69 6e 74 41 08 00 00 3b 00 40 40 93 |.@.#intA...;.@@.| -03239a00 04 03 41 40 40 40 40 40 04 39 40 41 40 93 04 04 |..A@@@@@.9@A@...| -03239a10 a3 24 63 68 61 72 42 08 00 00 3b 00 40 40 93 04 |.$charB...;.@@..| -03239a20 03 41 40 40 40 40 40 04 3e 40 41 40 93 04 04 a3 |.A@@@@@.>@A@....| -03239a30 26 73 74 72 69 6e 67 51 08 00 00 3b 00 40 40 93 |&stringQ...;.@@.| -03239a40 04 03 41 40 40 40 40 40 04 43 40 40 40 93 04 04 |..A@@@@@.C@@@...| -03239a50 a3 25 62 79 74 65 73 43 08 00 00 3b 00 40 40 93 |.%bytesC...;.@@.| -03239a60 04 03 41 40 40 40 40 40 04 48 40 40 40 93 04 04 |..A@@@@@.H@@@...| -03239a70 a3 25 66 6c 6f 61 74 44 08 00 00 3b 00 40 40 93 |.%floatD...;.@@.| -03239a80 04 03 41 40 40 40 40 40 04 4d 40 40 40 93 04 04 |..A@@@@@.M@@@...| -03239a90 a3 24 62 6f 6f 6c 45 08 00 00 3b 00 40 40 a2 a0 |.$boolE...;.@@..| -03239aa0 e0 a3 25 66 61 6c 73 65 63 90 40 40 04 57 40 93 |..%falsec.@@.W@.| -03239ab0 04 03 a0 e0 a3 24 74 72 75 65 64 90 40 40 04 5d |.....$trued.@@.]| -03239ac0 40 93 04 03 40 40 41 40 40 40 40 40 04 5e 40 41 |@...@@A@@@@@.^@A| -03239ad0 40 93 04 10 a3 24 75 6e 69 74 46 08 00 00 3b 00 |@....$unitF...;.| -03239ae0 40 40 a2 a0 e0 a3 22 28 29 65 90 40 40 04 68 40 |@@...."()e.@@.h@| -03239af0 93 04 03 40 40 41 40 40 40 40 40 04 69 40 41 40 |...@@A@@@@@.i@A@| -03239b00 93 04 0a a3 23 65 78 6e 47 08 00 00 3b 00 40 40 |....#exnG...;.@@| -03239b10 40 41 40 40 40 40 40 04 6d 40 40 40 93 04 03 a3 |@A@@@@@.m@@@....| -03239b20 23 65 66 66 48 08 00 00 3b 00 a0 c0 90 40 02 05 |#effH...;....@..| -03239b30 f5 e1 00 40 4f 40 41 40 41 40 a0 7f 40 a0 40 40 |...@O@A@A@..@.@@| +032399f0 40 a3 23 69 6e 74 41 08 00 00 3b 00 40 40 93 04 |@.#intA...;.@@..| +03239a00 03 41 40 40 40 40 40 04 38 40 41 40 93 04 04 a3 |.A@@@@@.8@A@....| +03239a10 24 63 68 61 72 42 08 00 00 3b 00 40 40 93 04 03 |$charB...;.@@...| +03239a20 41 40 40 40 40 40 04 3d 40 41 40 93 04 04 a3 26 |A@@@@@.=@A@....&| +03239a30 73 74 72 69 6e 67 51 08 00 00 3b 00 40 40 93 04 |stringQ...;.@@..| +03239a40 03 41 40 40 40 40 40 04 42 40 40 40 93 04 04 a3 |.A@@@@@.B@@@....| +03239a50 25 62 79 74 65 73 43 08 00 00 3b 00 40 40 93 04 |%bytesC...;.@@..| +03239a60 03 41 40 40 40 40 40 04 47 40 40 40 93 04 04 a3 |.A@@@@@.G@@@....| +03239a70 25 66 6c 6f 61 74 44 08 00 00 3b 00 40 40 93 04 |%floatD...;.@@..| +03239a80 03 41 40 40 40 40 40 04 4c 40 40 40 93 04 04 a3 |.A@@@@@.L@@@....| +03239a90 24 62 6f 6f 6c 45 08 00 00 3b 00 40 40 a2 a0 e0 |$boolE...;.@@...| +03239aa0 a3 25 66 61 6c 73 65 63 90 40 40 04 56 40 93 04 |.%falsec.@@.V@..| +03239ab0 03 a0 e0 a3 24 74 72 75 65 64 90 40 40 04 5c 40 |....$trued.@@.\@| +03239ac0 93 04 03 40 40 41 40 40 40 40 40 04 5d 40 41 40 |...@@A@@@@@.]@A@| +03239ad0 93 04 10 a3 24 75 6e 69 74 46 08 00 00 3b 00 40 |....$unitF...;.@| +03239ae0 40 a2 a0 e0 a3 22 28 29 65 90 40 40 04 67 40 93 |@...."()e.@@.g@.| +03239af0 04 03 40 40 41 40 40 40 40 40 04 68 40 41 40 93 |..@@A@@@@@.h@A@.| +03239b00 04 0a a3 23 65 78 6e 47 08 00 00 3b 00 40 40 40 |...#exnG...;.@@@| +03239b10 41 40 40 40 40 40 04 6c 40 40 40 93 04 03 a3 23 |A@@@@@.l@@@....#| +03239b20 65 66 66 48 08 00 00 3b 00 a0 c0 90 40 02 05 f5 |effH...;....@...| +03239b30 e1 00 40 4f 40 41 40 41 40 a0 7f 40 a0 40 40 40 |..@O@A@A@..@.@@@| 03239b40 RPMS.2/rocq-devel-9.2.0-1.1.x86_64.rpm RPMS/rocq-devel-9.2.0-1.1.x86_64.rpm differ: char 225, line 1 Comparing rocq-devel-9.2.0-1.1.x86_64.rpm to rocq-devel-9.2.0-1.1.x86_64.rpm comparing the rpm tags of rocq-devel --- old-rpm-tags +++ new-rpm-tags @@ -7248 +7248 @@ -/usr/lib64/rocq-runtime/clib/clib.cma db8662235a83407312b23ce4eb36ee0cff841a408f310ed6772bbb38f37493fd 0 +/usr/lib64/rocq-runtime/clib/clib.cma c5dfc795672fb3170ec633e8739c7e24eae122a8ab3f4c7f62ec3e68ecb336dc 0 @@ -7305 +7305 @@ -/usr/lib64/rocq-runtime/clib/memprof_coq.cmt b64f6aa21a80c91bd69f5a5d28a86b17e24c1766bc307cc2c132566fc727f5e3 0 +/usr/lib64/rocq-runtime/clib/memprof_coq.cmt d996d56112894d7fea33cfc859c578ea0bc3ce33ea82ae6457ce3d8017487d7c 0 @@ -7317 +7317 @@ -/usr/lib64/rocq-runtime/clib/mutex_aux.cmt 5f57ea31d2a12fd44bea125ee32d2c2c88bc88571c426f75cf4b6a3c9ba847a8 0 +/usr/lib64/rocq-runtime/clib/mutex_aux.cmt f5a3823c2d335bcec04542b79e07b1503fdf6964f5b5d6edf2ce425af2496e2f 0 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/lib64/rocq-runtime/clib/clib.cma differs at offset '16' (OCaml library file (.cma) (Version 037)) --- old /usr/lib64/rocq-runtime/clib/clib.cma (hex) +++ new /usr/lib64/rocq-runtime/clib/clib.cma (hex) @@ -1,4 +1,4 @@ -00000000 43 61 6d 6c 31 39 39 39 41 30 33 37 00 0a 7b 9a |Caml1999A037..{.| +00000000 43 61 6d 6c 31 39 39 39 41 30 33 37 00 0a 7b 8b |Caml1999A037..{.| 00000010 54 00 00 00 10 02 00 00 00 00 00 00 56 00 00 00 |T...........V...| 00000020 0c 00 00 00 00 00 00 00 44 00 00 00 0b 00 00 00 |........D.......| 00000030 43 00 00 00 0b 00 00 00 32 00 00 00 21 00 00 00 |C.......2...!...| /usr/lib64/rocq-runtime/clib/memprof_coq.cmt differs at offset '20' (OCaml (Version 037)) --- old /usr/lib64/rocq-runtime/clib/memprof_coq.cmt (hex) +++ new /usr/lib64/rocq-runtime/clib/memprof_coq.cmt (hex) @@ -1,33 +1,33 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 37 84 95 a6 bd |Caml1999T037....| -00000010 13 81 80 48 82 c3 22 bc 7a 81 ee 45 81 eb 53 28 |...H..".z..E..S(| -00000020 b5 2f fd 00 58 fd 01 02 ba fb 02 a6 4f 10 10 6a |./..X.......O..j| -00000030 19 a5 03 c3 ef 82 af d2 80 55 5d de 78 0f 46 6d |.........U].x.Fm| -00000040 7a 89 87 f7 5a 69 0c 0d bc 45 90 d5 26 10 79 89 |z...Zi...E..&.y.| -00000050 79 b7 2e 49 2c 32 fe a5 d5 96 b2 e9 d1 23 1c 87 |y..I,2.......#..| -00000060 44 0d 77 81 23 5d 12 1c 3b 40 05 a8 83 95 15 62 |D.w.#]..;@.....b| -00000070 6f ed 7f db d1 ae 1f fd 23 64 20 75 ad 0a 47 0a |o.......#d u..G.| -00000080 e8 09 51 48 c1 84 79 c9 5c 1a cd 14 67 80 f1 80 |..QH..y.\...g...| -00000090 4c 0f 56 f6 e0 24 53 d0 a8 a0 0d 80 56 05 cd 0a |L.V..$S.....V...| -000000a0 9a 9c 2b 68 b4 2c 68 5a d0 b6 a0 0d a2 71 41 eb |..+h.,hZ.....qA.| -000000b0 82 66 c5 7c 3c 12 af 94 c9 ad 2f 41 c8 e1 c1 1b |.f.|<...../A....| -000000c0 f0 e0 29 21 3e 87 d0 87 a1 d5 c2 14 d9 6e b8 35 |..)!>........n.5| -000000d0 e8 8b 30 30 88 96 30 17 95 c4 2e ae 64 d6 d3 d6 |..00..0.....d...| -000000e0 18 72 07 87 d9 c1 43 8c d2 9c 6e c7 f3 fd 80 d4 |.r....C...n.....| -000000f0 7e 7b c0 da 11 52 12 90 da 7b 55 cc 47 a2 d7 98 |~{...R...{U.G...| -00000100 a2 8c e2 b9 83 09 1d 8c 84 0e fe b1 c4 a4 0a 6b |...............k| -00000110 4d 35 a7 5a 0c 19 54 cc 5c 45 2e 27 ad 37 5d 3a |M5.Z..T.\E.'.7]:| -00000120 f8 a8 83 77 cc 78 a2 51 c3 86 92 ab a5 11 47 96 |...w.x.Q......G.| -00000130 10 a1 0e 56 d2 c1 39 6e e0 80 8a 92 4a 72 b5 34 |...V..9n....Jr.4| -00000140 d2 c0 da 72 23 07 3f e5 e0 18 39 04 a8 d5 7a ec |...r#.?...9...z.| -00000150 b0 33 c0 0f 1e 40 82 20 61 66 1a 8f 5d 4b 19 44 |.3...@. af..]K.D| -00000160 19 52 7f a2 b8 89 28 56 12 32 84 48 8d 80 e1 94 |.R....(V.2.H....| -00000170 1b 23 47 90 24 51 52 2b 52 a3 aa 55 d5 8e 30 8d |.#G.$QR+R..U..0.| -00000180 4c 25 b1 ab 86 97 22 34 1c 3c 84 83 6d 4b ac 98 |L%...."4.<..mK..| -00000190 74 71 f2 a4 4a 94 02 6a b5 1a 53 81 52 a5 56 33 |tq..J..j..S.R.V3| -000001a0 72 65 e3 0a 86 09 6c 30 04 36 f8 e4 2b b5 2c 5b |re....l0.6..+.,[| -000001b0 b8 d8 a0 75 a9 79 21 62 69 c9 d2 9a 3a 1a b7 66 |...u.y!bi...:..f| -000001c0 74 d1 82 87 1a ac a7 06 73 51 dc fa 72 d2 8c 61 |t.......sQ..r..a| -000001d0 b8 38 72 21 c1 24 c5 74 8d 19 32 1b bb 88 5c 5c |.8r!.$.t..2...\\| -000001e0 22 30 d2 e0 22 0d b6 42 59 5b d6 98 b5 3d 44 64 |"0.."..BY[...=Dd| -000001f0 ca f4 70 06 8d 57 2d 4d cd 4c ad 99 bb 88 5c 4e |..p..W-M.L....\N| +00000010 13 81 80 13 82 c3 1c bc 77 81 ee 3e 81 eb 4c 28 |........w..>..L(| +00000020 b5 2f fd 00 58 55 00 02 8a f8 5a a5 50 10 10 6a |./..XU....Z.P..j| +00000030 19 a5 03 62 cc 33 c0 b9 c8 bf 56 cd 6b 18 5b 1e |...b.3....V.k.[.| +00000040 b0 aa 92 13 27 dd e2 70 46 ab a4 e7 5d 2b e6 09 |....'..pF...]+..| +00000050 ef 4d ba 38 83 f1 f8 97 56 5b 5a 8d 8e 0e 6b 3c |.M.8....V[Z...k<| +00000060 04 4f 11 09 39 d3 4d e3 ad 39 a2 21 f0 b2 81 66 |.O..9.M..9.!...f| +00000070 ac f6 ed 7f ab 9d ed af 76 84 0c a4 0e 9e 0a 38 |........v......8| +00000080 0a e3 09 7e f8 58 21 00 25 cc 4b e6 d2 18 a6 e8 |...~.X!.%.K.....| +00000090 c4 e5 e6 0b 0f 56 f2 e0 23 57 d0 06 40 c3 82 96 |.....V..#W..@...| +000000a0 05 ed 0f 4d 84 2d 68 34 2e 68 5d d0 bc a0 69 41 |...M.-h4.h]...iA| +000000b0 2b 00 ed 0b 5a 15 f3 f1 48 bc 52 26 b5 b6 88 58 |+...Z...H.R&...X| +000000c0 43 00 87 40 00 4b 01 f1 19 84 7e 8b 56 db 1a b2 |C..@.K....~.V...| +000000d0 dd 70 63 50 18 5b 31 84 92 30 17 95 44 af ae 24 |.pcP.[1..0..D..$| +000000e0 d6 93 16 19 72 07 73 d9 c1 42 88 d2 9c 6e c7 f3 |....r.s..B...n..| +000000f0 fd 7a d4 7e 75 c0 5a 91 d1 d1 7b 54 cc 47 e2 97 |.z.~u.Z...{T.G..| +00000100 97 62 53 f1 dc f1 84 0e 66 42 07 ff 48 52 52 85 |.bS.....fB..HRR.| +00000110 35 19 b5 a5 1a 53 d3 14 73 57 b1 6b 29 eb 02 2f |5....S..sW.k)../| +00000120 1d 7c d4 c1 3b 9c 9e 66 d0 a8 81 e4 6a 69 bc 81 |.|..;..f....ji..| +00000130 55 80 50 07 23 e9 e0 1c 36 6e 40 45 e1 38 72 b5 |U.P.#...6n@E.8r.| +00000140 34 ce d8 92 80 8d 1c fc 94 83 99 38 c7 00 35 1e |4..........8..5.| +00000150 3b e0 f8 f8 41 00 90 20 46 98 99 c6 a3 d7 b2 89 |;...A.. F.......| +00000160 d8 84 a3 4f 14 47 11 c5 48 05 08 31 a0 76 c0 50 |...O.G..H..1.v.P| +00000170 ea 01 22 45 8c 1c 41 52 1b 52 9b aa 51 d5 8a 30 |.."E..AR.R..Q..0| +00000180 8d 4c 25 d1 8b 86 96 21 b4 1b 1c 74 83 6d 49 aa |.L%....!...t.mI.| +00000190 94 5c 59 c2 04 8a 93 27 50 10 b0 8a d2 44 4a ad |.\Y....'P....DJ.| +000001a0 46 e4 aa c6 95 1c 0c 6a 70 05 35 f8 64 2a 35 2b |F......jp.5.d*5+| +000001b0 09 60 79 a2 65 a9 69 21 6e b9 82 95 25 75 34 6a |.`y.e.i!n...%u4j| +000001c0 39 65 e9 e2 07 1a dc 03 0d 2e 40 51 6b eb 0b 23 |9e........@Qk..#| +000001d0 17 2e 8e 5d 48 ae 64 17 2f 2f 43 66 a3 17 b1 0b |...]H.d.//Cf....| +000001e0 0b 1a e3 0c 2e ce e0 3f ca da b2 c6 ac dd 11 fa |.......?........| +000001f0 02 c6 8e 98 af 1a 99 5a 98 5a 33 7b 11 bb 96 12 |.......Z.Z3{....| 00000200 /usr/lib64/rocq-runtime/clib/mutex_aux.cmt differs at offset '19' (OCaml (Version 037)) --- old /usr/lib64/rocq-runtime/clib/mutex_aux.cmt (hex) +++ new /usr/lib64/rocq-runtime/clib/mutex_aux.cmt (hex) @@ -1,33 +1,33 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 37 84 95 a6 bd |Caml1999T037....| -00000010 0f 8e 70 9c 17 85 33 95 6d 94 74 28 b5 2f fd 00 |..p...3.m.t(./..| -00000020 58 3d 3b 00 4a 69 a8 16 44 70 6a 6d 0e 15 b7 cd |X=;.Ji..Dpjm....| -00000030 42 5c 55 fe 94 40 b5 31 b2 1d 00 e0 57 03 1c 19 |B\U..@.1....W...| -00000040 10 85 d9 fd d9 33 98 0a 4a 52 9b 6c e5 65 5d 47 |.....3..JR.l.e]G| -00000050 af b6 b6 76 71 61 99 69 81 ff ff 19 3e 74 05 da |...vqa.i....>t..| -00000060 99 7f bf 53 99 25 bf 67 34 90 80 95 36 56 01 57 |...S.%.g4...6V.W| -00000070 01 4f 01 bd cd 6e c6 56 6d fd f5 27 e1 67 99 e0 |.O...n.Vm..'.g..| -00000080 a9 36 95 56 2f 5e b0 2f fc 15 25 c4 46 14 1d 6d |.6.V/^./..%.F..m| -00000090 6b 95 fe 5a fd ec 1f 56 c1 be a9 4f a1 c2 ea dc |k..Z...V...O....| -000000a0 9a 8f bd 53 f3 73 93 15 d6 27 d8 f7 df bf 47 ff |...S.s...'....G.| -000000b0 f0 c3 c7 ea 24 76 bb 32 69 75 82 7d ff 23 ce b0 |....$v.2iu.}.#..| -000000c0 32 69 f5 31 29 99 26 d4 7e 60 df 87 ff 48 74 65 |2i.1).&.~`...Hte| -000000d0 0f e5 4a eb af 17 c1 be d7 f8 5f 25 cb d4 1c 77 |..J......._%...w| -000000e0 b6 f5 d7 9f 84 30 f7 ce 29 ad 3b 76 54 f1 71 9b |.....0..).;vT.q.| -000000f0 3b db 1a 16 46 95 96 5c 2c 67 5b 53 ec fb 4f 55 |;...F..\,g[S..OU| -00000100 70 9d 1a e5 e9 d2 7a 6a 7c 4e a1 63 17 a9 b4 ee |p.....zj|N.c....| -00000110 b0 ef c3 0f 6d e0 45 b4 7f b1 3c f7 29 2e b5 ec |....m.E...<.)...| -00000120 ff ff 87 3b ec fb a7 71 a0 d1 8e 42 7e ea a4 f5 |...;...q...B~...| -00000130 cb ca ac 58 99 52 a5 ca 83 c0 ff 9d a6 81 46 3b |...X.R........F;| -00000140 ca 61 74 3f ec c1 43 48 07 0c e4 47 2b c6 e8 7e |.at?..CH...G+..~| -00000150 18 a4 1d 6b cd c8 88 e0 fa ec 29 ad ea 95 f2 6b |...k......)....k| -00000160 93 a9 4d 35 6b c7 da 1d 3a 8c ee 87 66 8c ee d3 |..M5k...:...f...| -00000170 f2 14 ca e0 ab cf 23 d8 72 da d4 f1 ac 25 25 2a |......#.r....%%*| -00000180 19 d9 95 76 ac a5 d2 be 59 3b d6 fe 1b c0 04 30 |...v....Y;.....0| -00000190 1b fe c5 65 8f e2 c3 02 b8 ad fa d0 e4 e1 78 4e |...e..........xN| -000001a0 39 6d 92 16 5a 76 00 ee 48 f7 7a 91 db 14 bb b8 |9m..Zv..H.z.....| -000001b0 be c1 d4 d9 df 59 7f 32 b6 b3 49 c2 7a a3 18 56 |.....Y.2..I.z..V| -000001c0 f2 1e 0a 26 1a 15 8d 76 14 eb 98 b8 b5 a8 2b bd |...&...v......+.| -000001d0 c8 6d e6 c4 54 2c 0b b7 22 a1 71 63 9b 3b b4 04 |.m..T,..".qc.;..| -000001e0 db a2 17 39 f2 2c dc 3a e4 85 18 ba 79 25 4f dc |...9.,.:....y%O.| -000001f0 6d 91 f7 b0 6e 2b 8f 18 ba b3 b7 77 22 df 57 4c |m...n+.....w".WL| +00000010 0f 8e 6d 9c 11 85 30 95 66 94 6d 28 b5 2f fd 00 |..m...0.f.m(./..| +00000020 58 25 3b 00 ea 68 9c 16 42 60 6a 6d 0e 36 cb 75 |X%;..h..B`jm.6.u| +00000030 b2 dd 73 89 7b 0d e2 ff 17 09 e2 10 c1 7c 48 a1 |..s.{........|H.| +00000040 d5 7f b6 e6 a0 7d 31 fa 7f 13 9b 2f eb 5a b3 6f |.....}1..../.Z.o| +00000050 62 6b df 7a b2 64 a0 50 d9 19 19 87 29 57 fb d0 |bk.z.d.P....)W..| +00000060 7e e7 e8 63 8e 90 36 92 62 d2 06 57 01 57 01 4e |~..c..6.b..W.W.N| +00000070 01 7d 4e cf 46 97 6d 1d f6 2a e2 6f a5 e0 40 f3 |.}N.F.m..*.o..@.| +00000080 84 5a c7 8c c1 42 f1 5d a0 20 23 d3 94 bc ad 5a |.Z...B.]. #....Z| +00000090 fa 73 75 b4 bf a8 05 0b 47 3c 8b 16 58 e8 36 39 |.su.....G<..X.69| +000000a0 19 44 4d 8e ee b2 c2 5a 86 85 ff fd 81 f4 17 5f |.DM....Z......._| +000000b0 7c ad 7e a2 d7 d3 11 56 2a 58 f8 6f 02 1d d3 11 ||.~....V*X.o....| +000000c0 d6 26 51 f4 94 04 9b 10 2c 7c f1 7f 09 4f 07 53 |.&Q.....,|...O.S| +000000d0 0e b5 0e fb 11 2c 7c 1f fe 57 4b 0d 3c c9 de 6d |.....,|..WK.<..m| +000000e0 1d f6 2a 24 ce bd 77 50 6b 8f 1e 57 9c dc 67 ef |..*$..wPk..W..g.| +000000f0 b6 8a 89 59 01 35 27 db dd d6 14 0b ff d3 16 5e |...Y.5'........^| +00000100 a8 99 72 60 d4 fa f3 e1 df 88 94 f4 95 50 ab c6 |..r`.........P..| +00000110 c2 17 5f 34 71 25 da ff a8 d1 8d 8e 51 2d fb ff |.._4q%......Q-..| +00000120 ff a2 c6 c2 7f 9a 07 1a 8d 49 e4 a8 19 61 7d 33 |.........I...a}3| +00000130 33 2e 5c b2 6c 79 11 f8 bf d3 38 d0 68 4c 3c 96 |3.\.ly....8.hL<.| +00000140 ee 8b 40 7e 18 f9 80 89 0c 69 d1 2c dd 17 8b b4 |..@~.....i.,....| +00000150 4f 5a 35 6b 4a 70 13 0d 42 ad 6a 17 0d b6 4b e0 |OZ5kJp..B.j...K.| +00000160 4d 55 d3 3e 69 7d f4 58 ba 2f b6 59 ba 4f 03 e4 |MU.>i}.X./.Y.O..| +00000170 28 d7 5e 7d 0e e1 b6 33 4f 1e df 8a 6a a2 96 95 |(.^}...3O...j...| +00000180 75 69 9f b4 5a da 57 d3 3e 69 ff 0d e0 02 98 15 |ui..Z.W.>i......| +00000190 ff 62 b3 5f f1 62 13 6e af 5e 3c 7f b9 1f d5 ce |.b._.b.n.^<.....| +000001a0 3c 4b 0b 2d 4b 00 77 a7 7b bf ca 7d 8e 3e 6e 8a |n.| +000001b0 4d 75 76 78 d6 bf 8c ed 2c 93 b1 20 39 8e 69 1e |Muvx....,.. 9.i.| +000001c0 5c 31 45 b3 a2 d1 98 02 4e c6 6d 8e 3c fd 55 ee |\1E.....N.m.<.U.| +000001d0 73 37 02 c9 b6 72 eb 92 1b 62 fb ec a5 3a 6c 8f |s7...r...b...:l.| +000001e0 5f 25 c9 b7 72 ab 11 19 64 e9 fe e9 df d8 db 23 |_%..r...d......#| +000001f0 0f 6a e1 56 1f 34 78 68 70 f7 46 be b3 a6 d6 93 |.j.V.4xhp.F.....| 00000200 overalldiffered=2 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1