~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-devel-8.16.0-0.0.x86_64.rpm RPMS/coq-devel-8.16.0-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.16.0-0.0.x86_64.rpm to coq-devel-8.16.0-0.0.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -6292 +6292 @@ -/usr/lib64/coq-core/clib/cSet.cmti 003050b335fc0239bd55de201d429d02350ef0369a8c1039d6216a30858469f3 0 +/usr/lib64/coq-core/clib/cSet.cmti c5e75591d5a7ee429d1e585925504b959b2748c1bc000c36375835ca34fb3aad 0 @@ -6301 +6301 @@ -/usr/lib64/coq-core/clib/cString.cmti b18c22623636aa7944c68f2f46c104c1843575d4df7568cef5aeaba3f2318e79 0 +/usr/lib64/coq-core/clib/cString.cmti b0b39c8bd328f373b26587701d113791033c8a5e1782adc3ee4b54ae107fc5e8 0 @@ -6382 +6382 @@ -/usr/lib64/coq-core/clib/neList.cmti f2f5a692afd7d1372d135961349e1ffa3200f711f0053d8fb829bddbc17b8c64 0 +/usr/lib64/coq-core/clib/neList.cmti ef43c5d0fbb715ea87c179222c36100138fca9b5a0d04b74f538dac201004e6f 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/cSet.cmti differs at offset '7360' (OCaml interface file (.cmi) (Version 031)) --- old /usr/lib64/coq-core/clib/cSet.cmti (hex) +++ new /usr/lib64/coq-core/clib/cSet.cmti (hex) @@ -1,4 +1,4 @@ -00001cc0 00 00 09 9f 00 00 27 3c 00 00 26 1f 08 00 00 3c |......'<..&....<| +00001cc0 00 00 09 a2 00 00 27 43 00 00 26 26 08 00 00 3c |......'C..&&...<| 00001cd0 00 24 43 53 65 74 92 b0 a0 b0 98 d0 b1 2b 4f 72 |.$CSet.......+Or| 00001ce0 64 65 72 65 64 54 79 70 65 01 01 0d 42 a0 04 02 |deredType...B...| 00001cf0 b0 c0 2d 63 6c 69 62 2f 63 53 65 74 2e 6d 6c 69 |..-clib/cSet.mli| @@ -10,24 +10,24 @@ 00001d50 c0 04 14 4d 01 02 c2 01 02 c4 04 04 40 40 40 40 |...M........@@@@| 00001d60 a1 04 21 40 40 40 41 40 04 03 40 40 08 00 00 30 |..!@@@A@..@@...0| 00001d70 00 a0 40 40 04 01 04 01 04 01 04 01 04 01 04 01 |..@@............| -00001d80 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| -00001d90 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -00001da0 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| -00001db0 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| -00001dc0 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e |...@.@@@@..&_non| -00001dd0 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 |e_@@....A@@@....| -00001de0 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 |$boolE...8.@@...| -00001df0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 |.%false^.@@..@..| -00001e00 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 |....$true_.@@..@| -00001e10 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 40 |...@@A@@@@@..@A@| -00001e20 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 |....$charB...8.@| -00001e30 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 03 |@@A@@@@@..@A@...| -00001e40 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| -00001e50 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 |@@@@..@@@....5ex| -00001e60 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| -00001e70 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| -00001e80 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@. @@@....%floa| -00001e90 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| -00001ea0 04 24 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 |.$@@@....*floata| -00001eb0 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 |rrayQ...8.@@@A@@| +00001d80 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| +00001d90 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +00001da0 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 |...@.%arrayH...8| +00001db0 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 |....@.....@M@A@A| +00001dc0 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f |@...@.@@@@..&_no| +00001dd0 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b |ne_@@....A@@@...| +00001de0 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 |.$boolE...8.@@..| +00001df0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 |..%false^.@@..@.| +00001e00 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 |.....$true_.@@..| +00001e10 40 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 |@...@@A@@@@@..@A| +00001e20 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 |@....$charB...8.| +00001e30 40 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 |@@@A@@@@@..@A@..| +00001e40 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 |..#exnG...8.@@AA| +00001e50 40 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 |@@@@@..@@@....5e| +00001e60 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 |xtension_constru| +00001e70 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 |ctorP...8.@@@A@@| +00001e80 40 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f |@@@. @@@....%flo| +00001e90 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 |atD...8.@@@A@@@@| +00001ea0 40 04 24 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 |@.$@@@....*float| +00001eb0 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 |arrayQ...8.@@@A@| 00001ec0 /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/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 overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1