~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-8.17.0-0.0.x86_64.rpm RPMS/coq-8.17.0-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-8.17.0-0.0.x86_64.rpm to coq-8.17.0-0.0.x86_64.rpm comparing the rpm tags of coq --- old-rpm-tags +++ new-rpm-tags @@ -1559 +1559 @@ -/usr/bin/coqc.byte 6805394326f6eafabcf151d3305ecb54e024fbd3b9e4e703f2be6f2f54034dae 0 +/usr/bin/coqc.byte 318d3b845ab754a209212630d2c1ce91948cc3a4f7fbe7b0d7ada4e2dd799bb1 0 @@ -1566 +1566 @@ -/usr/bin/coqtop.byte 5c2dad470b620973bd819157fd581fa0c9e845f7546c626f0a9ccde83648753b 0 +/usr/bin/coqtop.byte 8e856aea26cb85a766ca0a46bb2c2d804ee6d6f369d9c6ea158dcc500cfd95b7 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 '37270293' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqc.byte (hex) +++ new /usr/bin/coqc.byte (hex) @@ -1,33 +1,33 @@ 0238b300 62 6a 73 2f 62 79 74 65 40 00 07 a9 5c 84 95 a6 |bjs/byte@...\...| -0238b310 be 00 00 20 85 00 00 06 43 00 00 19 87 00 00 19 |... ....C.......| -0238b320 23 a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 65 |#....,...D%Store| +0238b310 be 00 00 20 8b 00 00 06 46 00 00 19 8e 00 00 19 |... ....F.......| +0238b320 2a a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 65 |*....,...D%Store| 0238b330 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 |..&_none_@@....A| 0238b340 41 22 3f 3f 41 40 d0 40 40 40 40 40 b0 40 40 40 |A"??A@.@@@@@.@@@| 0238b350 40 40 a0 08 00 00 2c 00 01 02 38 04 09 04 08 41 |@@....,...8....A| -0238b360 22 3f 3f 41 c3 b4 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 |"??A............| -0238b370 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0238b380 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 |.....@.%arrayH..| -0238b390 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 |.8....@.....@M@A| -0238b3a0 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 32 40 40 |@A@...@.@@@@.2@@| -0238b3b0 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 |@....$boolE...8.| -0238b3c0 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 |@@....%false^.@@| -0238b3d0 04 3c 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 |.<@......$true_.| -0238b3e0 40 40 04 42 40 92 04 03 40 40 41 40 40 40 40 40 |@@.B@...@@A@@@@@| -0238b3f0 04 43 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 |.C@A@....$charB.| -0238b400 00 00 38 00 40 40 40 41 40 40 40 40 40 04 47 40 |..8.@@@A@@@@@.G@| -0238b410 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 |A@....#exnG...8.| -0238b420 40 40 41 41 40 40 40 40 40 04 4b 40 40 40 92 04 |@@AA@@@@@.K@@@..| -0238b430 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e |..5extension_con| -0238b440 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 |structorP...8.@@| -0238b450 40 41 40 40 40 40 40 04 4f 40 40 40 92 04 03 a3 |@A@@@@@.O@@@....| -0238b460 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 |%floatD...8.@@@A| -0238b470 40 40 40 40 40 04 53 40 40 40 92 04 03 a3 2a 66 |@@@@@.S@@@....*f| -0238b480 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 |loatarrayQ...8.@| -0238b490 40 40 41 40 40 40 40 40 04 57 40 40 40 92 04 03 |@@A@@@@@.W@@@...| -0238b4a0 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 40 |.#intA...8.@@@A@| -0238b4b0 40 40 40 40 04 5b 40 41 40 92 04 03 a3 25 69 6e |@@@@.[@A@....%in| -0238b4c0 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 40 |t32L...8.@@@A@@@| -0238b4d0 40 40 04 5f 40 40 40 92 04 03 a3 25 69 6e 74 36 |@@._@@@....%int6| -0238b4e0 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |4M...8.@@@A@@@@@| -0238b4f0 04 63 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f 74 |.c@@@....&lazy_t| +0238b360 22 3f 3f 41 c3 b4 ab ab a7 b1 b2 b2 b2 b2 b2 b2 |"??A............| +0238b370 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0238b380 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| +0238b390 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| +0238b3a0 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 33 40 |A@A@...@.@@@@.3@| +0238b3b0 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 |@@....$boolE...8| +0238b3c0 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 |.@@....%false^.@| +0238b3d0 40 04 3d 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f |@.=@......$true_| +0238b3e0 90 40 40 04 43 40 92 04 03 40 40 41 40 40 40 40 |.@@.C@...@@A@@@@| +0238b3f0 40 04 44 40 41 40 92 04 10 a3 24 63 68 61 72 42 |@.D@A@....$charB| +0238b400 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 48 |...8.@@@A@@@@@.H| +0238b410 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 |@A@....#exnG...8| +0238b420 00 40 40 41 41 40 40 40 40 40 04 4c 40 40 40 92 |.@@AA@@@@@.L@@@.| +0238b430 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f |...5extension_co| +0238b440 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 |nstructorP...8.@| +0238b450 40 40 41 40 40 40 40 40 04 50 40 40 40 92 04 03 |@@A@@@@@.P@@@...| +0238b460 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 |.%floatD...8.@@@| +0238b470 41 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 2a |A@@@@@.T@@@....*| +0238b480 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 |floatarrayQ...8.| +0238b490 40 40 40 41 40 40 40 40 40 04 58 40 40 40 92 04 |@@@A@@@@@.X@@@..| +0238b4a0 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 |..#intA...8.@@@A| +0238b4b0 40 40 40 40 40 04 5c 40 41 40 92 04 03 a3 25 69 |@@@@@.\@A@....%i| +0238b4c0 6e 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 |nt32L...8.@@@A@@| +0238b4d0 40 40 40 04 60 40 40 40 92 04 03 a3 25 69 6e 74 |@@@.`@@@....%int| +0238b4e0 36 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 |64M...8.@@@A@@@@| +0238b4f0 40 04 64 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f |@.d@@@....&lazy_| 0238b500 /usr/bin/coqtop.byte differs at offset '40015329' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqtop.byte (hex) +++ new /usr/bin/coqtop.byte (hex) @@ -1,33 +1,33 @@ 026295c0 63 6c 69 62 2f 2e 63 6c 69 62 2e 6f 62 6a 73 2f |clib/.clib.objs/| 026295d0 62 79 74 65 40 00 2b 82 04 84 95 a6 be 00 00 20 |byte@.+........ | -026295e0 85 00 00 06 43 00 00 19 87 00 00 19 23 a0 08 00 |....C.......#...| +026295e0 8b 00 00 06 46 00 00 19 8e 00 00 19 2a a0 08 00 |....F.......*...| 026295f0 00 2c 00 01 02 44 25 53 74 6f 72 65 b0 c0 26 5f |.,...D%Store..&_| 02629600 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f |none_@@....AA"??| 02629610 41 40 d0 40 40 40 40 40 b0 40 40 40 40 40 a0 08 |A@.@@@@@.@@@@@..| 02629620 00 00 2c 00 01 02 38 04 09 04 08 41 22 3f 3f 41 |..,...8....A"??A| -02629630 c3 b4 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| -02629640 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -02629650 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 |.@.%arrayH...8..| -02629660 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 |..@.....@M@A@A@.| -02629670 00 7f 40 a0 40 40 40 40 04 32 40 40 40 92 04 08 |..@.@@@@.2@@@...| -02629680 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 |.$boolE...8.@@..| -02629690 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 3c 40 92 |..%false^.@@.<@.| -026296a0 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 42 |.....$true_.@@.B| -026296b0 40 92 04 03 40 40 41 40 40 40 40 40 04 43 40 41 |@...@@A@@@@@.C@A| -026296c0 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 |@....$charB...8.| -026296d0 40 40 40 41 40 40 40 40 40 04 47 40 41 40 92 04 |@@@A@@@@@.G@A@..| -026296e0 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 |..#exnG...8.@@AA| -026296f0 40 40 40 40 40 04 4b 40 40 40 92 04 03 a3 35 65 |@@@@@.K@@@....5e| -02629700 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 |xtension_constru| -02629710 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 |ctorP...8.@@@A@@| -02629720 40 40 40 04 4f 40 40 40 92 04 03 a3 25 66 6c 6f |@@@.O@@@....%flo| -02629730 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 |atD...8.@@@A@@@@| -02629740 40 04 53 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 |@.S@@@....*float| -02629750 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 |arrayQ...8.@@@A@| -02629760 40 40 40 40 04 57 40 40 40 92 04 03 a3 23 69 6e |@@@@.W@@@....#in| -02629770 74 41 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tA...8.@@@A@@@@@| -02629780 04 5b 40 41 40 92 04 03 a3 25 69 6e 74 33 32 4c |.[@A@....%int32L| -02629790 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5f |...8.@@@A@@@@@._| -026297a0 40 40 40 92 04 03 a3 25 69 6e 74 36 34 4d 08 00 |@@@....%int64M..| -026297b0 00 38 00 40 40 40 41 40 40 40 40 40 04 63 40 40 |.8.@@@A@@@@@.c@@| +02629630 c3 b4 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| +02629640 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +02629650 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| +02629660 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| +02629670 a0 00 7f 40 a0 40 40 40 40 04 33 40 40 40 92 04 |...@.@@@@.3@@@..| +02629680 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 |..$boolE...8.@@.| +02629690 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 3d 40 |...%false^.@@.=@| +026296a0 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 |......$true_.@@.| +026296b0 43 40 92 04 03 40 40 41 40 40 40 40 40 04 44 40 |C@...@@A@@@@@.D@| +026296c0 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 |A@....$charB...8| +026296d0 00 40 40 40 41 40 40 40 40 40 04 48 40 41 40 92 |.@@@A@@@@@.H@A@.| +026296e0 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 |...#exnG...8.@@A| +026296f0 41 40 40 40 40 40 04 4c 40 40 40 92 04 03 a3 35 |A@@@@@.L@@@....5| +02629700 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 |extension_constr| +02629710 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 |uctorP...8.@@@A@| +02629720 40 40 40 40 04 50 40 40 40 92 04 03 a3 25 66 6c |@@@@.P@@@....%fl| +02629730 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 |oatD...8.@@@A@@@| +02629740 40 40 04 54 40 40 40 92 04 03 a3 2a 66 6c 6f 61 |@@.T@@@....*floa| +02629750 74 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 |tarrayQ...8.@@@A| +02629760 40 40 40 40 40 04 58 40 40 40 92 04 03 a3 23 69 |@@@@@.X@@@....#i| +02629770 6e 74 41 08 00 00 38 00 40 40 40 41 40 40 40 40 |ntA...8.@@@A@@@@| +02629780 40 04 5c 40 41 40 92 04 03 a3 25 69 6e 74 33 32 |@.\@A@....%int32| +02629790 4c 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |L...8.@@@A@@@@@.| +026297a0 60 40 40 40 92 04 03 a3 25 69 6e 74 36 34 4d 08 |`@@@....%int64M.| +026297b0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 64 40 |..8.@@@A@@@@@.d@| 026297c0 RPMS.2017/coq-devel-8.17.0-0.0.x86_64.rpm RPMS/coq-devel-8.17.0-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.17.0-0.0.x86_64.rpm to coq-devel-8.17.0-0.0.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -7985 +7985 @@ -/usr/lib64/coq-core/clib/clib.cma b548224000455587dea017d9eca8090224d66bf9f9ad6536150ffc4af05477e2 0 +/usr/lib64/coq-core/clib/clib.cma 98a5589c34a5c7169f5eed79ed5949acb1144d075c787ffe0defd03e4ee1f737 0 @@ -7995 +7995 @@ -/usr/lib64/coq-core/clib/dyn.cmti 8cb888f6b23e85b64dbc3c6b03ac8803bbaa407d2c6a955c1556195e67cef27a 0 +/usr/lib64/coq-core/clib/dyn.cmti 3653ae9b557411eba990fa6c08f54d45e05bf1c6e964fd9a359e5ef3230eaf7f 0 @@ -8061 +8061 @@ -/usr/lib64/coq-core/clib/orderedType.cmti 9da897a85eda0777fcad5471c0b7c6f3f8e7975d5c29314c81fc79a2aa502bcc 0 +/usr/lib64/coq-core/clib/orderedType.cmti 9dd0334ff300a0a93bd1b86267adeed3d1f534d7f567504e9ff018682123006d 0 @@ -8090 +8090 @@ -/usr/lib64/coq-core/clib/store.cmt b59e2c35bd36b9bb4e8ff1b27ceeda3186efca8ebab173dad389599ff2d17592 0 +/usr/lib64/coq-core/clib/store.cmt 95721695871301f6d03106fd4fd3e7319ec136fc6d3c55745a65cbe1c00c92c0 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.0-0.0.x86_64.rpm RPMS/coq-ide-8.17.0-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-ide-8.17.0-0.0.x86_64.rpm to coq-ide-8.17.0-0.0.x86_64.rpm comparing the rpm tags of coq-ide --- old-rpm-tags +++ new-rpm-tags @@ -146 +146 @@ -/usr/bin/coqidetop.byte bbd6cfeba202750d3334c06a7742fe88f611f0908e8c95478e5e5c779432f1a3 0 +/usr/bin/coqidetop.byte ad134600ba16617a43fa4c23987fb808ce87403ebf2a7949ada437449c5859ee 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 '37858070' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqidetop.byte (hex) +++ new /usr/bin/coqidetop.byte (hex) @@ -1,33 +1,33 @@ 0241ab00 6f 62 6a 73 2f 62 79 74 65 40 00 07 a9 5c 84 95 |objs/byte@...\..| -0241ab10 a6 be 00 00 20 85 00 00 06 43 00 00 19 87 00 00 |.... ....C......| -0241ab20 19 23 a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 |.#....,...D%Stor| +0241ab10 a6 be 00 00 20 8b 00 00 06 46 00 00 19 8e 00 00 |.... ....F......| +0241ab20 19 2a a0 08 00 00 2c 00 01 02 44 25 53 74 6f 72 |.*....,...D%Stor| 0241ab30 65 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 |e..&_none_@@....| 0241ab40 41 41 22 3f 3f 41 40 d0 40 40 40 40 40 b0 40 40 |AA"??A@.@@@@@.@@| 0241ab50 40 40 40 a0 08 00 00 2c 00 01 02 38 04 09 04 08 |@@@....,...8....| -0241ab60 41 22 3f 3f 41 c3 b4 ab a7 b1 b2 b2 b2 b2 b2 b2 |A"??A...........| -0241ab70 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0241ab80 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| -0241ab90 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| -0241aba0 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 32 40 |A@A@...@.@@@@.2@| -0241abb0 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 |@@....$boolE...8| -0241abc0 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 |.@@....%false^.@| -0241abd0 40 04 3c 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f |@.<@......$true_| -0241abe0 90 40 40 04 42 40 92 04 03 40 40 41 40 40 40 40 |.@@.B@...@@A@@@@| -0241abf0 40 04 43 40 41 40 92 04 10 a3 24 63 68 61 72 42 |@.C@A@....$charB| -0241ac00 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 47 |...8.@@@A@@@@@.G| -0241ac10 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 |@A@....#exnG...8| -0241ac20 00 40 40 41 41 40 40 40 40 40 04 4b 40 40 40 92 |.@@AA@@@@@.K@@@.| -0241ac30 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f |...5extension_co| -0241ac40 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 |nstructorP...8.@| -0241ac50 40 40 41 40 40 40 40 40 04 4f 40 40 40 92 04 03 |@@A@@@@@.O@@@...| -0241ac60 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 |.%floatD...8.@@@| -0241ac70 41 40 40 40 40 40 04 53 40 40 40 92 04 03 a3 2a |A@@@@@.S@@@....*| -0241ac80 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 |floatarrayQ...8.| -0241ac90 40 40 40 41 40 40 40 40 40 04 57 40 40 40 92 04 |@@@A@@@@@.W@@@..| -0241aca0 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 |..#intA...8.@@@A| -0241acb0 40 40 40 40 40 04 5b 40 41 40 92 04 03 a3 25 69 |@@@@@.[@A@....%i| -0241acc0 6e 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 40 |nt32L...8.@@@A@@| -0241acd0 40 40 40 04 5f 40 40 40 92 04 03 a3 25 69 6e 74 |@@@._@@@....%int| -0241ace0 36 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 40 |64M...8.@@@A@@@@| -0241acf0 40 04 63 40 40 40 92 04 03 a3 26 6c 61 7a 79 5f |@.c@@@....&lazy_| +0241ab60 41 22 3f 3f 41 c3 b4 ab ab a7 b1 b2 b2 b2 b2 b2 |A"??A...........| +0241ab70 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0241ab80 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 |.......@.%arrayH| +0241ab90 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d |...8....@.....@M| +0241aba0 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 33 |@A@A@...@.@@@@.3| +0241abb0 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 |@@@....$boolE...| +0241abc0 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 |8.@@....%false^.| +0241abd0 40 40 04 3d 40 92 04 03 a0 e0 a3 24 74 72 75 65 |@@.=@......$true| +0241abe0 5f 90 40 40 04 43 40 92 04 03 40 40 41 40 40 40 |_.@@.C@...@@A@@@| +0241abf0 40 40 04 44 40 41 40 92 04 10 a3 24 63 68 61 72 |@@.D@A@....$char| +0241ac00 42 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |B...8.@@@A@@@@@.| +0241ac10 48 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 |H@A@....#exnG...| +0241ac20 38 00 40 40 41 41 40 40 40 40 40 04 4c 40 40 40 |8.@@AA@@@@@.L@@@| +0241ac30 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 |....5extension_c| +0241ac40 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 |onstructorP...8.| +0241ac50 40 40 40 41 40 40 40 40 40 04 50 40 40 40 92 04 |@@@A@@@@@.P@@@..| +0241ac60 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 |..%floatD...8.@@| +0241ac70 40 41 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 |@A@@@@@.T@@@....| +0241ac80 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 |*floatarrayQ...8| +0241ac90 00 40 40 40 41 40 40 40 40 40 04 58 40 40 40 92 |.@@@A@@@@@.X@@@.| +0241aca0 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 |...#intA...8.@@@| +0241acb0 41 40 40 40 40 40 04 5c 40 41 40 92 04 03 a3 25 |A@@@@@.\@A@....%| +0241acc0 69 6e 74 33 32 4c 08 00 00 38 00 40 40 40 41 40 |int32L...8.@@@A@| +0241acd0 40 40 40 40 04 60 40 40 40 92 04 03 a3 25 69 6e |@@@@.`@@@....%in| +0241ace0 74 36 34 4d 08 00 00 38 00 40 40 40 41 40 40 40 |t64M...8.@@@A@@@| +0241acf0 40 40 04 64 40 40 40 92 04 03 a3 26 6c 61 7a 79 |@@.d@@@....&lazy| 0241ad00 overalldiffered=3 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1