~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-devel-8.18.0-0.0.x86_64.rpm RPMS/coq-devel-8.18.0-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.18.0-0.0.x86_64.rpm to coq-devel-8.18.0-0.0.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -8109 +8109 @@ -/usr/lib64/coq-core/clib/dyn.cmti 70d8a98d7d3a50e0aafc08d092c863e42dfab2c40e9e0824f6834ebd3e36f704 0 +/usr/lib64/coq-core/clib/dyn.cmti 1fa80656c9813e1d1b78738ea9c0be563b1cd860e5c59692c83ad2add7cfb137 0 @@ -8175 +8175 @@ -/usr/lib64/coq-core/clib/orderedType.cmti 756ed9a8c14f0707ec8fca53ba3030764b6521ead01c89d8e00246bc72026c1d 0 +/usr/lib64/coq-core/clib/orderedType.cmti af6f3e9e8769c023b2eba82b7be53e6ca58a593898641a0ffb1555fc762c1b2d 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/dyn.cmti differs at offset '7004' (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 @@ 00001b40 00 00 00 05 a0 90 40 40 43 61 6d 6c 31 39 39 39 |......@@Caml1999| -00001b50 54 30 33 31 84 95 a6 be 00 00 67 95 00 00 11 33 |T031......g....3| -00001b60 00 00 48 a2 00 00 46 a6 08 00 00 3c 00 23 44 79 |..H...F....<.#Dy| +00001b50 54 30 33 31 84 95 a6 be 00 00 67 8f 00 00 11 30 |T031......g....0| +00001b60 00 00 48 9b 00 00 46 9f 08 00 00 3c 00 23 44 79 |..H...F....<.#Dy| 00001b70 6e 92 b0 a0 b0 9e b0 a0 2a 6f 63 61 6d 6c 2e 74 |n.......*ocaml.t| 00001b80 65 78 74 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff |ext..&_none_@@..| 00001b90 04 02 41 90 a0 a0 a0 c0 91 b2 3a 20 44 79 6e 61 |..A.......: Dyna| @@ -9,25 +9,25 @@ 00001bc0 2e 6d 6c 69 4b 01 02 a4 01 02 a4 c0 04 02 4b 01 |.mliK.........K.| 00001bd0 02 a4 01 02 c3 40 40 04 04 40 40 40 04 04 40 04 |.....@@..@@@..@.| 00001be0 04 08 00 00 30 00 a0 40 40 04 01 04 01 04 01 04 |....0..@@.......| -00001bf0 01 04 01 04 01 04 01 40 ab ab a7 b1 b2 b2 b2 b2 |.......@........| -00001c00 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 |................| -00001c10 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 |........@.%array| -00001c20 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 |H...8....@.....@| -00001c30 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 |M@A@A@...@.@@@@.| -00001c40 39 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 |9@@@....$boolE..| -00001c50 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e |.8.@@....%false^| -00001c60 90 40 40 04 43 40 92 04 03 a0 e0 a3 24 74 72 75 |.@@.C@......$tru| -00001c70 65 5f 90 40 40 04 49 40 92 04 03 40 40 41 40 40 |e_.@@.I@...@@A@@| -00001c80 40 40 40 04 4a 40 41 40 92 04 10 a3 24 63 68 61 |@@@.J@A@....$cha| -00001c90 72 42 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |rB...8.@@@A@@@@@| -00001ca0 04 4e 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 |.N@A@....#exnG..| -00001cb0 00 38 00 40 40 41 41 40 40 40 40 40 04 52 40 40 |.8.@@AA@@@@@.R@@| -00001cc0 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f |@....5extension_| -00001cd0 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 |constructorP...8| -00001ce0 00 40 40 40 41 40 40 40 40 40 04 56 40 40 40 92 |.@@@A@@@@@.V@@@.| -00001cf0 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 |...%floatD...8.@| -00001d00 40 40 41 40 40 40 40 40 04 5a 40 40 40 92 04 03 |@@A@@@@@.Z@@@...| -00001d10 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 |.*floatarrayQ...| -00001d20 38 00 40 40 40 41 40 40 40 40 40 04 5e 40 40 40 |8.@@@A@@@@@.^@@@| -00001d30 92 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 |....#intA...8.@@| +00001bf0 01 04 01 04 01 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 |.......@........| +00001c00 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +00001c10 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 |.......@.%arrayH| +00001c20 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d |...8....@.....@M| +00001c30 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 38 |@A@A@...@.@@@@.8| +00001c40 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 |@@@....$boolE...| +00001c50 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 |8.@@....%false^.| +00001c60 40 40 04 42 40 92 04 03 a0 e0 a3 24 74 72 75 65 |@@.B@......$true| +00001c70 5f 90 40 40 04 48 40 92 04 03 40 40 41 40 40 40 |_.@@.H@...@@A@@@| +00001c80 40 40 04 49 40 41 40 92 04 10 a3 24 63 68 61 72 |@@.I@A@....$char| +00001c90 42 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |B...8.@@@A@@@@@.| +00001ca0 4d 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 |M@A@....#exnG...| +00001cb0 38 00 40 40 41 41 40 40 40 40 40 04 51 40 40 40 |8.@@AA@@@@@.Q@@@| +00001cc0 92 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 |....5extension_c| +00001cd0 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 |onstructorP...8.| +00001ce0 40 40 40 41 40 40 40 40 40 04 55 40 40 40 92 04 |@@@A@@@@@.U@@@..| +00001cf0 03 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 |..%floatD...8.@@| +00001d00 40 41 40 40 40 40 40 04 59 40 40 40 92 04 03 a3 |@A@@@@@.Y@@@....| +00001d10 2a 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 |*floatarrayQ...8| +00001d20 00 40 40 40 41 40 40 40 40 40 04 5d 40 40 40 92 |.@@@A@@@@@.]@@@.| +00001d30 04 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 |...#intA...8.@@@| 00001d40 /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 overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1