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