~/f/coq/RPMS.2017 ~/f/coq
~/f/coq
RPMS.2017/coq-devel-8.19.2-1.1.x86_64.rpm RPMS/coq-devel-8.19.2-1.1.x86_64.rpm differ: byte 225, line 1
Comparing coq-devel-8.19.2-1.1.x86_64.rpm to coq-devel-8.19.2-1.1.x86_64.rpm
comparing the rpm tags of coq-devel
--- old-rpm-tags
+++ new-rpm-tags
@@ -8257 +8257 @@
-/usr/lib64/coq-core/clib/orderedType.cmti f55308c61f12991d66cfce8a289648bef6fa477d8e107d86ae501cdc850650f0 0
+/usr/lib64/coq-core/clib/orderedType.cmti 3059a53d5d7a155cb5917ad04b17eedf280ad9591af3e740c0fe8a44c624ed86 0
@@ -8269 +8269 @@
-/usr/lib64/coq-core/clib/predicate.cmti c46edbd2d7447565dbd1c30b3eef9c0ff24c0fbac02ce970084a61afd72fcf37 0
+/usr/lib64/coq-core/clib/predicate.cmti a9d6c07aa74767735c8eb1fd5e74cb066376ae0c3625b3bda36fc97fe65e384c 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 '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
/usr/lib64/coq-core/clib/predicate.cmti differs at offset '3597' (OCaml interface file (.cmi) (Version 031))
--- old /usr/lib64/coq-core/clib/predicate.cmti (hex)
+++ new /usr/lib64/coq-core/clib/predicate.cmti (hex)
@@ -1,5 +1,5 @@
-00000e00  39 54 30 33 31 84 95 a6  be 00 00 3e 4a 00 00 09  |9T031......>J...|
-00000e10  14 00 00 27 f9 00 00 25  ab 08 00 00 3c 00 29 50  |...'...%....<.)P|
+00000e00  39 54 30 33 31 84 95 a6  be 00 00 3e 53 00 00 09  |9T031......>S...|
+00000e10  17 00 00 28 01 00 00 25  b2 08 00 00 3c 00 29 50  |...(...%....<.)P|
 00000e20  72 65 64 69 63 61 74 65  92 b0 a0 b0 9e b0 a0 2a  |redicate.......*|
 00000e30  6f 63 61 6d 6c 2e 74 65  78 74 b0 c0 26 5f 6e 6f  |ocaml.text..&_no|
 00000e40  6e 65 5f 40 40 00 ff 04  02 41 90 a0 a0 a0 c0 91  |ne_@@....A......|
@@ -14,20 +14,20 @@
 00000ed0  70 72 65 64 69 63 61 74  65 2e 6d 6c 69 41 40 40  |predicate.mliA@@|
 00000ee0  c0 04 02 44 00 77 00 7a  40 40 04 04 40 40 40 04  |...D.w.z@@..@@@.|
 00000ef0  04 40 04 04 08 00 00 30  00 a0 40 40 04 01 04 01  |.@.....0..@@....|
-00000f00  04 01 04 01 04 01 04 01  04 01 40 ab a7 b1 b2 b2  |..........@.....|
-00000f10  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b1 b1 b1 b1 b1 b1  |................|
-00000f20  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 40 a3 25 61 72 72  |..........@.%arr|
-00000f30  61 79 48 08 00 00 38 00  a0 c0 90 40 02 05 f5 e1  |ayH...8....@....|
-00000f40  00 40 4d 40 41 40 41 40  a0 00 7f 40 a0 40 40 40  |.@M@A@A@...@.@@@|
-00000f50  40 04 38 40 40 40 92 04  08 a3 24 62 6f 6f 6c 45  |@.8@@@....$boolE|
-00000f60  08 00 00 38 00 40 40 a1  a0 e0 a3 25 66 61 6c 73  |...8.@@....%fals|
-00000f70  65 5e 90 40 40 04 42 40  92 04 03 a0 e0 a3 24 74  |e^.@@.B@......$t|
-00000f80  72 75 65 5f 90 40 40 04  48 40 92 04 03 40 40 41  |rue_.@@.H@...@@A|
-00000f90  40 40 40 40 40 04 49 40  41 40 92 04 10 a3 24 63  |@@@@@.I@A@....$c|
-00000fa0  68 61 72 42 08 00 00 38  00 40 40 40 41 40 40 40  |harB...8.@@@A@@@|
-00000fb0  40 40 04 4d 40 41 40 92  04 03 a3 23 65 78 6e 47  |@@.M@A@....#exnG|
-00000fc0  08 00 00 38 00 40 40 41  41 40 40 40 40 40 04 51  |...8.@@AA@@@@@.Q|
-00000fd0  40 40 40 92 04 03 a3 35  65 78 74 65 6e 73 69 6f  |@@@....5extensio|
-00000fe0  6e 5f 63 6f 6e 73 74 72  75 63 74 6f 72 50 08 00  |n_constructorP..|
-00000ff0  00 38 00 40 40 40 41 40  40 40 40 40 04 55 40 40  |.8.@@@A@@@@@.U@@|
+00000f00  04 01 04 01 04 01 04 01  04 01 40 ab ab a7 b1 b2  |..........@.....|
+00000f10  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b1 b1 b1 b1 b1  |................|
+00000f20  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 40 a3 25 61 72  |...........@.%ar|
+00000f30  72 61 79 48 08 00 00 38  00 a0 c0 90 40 02 05 f5  |rayH...8....@...|
+00000f40  e1 00 40 4d 40 41 40 41  40 a0 00 7f 40 a0 40 40  |..@M@A@A@...@.@@|
+00000f50  40 40 04 39 40 40 40 92  04 08 a3 24 62 6f 6f 6c  |@@.9@@@....$bool|
+00000f60  45 08 00 00 38 00 40 40  a1 a0 e0 a3 25 66 61 6c  |E...8.@@....%fal|
+00000f70  73 65 5e 90 40 40 04 43  40 92 04 03 a0 e0 a3 24  |se^.@@.C@......$|
+00000f80  74 72 75 65 5f 90 40 40  04 49 40 92 04 03 40 40  |true_.@@.I@...@@|
+00000f90  41 40 40 40 40 40 04 4a  40 41 40 92 04 10 a3 24  |A@@@@@.J@A@....$|
+00000fa0  63 68 61 72 42 08 00 00  38 00 40 40 40 41 40 40  |charB...8.@@@A@@|
+00000fb0  40 40 40 04 4e 40 41 40  92 04 03 a3 23 65 78 6e  |@@@.N@A@....#exn|
+00000fc0  47 08 00 00 38 00 40 40  41 41 40 40 40 40 40 04  |G...8.@@AA@@@@@.|
+00000fd0  52 40 40 40 92 04 03 a3  35 65 78 74 65 6e 73 69  |R@@@....5extensi|
+00000fe0  6f 6e 5f 63 6f 6e 73 74  72 75 63 74 6f 72 50 08  |on_constructorP.|
+00000ff0  00 00 38 00 40 40 40 41  40 40 40 40 40 04 56 40  |..8.@@@A@@@@@.V@|
 00001000
overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good)
overall=1