~/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: byte 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 @@ -523 +523 @@ -/usr/bin/rocq.byte 541e50fb9563095ab326d77d4d2375df88f7ec77b711559a86792b216f0bcaff 0 +/usr/bin/rocq.byte e3c4735f577557bacfad2b9a700ae999cebec67d66bf2adadb2db5fb2eeaa638 0 @@ -894,2 +894,2 @@ -/usr/lib64/rocq-runtime/rocqworker.byte 4a93d9aab47e08199c5195350a418b941ef24bd715b80b041279daffef59c74d 0 -/usr/lib64/rocq-runtime/rocqworker_with_drop d70c719961c090236166e3a31707b43e6c2aa659bbe64e7bd9ca0b683b0c2b4f 0 +/usr/lib64/rocq-runtime/rocqworker.byte d69da0bca0b12dd548643d1b4b6c9ecd256eac82e708e6ce82050e609d11d056 0 +/usr/lib64/rocq-runtime/rocqworker_with_drop 3c064cc6423c2d0c135068ba909bbb3a6fa12025424ddaffea3d70ac9a73021a 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 '3442104' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/rocq.byte (hex) +++ new /usr/bin/rocq.byte (hex) @@ -1,33 +1,33 @@ 00348580 63 6c 69 62 a0 09 24 2f 77 6f 72 6b 73 70 61 63 |clib..$/workspac| 00348590 65 5f 72 6f 6f 74 2f 63 6c 69 62 2f 2e 63 6c 69 |e_root/clib/.cli| 003485a0 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 06 b0 94 |b.objs/byte@....| -003485b0 84 95 a6 be 00 00 42 c2 00 00 0c 76 00 00 31 f4 |......B....v..1.| -003485c0 00 00 31 2a a0 08 00 00 2c 00 01 05 48 2b 4d 65 |..1*....,...H+Me| +003485b0 84 95 a6 be 00 00 42 bc 00 00 0c 73 00 00 31 ed |......B....s..1.| +003485c0 00 00 31 23 a0 08 00 00 2c 00 01 05 48 2b 4d 65 |..1#....,...H+Me| 003485d0 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e |mprof_coq..&_non| 003485e0 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f 41 40 d0 |e_@@....AA"??A@.| 003485f0 40 40 40 40 40 a0 40 40 40 40 a0 08 00 00 2c 00 |@@@@@.@@@@....,.| 00348600 01 05 30 04 09 04 08 41 04 05 41 40 04 04 04 03 |..0....A..A@....| 00348610 40 40 a0 08 00 00 2c 00 01 04 f4 04 0b 04 0a 41 |@@....,........A| -00348620 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab ab a7 b1 b2 b2 |"??A............| -00348630 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 |................| -00348640 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 |..........@.%arr| -00348650 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 |ayH...8....@....| -00348660 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 |.@M@A@A@...@.@@@| -00348670 40 04 39 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 |@.9@@@....$boolE| -00348680 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 |...8.@@....%fals| -00348690 65 5e 90 40 40 04 43 40 92 04 03 a0 e0 a3 24 74 |e^.@@.C@......$t| -003486a0 72 75 65 5f 90 40 40 04 49 40 92 04 03 40 40 41 |rue_.@@.I@...@@A| -003486b0 40 40 40 40 40 04 4a 40 41 40 92 04 10 a3 24 63 |@@@@@.J@A@....$c| -003486c0 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 |harB...8.@@@A@@@| -003486d0 40 40 04 4e 40 41 40 92 04 03 a3 23 65 78 6e 47 |@@.N@A@....#exnG| -003486e0 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 52 |...8.@@AA@@@@@.R| -003486f0 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f |@@@....5extensio| -00348700 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 |n_constructorP..| -00348710 00 38 00 40 40 40 41 40 40 40 40 40 04 56 40 40 |.8.@@@A@@@@@.V@@| -00348720 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 |@....%floatD...8| -00348730 00 40 40 40 41 40 40 40 40 40 04 5a 40 40 40 92 |.@@@A@@@@@.Z@@@.| -00348740 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 |...*floatarrayQ.| -00348750 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5e 40 |..8.@@@A@@@@@.^@| -00348760 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 |@@....#intA...8.| -00348770 40 40 40 41 40 40 40 40 40 04 62 40 41 40 92 04 |@@@A@@@@@.b@A@..| +00348620 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab a7 b1 b2 b2 b2 |"??A............| +00348630 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 |................| +00348640 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 |.........@.%arra| +00348650 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 |yH...8....@.....| +00348660 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 |@M@A@A@...@.@@@@| +00348670 04 38 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 |.8@@@....$boolE.| +00348680 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 |..8.@@....%false| +00348690 5e 90 40 40 04 42 40 92 04 03 a0 e0 a3 24 74 72 |^.@@.B@......$tr| +003486a0 75 65 5f 90 40 40 04 48 40 92 04 03 40 40 41 40 |ue_.@@.H@...@@A@| +003486b0 40 40 40 40 04 49 40 41 40 92 04 10 a3 24 63 68 |@@@@.I@A@....$ch| +003486c0 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 40 |arB...8.@@@A@@@@| +003486d0 40 04 4d 40 41 40 92 04 03 a3 23 65 78 6e 47 08 |@.M@A@....#exnG.| +003486e0 00 00 38 00 40 40 41 41 40 40 40 40 40 04 51 40 |..8.@@AA@@@@@.Q@| +003486f0 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e |@@....5extension| +00348700 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 |_constructorP...| +00348710 38 00 40 40 40 41 40 40 40 40 40 04 55 40 40 40 |8.@@@A@@@@@.U@@@| +00348720 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 |....%floatD...8.| +00348730 40 40 40 41 40 40 40 40 40 04 59 40 40 40 92 04 |@@@A@@@@@.Y@@@..| +00348740 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 |..*floatarrayQ..| +00348750 00 38 00 40 40 40 41 40 40 40 40 40 04 5d 40 40 |.8.@@@A@@@@@.]@@| +00348760 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 |@....#intA...8.@| +00348770 40 40 41 40 40 40 40 40 04 61 40 41 40 92 04 03 |@@A@@@@@.a@A@...| 00348780 /usr/lib64/rocq-runtime/rocqworker.byte differs at offset '42129869' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/lib64/rocq-runtime/rocqworker.byte (hex) +++ new /usr/lib64/rocq-runtime/rocqworker.byte (hex) @@ -1,33 +1,33 @@ -0282d9c0 40 00 08 60 70 84 95 a6 be 00 00 42 c2 00 00 0c |@..`p......B....| -0282d9d0 76 00 00 31 f4 00 00 31 2a a0 08 00 00 2c 00 01 |v..1...1*....,..| +0282d9c0 40 00 08 60 70 84 95 a6 be 00 00 42 bc 00 00 0c |@..`p......B....| +0282d9d0 73 00 00 31 ed 00 00 31 23 a0 08 00 00 2c 00 01 |s..1...1#....,..| 0282d9e0 05 48 2b 4d 65 6d 70 72 6f 66 5f 63 6f 71 b0 c0 |.H+Memprof_coq..| 0282d9f0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 |&_none_@@....AA"| 0282da00 3f 3f 41 40 d0 40 40 40 40 40 a0 40 40 40 40 a0 |??A@.@@@@@.@@@@.| 0282da10 08 00 00 2c 00 01 05 30 04 09 04 08 41 04 05 41 |...,...0....A..A| 0282da20 40 04 04 04 03 40 40 a0 08 00 00 2c 00 01 04 f4 |@....@@....,....| 0282da30 04 0b 04 0a 41 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab |....A"??A.......| -0282da40 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 |................| -0282da50 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 |...............@| -0282da60 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 |.%arrayH...8....| -0282da70 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f |@.....@M@A@A@...| -0282da80 40 a0 40 40 40 40 04 39 40 40 40 92 04 08 a3 24 |@.@@@@.9@@@....$| -0282da90 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 |boolE...8.@@....| -0282daa0 25 66 61 6c 73 65 5e 90 40 40 04 43 40 92 04 03 |%false^.@@.C@...| -0282dab0 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 49 40 92 |...$true_.@@.I@.| -0282dac0 04 03 40 40 41 40 40 40 40 40 04 4a 40 41 40 92 |..@@A@@@@@.J@A@.| -0282dad0 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |...$charB...8.@@| -0282dae0 40 41 40 40 40 40 40 04 4e 40 41 40 92 04 03 a3 |@A@@@@@.N@A@....| -0282daf0 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| -0282db00 40 40 40 04 52 40 40 40 92 04 03 a3 35 65 78 74 |@@@.R@@@....5ext| -0282db10 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| -0282db20 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| -0282db30 40 04 56 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@.V@@@....%float| -0282db40 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| -0282db50 5a 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |Z@@@....*floatar| -0282db60 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 |rayQ...8.@@@A@@@| -0282db70 40 40 04 5e 40 40 40 92 04 03 a3 23 69 6e 74 41 |@@.^@@@....#intA| -0282db80 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 62 |...8.@@@A@@@@@.b| -0282db90 40 41 40 92 04 03 a3 25 69 6e 74 33 32 4c 08 00 |@A@....%int32L..| -0282dba0 00 38 00 40 40 40 41 40 40 40 40 40 04 66 40 40 |.8.@@@A@@@@@.f@@| -0282dbb0 40 92 04 03 a3 25 69 6e 74 36 34 4d 08 00 00 38 |@....%int64M...8| +0282da40 a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 |................| +0282da50 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 |..............@.| +0282da60 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 |%arrayH...8....@| +0282da70 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 |.....@M@A@A@...@| +0282da80 a0 40 40 40 40 04 38 40 40 40 92 04 08 a3 24 62 |.@@@@.8@@@....$b| +0282da90 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 |oolE...8.@@....%| +0282daa0 66 61 6c 73 65 5e 90 40 40 04 42 40 92 04 03 a0 |false^.@@.B@....| +0282dab0 e0 a3 24 74 72 75 65 5f 90 40 40 04 48 40 92 04 |..$true_.@@.H@..| +0282dac0 03 40 40 41 40 40 40 40 40 04 49 40 41 40 92 04 |.@@A@@@@@.I@A@..| +0282dad0 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 40 |..$charB...8.@@@| +0282dae0 41 40 40 40 40 40 04 4d 40 41 40 92 04 03 a3 23 |A@@@@@.M@A@....#| +0282daf0 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 |exnG...8.@@AA@@@| +0282db00 40 40 04 51 40 40 40 92 04 03 a3 35 65 78 74 65 |@@.Q@@@....5exte| +0282db10 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f |nsion_constructo| +0282db20 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |rP...8.@@@A@@@@@| +0282db30 04 55 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 |.U@@@....%floatD| +0282db40 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 59 |...8.@@@A@@@@@.Y| +0282db50 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 |@@@....*floatarr| +0282db60 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 40 |ayQ...8.@@@A@@@@| +0282db70 40 04 5d 40 40 40 92 04 03 a3 23 69 6e 74 41 08 |@.]@@@....#intA.| +0282db80 00 00 38 00 40 40 40 41 40 40 40 40 40 04 61 40 |..8.@@@A@@@@@.a@| +0282db90 41 40 92 04 03 a3 25 69 6e 74 33 32 4c 08 00 00 |A@....%int32L...| +0282dba0 38 00 40 40 40 41 40 40 40 40 40 04 65 40 40 40 |8.@@@A@@@@@.e@@@| +0282dbb0 92 04 03 a3 25 69 6e 74 36 34 4d 08 00 00 38 00 |....%int64M...8.| 0282dbc0 /usr/lib64/rocq-runtime/rocqworker_with_drop differs at offset '52217688' (a /usr/bin/ocamlrun 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 @@ 031cc740 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 2c 39 c4 |b.objs/byte@.,9.| -031cc750 84 95 a6 be 00 00 42 c2 00 00 0c 76 00 00 31 f4 |......B....v..1.| -031cc760 00 00 31 2a a0 08 00 00 2c 00 01 05 48 2b 4d 65 |..1*....,...H+Me| +031cc750 84 95 a6 be 00 00 42 bc 00 00 0c 73 00 00 31 ed |......B....s..1.| +031cc760 00 00 31 23 a0 08 00 00 2c 00 01 05 48 2b 4d 65 |..1#....,...H+Me| 031cc770 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e |mprof_coq..&_non| 031cc780 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f 41 40 d0 |e_@@....AA"??A@.| 031cc790 40 40 40 40 40 a0 40 40 40 40 a0 08 00 00 2c 00 |@@@@@.@@@@....,.| 031cc7a0 01 05 30 04 09 04 08 41 04 05 41 40 04 04 04 03 |..0....A..A@....| 031cc7b0 40 40 a0 08 00 00 2c 00 01 04 f4 04 0b 04 0a 41 |@@....,........A| -031cc7c0 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab ab a7 b1 b2 b2 |"??A............| -031cc7d0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 |................| -031cc7e0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 |..........@.%arr| -031cc7f0 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 |ayH...8....@....| -031cc800 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 |.@M@A@A@...@.@@@| -031cc810 40 04 39 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 |@.9@@@....$boolE| -031cc820 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 |...8.@@....%fals| -031cc830 65 5e 90 40 40 04 43 40 92 04 03 a0 e0 a3 24 74 |e^.@@.C@......$t| -031cc840 72 75 65 5f 90 40 40 04 49 40 92 04 03 40 40 41 |rue_.@@.I@...@@A| -031cc850 40 40 40 40 40 04 4a 40 41 40 92 04 10 a3 24 63 |@@@@@.J@A@....$c| -031cc860 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 |harB...8.@@@A@@@| -031cc870 40 40 04 4e 40 41 40 92 04 03 a3 23 65 78 6e 47 |@@.N@A@....#exnG| -031cc880 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 52 |...8.@@AA@@@@@.R| -031cc890 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f |@@@....5extensio| -031cc8a0 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 |n_constructorP..| -031cc8b0 00 38 00 40 40 40 41 40 40 40 40 40 04 56 40 40 |.8.@@@A@@@@@.V@@| -031cc8c0 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 |@....%floatD...8| -031cc8d0 00 40 40 40 41 40 40 40 40 40 04 5a 40 40 40 92 |.@@@A@@@@@.Z@@@.| -031cc8e0 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 |...*floatarrayQ.| -031cc8f0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5e 40 |..8.@@@A@@@@@.^@| -031cc900 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 |@@....#intA...8.| -031cc910 40 40 40 41 40 40 40 40 40 04 62 40 41 40 92 04 |@@@A@@@@@.b@A@..| -031cc920 03 a3 25 69 6e 74 33 32 4c 08 00 00 38 00 40 40 |..%int32L...8.@@| -031cc930 40 41 40 40 40 40 40 04 66 40 40 40 92 04 03 a3 |@A@@@@@.f@@@....| +031cc7c0 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab a7 b1 b2 b2 b2 |"??A............| +031cc7d0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 |................| +031cc7e0 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 |.........@.%arra| +031cc7f0 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 |yH...8....@.....| +031cc800 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 |@M@A@A@...@.@@@@| +031cc810 04 38 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 |.8@@@....$boolE.| +031cc820 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 |..8.@@....%false| +031cc830 5e 90 40 40 04 42 40 92 04 03 a0 e0 a3 24 74 72 |^.@@.B@......$tr| +031cc840 75 65 5f 90 40 40 04 48 40 92 04 03 40 40 41 40 |ue_.@@.H@...@@A@| +031cc850 40 40 40 40 04 49 40 41 40 92 04 10 a3 24 63 68 |@@@@.I@A@....$ch| +031cc860 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 40 |arB...8.@@@A@@@@| +031cc870 40 04 4d 40 41 40 92 04 03 a3 23 65 78 6e 47 08 |@.M@A@....#exnG.| +031cc880 00 00 38 00 40 40 41 41 40 40 40 40 40 04 51 40 |..8.@@AA@@@@@.Q@| +031cc890 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e |@@....5extension| +031cc8a0 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 |_constructorP...| +031cc8b0 38 00 40 40 40 41 40 40 40 40 40 04 55 40 40 40 |8.@@@A@@@@@.U@@@| +031cc8c0 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 |....%floatD...8.| +031cc8d0 40 40 40 41 40 40 40 40 40 04 59 40 40 40 92 04 |@@@A@@@@@.Y@@@..| +031cc8e0 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 |..*floatarrayQ..| +031cc8f0 00 38 00 40 40 40 41 40 40 40 40 40 04 5d 40 40 |.8.@@@A@@@@@.]@@| +031cc900 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 |@....#intA...8.@| +031cc910 40 40 41 40 40 40 40 40 04 61 40 41 40 92 04 03 |@@A@@@@@.a@A@...| +031cc920 a3 25 69 6e 74 33 32 4c 08 00 00 38 00 40 40 40 |.%int32L...8.@@@| +031cc930 41 40 40 40 40 40 04 65 40 40 40 92 04 03 a3 25 |A@@@@@.e@@@....%| 031cc940 RPMS.2/rocq-devel-9.2.0-1.1.x86_64.rpm RPMS/rocq-devel-9.2.0-1.1.x86_64.rpm differ: byte 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 @@ -7243 +7243 @@ -/usr/lib64/rocq-runtime/clib/clib.cma 446b9bb3191d509280664d68f5814b2e6b38bf0e8970eafc4d406248ecb8fcf9 0 +/usr/lib64/rocq-runtime/clib/clib.cma 9f6ad8011025dd1a5ac7d16430af91684ea967459a8edb9d2e81c139c91bf040 0 @@ -7300 +7300 @@ -/usr/lib64/rocq-runtime/clib/memprof_coq.cmt 1f4316510a442a7adf6be5eec9e8e0dbd0c0329b9081869f634106bb63a18df5 0 +/usr/lib64/rocq-runtime/clib/memprof_coq.cmt 66c0a303cd5f48371fea9453d7f525bb992d9be4d1a83bc991151f02fc3b75bc 0 @@ -7312 +7312 @@ -/usr/lib64/rocq-runtime/clib/mutex_aux.cmt 52648769d750cbe2bc21e07c63f1f05a651831b21f68c4aa19b168876f83be3d 0 +/usr/lib64/rocq-runtime/clib/mutex_aux.cmt c716489a48f33642f034f6a40e2863b212a8011e2407c65be21f1b6b80b17664 0 @@ -7318 +7318 @@ -/usr/lib64/rocq-runtime/clib/neList.cmt 182a86a4338fe9f5394c3a064a0a6c991f981e6d2824fb74a7a1fea92a99cf38 0 +/usr/lib64/rocq-runtime/clib/neList.cmt addb17b7d6cdfdac46f2196ec122474994fe859a1bf07b703d5fc33023561e00 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 031)) --- 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 31 00 14 2e 54 |Caml1999A031...T| +00000000 43 61 6d 6c 31 39 39 39 41 30 33 31 00 14 2e 42 |Caml1999A031...B| 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 031)) --- old /usr/lib64/rocq-runtime/clib/memprof_coq.cmt (hex) +++ new /usr/lib64/rocq-runtime/clib/memprof_coq.cmt (hex) @@ -1,5 +1,5 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 a6 be |Caml1999T031....| -00000010 00 00 85 ac 00 00 18 b1 00 00 63 15 00 00 61 b7 |..........c...a.| +00000010 00 00 85 a6 00 00 18 ae 00 00 63 0e 00 00 61 b0 |..........c...a.| 00000020 08 00 00 3c 00 2b 4d 65 6d 70 72 6f 66 5f 63 6f |...<.+Memprof_co| 00000030 71 91 b0 a0 b0 a1 40 a0 c0 e0 a0 a0 2e 69 73 5f |q.....@......is_| 00000040 69 6e 74 65 72 72 75 70 74 65 64 01 01 0b a0 04 |interrupted.....| @@ -11,23 +11,23 @@ 000000a0 40 90 40 02 05 f5 e1 00 40 01 05 aa 41 40 01 05 |@.@.....@...A@..| 000000b0 a7 40 02 05 f5 e1 00 40 01 05 a8 41 40 01 05 a5 |.@.....@...A@...| 000000c0 08 00 00 30 00 a0 40 40 04 01 04 01 04 01 04 01 |...0..@@........| -000000d0 04 01 04 01 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 |......@.........| -000000e0 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -000000f0 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 |.......@.%arrayH| -00000100 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d |...8....@.....@M| -00000110 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 |@A@A@...@.@@@@..| -00000120 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 |&_none_@@....A@@| -00000130 40 92 04 0b 04 31 08 00 00 38 00 40 40 a1 a0 e0 |@....1...8.@@...| -00000140 a3 25 66 61 6c 73 65 5e 90 40 40 04 0b 40 92 04 |.%false^.@@..@..| -00000150 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 11 40 |....$true_.@@..@| -00000160 92 04 03 40 40 41 40 40 40 40 40 04 12 40 41 40 |...@@A@@@@@..@A@| -00000170 92 04 3f a3 24 63 68 61 72 42 08 00 00 38 00 40 |..?.$charB...8.@| -00000180 40 40 41 40 40 40 40 40 04 16 40 41 40 92 04 03 |@@A@@@@@..@A@...| -00000190 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| -000001a0 40 40 40 40 04 1a 40 40 40 92 04 03 a3 35 65 78 |@@@@..@@@....5ex| -000001b0 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| -000001c0 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| -000001d0 40 40 04 1e 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@..@@@....%floa| -000001e0 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| -000001f0 04 22 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 |."@@@....*floata| +000000d0 04 01 04 01 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 |......@.........| +000000e0 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +000000f0 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| +00000100 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| +00000110 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 |A@A@...@.@@@@..&| +00000120 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 |_none_@@....A@@@| +00000130 92 04 0b 04 30 08 00 00 38 00 40 40 a1 a0 e0 a3 |....0...8.@@....| +00000140 25 66 61 6c 73 65 5e 90 40 40 04 0b 40 92 04 03 |%false^.@@..@...| +00000150 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 11 40 92 |...$true_.@@..@.| +00000160 04 03 40 40 41 40 40 40 40 40 04 12 40 41 40 92 |..@@A@@@@@..@A@.| +00000170 04 3e a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |.>.$charB...8.@@| +00000180 40 41 40 40 40 40 40 04 16 40 41 40 92 04 03 a3 |@A@@@@@..@A@....| +00000190 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| +000001a0 40 40 40 04 1a 40 40 40 92 04 03 a3 35 65 78 74 |@@@..@@@....5ext| +000001b0 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| +000001c0 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| +000001d0 40 04 1e 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@..@@@....%float| +000001e0 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| +000001f0 22 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |"@@@....*floatar| 00000200 /usr/lib64/rocq-runtime/clib/mutex_aux.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/rocq-runtime/clib/mutex_aux.cmt (hex) +++ new /usr/lib64/rocq-runtime/clib/mutex_aux.cmt (hex) @@ -1,5 +1,5 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 a6 be |Caml1999T031....| -00000010 00 00 14 82 00 00 03 9a 00 00 0f 25 00 00 0e 83 |...........%....| +00000010 00 00 14 7c 00 00 03 97 00 00 0f 1e 00 00 0e 7c |...|...........|| 00000020 08 00 00 3c 00 29 4d 75 74 65 78 5f 61 75 78 91 |...<.)Mutex_aux.| 00000030 b0 a0 b0 92 f0 a0 26 75 6e 6c 6f 63 6b 01 01 10 |......&unlock...| 00000040 a0 04 02 b0 c0 31 63 6c 69 62 2f 6d 75 74 65 78 |.....1clib/mutex| @@ -8,26 +8,26 @@ 00000070 74 a0 a1 90 04 05 04 04 b0 c0 04 10 41 40 51 c0 |t...........A@Q.| 00000080 04 11 41 40 58 40 40 c0 b3 04 0d 40 90 40 02 05 |..A@X@@....@.@..| 00000090 f5 e1 00 40 01 05 bd 08 00 00 30 00 a0 40 40 04 |...@......0..@@.| -000000a0 01 04 01 04 01 04 01 04 01 04 01 04 01 40 ab ab |.............@..| -000000b0 a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 |................| -000000c0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 |..............@.| -000000d0 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 |%arrayH...8....@| -000000e0 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 |.....@M@A@A@...@| -000000f0 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 |.@@@@..&_none_@@| -00000100 00 ff 04 02 41 40 40 40 92 04 0b a3 24 62 6f 6f |....A@@@....$boo| -00000110 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 |lE...8.@@....%fa| -00000120 6c 73 65 5e 90 40 40 04 0d 40 92 04 03 a0 e0 a3 |lse^.@@..@......| -00000130 24 74 72 75 65 5f 90 40 40 04 13 40 92 04 03 40 |$true_.@@..@...@| -00000140 40 41 40 40 40 40 40 04 14 40 41 40 92 04 10 a3 |@A@@@@@..@A@....| -00000150 24 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 |$charB...8.@@@A@| -00000160 40 40 40 40 04 18 40 41 40 92 04 03 a3 23 65 78 |@@@@..@A@....#ex| -00000170 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 |nG...8.@@AA@@@@@| -00000180 04 1c 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 |..@@@....5extens| -00000190 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 |ion_constructorP| -000001a0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 20 |...8.@@@A@@@@@. | -000001b0 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 |@@@....%floatD..| -000001c0 00 38 00 40 40 40 41 40 40 40 40 40 04 24 40 40 |.8.@@@A@@@@@.$@@| -000001d0 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 |@....*floatarray| -000001e0 51 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |Q...8.@@@A@@@@@.| -000001f0 28 40 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 |(@@@....#intA...| +000000a0 01 04 01 04 01 04 01 04 01 04 01 04 01 40 ab a7 |.............@..| +000000b0 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 |................| +000000c0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 |.............@.%| +000000d0 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 02 |arrayH...8....@.| +000000e0 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 |....@M@A@A@...@.| +000000f0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 |@@@@..&_none_@@.| +00000100 ff 04 02 41 40 40 40 92 04 0b a3 24 62 6f 6f 6c |...A@@@....$bool| +00000110 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c |E...8.@@....%fal| +00000120 73 65 5e 90 40 40 04 0d 40 92 04 03 a0 e0 a3 24 |se^.@@..@......$| +00000130 74 72 75 65 5f 90 40 40 04 13 40 92 04 03 40 40 |true_.@@..@...@@| +00000140 41 40 40 40 40 40 04 14 40 41 40 92 04 10 a3 24 |A@@@@@..@A@....$| +00000150 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 |charB...8.@@@A@@| +00000160 40 40 40 04 18 40 41 40 92 04 03 a3 23 65 78 6e |@@@..@A@....#exn| +00000170 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 |G...8.@@AA@@@@@.| +00000180 1c 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 |.@@@....5extensi| +00000190 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 |on_constructorP.| +000001a0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 20 40 |..8.@@@A@@@@@. @| +000001b0 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 |@@....%floatD...| +000001c0 38 00 40 40 40 41 40 40 40 40 40 04 24 40 40 40 |8.@@@A@@@@@.$@@@| +000001d0 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 |....*floatarrayQ| +000001e0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 28 |...8.@@@A@@@@@.(| +000001f0 40 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 |@@@....#intA...8| 00000200 /usr/lib64/rocq-runtime/clib/neList.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/rocq-runtime/clib/neList.cmt (hex) +++ new /usr/lib64/rocq-runtime/clib/neList.cmt (hex) @@ -1,5 +1,5 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 a6 be |Caml1999T031....| -00000010 00 00 44 9b 00 00 0c 32 00 00 32 db 00 00 32 03 |..D....2..2...2.| +00000010 00 00 44 95 00 00 0c 2f 00 00 32 d4 00 00 31 fc |..D..../..2...1.| 00000020 08 00 00 3c 00 26 4e 65 4c 69 73 74 91 b0 a0 b0 |...<.&NeList....| 00000030 a3 41 a0 08 00 00 28 00 b1 21 74 01 01 0b 41 a0 |.A....(..!t...A.| 00000040 04 02 b0 c0 2e 63 6c 69 62 2f 6e 65 4c 69 73 74 |.....clib/neList| @@ -7,27 +7,27 @@ 00000060 a4 01 02 ad 40 a0 a0 d0 90 21 61 c0 90 90 04 04 |....@....!a.....| 00000070 02 05 f5 e1 00 40 01 05 a7 08 00 00 30 00 a0 40 |.....@......0..@| 00000080 40 04 01 04 01 04 01 04 01 04 01 04 01 04 01 40 |@..............@| -00000090 b1 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| -000000a0 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -000000b0 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 |.@.%arrayH...8..| -000000c0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 |..@.....@M@A@A@.| -000000d0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 |..@.@@@@..&_none| -000000e0 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 24 |_@@....A@@@....$| -000000f0 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 |boolE...8.@@....| -00000100 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 03 |%false^.@@..@...| -00000110 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 92 |...$true_.@@..@.| -00000120 04 03 40 40 41 40 40 40 40 40 04 14 40 41 40 92 |..@@A@@@@@..@A@.| -00000130 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |...$charB...8.@@| -00000140 40 41 40 40 40 40 40 04 18 40 41 40 92 04 03 a3 |@A@@@@@..@A@....| -00000150 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| -00000160 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 74 |@@@..@@@....5ext| -00000170 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| -00000180 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| -00000190 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@. @@@....%float| -000001a0 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| -000001b0 24 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |$@@@....*floatar| -000001c0 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 |rayQ...8.@@@A@@@| -000001d0 40 40 04 28 40 40 40 92 04 03 a3 23 69 6e 74 41 |@@.(@@@....#intA| -000001e0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 2c |...8.@@@A@@@@@.,| -000001f0 40 41 40 92 04 03 a3 25 69 6e 74 33 32 4c 08 00 |@A@....%int32L..| +00000090 b1 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| +000000a0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +000000b0 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 |@.%arrayH...8...| +000000c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 |.@.....@M@A@A@..| +000000d0 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 5f |.@.@@@@..&_none_| +000000e0 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 24 62 |@@....A@@@....$b| +000000f0 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 |oolE...8.@@....%| +00000100 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 03 a0 |false^.@@..@....| +00000110 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 92 04 |..$true_.@@..@..| +00000120 03 40 40 41 40 40 40 40 40 04 14 40 41 40 92 04 |.@@A@@@@@..@A@..| +00000130 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 40 |..$charB...8.@@@| +00000140 41 40 40 40 40 40 04 18 40 41 40 92 04 03 a3 23 |A@@@@@..@A@....#| +00000150 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 |exnG...8.@@AA@@@| +00000160 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 74 65 |@@..@@@....5exte| +00000170 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f |nsion_constructo| +00000180 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |rP...8.@@@A@@@@@| +00000190 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 |. @@@....%floatD| +000001a0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 24 |...8.@@@A@@@@@.$| +000001b0 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 |@@@....*floatarr| +000001c0 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 40 |ayQ...8.@@@A@@@@| +000001d0 40 04 28 40 40 40 92 04 03 a3 23 69 6e 74 41 08 |@.(@@@....#intA.| +000001e0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 2c 40 |..8.@@@A@@@@@.,@| +000001f0 41 40 92 04 03 a3 25 69 6e 74 33 32 4c 08 00 00 |A@....%int32L...| 00000200 overalldiffered=2 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1