~/f/coq/RPMS.2017 ~/f/coq
~/f/coq
RPMS.2017/coq-devel-8.19.0-0.0.x86_64.rpm RPMS/coq-devel-8.19.0-0.0.x86_64.rpm differ: byte 225, line 1
Comparing coq-devel-8.19.0-0.0.x86_64.rpm to coq-devel-8.19.0-0.0.x86_64.rpm
comparing the rpm tags of coq-devel
--- old-rpm-tags
+++ new-rpm-tags
@@ -8177 +8177 @@
-/usr/lib64/coq-core/clib/cString.cmti 8766bfad583a9321a21543781620bb297f08423c950cdd1a1f7bbba748a8735e 0
+/usr/lib64/coq-core/clib/cString.cmti 5cc52f65871ca7b5e8da97c36bb9d80aca674a7e468c35da1e31ca839057ae60 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/cString.cmti differs at offset '61696' (OCaml interface file (.cmi) (Version 031))
--- old /usr/lib64/coq-core/clib/cString.cmti (hex)
+++ new /usr/lib64/coq-core/clib/cString.cmti (hex)
@@ -1,4 +1,4 @@
-0000f100  00 00 3a c3 00 00 e8 5c  00 00 e4 aa 08 00 00 3c  |..:....\.......<|
+0000f100  00 00 3a c0 00 00 e8 55  00 00 e4 a3 08 00 00 3c  |..:....U.......<|
 0000f110  00 27 43 53 74 72 69 6e  67 92 b0 a0 b0 98 d0 b1  |.'CString.......|
 0000f120  21 53 01 01 58 41 a0 04  02 b0 c0 30 63 6c 69 62  |!S..XA.....0clib|
 0000f130  2f 63 53 74 72 69 6e 67  2e 6d 6c 69 4c 01 02 d9  |/cString.mliL...|
@@ -8,26 +8,26 @@
 0000f170  01 02 f8 c0 04 11 4c 01  02 d9 01 02 fe 40 b0 04  |......L......@..|
 0000f180  03 04 02 40 93 90 92 2e  53 74 64 6c 69 62 5f 5f  |...@....Stdlib__|
 0000f190  53 74 72 69 6e 67 08 00  00 30 00 a0 40 40 04 01  |String...0..@@..|
-0000f1a0  04 01 04 01 04 01 04 01  04 01 04 01 40 ab ab a7  |............@...|
-0000f1b0  b1 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b2 b1 b1 b1  |................|
-0000f1c0  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 40 a3 25  |.............@.%|
-0000f1d0  61 72 72 61 79 48 08 00  00 38 00 a0 c0 90 40 02  |arrayH...8....@.|
-0000f1e0  05 f5 e1 00 40 4d 40 41  40 41 40 a0 00 7f 40 a0  |....@M@A@A@...@.|
-0000f1f0  40 40 40 40 b0 c0 26 5f  6e 6f 6e 65 5f 40 40 00  |@@@@..&_none_@@.|
-0000f200  ff 04 02 41 40 40 40 92  04 0b a3 24 62 6f 6f 6c  |...A@@@....$bool|
-0000f210  45 08 00 00 38 00 40 40  a1 a0 e0 a3 25 66 61 6c  |E...8.@@....%fal|
-0000f220  73 65 5e 90 40 40 04 0d  40 92 04 03 a0 e0 a3 24  |se^.@@..@......$|
-0000f230  74 72 75 65 5f 90 40 40  04 13 40 92 04 03 40 40  |true_.@@..@...@@|
-0000f240  41 40 40 40 40 40 04 14  40 41 40 92 04 10 a3 24  |A@@@@@..@A@....$|
-0000f250  63 68 61 72 42 08 00 00  38 00 40 40 40 41 40 40  |charB...8.@@@A@@|
-0000f260  40 40 40 04 18 40 41 40  92 04 03 a3 23 65 78 6e  |@@@..@A@....#exn|
-0000f270  47 08 00 00 38 00 40 40  41 41 40 40 40 40 40 04  |G...8.@@AA@@@@@.|
-0000f280  1c 40 40 40 92 04 03 a3  35 65 78 74 65 6e 73 69  |.@@@....5extensi|
-0000f290  6f 6e 5f 63 6f 6e 73 74  72 75 63 74 6f 72 50 08  |on_constructorP.|
-0000f2a0  00 00 38 00 40 40 40 41  40 40 40 40 40 04 20 40  |..8.@@@A@@@@@. @|
-0000f2b0  40 40 92 04 03 a3 25 66  6c 6f 61 74 44 08 00 00  |@@....%floatD...|
-0000f2c0  38 00 40 40 40 41 40 40  40 40 40 04 24 40 40 40  |8.@@@A@@@@@.$@@@|
-0000f2d0  92 04 03 a3 2a 66 6c 6f  61 74 61 72 72 61 79 51  |....*floatarrayQ|
-0000f2e0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 28  |...8.@@@A@@@@@.(|
-0000f2f0  40 40 40 92 04 03 a3 23  69 6e 74 41 08 00 00 38  |@@@....#intA...8|
+0000f1a0  04 01 04 01 04 01 04 01  04 01 04 01 40 ab a7 b1  |............@...|
+0000f1b0  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b1 b1 b1 b1  |................|
+0000f1c0  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 40 a3 25 61  |............@.%a|
+0000f1d0  72 72 61 79 48 08 00 00  38 00 a0 c0 90 40 02 05  |rrayH...8....@..|
+0000f1e0  f5 e1 00 40 4d 40 41 40  41 40 a0 00 7f 40 a0 40  |...@M@A@A@...@.@|
+0000f1f0  40 40 40 b0 c0 26 5f 6e  6f 6e 65 5f 40 40 00 ff  |@@@..&_none_@@..|
+0000f200  04 02 41 40 40 40 92 04  0b a3 24 62 6f 6f 6c 45  |..A@@@....$boolE|
+0000f210  08 00 00 38 00 40 40 a1  a0 e0 a3 25 66 61 6c 73  |...8.@@....%fals|
+0000f220  65 5e 90 40 40 04 0d 40  92 04 03 a0 e0 a3 24 74  |e^.@@..@......$t|
+0000f230  72 75 65 5f 90 40 40 04  13 40 92 04 03 40 40 41  |rue_.@@..@...@@A|
+0000f240  40 40 40 40 40 04 14 40  41 40 92 04 10 a3 24 63  |@@@@@..@A@....$c|
+0000f250  68 61 72 42 08 00 00 38  00 40 40 40 41 40 40 40  |harB...8.@@@A@@@|
+0000f260  40 40 04 18 40 41 40 92  04 03 a3 23 65 78 6e 47  |@@..@A@....#exnG|
+0000f270  08 00 00 38 00 40 40 41  41 40 40 40 40 40 04 1c  |...8.@@AA@@@@@..|
+0000f280  40 40 40 92 04 03 a3 35  65 78 74 65 6e 73 69 6f  |@@@....5extensio|
+0000f290  6e 5f 63 6f 6e 73 74 72  75 63 74 6f 72 50 08 00  |n_constructorP..|
+0000f2a0  00 38 00 40 40 40 41 40  40 40 40 40 04 20 40 40  |.8.@@@A@@@@@. @@|
+0000f2b0  40 92 04 03 a3 25 66 6c  6f 61 74 44 08 00 00 38  |@....%floatD...8|
+0000f2c0  00 40 40 40 41 40 40 40  40 40 04 24 40 40 40 92  |.@@@A@@@@@.$@@@.|
+0000f2d0  04 03 a3 2a 66 6c 6f 61  74 61 72 72 61 79 51 08  |...*floatarrayQ.|
+0000f2e0  00 00 38 00 40 40 40 41  40 40 40 40 40 04 28 40  |..8.@@@A@@@@@.(@|
+0000f2f0  40 40 92 04 03 a3 23 69  6e 74 41 08 00 00 38 00  |@@....#intA...8.|
 0000f300
overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good)
overall=1