~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-8.17.1-0.0.x86_64.rpm RPMS/coq-8.17.1-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-8.17.1-0.0.x86_64.rpm to coq-8.17.1-0.0.x86_64.rpm comparing the rpm tags of coq --- old-rpm-tags +++ new-rpm-tags @@ -1553 +1553 @@ -/usr/bin/coqc.byte f666d4ab6f8c01bcc1d27e99dcd90b31c64bc8739bb00856d2b99aefd66c5880 0 +/usr/bin/coqc.byte e39b9e0a7c396e2c08377040fc5104510fdda649b19cee0fc5fcd811cd11a69c 0 @@ -1560 +1560 @@ -/usr/bin/coqtop.byte 16f781608666eab58704134f66fbcac8d12c537f76079c55912853b6c49ee622 0 +/usr/bin/coqtop.byte ec1eb5274cadfaa4ad3249c12032188cbbaa9cd6cffde706b3555e5a557df8b2 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 '37269881' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqc.byte (hex) +++ new /usr/bin/coqc.byte (hex) @@ -1,33 +1,33 @@ 0238b140 71 2d 38 2e 31 37 2e 31 2f 5f 62 75 69 6c 64 2f |q-8.17.1/_build/| 0238b150 64 65 66 61 75 6c 74 2f 63 6c 69 62 2f 2e 63 6c |default/clib/.cl| 0238b160 69 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 07 a9 |ib.objs/byte@...| -0238b170 5c 84 95 a6 be 00 00 20 85 00 00 06 43 00 00 19 |\...... ....C...| -0238b180 87 00 00 19 23 a0 08 00 00 2c 00 01 02 44 25 53 |....#....,...D%S| +0238b170 5c 84 95 a6 be 00 00 20 8b 00 00 06 46 00 00 19 |\...... ....F...| +0238b180 8e 00 00 19 2a a0 08 00 00 2c 00 01 02 44 25 53 |....*....,...D%S| 0238b190 74 6f 72 65 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 |tore..&_none_@@.| 0238b1a0 ff 04 02 41 41 22 3f 3f 41 40 d0 40 40 40 40 40 |...AA"??A@.@@@@@| 0238b1b0 b0 40 40 40 40 40 a0 08 00 00 2c 00 01 02 38 04 |.@@@@@....,...8.| -0238b1c0 09 04 08 41 22 3f 3f 41 c3 b4 ab a7 b1 b2 b2 b2 |...A"??A........| -0238b1d0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 |................| -0238b1e0 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 |.........@.%arra| -0238b1f0 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 |yH...8....@.....| -0238b200 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 |@M@A@A@...@.@@@@| -0238b210 04 32 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 |.2@@@....$boolE.| -0238b220 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 |..8.@@....%false| -0238b230 5e 90 40 40 04 3c 40 92 04 03 a0 e0 a3 24 74 72 |^.@@.<@......$tr| -0238b240 75 65 5f 90 40 40 04 42 40 92 04 03 40 40 41 40 |ue_.@@.B@...@@A@| -0238b250 40 40 40 40 04 43 40 41 40 92 04 10 a3 24 63 68 |@@@@.C@A@....$ch| -0238b260 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 40 |arB...8.@@@A@@@@| -0238b270 40 04 47 40 41 40 92 04 03 a3 23 65 78 6e 47 08 |@.G@A@....#exnG.| -0238b280 00 00 38 00 40 40 41 41 40 40 40 40 40 04 4b 40 |..8.@@AA@@@@@.K@| -0238b290 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e |@@....5extension| -0238b2a0 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 |_constructorP...| -0238b2b0 38 00 40 40 40 41 40 40 40 40 40 04 4f 40 40 40 |8.@@@A@@@@@.O@@@| -0238b2c0 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 |....%floatD...8.| -0238b2d0 40 40 40 41 40 40 40 40 40 04 53 40 40 40 92 04 |@@@A@@@@@.S@@@..| -0238b2e0 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 |..*floatarrayQ..| -0238b2f0 00 38 00 40 40 40 41 40 40 40 40 40 04 57 40 40 |.8.@@@A@@@@@.W@@| -0238b300 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 |@....#intA...8.@| -0238b310 40 40 41 40 40 40 40 40 04 5b 40 41 40 92 04 03 |@@A@@@@@.[@A@...| -0238b320 a3 25 69 6e 74 33 32 4c 08 00 00 38 00 40 40 40 |.%int32L...8.@@@| -0238b330 41 40 40 40 40 40 04 5f 40 40 40 92 04 03 a3 25 |A@@@@@._@@@....%| +0238b1c0 09 04 08 41 22 3f 3f 41 c3 b4 ab ab a7 b1 b2 b2 |...A"??A........| +0238b1d0 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 |................| +0238b1e0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 |..........@.%arr| +0238b1f0 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 |ayH...8....@....| +0238b200 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 |.@M@A@A@...@.@@@| +0238b210 40 04 33 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 |@.3@@@....$boolE| +0238b220 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 |...8.@@....%fals| +0238b230 65 5e 90 40 40 04 3d 40 92 04 03 a0 e0 a3 24 74 |e^.@@.=@......$t| +0238b240 72 75 65 5f 90 40 40 04 43 40 92 04 03 40 40 41 |rue_.@@.C@...@@A| +0238b250 40 40 40 40 40 04 44 40 41 40 92 04 10 a3 24 63 |@@@@@.D@A@....$c| +0238b260 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 |harB...8.@@@A@@@| +0238b270 40 40 04 48 40 41 40 92 04 03 a3 23 65 78 6e 47 |@@.H@A@....#exnG| +0238b280 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 4c |...8.@@AA@@@@@.L| +0238b290 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f |@@@....5extensio| +0238b2a0 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 |n_constructorP..| +0238b2b0 00 38 00 40 40 40 41 40 40 40 40 40 04 50 40 40 |.8.@@@A@@@@@.P@@| +0238b2c0 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 |@....%floatD...8| +0238b2d0 00 40 40 40 41 40 40 40 40 40 04 54 40 40 40 92 |.@@@A@@@@@.T@@@.| +0238b2e0 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 |...*floatarrayQ.| +0238b2f0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 58 40 |..8.@@@A@@@@@.X@| +0238b300 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 |@@....#intA...8.| +0238b310 40 40 40 41 40 40 40 40 40 04 5c 40 41 40 92 04 |@@@A@@@@@.\@A@..| +0238b320 03 a3 25 69 6e 74 33 32 4c 08 00 00 38 00 40 40 |..%int32L...8.@@| +0238b330 40 41 40 40 40 40 40 04 60 40 40 40 92 04 03 a3 |@A@@@@@.`@@@....| 0238b340 /usr/bin/coqtop.byte differs at offset '40014917' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqtop.byte (hex) +++ new /usr/bin/coqtop.byte (hex) @@ -1,33 +1,33 @@ -02629440 be 00 00 20 85 00 00 06 43 00 00 19 87 00 00 19 |... ....C.......| -02629450 23 a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 65 |#....,...D%Store| +02629440 be 00 00 20 8b 00 00 06 46 00 00 19 8e 00 00 19 |... ....F.......| +02629450 2a a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 65 |*....,...D%Store| 02629460 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 |..&_none_@@....A| 02629470 41 22 3f 3f 41 40 d0 40 40 40 40 40 b0 40 40 40 |A"??A@.@@@@@.@@@| 02629480 40 40 a0 08 00 00 2c 00 01 02 38 04 09 04 08 41 |@@....,...8....A| -02629490 22 3f 3f 41 c3 b4 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 |"??A............| -026294a0 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -026294b0 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 |.....@.%arrayH..| -026294c0 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 |.8....@.....@M@A| -026294d0 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 32 40 40 |@A@...@.@@@@.2@@| -026294e0 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 |@....$boolE...8.| -026294f0 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 |@@....%false^.@@| -02629500 04 3c 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 |.<@......$true_.| -02629510 40 40 04 42 40 92 04 03 40 40 41 40 40 40 40 40 |@@.B@...@@A@@@@@| -02629520 04 43 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 |.C@A@....$charB.| -02629530 00 00 38 00 40 40 40 41 40 40 40 40 40 04 47 40 |..8.@@@A@@@@@.G@| -02629540 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 |A@....#exnG...8.| -02629550 40 40 41 41 40 40 40 40 40 04 4b 40 40 40 92 04 |@@AA@@@@@.K@@@..| -02629560 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e |..5extension_con| -02629570 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 |structorP...8.@@| -02629580 40 41 40 40 40 40 40 04 4f 40 40 40 92 04 03 a3 |@A@@@@@.O@@@....| -02629590 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 |%floatD...8.@@@A| -026295a0 40 40 40 40 40 04 53 40 40 40 92 04 03 a3 2a 66 |@@@@@.S@@@....*f| -026295b0 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 |loatarrayQ...8.@| -026295c0 40 40 41 40 40 40 40 40 04 57 40 40 40 92 04 03 |@@A@@@@@.W@@@...| -026295d0 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 40 |.#intA...8.@@@A@| -026295e0 40 40 40 40 04 5b 40 41 40 92 04 03 a3 25 69 6e |@@@@.[@A@....%in| -026295f0 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 40 |t32L...8.@@@A@@@| -02629600 40 40 04 5f 40 40 40 92 04 03 a3 25 69 6e 74 36 |@@._@@@....%int6| -02629610 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |4M...8.@@@A@@@@@| -02629620 04 63 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f 74 |.c@@@....&lazy_t| -02629630 4e 08 00 00 38 00 a0 c0 04 3a 02 05 f5 e1 00 40 |N...8....:.....@| +02629490 22 3f 3f 41 c3 b4 ab ab a7 b1 b2 b2 b2 b2 b2 b2 |"??A............| +026294a0 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +026294b0 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| +026294c0 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| +026294d0 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 33 40 |A@A@...@.@@@@.3@| +026294e0 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 |@@....$boolE...8| +026294f0 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 |.@@....%false^.@| +02629500 40 04 3d 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f |@.=@......$true_| +02629510 90 40 40 04 43 40 92 04 03 40 40 41 40 40 40 40 |.@@.C@...@@A@@@@| +02629520 40 04 44 40 41 40 92 04 10 a3 24 63 68 61 72 42 |@.D@A@....$charB| +02629530 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 48 |...8.@@@A@@@@@.H| +02629540 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 |@A@....#exnG...8| +02629550 00 40 40 41 41 40 40 40 40 40 04 4c 40 40 40 92 |.@@AA@@@@@.L@@@.| +02629560 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f |...5extension_co| +02629570 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 |nstructorP...8.@| +02629580 40 40 41 40 40 40 40 40 04 50 40 40 40 92 04 03 |@@A@@@@@.P@@@...| +02629590 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 |.%floatD...8.@@@| +026295a0 41 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 2a |A@@@@@.T@@@....*| +026295b0 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 |floatarrayQ...8.| +026295c0 40 40 40 41 40 40 40 40 40 04 58 40 40 40 92 04 |@@@A@@@@@.X@@@..| +026295d0 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 |..#intA...8.@@@A| +026295e0 40 40 40 40 40 04 5c 40 41 40 92 04 03 a3 25 69 |@@@@@.\@A@....%i| +026295f0 6e 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 |nt32L...8.@@@A@@| +02629600 40 40 40 04 60 40 40 40 92 04 03 a3 25 69 6e 74 |@@@.`@@@....%int| +02629610 36 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 |64M...8.@@@A@@@@| +02629620 40 04 64 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f |@.d@@@....&lazy_| +02629630 74 4e 08 00 00 38 00 a0 c0 04 3a 02 05 f5 e1 00 |tN...8....:.....| 02629640 RPMS.2017/coq-devel-8.17.1-0.0.x86_64.rpm RPMS/coq-devel-8.17.1-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.17.1-0.0.x86_64.rpm to coq-devel-8.17.1-0.0.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -7979 +7979 @@ -/usr/lib64/coq-core/clib/clib.cma 6eca0b3648610d88a63ab1dc93c6b001d649727fc87c0efd29b2f9f0d1fdfc17 0 +/usr/lib64/coq-core/clib/clib.cma ccbde56509c4a94079c0a23f330d8aaca399f45ed2ef0d70de0cf40c5430f41e 0 @@ -7989 +7989 @@ -/usr/lib64/coq-core/clib/dyn.cmti 589451ef4711ab0d2c46eb4d2706ffdc549a2b2c046ed5ce64dee2b88e68c198 0 +/usr/lib64/coq-core/clib/dyn.cmti f81e10b888a560a1a635b009b75f0b5db07b0daa2f24ab281cd73a9deeabfcf7 0 @@ -8055 +8055 @@ -/usr/lib64/coq-core/clib/orderedType.cmti ce4012f36494295d7f96d20727ee5a047cda1c87dbedcbb56c8956caaae4c4dc 0 +/usr/lib64/coq-core/clib/orderedType.cmti 476fc87195f3e20cd83a98c3342bdba26e07a983330671bf0631f211b44442a8 0 @@ -8084 +8084 @@ -/usr/lib64/coq-core/clib/store.cmt 00a7b054f8cba2bbb4bfb4dfcded2daec178613597a7045d4c50bed4ca69f9a2 0 +/usr/lib64/coq-core/clib/store.cmt ad56f5e953da6b62205825790d9471b51d978fad3bf7856e25518e3d5ef5d922 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 12 64 20 |Caml1999A031..d | +00000000 43 61 6d 6c 31 39 39 39 41 30 33 31 00 12 64 26 |Caml1999A031..d&| 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/dyn.cmti differs at offset '6623' (OCaml interface file (.cmi) (Version 031)) --- old /usr/lib64/coq-core/clib/dyn.cmti (hex) +++ new /usr/lib64/coq-core/clib/dyn.cmti (hex) @@ -1,6 +1,6 @@ 000019c0 00 00 05 00 00 00 05 a0 90 40 40 43 61 6d 6c 31 |.........@@Caml1| -000019d0 39 39 39 54 30 33 31 84 95 a6 be 00 00 64 11 00 |999T031......d..| -000019e0 00 10 88 00 00 45 fa 00 00 44 01 08 00 00 3c 00 |.....E...D....<.| +000019d0 39 39 39 54 30 33 31 84 95 a6 be 00 00 64 0b 00 |999T031......d..| +000019e0 00 10 85 00 00 45 f3 00 00 43 fa 08 00 00 3c 00 |.....E...C....<.| 000019f0 23 44 79 6e 92 b0 a0 b0 9e b0 a0 2a 6f 63 61 6d |#Dyn.......*ocam| 00001a00 6c 2e 74 65 78 74 b0 c0 26 5f 6e 6f 6e 65 5f 40 |l.text..&_none_@| 00001a10 40 00 ff 04 02 41 90 a0 a0 a0 c0 91 b2 3a 20 44 |@....A.......: D| @@ -9,25 +9,25 @@ 00001a40 64 79 6e 2e 6d 6c 69 4b 01 02 a4 01 02 a4 c0 04 |dyn.mliK........| 00001a50 02 4b 01 02 a4 01 02 c3 40 40 04 04 40 40 40 04 |.K......@@..@@@.| 00001a60 04 40 04 04 08 00 00 30 00 a0 40 40 04 01 04 01 |.@.....0..@@....| -00001a70 04 01 04 01 04 01 04 01 04 01 40 ab ab a7 b1 b2 |..........@.....| -00001a80 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 |................| -00001a90 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 |...........@.%ar| -00001aa0 72 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 |rayH...8....@...| -00001ab0 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 |..@M@A@A@...@.@@| -00001ac0 40 40 04 39 40 40 40 92 04 08 a3 24 62 6f 6f 6c |@@.9@@@....$bool| -00001ad0 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c |E...8.@@....%fal| -00001ae0 73 65 5e 90 40 40 04 43 40 92 04 03 a0 e0 a3 24 |se^.@@.C@......$| -00001af0 74 72 75 65 5f 90 40 40 04 49 40 92 04 03 40 40 |true_.@@.I@...@@| -00001b00 41 40 40 40 40 40 04 4a 40 41 40 92 04 10 a3 24 |A@@@@@.J@A@....$| -00001b10 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 |charB...8.@@@A@@| -00001b20 40 40 40 04 4e 40 41 40 92 04 03 a3 23 65 78 6e |@@@.N@A@....#exn| -00001b30 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 |G...8.@@AA@@@@@.| -00001b40 52 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 |R@@@....5extensi| -00001b50 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 |on_constructorP.| -00001b60 00 00 38 00 40 40 40 41 40 40 40 40 40 04 56 40 |..8.@@@A@@@@@.V@| -00001b70 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 |@@....%floatD...| -00001b80 38 00 40 40 40 41 40 40 40 40 40 04 5a 40 40 40 |8.@@@A@@@@@.Z@@@| -00001b90 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 |....*floatarrayQ| -00001ba0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5e |...8.@@@A@@@@@.^| -00001bb0 40 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 |@@@....#intA...8| +00001a70 04 01 04 01 04 01 04 01 04 01 40 ab a7 b1 b2 b2 |..........@.....| +00001a80 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 |................| +00001a90 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 |..........@.%arr| +00001aa0 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 |ayH...8....@....| +00001ab0 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 |.@M@A@A@...@.@@@| +00001ac0 40 04 38 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 |@.8@@@....$boolE| +00001ad0 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 |...8.@@....%fals| +00001ae0 65 5e 90 40 40 04 42 40 92 04 03 a0 e0 a3 24 74 |e^.@@.B@......$t| +00001af0 72 75 65 5f 90 40 40 04 48 40 92 04 03 40 40 41 |rue_.@@.H@...@@A| +00001b00 40 40 40 40 40 04 49 40 41 40 92 04 10 a3 24 63 |@@@@@.I@A@....$c| +00001b10 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 |harB...8.@@@A@@@| +00001b20 40 40 04 4d 40 41 40 92 04 03 a3 23 65 78 6e 47 |@@.M@A@....#exnG| +00001b30 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 51 |...8.@@AA@@@@@.Q| +00001b40 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f |@@@....5extensio| +00001b50 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 |n_constructorP..| +00001b60 00 38 00 40 40 40 41 40 40 40 40 40 04 55 40 40 |.8.@@@A@@@@@.U@@| +00001b70 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 |@....%floatD...8| +00001b80 00 40 40 40 41 40 40 40 40 40 04 59 40 40 40 92 |.@@@A@@@@@.Y@@@.| +00001b90 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 |...*floatarrayQ.| +00001ba0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5d 40 |..8.@@@A@@@@@.]@| +00001bb0 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 |@@....#intA...8.| 00001bc0 /usr/lib64/coq-core/clib/orderedType.cmti differs at offset '943' (OCaml interface file (.cmi) (Version 031)) --- old /usr/lib64/coq-core/clib/orderedType.cmti (hex) +++ new /usr/lib64/coq-core/clib/orderedType.cmti (hex) @@ -1,7 +1,7 @@ 00000380 9b 15 40 84 95 a6 be 00 00 00 04 00 00 00 02 00 |..@.............| 00000390 00 00 05 00 00 00 05 a0 90 40 40 43 61 6d 6c 31 |.........@@Caml1| -000003a0 39 39 39 54 30 33 31 84 95 a6 be 00 00 15 a7 00 |999T031.........| -000003b0 00 03 97 00 00 0f 4e 00 00 0e 9e 08 00 00 3c 00 |......N.......<.| +000003a0 39 39 39 54 30 33 31 84 95 a6 be 00 00 15 b0 00 |999T031.........| +000003b0 00 03 9a 00 00 0f 56 00 00 0e a5 08 00 00 3c 00 |......V.......<.| 000003c0 2b 4f 72 64 65 72 65 64 54 79 70 65 92 b0 a0 b0 |+OrderedType....| 000003d0 98 d0 b1 21 53 01 01 0d 42 a0 04 02 b0 c0 34 63 |...!S...B.....4c| 000003e0 6c 69 62 2f 6f 72 64 65 72 65 64 54 79 70 65 2e |lib/orderedType.| @@ -13,21 +13,21 @@ 00000440 40 40 b0 c0 04 14 4d 01 02 b8 01 02 ba 04 04 40 |@@....M........@| 00000450 40 40 40 a1 04 21 40 40 40 41 40 04 03 40 40 08 |@@@..!@@@A@..@@.| 00000460 00 00 30 00 a0 40 40 04 01 04 01 04 01 04 01 04 |..0..@@.........| -00000470 01 04 01 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 |.....@..........| -00000480 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -00000490 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 |.....@.%arrayH..| -000004a0 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 |.8....@.....@M@A| -000004b0 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f |@A@...@.@@@@..&_| -000004c0 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 92 |none_@@....A@@@.| -000004d0 04 0b a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 |...$boolE...8.@@| -000004e0 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d |....%false^.@@..| -000004f0 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 |@......$true_.@@| -00000500 04 13 40 92 04 03 40 40 41 40 40 40 40 40 04 14 |..@...@@A@@@@@..| -00000510 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 |@A@....$charB...| -00000520 38 00 40 40 40 41 40 40 40 40 40 04 18 40 41 40 |8.@@@A@@@@@..@A@| -00000530 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 |....#exnG...8.@@| -00000540 41 41 40 40 40 40 40 04 1c 40 40 40 92 04 03 a3 |AA@@@@@..@@@....| -00000550 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 |5extension_const| -00000560 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 |ructorP...8.@@@A| -00000570 40 40 40 40 40 04 20 40 40 40 92 04 03 a3 25 66 |@@@@@. @@@....%f| +00000470 01 04 01 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 b2 |.....@..........| +00000480 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +00000490 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| +000004a0 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| +000004b0 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 |A@A@...@.@@@@..&| +000004c0 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 |_none_@@....A@@@| +000004d0 92 04 0b a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 |....$boolE...8.@| +000004e0 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 |@....%false^.@@.| +000004f0 0d 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 |.@......$true_.@| +00000500 40 04 13 40 92 04 03 40 40 41 40 40 40 40 40 04 |@..@...@@A@@@@@.| +00000510 14 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 |.@A@....$charB..| +00000520 00 38 00 40 40 40 41 40 40 40 40 40 04 18 40 41 |.8.@@@A@@@@@..@A| +00000530 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 |@....#exnG...8.@| +00000540 40 41 41 40 40 40 40 40 04 1c 40 40 40 92 04 03 |@AA@@@@@..@@@...| +00000550 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 |.5extension_cons| +00000560 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 |tructorP...8.@@@| +00000570 41 40 40 40 40 40 04 20 40 40 40 92 04 03 a3 25 |A@@@@@. @@@....%| 00000580 /usr/lib64/coq-core/clib/store.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/coq-core/clib/store.cmt (hex) +++ new /usr/lib64/coq-core/clib/store.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 51 33 00 00 0e 49 00 00 3b 86 00 00 3a 4c |..Q3...I..;...:L| +00000010 00 00 51 39 00 00 0e 4c 00 00 3b 8d 00 00 3a 53 |..Q9...L..;...:S| 00000020 08 00 00 3c 00 25 53 74 6f 72 65 91 b0 a0 b0 9d |...<.%Store.....| 00000030 b0 a0 2a 6f 63 61 6d 6c 2e 74 65 78 74 b0 c0 26 |..*ocaml.text..&| 00000040 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 90 a0 a0 |_none_@@....A...| @@ -17,17 +17,17 @@ 00000100 c0 04 02 4d 01 03 27 01 03 3c 40 40 04 04 40 40 |...M..'..<@@..@@| 00000110 40 04 04 40 04 04 04 04 08 00 00 30 00 a0 40 40 |@..@.......0..@@| 00000120 04 01 04 01 04 01 04 01 04 01 04 01 04 01 40 ab |..............@.| -00000130 a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 |................| -00000140 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 |..............@.| -00000150 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 |%arrayH...8....@| -00000160 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 |.....@M@A@A@...@| -00000170 a0 40 40 40 40 04 38 40 40 40 92 04 08 a3 24 62 |.@@@@.8@@@....$b| -00000180 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 |oolE...8.@@....%| -00000190 66 61 6c 73 65 5e 90 40 40 04 42 40 92 04 03 a0 |false^.@@.B@....| -000001a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 48 40 92 04 |..$true_.@@.H@..| -000001b0 03 40 40 41 40 40 40 40 40 04 49 40 41 40 92 04 |.@@A@@@@@.I@A@..| -000001c0 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 40 |..$charB...8.@@@| -000001d0 41 40 40 40 40 40 04 4d 40 41 40 92 04 03 a3 23 |A@@@@@.M@A@....#| -000001e0 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 |exnG...8.@@AA@@@| -000001f0 40 40 04 51 40 40 40 92 04 03 a3 35 65 78 74 65 |@@.Q@@@....5exte| +00000130 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 |................| +00000140 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 |...............@| +00000150 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 |.%arrayH...8....| +00000160 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f |@.....@M@A@A@...| +00000170 40 a0 40 40 40 40 04 39 40 40 40 92 04 08 a3 24 |@.@@@@.9@@@....$| +00000180 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 |boolE...8.@@....| +00000190 25 66 61 6c 73 65 5e 90 40 40 04 43 40 92 04 03 |%false^.@@.C@...| +000001a0 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 49 40 92 |...$true_.@@.I@.| +000001b0 04 03 40 40 41 40 40 40 40 40 04 4a 40 41 40 92 |..@@A@@@@@.J@A@.| +000001c0 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |...$charB...8.@@| +000001d0 40 41 40 40 40 40 40 04 4e 40 41 40 92 04 03 a3 |@A@@@@@.N@A@....| +000001e0 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| +000001f0 40 40 40 04 52 40 40 40 92 04 03 a3 35 65 78 74 |@@@.R@@@....5ext| 00000200 RPMS.2017/coq-ide-8.17.1-0.0.x86_64.rpm RPMS/coq-ide-8.17.1-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-ide-8.17.1-0.0.x86_64.rpm to coq-ide-8.17.1-0.0.x86_64.rpm comparing the rpm tags of coq-ide --- old-rpm-tags +++ new-rpm-tags @@ -140 +140 @@ -/usr/bin/coqidetop.byte a52920e33f56c7239440fa4eb38aee3b0e01bad823bb4bd0f2742a3e4c8d35f5 0 +/usr/bin/coqidetop.byte 4b3cedddf507f3b8124dc6085a84232316f86ea2d5906c9c2c0fc998f02e2e60 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 '37857604' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqidetop.byte (hex) +++ new /usr/bin/coqidetop.byte (hex) @@ -1,33 +1,33 @@ -0241a940 00 00 20 85 00 00 06 43 00 00 19 87 00 00 19 23 |.. ....C.......#| +0241a940 00 00 20 8b 00 00 06 46 00 00 19 8e 00 00 19 2a |.. ....F.......*| 0241a950 a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 65 b0 |....,...D%Store.| 0241a960 c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 |.&_none_@@....AA| 0241a970 22 3f 3f 41 40 d0 40 40 40 40 40 b0 40 40 40 40 |"??A@.@@@@@.@@@@| 0241a980 40 a0 08 00 00 2c 00 01 02 38 04 09 04 08 41 22 |@....,...8....A"| -0241a990 3f 3f 41 c3 b4 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 |??A.............| -0241a9a0 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0241a9b0 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 |....@.%arrayH...| -0241a9c0 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 |8....@.....@M@A@| -0241a9d0 41 40 a0 00 7f 40 a0 40 40 40 40 04 32 40 40 40 |A@...@.@@@@.2@@@| -0241a9e0 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 |....$boolE...8.@| -0241a9f0 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 |@....%false^.@@.| -0241aa00 3c 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 |<@......$true_.@| -0241aa10 40 04 42 40 92 04 03 40 40 41 40 40 40 40 40 04 |@.B@...@@A@@@@@.| -0241aa20 43 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 |C@A@....$charB..| -0241aa30 00 38 00 40 40 40 41 40 40 40 40 40 04 47 40 41 |.8.@@@A@@@@@.G@A| -0241aa40 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 |@....#exnG...8.@| -0241aa50 40 41 41 40 40 40 40 40 04 4b 40 40 40 92 04 03 |@AA@@@@@.K@@@...| -0241aa60 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 |.5extension_cons| -0241aa70 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 |tructorP...8.@@@| -0241aa80 41 40 40 40 40 40 04 4f 40 40 40 92 04 03 a3 25 |A@@@@@.O@@@....%| -0241aa90 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 |floatD...8.@@@A@| -0241aaa0 40 40 40 40 04 53 40 40 40 92 04 03 a3 2a 66 6c |@@@@.S@@@....*fl| -0241aab0 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 40 |oatarrayQ...8.@@| -0241aac0 40 41 40 40 40 40 40 04 57 40 40 40 92 04 03 a3 |@A@@@@@.W@@@....| -0241aad0 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 40 40 |#intA...8.@@@A@@| -0241aae0 40 40 40 04 5b 40 41 40 92 04 03 a3 25 69 6e 74 |@@@.[@A@....%int| -0241aaf0 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 40 40 |32L...8.@@@A@@@@| -0241ab00 40 04 5f 40 40 40 92 04 03 a3 25 69 6e 74 36 34 |@._@@@....%int64| -0241ab10 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |M...8.@@@A@@@@@.| -0241ab20 63 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f 74 4e |c@@@....&lazy_tN| -0241ab30 08 00 00 38 00 a0 c0 04 3a 02 05 f5 e1 00 40 4f |...8....:.....@O| +0241a990 3f 3f 41 c3 b4 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 |??A.............| +0241a9a0 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0241a9b0 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 |.....@.%arrayH..| +0241a9c0 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 |.8....@.....@M@A| +0241a9d0 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 33 40 40 |@A@...@.@@@@.3@@| +0241a9e0 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 |@....$boolE...8.| +0241a9f0 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 |@@....%false^.@@| +0241aa00 04 3d 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 |.=@......$true_.| +0241aa10 40 40 04 43 40 92 04 03 40 40 41 40 40 40 40 40 |@@.C@...@@A@@@@@| +0241aa20 04 44 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 |.D@A@....$charB.| +0241aa30 00 00 38 00 40 40 40 41 40 40 40 40 40 04 48 40 |..8.@@@A@@@@@.H@| +0241aa40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 |A@....#exnG...8.| +0241aa50 40 40 41 41 40 40 40 40 40 04 4c 40 40 40 92 04 |@@AA@@@@@.L@@@..| +0241aa60 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e |..5extension_con| +0241aa70 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 |structorP...8.@@| +0241aa80 40 41 40 40 40 40 40 04 50 40 40 40 92 04 03 a3 |@A@@@@@.P@@@....| +0241aa90 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 |%floatD...8.@@@A| +0241aaa0 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 2a 66 |@@@@@.T@@@....*f| +0241aab0 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 |loatarrayQ...8.@| +0241aac0 40 40 41 40 40 40 40 40 04 58 40 40 40 92 04 03 |@@A@@@@@.X@@@...| +0241aad0 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 40 |.#intA...8.@@@A@| +0241aae0 40 40 40 40 04 5c 40 41 40 92 04 03 a3 25 69 6e |@@@@.\@A@....%in| +0241aaf0 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 40 |t32L...8.@@@A@@@| +0241ab00 40 40 04 60 40 40 40 92 04 03 a3 25 69 6e 74 36 |@@.`@@@....%int6| +0241ab10 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |4M...8.@@@A@@@@@| +0241ab20 04 64 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f 74 |.d@@@....&lazy_t| +0241ab30 4e 08 00 00 38 00 a0 c0 04 3a 02 05 f5 e1 00 40 |N...8....:.....@| 0241ab40 overalldiffered=3 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1