~/f/coq/RPMS.2017 ~/f/coq
~/f/coq
RPMS.2017/coq-devel-8.15.0-0.0.x86_64.rpm RPMS/coq-devel-8.15.0-0.0.x86_64.rpm differ: byte 225, line 1
Comparing coq-devel-8.15.0-0.0.x86_64.rpm to coq-devel-8.15.0-0.0.x86_64.rpm
comparing the rpm tags of coq-devel
--- old-rpm-tags
+++ new-rpm-tags
@@ -6380,7 +6380,7 @@
 /usr/lib64/coq-core/clib/option.mli 8a5385eb1bda7692f521cc08f4d02f5e806344dab529d8b67bbe4e83b44834de 0
 /usr/lib64/coq-core/clib/orderedType.cmi 54076df59fe02743862333ff962ae880513996517d5da4f06f9c7a32fa1a24ae 0
 /usr/lib64/coq-core/clib/orderedType.cmt 4e42bd6d3e5d581108b57a5a2ff7a6cc83b7b02057c5d2b32d80f6ec90f155a9 0
-/usr/lib64/coq-core/clib/orderedType.cmti 0969cd0b0fd123774b38ab7d94d30ed8efd352141864ecc4c8f7f745a3b3d58a 0
+/usr/lib64/coq-core/clib/orderedType.cmti 0cf48d1a6236d3b107af44804c3ec486fe03fcb63287addf840efb87abb0465a 0
 /usr/lib64/coq-core/clib/orderedType.cmx 7d17962a4e8679579cf0639ce80b9b4744643009807d815bbbd89699648b622b 0
 /usr/lib64/coq-core/clib/orderedType.ml 182d5ae265e2f7c3648c702ddceecda4955163bed701e59201f0d16dffb1fb24 0
 /usr/lib64/coq-core/clib/orderedType.mli 9ac6273c69b5eec399f9af896d3d817a7af2dd37677c876a0a368d426e4539ff 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/orderedType.cmti differs at offset '931' (OCaml interface file (.cmi) (Version 030))
--- old /usr/lib64/coq-core/clib/orderedType.cmti (hex)
+++ new /usr/lib64/coq-core/clib/orderedType.cmti (hex)
@@ -1,6 +1,6 @@
 00000380  03 00 00 00 08 00 00 00  08 a0 40 a0 90 40 40 43  |..........@..@@C|
 00000390  61 6d 6c 31 39 39 39 54  30 33 30 84 95 a6 be 00  |aml1999T030.....|
-000003a0  00 15 09 00 00 03 6f 00  00 0e be 00 00 0e 0d 08  |......o.........|
+000003a0  00 15 12 00 00 03 72 00  00 0e c6 00 00 0e 14 08  |......r.........|
 000003b0  00 00 34 00 2b 4f 72 64  65 72 65 64 54 79 70 65  |..4.+OrderedType|
 000003c0  92 b0 a0 b0 98 d0 b1 21  53 00 53 42 a0 04 02 b0  |.......!S.SB....|
 000003d0  c0 34 63 6c 69 62 2f 6f  72 64 65 72 65 64 54 79  |.4clib/orderedTy|
@@ -12,22 +12,22 @@
 00000430  40 40 40 40 b0 c0 04 14  4d 01 02 b8 01 02 ba 04  |@@@@....M.......|
 00000440  04 40 40 40 40 a1 04 21  40 40 40 41 40 04 03 40  |.@@@@..!@@@A@..@|
 00000450  40 08 00 00 30 00 a0 40  40 04 01 04 01 04 01 04  |@...0..@@.......|
-00000460  01 04 01 04 01 04 01 40  a7 b1 b2 b2 b2 b2 b2 b2  |.......@........|
-00000470  b2 b2 b2 b2 b2 b2 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
-00000480  b1 b1 b1 b1 b1 b1 40 a3  2a 66 6c 6f 61 74 61 72  |......@.*floatar|
-00000490  72 61 79 51 08 00 00 38  00 40 40 40 41 40 40 40  |rayQ...8.@@@A@@@|
-000004a0  40 40 b0 c0 26 5f 6e 6f  6e 65 5f 40 40 00 ff 04  |@@..&_none_@@...|
-000004b0  02 41 40 40 40 92 04 06  a3 35 65 78 74 65 6e 73  |.A@@@....5extens|
-000004c0  69 6f 6e 5f 63 6f 6e 73  74 72 75 63 74 6f 72 50  |ion_constructorP|
-000004d0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 07  |...8.@@@A@@@@@..|
-000004e0  40 40 40 92 04 03 a3 23  69 6e 74 41 08 00 00 38  |@@@....#intA...8|
-000004f0  00 40 40 40 41 40 40 40  40 40 04 0b 40 41 40 92  |.@@@A@@@@@..@A@.|
-00000500  04 03 a3 24 63 68 61 72  42 08 00 00 38 00 40 40  |...$charB...8.@@|
-00000510  40 41 40 40 40 40 40 04  0f 40 41 40 92 04 03 a3  |@A@@@@@..@A@....|
-00000520  26 73 74 72 69 6e 67 4f  08 00 00 38 00 40 40 40  |&stringO...8.@@@|
-00000530  41 40 40 40 40 40 04 13  40 40 40 92 04 03 a3 25  |A@@@@@..@@@....%|
-00000540  66 6c 6f 61 74 44 08 00  00 38 00 40 40 40 41 40  |floatD...8.@@@A@|
-00000550  40 40 40 40 04 17 40 40  40 92 04 03 a3 24 62 6f  |@@@@..@@@....$bo|
-00000560  6f 6c 45 08 00 00 38 00  40 40 a1 a0 e0 a3 25 66  |olE...8.@@....%f|
-00000570  61 6c 73 65 5e 90 40 40  04 21 40 92 04 03 a0 e0  |alse^.@@.!@.....|
+00000460  01 04 01 04 01 04 01 40  ab a7 b1 b2 b2 b2 b2 b2  |.......@........|
+00000470  b2 b2 b2 b2 b2 b2 b2 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
+00000480  b1 b1 b1 b1 b1 b1 b1 40  a3 2a 66 6c 6f 61 74 61  |.......@.*floata|
+00000490  72 72 61 79 51 08 00 00  38 00 40 40 40 41 40 40  |rrayQ...8.@@@A@@|
+000004a0  40 40 40 b0 c0 26 5f 6e  6f 6e 65 5f 40 40 00 ff  |@@@..&_none_@@..|
+000004b0  04 02 41 40 40 40 92 04  06 a3 35 65 78 74 65 6e  |..A@@@....5exten|
+000004c0  73 69 6f 6e 5f 63 6f 6e  73 74 72 75 63 74 6f 72  |sion_constructor|
+000004d0  50 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |P...8.@@@A@@@@@.|
+000004e0  07 40 40 40 92 04 03 a3  23 69 6e 74 41 08 00 00  |.@@@....#intA...|
+000004f0  38 00 40 40 40 41 40 40  40 40 40 04 0b 40 41 40  |8.@@@A@@@@@..@A@|
+00000500  92 04 03 a3 24 63 68 61  72 42 08 00 00 38 00 40  |....$charB...8.@|
+00000510  40 40 41 40 40 40 40 40  04 0f 40 41 40 92 04 03  |@@A@@@@@..@A@...|
+00000520  a3 26 73 74 72 69 6e 67  4f 08 00 00 38 00 40 40  |.&stringO...8.@@|
+00000530  40 41 40 40 40 40 40 04  13 40 40 40 92 04 03 a3  |@A@@@@@..@@@....|
+00000540  25 66 6c 6f 61 74 44 08  00 00 38 00 40 40 40 41  |%floatD...8.@@@A|
+00000550  40 40 40 40 40 04 17 40  40 40 92 04 03 a3 24 62  |@@@@@..@@@....$b|
+00000560  6f 6f 6c 45 08 00 00 38  00 40 40 a1 a0 e0 a3 25  |oolE...8.@@....%|
+00000570  66 61 6c 73 65 5e 90 40  40 04 21 40 92 04 03 a0  |false^.@@.!@....|
 00000580
overalldiffered=1 (not bit-by-bit identical)
overall=1