~/f/coq/RPMS.2017 ~/f/coq
~/f/coq
RPMS.2017/coq-devel-8.16.1-0.0.x86_64.rpm RPMS/coq-devel-8.16.1-0.0.x86_64.rpm differ: byte 225, line 1
Comparing coq-devel-8.16.1-0.0.x86_64.rpm to coq-devel-8.16.1-0.0.x86_64.rpm
comparing the rpm tags of coq-devel
--- old-rpm-tags
+++ new-rpm-tags
@@ -9831 +9831 @@
-/usr/lib64/coq-core/clib/neList.cmti 9dc4c6dd711e7c7a993e7cbe32f389cfe71d825627040a6cc9dbfa0be1975c21 0
+/usr/lib64/coq-core/clib/neList.cmti 62367b5e73594272acb89f53626ec1d29e64c97dcee332f91c4b18e5e8091ef1 0
@@ -9843 +9843 @@
-/usr/lib64/coq-core/clib/orderedType.cmti 37f99cb5f3e2e4424973a2d237f8a8492012d1b71dce3392f084a765b7c9e616 0
+/usr/lib64/coq-core/clib/orderedType.cmti 5bab70ad354b4c14b11f3dafa6a1301a1cae1ff43d5450a484ffb637bc88e598 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/neList.cmti differs at offset '1793' (OCaml interface file (.cmi) (Version 031))
--- old /usr/lib64/coq-core/clib/neList.cmti (hex)
+++ new /usr/lib64/coq-core/clib/neList.cmti (hex)
@@ -1,33 +1,33 @@
-00000700  71 00 00 06 00 00 00 18  fc 00 00 18 30 08 00 00  |q...........0...|
+00000700  68 00 00 05 fd 00 00 18  f4 00 00 18 29 08 00 00  |h...........)...|
 00000710  3c 00 26 4e 65 4c 69 73  74 92 b0 a0 b0 a1 41 a0  |<.&NeList.....A.|
 00000720  08 00 00 28 00 b1 21 74  01 01 0b 41 a0 04 02 b0  |...(..!t...A....|
 00000730  c0 2f 63 6c 69 62 2f 6e  65 4c 69 73 74 2e 6d 6c  |./clib/neList.ml|
 00000740  69 4c 01 02 bb 01 02 c4  c0 04 02 4c 01 02 bb 01  |iL.........L....|
 00000750  02 c5 40 a0 a0 d0 90 21  61 c0 90 90 04 04 02 05  |..@....!a.......|
 00000760  f5 e1 00 40 01 05 a6 08  00 00 30 00 a0 40 40 04  |...@......0..@@.|
-00000770  01 04 01 04 01 04 01 04  01 04 01 04 01 40 b1 ab  |.............@..|
-00000780  a7 b1 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b2 b2 b1 b1  |................|
-00000790  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 40 a3  |..............@.|
-000007a0  25 61 72 72 61 79 48 08  00 00 38 00 a0 c0 90 40  |%arrayH...8....@|
-000007b0  02 05 f5 e1 00 40 4d 40  41 40 41 40 a0 00 7f 40  |.....@M@A@A@...@|
-000007c0  a0 40 40 40 40 b0 c0 26  5f 6e 6f 6e 65 5f 40 40  |.@@@@..&_none_@@|
-000007d0  00 ff 04 02 41 40 40 40  92 04 0b a3 24 62 6f 6f  |....A@@@....$boo|
-000007e0  6c 45 08 00 00 38 00 40  40 a1 a0 e0 a3 25 66 61  |lE...8.@@....%fa|
-000007f0  6c 73 65 5e 90 40 40 04  0d 40 92 04 03 a0 e0 a3  |lse^.@@..@......|
-00000800  24 74 72 75 65 5f 90 40  40 04 13 40 92 04 03 40  |$true_.@@..@...@|
-00000810  40 41 40 40 40 40 40 04  14 40 41 40 92 04 10 a3  |@A@@@@@..@A@....|
-00000820  24 63 68 61 72 42 08 00  00 38 00 40 40 40 41 40  |$charB...8.@@@A@|
-00000830  40 40 40 40 04 18 40 41  40 92 04 03 a3 23 65 78  |@@@@..@A@....#ex|
-00000840  6e 47 08 00 00 38 00 40  40 41 41 40 40 40 40 40  |nG...8.@@AA@@@@@|
-00000850  04 1c 40 40 40 92 04 03  a3 35 65 78 74 65 6e 73  |..@@@....5extens|
-00000860  69 6f 6e 5f 63 6f 6e 73  74 72 75 63 74 6f 72 50  |ion_constructorP|
-00000870  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 20  |...8.@@@A@@@@@. |
-00000880  40 40 40 92 04 03 a3 25  66 6c 6f 61 74 44 08 00  |@@@....%floatD..|
-00000890  00 38 00 40 40 40 41 40  40 40 40 40 04 24 40 40  |.8.@@@A@@@@@.$@@|
-000008a0  40 92 04 03 a3 2a 66 6c  6f 61 74 61 72 72 61 79  |@....*floatarray|
-000008b0  51 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |Q...8.@@@A@@@@@.|
-000008c0  28 40 40 40 92 04 03 a3  23 69 6e 74 41 08 00 00  |(@@@....#intA...|
-000008d0  38 00 40 40 40 41 40 40  40 40 40 04 2c 40 41 40  |8.@@@A@@@@@.,@A@|
-000008e0  92 04 03 a3 25 69 6e 74  33 32 4c 08 00 00 38 00  |....%int32L...8.|
-000008f0  40 40 40 41 40 40 40 40  40 04 30 40 40 40 92 04  |@@@A@@@@@.0@@@..|
+00000770  01 04 01 04 01 04 01 04  01 04 01 04 01 40 b1 a7  |.............@..|
+00000780  b1 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b2 b1 b1 b1  |................|
+00000790  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 40 a3 25  |.............@.%|
+000007a0  61 72 72 61 79 48 08 00  00 38 00 a0 c0 90 40 02  |arrayH...8....@.|
+000007b0  05 f5 e1 00 40 4d 40 41  40 41 40 a0 00 7f 40 a0  |....@M@A@A@...@.|
+000007c0  40 40 40 40 b0 c0 26 5f  6e 6f 6e 65 5f 40 40 00  |@@@@..&_none_@@.|
+000007d0  ff 04 02 41 40 40 40 92  04 0b a3 24 62 6f 6f 6c  |...A@@@....$bool|
+000007e0  45 08 00 00 38 00 40 40  a1 a0 e0 a3 25 66 61 6c  |E...8.@@....%fal|
+000007f0  73 65 5e 90 40 40 04 0d  40 92 04 03 a0 e0 a3 24  |se^.@@..@......$|
+00000800  74 72 75 65 5f 90 40 40  04 13 40 92 04 03 40 40  |true_.@@..@...@@|
+00000810  41 40 40 40 40 40 04 14  40 41 40 92 04 10 a3 24  |A@@@@@..@A@....$|
+00000820  63 68 61 72 42 08 00 00  38 00 40 40 40 41 40 40  |charB...8.@@@A@@|
+00000830  40 40 40 04 18 40 41 40  92 04 03 a3 23 65 78 6e  |@@@..@A@....#exn|
+00000840  47 08 00 00 38 00 40 40  41 41 40 40 40 40 40 04  |G...8.@@AA@@@@@.|
+00000850  1c 40 40 40 92 04 03 a3  35 65 78 74 65 6e 73 69  |.@@@....5extensi|
+00000860  6f 6e 5f 63 6f 6e 73 74  72 75 63 74 6f 72 50 08  |on_constructorP.|
+00000870  00 00 38 00 40 40 40 41  40 40 40 40 40 04 20 40  |..8.@@@A@@@@@. @|
+00000880  40 40 92 04 03 a3 25 66  6c 6f 61 74 44 08 00 00  |@@....%floatD...|
+00000890  38 00 40 40 40 41 40 40  40 40 40 04 24 40 40 40  |8.@@@A@@@@@.$@@@|
+000008a0  92 04 03 a3 2a 66 6c 6f  61 74 61 72 72 61 79 51  |....*floatarrayQ|
+000008b0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 28  |...8.@@@A@@@@@.(|
+000008c0  40 40 40 92 04 03 a3 23  69 6e 74 41 08 00 00 38  |@@@....#intA...8|
+000008d0  00 40 40 40 41 40 40 40  40 40 04 2c 40 41 40 92  |.@@@A@@@@@.,@A@.|
+000008e0  04 03 a3 25 69 6e 74 33  32 4c 08 00 00 38 00 40  |...%int32L...8.@|
+000008f0  40 40 41 40 40 40 40 40  04 30 40 40 40 92 04 03  |@@A@@@@@.0@@@...|
 00000900
/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