~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-8.20.0-1.1.x86_64.rpm RPMS/coq-8.20.0-1.1.x86_64.rpm differ: byte 225, line 1 Comparing coq-8.20.0-1.1.x86_64.rpm to coq-8.20.0-1.1.x86_64.rpm comparing the rpm tags of coq --- old-rpm-tags +++ new-rpm-tags @@ -1543 +1543 @@ -/usr/bin/coqc.byte e1efba2fec700f4f535a77a9db863776a23dad4aff084a4d8b13984c19bd550b 0 +/usr/bin/coqc.byte 8b4511fb32c574dbf0ac9ee4885884834961c9b72b5b989f4612e818c9a28652 0 @@ -1551 +1551 @@ -/usr/bin/coqtop.byte 53ff593a6993acaf3fd6be2c9b5b0fcea0a84d37bd0a0dec396bff39af184709 0 +/usr/bin/coqtop.byte e79c3ab97cb789dc948e8cc3fa24d4f8605203eefe135d13db7464eb3750f968 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/coqc.byte differs at offset '39557634' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqc.byte (hex) +++ new /usr/bin/coqc.byte (hex) @@ -1,33 +1,33 @@ -025b9a00 0a 5d 00 00 02 04 00 00 08 65 00 00 08 28 a0 08 |.].......e...(..| +025b9a00 0a 57 00 00 02 01 00 00 08 5e 00 00 08 21 a0 08 |.W.......^...!..| 025b9a10 00 00 2c 00 01 00 94 29 4d 75 74 65 78 5f 61 75 |..,....)Mutex_au| 025b9a20 78 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 |x..&_none_@@....| 025b9a30 41 41 22 3f 3f 41 40 d0 40 40 40 40 40 b0 40 40 |AA"??A@.@@@@@.@@| 025b9a40 40 40 40 a0 08 00 00 2c 00 01 00 88 04 09 04 08 |@@@....,........| -025b9a50 41 22 3f 3f 41 b0 b0 ab ab a7 b1 b2 b2 b2 b2 b2 |A"??A...........| -025b9a60 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -025b9a70 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 |.......@.%arrayH| -025b9a80 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d |...8....@.....@M| -025b9a90 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 33 |@A@A@...@.@@@@.3| -025b9aa0 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 |@@@....$boolE...| -025b9ab0 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 |8.@@....%false^.| -025b9ac0 40 40 04 3d 40 92 04 03 a0 e0 a3 24 74 72 75 65 |@@.=@......$true| -025b9ad0 5f 90 40 40 04 43 40 92 04 03 40 40 41 40 40 40 |_.@@.C@...@@A@@@| -025b9ae0 40 40 04 44 40 41 40 92 04 10 a3 24 63 68 61 72 |@@.D@A@....$char| -025b9af0 42 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |B...8.@@@A@@@@@.| -025b9b00 48 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 |H@A@....#exnG...| -025b9b10 38 00 40 40 41 41 40 40 40 40 40 04 4c 40 40 40 |8.@@AA@@@@@.L@@@| -025b9b20 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 |....5extension_c| -025b9b30 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 |onstructorP...8.| -025b9b40 40 40 40 41 40 40 40 40 40 04 50 40 40 40 92 04 |@@@A@@@@@.P@@@..| -025b9b50 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 |..%floatD...8.@@| -025b9b60 40 41 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 |@A@@@@@.T@@@....| -025b9b70 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 |*floatarrayQ...8| -025b9b80 00 40 40 40 41 40 40 40 40 40 04 58 40 40 40 92 |.@@@A@@@@@.X@@@.| -025b9b90 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 |...#intA...8.@@@| -025b9ba0 41 40 40 40 40 40 04 5c 40 41 40 92 04 03 a3 25 |A@@@@@.\@A@....%| -025b9bb0 69 6e 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 |int32L...8.@@@A@| -025b9bc0 40 40 40 40 04 60 40 40 40 92 04 03 a3 25 69 6e |@@@@.`@@@....%in| -025b9bd0 74 36 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 |t64M...8.@@@A@@@| -025b9be0 40 40 04 64 40 40 40 92 04 03 a3 26 6c 61 7a 79 |@@.d@@@....&lazy| -025b9bf0 5f 74 4e 08 00 00 38 00 a0 c0 04 3a 02 05 f5 e1 |_tN...8....:....| +025b9a50 41 22 3f 3f 41 b0 b0 ab a7 b1 b2 b2 b2 b2 b2 b2 |A"??A...........| +025b9a60 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +025b9a70 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| +025b9a80 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| +025b9a90 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 32 40 |A@A@...@.@@@@.2@| +025b9aa0 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 |@@....$boolE...8| +025b9ab0 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 |.@@....%false^.@| +025b9ac0 40 04 3c 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f |@.<@......$true_| +025b9ad0 90 40 40 04 42 40 92 04 03 40 40 41 40 40 40 40 |.@@.B@...@@A@@@@| +025b9ae0 40 04 43 40 41 40 92 04 10 a3 24 63 68 61 72 42 |@.C@A@....$charB| +025b9af0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 47 |...8.@@@A@@@@@.G| +025b9b00 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 |@A@....#exnG...8| +025b9b10 00 40 40 41 41 40 40 40 40 40 04 4b 40 40 40 92 |.@@AA@@@@@.K@@@.| +025b9b20 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f |...5extension_co| +025b9b30 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 |nstructorP...8.@| +025b9b40 40 40 41 40 40 40 40 40 04 4f 40 40 40 92 04 03 |@@A@@@@@.O@@@...| +025b9b50 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 |.%floatD...8.@@@| +025b9b60 41 40 40 40 40 40 04 53 40 40 40 92 04 03 a3 2a |A@@@@@.S@@@....*| +025b9b70 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 |floatarrayQ...8.| +025b9b80 40 40 40 41 40 40 40 40 40 04 57 40 40 40 92 04 |@@@A@@@@@.W@@@..| +025b9b90 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 |..#intA...8.@@@A| +025b9ba0 40 40 40 40 40 04 5b 40 41 40 92 04 03 a3 25 69 |@@@@@.[@A@....%i| +025b9bb0 6e 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 |nt32L...8.@@@A@@| +025b9bc0 40 40 40 04 5f 40 40 40 92 04 03 a3 25 69 6e 74 |@@@._@@@....%int| +025b9bd0 36 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 |64M...8.@@@A@@@@| +025b9be0 40 04 63 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f |@.c@@@....&lazy_| +025b9bf0 74 4e 08 00 00 38 00 a0 c0 04 3a 02 05 f5 e1 00 |tN...8....:.....| 025b9c00 /usr/bin/coqtop.byte differs at offset '45932606' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqtop.byte (hex) +++ new /usr/bin/coqtop.byte (hex) @@ -1,33 +1,33 @@ 02bce000 5f 72 6f 6f 74 2f 63 6c 69 62 a0 09 24 2f 77 6f |_root/clib..$/wo| 02bce010 72 6b 73 70 61 63 65 5f 72 6f 6f 74 2f 63 6c 69 |rkspace_root/cli| 02bce020 62 2f 2e 63 6c 69 62 2e 6f 62 6a 73 2f 62 79 74 |b/.clib.objs/byt| -02bce030 65 40 00 2c 3b 70 84 95 a6 be 00 00 0a 5d 00 00 |e@.,;p.......]..| -02bce040 02 04 00 00 08 65 00 00 08 28 a0 08 00 00 2c 00 |.....e...(....,.| +02bce030 65 40 00 2c 3b 70 84 95 a6 be 00 00 0a 57 00 00 |e@.,;p.......W..| +02bce040 02 01 00 00 08 5e 00 00 08 21 a0 08 00 00 2c 00 |.....^...!....,.| 02bce050 01 00 94 29 4d 75 74 65 78 5f 61 75 78 b0 c0 26 |...)Mutex_aux..&| 02bce060 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 3f |_none_@@....AA"?| 02bce070 3f 41 40 d0 40 40 40 40 40 b0 40 40 40 40 40 a0 |?A@.@@@@@.@@@@@.| 02bce080 08 00 00 2c 00 01 00 88 04 09 04 08 41 22 3f 3f |...,........A"??| -02bce090 41 b0 b0 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 |A...............| -02bce0a0 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -02bce0b0 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 |...@.%arrayH...8| -02bce0c0 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 |....@.....@M@A@A| -02bce0d0 40 a0 00 7f 40 a0 40 40 40 40 04 33 40 40 40 92 |@...@.@@@@.3@@@.| -02bce0e0 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 |...$boolE...8.@@| -02bce0f0 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 3d |....%false^.@@.=| -02bce100 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 |@......$true_.@@| -02bce110 04 43 40 92 04 03 40 40 41 40 40 40 40 40 04 44 |.C@...@@A@@@@@.D| -02bce120 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 |@A@....$charB...| -02bce130 38 00 40 40 40 41 40 40 40 40 40 04 48 40 41 40 |8.@@@A@@@@@.H@A@| -02bce140 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 |....#exnG...8.@@| -02bce150 41 41 40 40 40 40 40 04 4c 40 40 40 92 04 03 a3 |AA@@@@@.L@@@....| -02bce160 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 |5extension_const| -02bce170 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 |ructorP...8.@@@A| -02bce180 40 40 40 40 40 04 50 40 40 40 92 04 03 a3 25 66 |@@@@@.P@@@....%f| -02bce190 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 40 |loatD...8.@@@A@@| -02bce1a0 40 40 40 04 54 40 40 40 92 04 03 a3 2a 66 6c 6f |@@@.T@@@....*flo| -02bce1b0 61 74 61 72 72 61 79 51 08 00 00 38 00 40 40 40 |atarrayQ...8.@@@| -02bce1c0 41 40 40 40 40 40 04 58 40 40 40 92 04 03 a3 23 |A@@@@@.X@@@....#| -02bce1d0 69 6e 74 41 08 00 00 38 00 40 40 40 41 40 40 40 |intA...8.@@@A@@@| -02bce1e0 40 40 04 5c 40 41 40 92 04 03 a3 25 69 6e 74 33 |@@.\@A@....%int3| -02bce1f0 32 4c 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |2L...8.@@@A@@@@@| +02bce090 41 b0 b0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |A...............| +02bce0a0 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +02bce0b0 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| +02bce0c0 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| +02bce0d0 a0 00 7f 40 a0 40 40 40 40 04 32 40 40 40 92 04 |...@.@@@@.2@@@..| +02bce0e0 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 |..$boolE...8.@@.| +02bce0f0 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 3c 40 |...%false^.@@.<@| +02bce100 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 |......$true_.@@.| +02bce110 42 40 92 04 03 40 40 41 40 40 40 40 40 04 43 40 |B@...@@A@@@@@.C@| +02bce120 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 |A@....$charB...8| +02bce130 00 40 40 40 41 40 40 40 40 40 04 47 40 41 40 92 |.@@@A@@@@@.G@A@.| +02bce140 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 |...#exnG...8.@@A| +02bce150 41 40 40 40 40 40 04 4b 40 40 40 92 04 03 a3 35 |A@@@@@.K@@@....5| +02bce160 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 |extension_constr| +02bce170 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 |uctorP...8.@@@A@| +02bce180 40 40 40 40 04 4f 40 40 40 92 04 03 a3 25 66 6c |@@@@.O@@@....%fl| +02bce190 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 |oatD...8.@@@A@@@| +02bce1a0 40 40 04 53 40 40 40 92 04 03 a3 2a 66 6c 6f 61 |@@.S@@@....*floa| +02bce1b0 74 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 |tarrayQ...8.@@@A| +02bce1c0 40 40 40 40 40 04 57 40 40 40 92 04 03 a3 23 69 |@@@@@.W@@@....#i| +02bce1d0 6e 74 41 08 00 00 38 00 40 40 40 41 40 40 40 40 |ntA...8.@@@A@@@@| +02bce1e0 40 04 5b 40 41 40 92 04 03 a3 25 69 6e 74 33 32 |@.[@A@....%int32| +02bce1f0 4c 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |L...8.@@@A@@@@@.| 02bce200 RPMS.2017/coq-devel-8.20.0-1.1.x86_64.rpm RPMS/coq-devel-8.20.0-1.1.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.20.0-1.1.x86_64.rpm to coq-devel-8.20.0-1.1.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -8561 +8561 @@ -/usr/lib64/coq-core/clib/clib.cma 5d92491a233669a6266bf2b0a7942f0a1072684cc701b8b1506afc433b0955b9 0 +/usr/lib64/coq-core/clib/clib.cma 4b9b75f024317f2a7c0b1b24443b9717653ff96a8b1c95c893ac9df8748025b3 0 @@ -8630 +8630 @@ -/usr/lib64/coq-core/clib/mutex_aux.cmt 52648769d750cbe2bc21e07c63f1f05a651831b21f68c4aa19b168876f83be3d 0 +/usr/lib64/coq-core/clib/mutex_aux.cmt c716489a48f33642f034f6a40e2863b212a8011e2407c65be21f1b6b80b17664 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/coq-core/clib/clib.cma differs at offset '16' (OCaml library file (.cma) (Version 031)) --- old /usr/lib64/coq-core/clib/clib.cma (hex) +++ new /usr/lib64/coq-core/clib/clib.cma (hex) @@ -1,4 +1,4 @@ -00000000 43 61 6d 6c 31 39 39 39 41 30 33 31 00 13 f8 66 |Caml1999A031...f| +00000000 43 61 6d 6c 31 39 39 39 41 30 33 31 00 13 f8 60 |Caml1999A031...`| 00000010 54 00 00 00 9e 01 00 00 29 00 00 00 2a 00 00 00 |T.......)...*...| 00000020 01 00 00 00 01 00 00 00 0b 00 00 00 1b 00 00 00 |................| 00000030 22 00 00 00 0a 00 00 00 47 00 00 00 08 00 00 00 |".......G.......| /usr/lib64/coq-core/clib/mutex_aux.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/coq-core/clib/mutex_aux.cmt (hex) +++ new /usr/lib64/coq-core/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 RPMS.2017/coq-ide-8.20.0-1.1.x86_64.rpm RPMS/coq-ide-8.20.0-1.1.x86_64.rpm differ: byte 225, line 1 Comparing coq-ide-8.20.0-1.1.x86_64.rpm to coq-ide-8.20.0-1.1.x86_64.rpm comparing the rpm tags of coq-ide --- old-rpm-tags +++ new-rpm-tags @@ -132 +132 @@ -/usr/bin/coqidetop.byte 911b6a3ad556b5b01c3a9377fb274ebb28401aadd489e4f1a8941484794ecd14 0 +/usr/bin/coqidetop.byte 5956232796b533b108587a6e02163aafc298deef1dca47789940fc285d7a0cb3 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/coqidetop.byte differs at offset '40120710' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqidetop.byte (hex) +++ new /usr/bin/coqidetop.byte (hex) @@ -1,33 +1,33 @@ -02643180 a6 be 00 00 0a 5d 00 00 02 04 00 00 08 65 00 00 |.....].......e..| -02643190 08 28 a0 08 00 00 2c 00 01 00 94 29 4d 75 74 65 |.(....,....)Mute| +02643180 a6 be 00 00 0a 57 00 00 02 01 00 00 08 5e 00 00 |.....W.......^..| +02643190 08 21 a0 08 00 00 2c 00 01 00 94 29 4d 75 74 65 |.!....,....)Mute| 026431a0 78 5f 61 75 78 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 |x_aux..&_none_@@| 026431b0 00 ff 04 02 41 41 22 3f 3f 41 40 d0 40 40 40 40 |....AA"??A@.@@@@| 026431c0 40 b0 40 40 40 40 40 a0 08 00 00 2c 00 01 00 88 |@.@@@@@....,....| -026431d0 04 09 04 08 41 22 3f 3f 41 b0 b0 ab ab a7 b1 b2 |....A"??A.......| -026431e0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 |................| -026431f0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 |...........@.%ar| -02643200 72 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 |rayH...8....@...| -02643210 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 |..@M@A@A@...@.@@| -02643220 40 40 04 33 40 40 40 92 04 08 a3 24 62 6f 6f 6c |@@.3@@@....$bool| -02643230 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c |E...8.@@....%fal| -02643240 73 65 5e 90 40 40 04 3d 40 92 04 03 a0 e0 a3 24 |se^.@@.=@......$| -02643250 74 72 75 65 5f 90 40 40 04 43 40 92 04 03 40 40 |true_.@@.C@...@@| -02643260 41 40 40 40 40 40 04 44 40 41 40 92 04 10 a3 24 |A@@@@@.D@A@....$| -02643270 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 |charB...8.@@@A@@| -02643280 40 40 40 04 48 40 41 40 92 04 03 a3 23 65 78 6e |@@@.H@A@....#exn| -02643290 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 |G...8.@@AA@@@@@.| -026432a0 4c 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 |L@@@....5extensi| -026432b0 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 |on_constructorP.| -026432c0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 50 40 |..8.@@@A@@@@@.P@| -026432d0 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 |@@....%floatD...| -026432e0 38 00 40 40 40 41 40 40 40 40 40 04 54 40 40 40 |8.@@@A@@@@@.T@@@| -026432f0 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 |....*floatarrayQ| -02643300 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 58 |...8.@@@A@@@@@.X| -02643310 40 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 |@@@....#intA...8| -02643320 00 40 40 40 41 40 40 40 40 40 04 5c 40 41 40 92 |.@@@A@@@@@.\@A@.| -02643330 04 03 a3 25 69 6e 74 33 32 4c 08 00 00 38 00 40 |...%int32L...8.@| -02643340 40 40 41 40 40 40 40 40 04 60 40 40 40 92 04 03 |@@A@@@@@.`@@@...| -02643350 a3 25 69 6e 74 36 34 4d 08 00 00 38 00 40 40 40 |.%int64M...8.@@@| -02643360 41 40 40 40 40 40 04 64 40 40 40 92 04 03 a3 26 |A@@@@@.d@@@....&| -02643370 6c 61 7a 79 5f 74 4e 08 00 00 38 00 a0 c0 04 3a |lazy_tN...8....:| +026431d0 04 09 04 08 41 22 3f 3f 41 b0 b0 ab a7 b1 b2 b2 |....A"??A.......| +026431e0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 |................| +026431f0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 |..........@.%arr| +02643200 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 |ayH...8....@....| +02643210 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 |.@M@A@A@...@.@@@| +02643220 40 04 32 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 |@.2@@@....$boolE| +02643230 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 |...8.@@....%fals| +02643240 65 5e 90 40 40 04 3c 40 92 04 03 a0 e0 a3 24 74 |e^.@@.<@......$t| +02643250 72 75 65 5f 90 40 40 04 42 40 92 04 03 40 40 41 |rue_.@@.B@...@@A| +02643260 40 40 40 40 40 04 43 40 41 40 92 04 10 a3 24 63 |@@@@@.C@A@....$c| +02643270 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 |harB...8.@@@A@@@| +02643280 40 40 04 47 40 41 40 92 04 03 a3 23 65 78 6e 47 |@@.G@A@....#exnG| +02643290 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 4b |...8.@@AA@@@@@.K| +026432a0 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f |@@@....5extensio| +026432b0 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 |n_constructorP..| +026432c0 00 38 00 40 40 40 41 40 40 40 40 40 04 4f 40 40 |.8.@@@A@@@@@.O@@| +026432d0 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 |@....%floatD...8| +026432e0 00 40 40 40 41 40 40 40 40 40 04 53 40 40 40 92 |.@@@A@@@@@.S@@@.| +026432f0 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 |...*floatarrayQ.| +02643300 00 00 38 00 40 40 40 41 40 40 40 40 40 04 57 40 |..8.@@@A@@@@@.W@| +02643310 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 |@@....#intA...8.| +02643320 40 40 40 41 40 40 40 40 40 04 5b 40 41 40 92 04 |@@@A@@@@@.[@A@..| +02643330 03 a3 25 69 6e 74 33 32 4c 08 00 00 38 00 40 40 |..%int32L...8.@@| +02643340 40 41 40 40 40 40 40 04 5f 40 40 40 92 04 03 a3 |@A@@@@@._@@@....| +02643350 25 69 6e 74 36 34 4d 08 00 00 38 00 40 40 40 41 |%int64M...8.@@@A| +02643360 40 40 40 40 40 04 63 40 40 40 92 04 03 a3 26 6c |@@@@@.c@@@....&l| +02643370 61 7a 79 5f 74 4e 08 00 00 38 00 a0 c0 04 3a 02 |azy_tN...8....:.| 02643380 overalldiffered=3 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1