~/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
@@ -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/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