~/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 @@ -6289 +6289 @@ -/usr/lib64/coq-core/clib/cString.cmti 77c622838a1f640564b1f29f37b96e2a4177b89c1640ed82a4b804a6da946ebc 0 +/usr/lib64/coq-core/clib/cString.cmti bdab961673d988f1d1ce41a868069be48cba68e36578b904f6888308b99b3b56 0 @@ -6382 +6382 @@ -/usr/lib64/coq-core/clib/orderedType.cmti 4421d8d7ce5d4852320f74ba52a022e0501954ff708be8652c071437c30c70a9 0 +/usr/lib64/coq-core/clib/orderedType.cmti 550585f6869b73ac5b48bec70eb6c170cf464144552287f7691e15dfc3049e6a 0 @@ -6388 +6388 @@ -/usr/lib64/coq-core/clib/predicate.cmti 7002b6f56fddaa758738756b94ff29f2b2a98582d9ed4488fc4545c2fc84468e 0 +/usr/lib64/coq-core/clib/predicate.cmti d41c39ac08eb1eec828262c4621f0462a1e46f83d96f76f1c290ba19094bcb58 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 '59782' (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,5 +1,5 @@ -0000e980 a6 be 00 01 38 9c 00 00 38 d2 00 00 e0 5e 00 00 |....8...8....^..| -0000e990 dd 03 08 00 00 3c 00 27 43 53 74 72 69 6e 67 92 |.....<.'CString.| +0000e980 a6 be 00 01 38 a2 00 00 38 d5 00 00 e0 65 00 00 |....8...8....e..| +0000e990 dd 0a 08 00 00 3c 00 27 43 53 74 72 69 6e 67 92 |.....<.'CString.| 0000e9a0 b0 a0 b0 98 d0 b1 21 53 01 01 58 41 a0 04 02 b0 |......!S..XA....| 0000e9b0 c0 30 63 6c 69 62 2f 63 53 74 72 69 6e 67 2e 6d |.0clib/cString.m| 0000e9c0 6c 69 4c 01 02 d9 01 02 e5 c0 04 02 4c 01 02 d9 |liL.........L...| @@ -9,25 +9,25 @@ 0000ea00 01 02 fe 40 b0 04 03 04 02 40 93 90 92 2e 53 74 |...@.....@....St| 0000ea10 64 6c 69 62 5f 5f 53 74 72 69 6e 67 08 00 00 30 |dlib__String...0| 0000ea20 00 a0 40 40 04 01 04 01 04 01 04 01 04 01 04 01 |..@@............| -0000ea30 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| -0000ea40 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0000ea50 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| -0000ea60 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| -0000ea70 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e |...@.@@@@..&_non| -0000ea80 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 |e_@@....A@@@....| -0000ea90 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 |$boolE...8.@@...| -0000eaa0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 |.%false^.@@..@..| -0000eab0 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 |....$true_.@@..@| -0000eac0 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 40 |...@@A@@@@@..@A@| -0000ead0 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 |....$charB...8.@| -0000eae0 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 03 |@@A@@@@@..@A@...| -0000eaf0 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| -0000eb00 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 |@@@@..@@@....5ex| -0000eb10 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| -0000eb20 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| -0000eb30 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@. @@@....%floa| -0000eb40 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| -0000eb50 04 24 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 |.$@@@....*floata| -0000eb60 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 |rrayQ...8.@@@A@@| -0000eb70 40 40 40 04 28 40 40 40 92 04 03 a3 23 69 6e 74 |@@@.(@@@....#int| +0000ea30 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| +0000ea40 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0000ea50 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 |...@.%arrayH...8| +0000ea60 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 |....@.....@M@A@A| +0000ea70 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f |@...@.@@@@..&_no| +0000ea80 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b |ne_@@....A@@@...| +0000ea90 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 |.$boolE...8.@@..| +0000eaa0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 |..%false^.@@..@.| +0000eab0 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 |.....$true_.@@..| +0000eac0 40 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 |@...@@A@@@@@..@A| +0000ead0 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 |@....$charB...8.| +0000eae0 40 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 |@@@A@@@@@..@A@..| +0000eaf0 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 |..#exnG...8.@@AA| +0000eb00 40 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 |@@@@@..@@@....5e| +0000eb10 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 |xtension_constru| +0000eb20 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 |ctorP...8.@@@A@@| +0000eb30 40 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f |@@@. @@@....%flo| +0000eb40 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 |atD...8.@@@A@@@@| +0000eb50 40 04 24 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 |@.$@@@....*float| +0000eb60 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 |arrayQ...8.@@@A@| +0000eb70 40 40 40 40 04 28 40 40 40 92 04 03 a3 23 69 6e |@@@@.(@@@....#in| 0000eb80 /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 /usr/lib64/coq-core/clib/predicate.cmti differs at offset '3599' (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 39 39 54 30 33 31 84 95 a6 be 00 00 3e 4e 00 |999T031......>N.| -00000e10 00 09 12 00 00 27 f7 00 00 25 a8 08 00 00 3c 00 |.....'...%....<.| +00000e00 39 39 39 54 30 33 31 84 95 a6 be 00 00 3e 57 00 |999T031......>W.| +00000e10 00 09 15 00 00 27 ff 00 00 25 af 08 00 00 3c 00 |.....'...%....<.| 00000e20 29 50 72 65 64 69 63 61 74 65 92 b0 a0 b0 9e b0 |)Predicate......| 00000e30 a0 2a 6f 63 61 6d 6c 2e 74 65 78 74 b0 c0 26 5f |.*ocaml.text..&_| 00000e40 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 90 a0 a0 a0 |none_@@....A....| @@ -14,20 +14,20 @@ 00000ed0 62 2f 70 72 65 64 69 63 61 74 65 2e 6d 6c 69 41 |b/predicate.mliA| 00000ee0 40 40 c0 04 02 44 00 77 00 7a 40 40 04 04 40 40 |@@...D.w.z@@..@@| 00000ef0 40 04 04 40 04 04 08 00 00 30 00 a0 40 40 04 01 |@..@.....0..@@..| -00000f00 04 01 04 01 04 01 04 01 04 01 04 01 40 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 37 40 40 40 92 04 08 a3 24 62 6f 6f 6c |@@.7@@@....$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 41 40 92 04 03 a0 e0 a3 24 |se^.@@.A@......$| -00000f80 74 72 75 65 5f 90 40 40 04 47 40 92 04 03 40 40 |true_.@@.G@...@@| -00000f90 41 40 40 40 40 40 04 48 40 41 40 92 04 10 a3 24 |A@@@@@.H@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 4c 40 41 40 92 04 03 a3 23 65 78 6e |@@@.L@A@....#exn| -00000fc0 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 |G...8.@@AA@@@@@.| -00000fd0 50 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 |P@@@....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 54 40 |..8.@@@A@@@@@.T@| +00000f00 04 01 04 01 04 01 04 01 04 01 04 01 40 ab a7 b1 |............@...| +00000f10 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 |................| +00000f20 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 |............@.%a| +00000f30 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 |rrayH...8....@..| +00000f40 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 |...@M@A@A@...@.@| +00000f50 40 40 40 04 38 40 40 40 92 04 08 a3 24 62 6f 6f |@@@.8@@@....$boo| +00000f60 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 |lE...8.@@....%fa| +00000f70 6c 73 65 5e 90 40 40 04 42 40 92 04 03 a0 e0 a3 |lse^.@@.B@......| +00000f80 24 74 72 75 65 5f 90 40 40 04 48 40 92 04 03 40 |$true_.@@.H@...@| +00000f90 40 41 40 40 40 40 40 04 49 40 41 40 92 04 10 a3 |@A@@@@@.I@A@....| +00000fa0 24 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 |$charB...8.@@@A@| +00000fb0 40 40 40 40 04 4d 40 41 40 92 04 03 a3 23 65 78 |@@@@.M@A@....#ex| +00000fc0 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 |nG...8.@@AA@@@@@| +00000fd0 04 51 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 |.Q@@@....5extens| +00000fe0 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 |ion_constructorP| +00000ff0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 55 |...8.@@@A@@@@@.U| 00001000 overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1