~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-devel-8.15.2-0.0.x86_64.rpm RPMS/coq-devel-8.15.2-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.15.2-0.0.x86_64.rpm to coq-devel-8.15.2-0.0.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -6283 +6283 @@ -/usr/lib64/coq-core/clib/cString.cmti d754524c650b020ecf586866431201c504cbabeedee78ca9390d84bb96afe158 0 +/usr/lib64/coq-core/clib/cString.cmti f07393d16e3b3f3da5e29935a84d34a4d0e1469bb6af27452d2f184bbe56de53 0 @@ -6380 +6380 @@ -/usr/lib64/coq-core/clib/orderedType.cmti 59f8f8c780a02b099e0811a2bd8fb53b9f1ad86da0cbec8f211439962e4871cb 0 +/usr/lib64/coq-core/clib/orderedType.cmti 132f34323c931e2ed4edd10ac62cb9e937f856ea584aa8c7f6b302a6c546ec7d 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/cString.cmti differs at offset '60214' (OCaml interface file (.cmi) (Version 031)) --- old /usr/lib64/coq-core/clib/cString.cmti (hex) +++ new /usr/lib64/coq-core/clib/cString.cmti (hex) @@ -1,8 +1,8 @@ 0000eb00 71 76 a0 d3 d7 6d 37 40 84 95 a6 be 00 00 00 06 |qv...m7@........| 0000eb10 00 00 00 03 00 00 00 08 00 00 00 08 a0 40 a0 90 |.............@..| 0000eb20 40 40 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 |@@Caml1999T031..| -0000eb30 a6 be 00 01 3a 93 00 00 39 3b 00 00 e1 e7 00 00 |....:...9;......| -0000eb40 de 8a 08 00 00 3c 00 27 43 53 74 72 69 6e 67 92 |.....<.'CString.| +0000eb30 a6 be 00 01 3a 8d 00 00 39 38 00 00 e1 e0 00 00 |....:...98......| +0000eb40 de 83 08 00 00 3c 00 27 43 53 74 72 69 6e 67 92 |.....<.'CString.| 0000eb50 b0 a0 b0 98 d0 b1 21 53 01 01 58 41 a0 04 02 b0 |......!S..XA....| 0000eb60 c0 30 63 6c 69 62 2f 63 53 74 72 69 6e 67 2e 6d |.0clib/cString.m| 0000eb70 6c 69 4c 01 02 d9 01 02 e5 c0 04 02 4c 01 02 d9 |liL.........L...| @@ -12,22 +12,22 @@ 0000ebb0 01 02 fe 40 b0 04 03 04 02 40 93 90 92 2e 53 74 |...@.....@....St| 0000ebc0 64 6c 69 62 5f 5f 53 74 72 69 6e 67 08 00 00 30 |dlib__String...0| 0000ebd0 00 a0 40 40 04 01 04 01 04 01 04 01 04 01 04 01 |..@@............| -0000ebe0 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| -0000ebf0 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0000ec00 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 |...@.%arrayH...8| -0000ec10 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 |....@.....@M@A@A| -0000ec20 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f |@...@.@@@@..&_no| -0000ec30 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b |ne_@@....A@@@...| -0000ec40 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 |.$boolE...8.@@..| -0000ec50 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 |..%false^.@@..@.| -0000ec60 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 |.....$true_.@@..| -0000ec70 40 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 |@...@@A@@@@@..@A| -0000ec80 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 |@....$charB...8.| -0000ec90 40 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 |@@@A@@@@@..@A@..| -0000eca0 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 |..#exnG...8.@@AA| -0000ecb0 40 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 |@@@@@..@@@....5e| -0000ecc0 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 |xtension_constru| -0000ecd0 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 |ctorP...8.@@@A@@| -0000ece0 40 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f |@@@. @@@....%flo| -0000ecf0 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 |atD...8.@@@A@@@@| +0000ebe0 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| +0000ebf0 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0000ec00 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| +0000ec10 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| +0000ec20 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e |...@.@@@@..&_non| +0000ec30 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 |e_@@....A@@@....| +0000ec40 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 |$boolE...8.@@...| +0000ec50 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 |.%false^.@@..@..| +0000ec60 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 |....$true_.@@..@| +0000ec70 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 40 |...@@A@@@@@..@A@| +0000ec80 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 |....$charB...8.@| +0000ec90 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 03 |@@A@@@@@..@A@...| +0000eca0 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| +0000ecb0 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 |@@@@..@@@....5ex| +0000ecc0 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| +0000ecd0 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| +0000ece0 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@. @@@....%floa| +0000ecf0 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| 0000ed00 /usr/lib64/coq-core/clib/orderedType.cmti differs at offset '945' (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 06 00 00 00 03 00 |..@.............| 00000390 00 00 08 00 00 00 08 a0 40 a0 90 40 40 43 61 6d |........@..@@Cam| 000003a0 6c 31 39 39 39 54 30 33 31 84 95 a6 be 00 00 15 |l1999T031.......| -000003b0 ab 00 00 03 95 00 00 0f 4c 00 00 0e 9b 08 00 00 |........L.......| +000003b0 b4 00 00 03 98 00 00 0f 54 00 00 0e a2 08 00 00 |........T.......| 000003c0 3c 00 2b 4f 72 64 65 72 65 64 54 79 70 65 92 b0 |<.+OrderedType..| 000003d0 a0 b0 98 d0 b1 21 53 01 01 0d 42 a0 04 02 b0 c0 |.....!S...B.....| 000003e0 34 63 6c 69 62 2f 6f 72 64 65 72 65 64 54 79 70 |4clib/orderedTyp| @@ -13,21 +13,21 @@ 00000440 40 40 40 40 b0 c0 04 14 4d 01 02 b8 01 02 ba 04 |@@@@....M.......| 00000450 04 40 40 40 40 a1 04 21 40 40 40 41 40 04 03 40 |.@@@@..!@@@A@..@| 00000460 40 08 00 00 30 00 a0 40 40 04 01 04 01 04 01 04 |@...0..@@.......| -00000470 01 04 01 04 01 04 01 40 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@@@@@. @@@....%| +00000470 01 04 01 04 01 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 |.......@........| +00000480 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +00000490 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 |.......@.%arrayH| +000004a0 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d |...8....@.....@M| +000004b0 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 |@A@A@...@.@@@@..| +000004c0 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 |&_none_@@....A@@| +000004d0 40 92 04 0b a3 24 62 6f 6f 6c 45 08 00 00 38 00 |@....$boolE...8.| +000004e0 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 |@@....%false^.@@| +000004f0 04 0d 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 |..@......$true_.| +00000500 40 40 04 13 40 92 04 03 40 40 41 40 40 40 40 40 |@@..@...@@A@@@@@| +00000510 04 14 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 |..@A@....$charB.| +00000520 00 00 38 00 40 40 40 41 40 40 40 40 40 04 18 40 |..8.@@@A@@@@@..@| +00000530 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 |A@....#exnG...8.| +00000540 40 40 41 41 40 40 40 40 40 04 1c 40 40 40 92 04 |@@AA@@@@@..@@@..| +00000550 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e |..5extension_con| +00000560 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 |structorP...8.@@| +00000570 40 41 40 40 40 40 40 04 20 40 40 40 92 04 03 a3 |@A@@@@@. @@@....| 00000580 overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1