~/f/coq/RPMS.2 ~/f/coq ~/f/coq RPMS.2/coq-8.20.1-1.1.x86_64.rpm RPMS/coq-8.20.1-1.1.x86_64.rpm differ: byte 225, line 1 Comparing coq-8.20.1-1.1.x86_64.rpm to coq-8.20.1-1.1.x86_64.rpm comparing the rpm tags of coq --- old-rpm-tags +++ new-rpm-tags @@ -1544 +1544 @@ -/usr/bin/coqc.byte ff49dce570efb9e8009f6df3b649f7d4dc18987ddd4057c22787b09e2af6290b 0 +/usr/bin/coqc.byte 313a7ab70fc9b9410b82690a09beea7d65ab78d981af9337715e43163c8fdd6a 0 @@ -1552 +1552 @@ -/usr/bin/coqtop.byte 413b85079b00ad1689382afb1d6a4fd37d5ad47ebe5aa458312f095058ab392b 0 +/usr/bin/coqtop.byte 60e94a8e239408dfb68968b2b995903509f8ace87dbfc8dbe242a4f37fd8bc40 0 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/bin/coqc.byte differs at offset '39538740' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqc.byte (hex) +++ new /usr/bin/coqc.byte (hex) @@ -1,7 +1,7 @@ 025b5000 a0 09 24 2f 77 6f 72 6b 73 70 61 63 65 5f 72 6f |..$/workspace_ro| 025b5010 6f 74 2f 63 6c 69 62 2f 2e 63 6c 69 62 2e 6f 62 |ot/clib/.clib.ob| 025b5020 6a 73 2f 62 79 74 65 40 00 08 64 e8 84 95 a6 be |js/byte@..d.....| -025b5030 00 00 59 1d 00 00 0f c8 00 00 41 34 00 00 40 3b |..Y.......A4..@;| +025b5030 00 00 59 17 00 00 0f c5 00 00 41 2d 00 00 40 34 |..Y.......A-..@4| 025b5040 a0 08 00 00 2c 00 01 08 f8 2b 4d 65 6d 70 72 6f |....,....+Mempro| 025b5050 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 |f_coq..&_none_@@| 025b5060 00 ff 04 02 41 41 22 3f 3f 41 40 d0 40 40 40 40 |....AA"??A@.@@@@| @@ -10,24 +10,24 @@ 025b5090 08 00 00 2c 00 01 08 bc 04 0b 04 0a 41 04 07 41 |...,........A..A| 025b50a0 40 04 06 04 05 40 40 a0 08 00 00 2c 00 01 08 80 |@....@@....,....| 025b50b0 04 0d 04 0c 41 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab |....A"??A.......| -025b50c0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 |................| -025b50d0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 |...............@| -025b50e0 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 |.%arrayH...8....| -025b50f0 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f |@.....@M@A@A@...| -025b5100 40 a0 40 40 40 40 04 3b 40 40 40 92 04 08 a3 24 |@.@@@@.;@@@....$| -025b5110 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 |boolE...8.@@....| -025b5120 25 66 61 6c 73 65 5e 90 40 40 04 45 40 92 04 03 |%false^.@@.E@...| -025b5130 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 4b 40 92 |...$true_.@@.K@.| -025b5140 04 03 40 40 41 40 40 40 40 40 04 4c 40 41 40 92 |..@@A@@@@@.L@A@.| -025b5150 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |...$charB...8.@@| -025b5160 40 41 40 40 40 40 40 04 50 40 41 40 92 04 03 a3 |@A@@@@@.P@A@....| -025b5170 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| -025b5180 40 40 40 04 54 40 40 40 92 04 03 a3 35 65 78 74 |@@@.T@@@....5ext| -025b5190 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| -025b51a0 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| -025b51b0 40 04 58 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@.X@@@....%float| -025b51c0 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| -025b51d0 5c 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |\@@@....*floatar| -025b51e0 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 |rayQ...8.@@@A@@@| -025b51f0 40 40 04 60 40 40 40 92 04 03 a3 23 69 6e 74 41 |@@.`@@@....#intA| +025b50c0 a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 |................| +025b50d0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 |..............@.| +025b50e0 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 |%arrayH...8....@| +025b50f0 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 |.....@M@A@A@...@| +025b5100 a0 40 40 40 40 04 3a 40 40 40 92 04 08 a3 24 62 |.@@@@.:@@@....$b| +025b5110 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 |oolE...8.@@....%| +025b5120 66 61 6c 73 65 5e 90 40 40 04 44 40 92 04 03 a0 |false^.@@.D@....| +025b5130 e0 a3 24 74 72 75 65 5f 90 40 40 04 4a 40 92 04 |..$true_.@@.J@..| +025b5140 03 40 40 41 40 40 40 40 40 04 4b 40 41 40 92 04 |.@@A@@@@@.K@A@..| +025b5150 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 40 |..$charB...8.@@@| +025b5160 41 40 40 40 40 40 04 4f 40 41 40 92 04 03 a3 23 |A@@@@@.O@A@....#| +025b5170 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 |exnG...8.@@AA@@@| +025b5180 40 40 04 53 40 40 40 92 04 03 a3 35 65 78 74 65 |@@.S@@@....5exte| +025b5190 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f |nsion_constructo| +025b51a0 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |rP...8.@@@A@@@@@| +025b51b0 04 57 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 |.W@@@....%floatD| +025b51c0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5b |...8.@@@A@@@@@.[| +025b51d0 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 |@@@....*floatarr| +025b51e0 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 40 |ayQ...8.@@@A@@@@| +025b51f0 40 04 5f 40 40 40 92 04 03 a3 23 69 6e 74 41 08 |@._@@@....#intA.| 025b5200 /usr/bin/coqtop.byte differs at offset '45913643' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqtop.byte (hex) +++ new /usr/bin/coqtop.byte (hex) @@ -1,7 +1,7 @@ 02bc9600 70 61 63 65 5f 72 6f 6f 74 2f 63 6c 69 62 2f 2e |pace_root/clib/.| 02bc9610 63 6c 69 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 |clib.objs/byte@.| -02bc9620 2c 3c 14 84 95 a6 be 00 00 59 1d 00 00 0f c8 00 |,<.......Y......| -02bc9630 00 41 34 00 00 40 3b a0 08 00 00 2c 00 01 08 f8 |.A4..@;....,....| +02bc9620 2c 3c 14 84 95 a6 be 00 00 59 17 00 00 0f c5 00 |,<.......Y......| +02bc9630 00 41 2d 00 00 40 34 a0 08 00 00 2c 00 01 08 f8 |.A-..@4....,....| 02bc9640 2b 4d 65 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f |+Memprof_coq..&_| 02bc9650 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f |none_@@....AA"??| 02bc9660 41 40 d0 40 40 40 40 40 b0 40 40 40 40 40 a0 08 |A@.@@@@@.@@@@@..| @@ -9,25 +9,25 @@ 02bc9680 04 04 04 03 40 40 a0 08 00 00 2c 00 01 08 bc 04 |....@@....,.....| 02bc9690 0b 04 0a 41 04 07 41 40 04 06 04 05 40 40 a0 08 |...A..A@....@@..| 02bc96a0 00 00 2c 00 01 08 80 04 0d 04 0c 41 22 3f 3f 41 |..,........A"??A| -02bc96b0 c3 c3 c3 c3 c3 b0 ab ab a7 b1 b2 b2 b2 b2 b2 b2 |................| -02bc96c0 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -02bc96d0 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| -02bc96e0 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| -02bc96f0 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 3b 40 |A@A@...@.@@@@.;@| -02bc9700 40 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 |@@....$boolE...8| -02bc9710 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 |.@@....%false^.@| -02bc9720 40 04 45 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f |@.E@......$true_| -02bc9730 90 40 40 04 4b 40 92 04 03 40 40 41 40 40 40 40 |.@@.K@...@@A@@@@| -02bc9740 40 04 4c 40 41 40 92 04 10 a3 24 63 68 61 72 42 |@.L@A@....$charB| -02bc9750 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 50 |...8.@@@A@@@@@.P| -02bc9760 40 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 |@A@....#exnG...8| -02bc9770 00 40 40 41 41 40 40 40 40 40 04 54 40 40 40 92 |.@@AA@@@@@.T@@@.| -02bc9780 04 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f |...5extension_co| -02bc9790 6e 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 |nstructorP...8.@| -02bc97a0 40 40 41 40 40 40 40 40 04 58 40 40 40 92 04 03 |@@A@@@@@.X@@@...| -02bc97b0 a3 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 |.%floatD...8.@@@| -02bc97c0 41 40 40 40 40 40 04 5c 40 40 40 92 04 03 a3 2a |A@@@@@.\@@@....*| -02bc97d0 66 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 |floatarrayQ...8.| -02bc97e0 40 40 40 41 40 40 40 40 40 04 60 40 40 40 92 04 |@@@A@@@@@.`@@@..| -02bc97f0 03 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 |..#intA...8.@@@A| +02bc96b0 c3 c3 c3 c3 c3 b0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 |................| +02bc96c0 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +02bc96d0 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 |.....@.%arrayH..| +02bc96e0 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 |.8....@.....@M@A| +02bc96f0 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 3a 40 40 |@A@...@.@@@@.:@@| +02bc9700 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 |@....$boolE...8.| +02bc9710 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 |@@....%false^.@@| +02bc9720 04 44 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 |.D@......$true_.| +02bc9730 40 40 04 4a 40 92 04 03 40 40 41 40 40 40 40 40 |@@.J@...@@A@@@@@| +02bc9740 04 4b 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 |.K@A@....$charB.| +02bc9750 00 00 38 00 40 40 40 41 40 40 40 40 40 04 4f 40 |..8.@@@A@@@@@.O@| +02bc9760 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 |A@....#exnG...8.| +02bc9770 40 40 41 41 40 40 40 40 40 04 53 40 40 40 92 04 |@@AA@@@@@.S@@@..| +02bc9780 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e |..5extension_con| +02bc9790 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 |structorP...8.@@| +02bc97a0 40 41 40 40 40 40 40 04 57 40 40 40 92 04 03 a3 |@A@@@@@.W@@@....| +02bc97b0 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 |%floatD...8.@@@A| +02bc97c0 40 40 40 40 40 04 5b 40 40 40 92 04 03 a3 2a 66 |@@@@@.[@@@....*f| +02bc97d0 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 |loatarrayQ...8.@| +02bc97e0 40 40 41 40 40 40 40 40 04 5f 40 40 40 92 04 03 |@@A@@@@@._@@@...| +02bc97f0 a3 23 69 6e 74 41 08 00 00 38 00 40 40 40 41 40 |.#intA...8.@@@A@| 02bc9800 RPMS.2/coq-devel-8.20.1-1.1.x86_64.rpm RPMS/coq-devel-8.20.1-1.1.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.20.1-1.1.x86_64.rpm to coq-devel-8.20.1-1.1.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -8561 +8561 @@ -/usr/lib64/coq-core/clib/clib.cma be3dc4be2b8fe38c55a7262df8448f5865da306048aaa501aede7848349eec5b 0 +/usr/lib64/coq-core/clib/clib.cma 4b9b75f024317f2a7c0b1b24443b9717653ff96a8b1c95c893ac9df8748025b3 0 @@ -8618 +8618 @@ -/usr/lib64/coq-core/clib/memprof_coq.cmt 0f389c53249f32f8619ce00f290fe2ee30b2da115ad36bb712fab2b0c879a35c 0 +/usr/lib64/coq-core/clib/memprof_coq.cmt ebf94de5d688cb99d40d919c6d553d99e6635f9176692a68c5ffba91af7c006b 0 @@ -8630 +8630 @@ -/usr/lib64/coq-core/clib/mutex_aux.cmt 52648769d750cbe2bc21e07c63f1f05a651831b21f68c4aa19b168876f83be3d 0 +/usr/lib64/coq-core/clib/mutex_aux.cmt c716489a48f33642f034f6a40e2863b212a8011e2407c65be21f1b6b80b17664 0 @@ -8649 +8649 @@ -/usr/lib64/coq-core/clib/orderedType.cmti 8f9b99c4fc00a1c091756625e458e605ad611738393c2a6533674ce9c46da98a 0 +/usr/lib64/coq-core/clib/orderedType.cmti e97b1ac9e4b107f87d85aeb239c485041387a69b963e457a6e6b918e0bd9714e 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/clib.cma differs at offset '16' (OCaml library file (.cma) (Version 031)) --- old /usr/lib64/coq-core/clib/clib.cma (hex) +++ new /usr/lib64/coq-core/clib/clib.cma (hex) @@ -1,4 +1,4 @@ -00000000 43 61 6d 6c 31 39 39 39 41 30 33 31 00 13 f8 6c |Caml1999A031...l| +00000000 43 61 6d 6c 31 39 39 39 41 30 33 31 00 13 f8 60 |Caml1999A031...`| 00000010 54 00 00 00 9e 01 00 00 29 00 00 00 2a 00 00 00 |T.......)...*...| 00000020 01 00 00 00 01 00 00 00 0b 00 00 00 1b 00 00 00 |................| 00000030 22 00 00 00 0a 00 00 00 47 00 00 00 08 00 00 00 |".......G.......| /usr/lib64/coq-core/clib/memprof_coq.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/coq-core/clib/memprof_coq.cmt (hex) +++ new /usr/lib64/coq-core/clib/memprof_coq.cmt (hex) @@ -1,5 +1,5 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 a6 be |Caml1999T031....| -00000010 00 00 b8 99 00 00 21 a0 00 00 88 6b 00 00 86 81 |......!....k....| +00000010 00 00 b8 93 00 00 21 9d 00 00 88 64 00 00 86 7a |......!....d...z| 00000020 08 00 00 3c 00 2b 4d 65 6d 70 72 6f 66 5f 63 6f |...<.+Memprof_co| 00000030 71 91 b0 a0 b0 a1 40 a0 c0 e0 a0 a0 2e 69 73 5f |q.....@......is_| 00000040 69 6e 74 65 72 72 75 70 74 65 64 01 01 0b a0 04 |interrupted.....| @@ -11,23 +11,23 @@ 000000a0 40 90 40 02 05 f5 e1 00 40 01 05 aa 41 40 01 05 |@.@.....@...A@..| 000000b0 a7 40 02 05 f5 e1 00 40 01 05 a8 41 40 01 05 a5 |.@.....@...A@...| 000000c0 08 00 00 30 00 a0 40 40 04 01 04 01 04 01 04 01 |...0..@@........| -000000d0 04 01 04 01 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 |......@.........| -000000e0 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -000000f0 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 |.......@.%arrayH| -00000100 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d |...8....@.....@M| -00000110 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 |@A@A@...@.@@@@..| -00000120 26 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 |&_none_@@....A@@| -00000130 40 92 04 0b 04 31 08 00 00 38 00 40 40 a1 a0 e0 |@....1...8.@@...| -00000140 a3 25 66 61 6c 73 65 5e 90 40 40 04 0b 40 92 04 |.%false^.@@..@..| -00000150 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 11 40 |....$true_.@@..@| -00000160 92 04 03 40 40 41 40 40 40 40 40 04 12 40 41 40 |...@@A@@@@@..@A@| -00000170 92 04 3f a3 24 63 68 61 72 42 08 00 00 38 00 40 |..?.$charB...8.@| -00000180 40 40 41 40 40 40 40 40 04 16 40 41 40 92 04 03 |@@A@@@@@..@A@...| -00000190 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| -000001a0 40 40 40 40 04 1a 40 40 40 92 04 03 a3 35 65 78 |@@@@..@@@....5ex| -000001b0 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| -000001c0 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| -000001d0 40 40 04 1e 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@..@@@....%floa| -000001e0 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| -000001f0 04 22 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 |."@@@....*floata| +000000d0 04 01 04 01 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 |......@.........| +000000e0 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +000000f0 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 |......@.%arrayH.| +00000100 00 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 |..8....@.....@M@| +00000110 41 40 41 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 |A@A@...@.@@@@..&| +00000120 5f 6e 6f 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 |_none_@@....A@@@| +00000130 92 04 0b 04 30 08 00 00 38 00 40 40 a1 a0 e0 a3 |....0...8.@@....| +00000140 25 66 61 6c 73 65 5e 90 40 40 04 0b 40 92 04 03 |%false^.@@..@...| +00000150 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 11 40 92 |...$true_.@@..@.| +00000160 04 03 40 40 41 40 40 40 40 40 04 12 40 41 40 92 |..@@A@@@@@..@A@.| +00000170 04 3e a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |.>.$charB...8.@@| +00000180 40 41 40 40 40 40 40 04 16 40 41 40 92 04 03 a3 |@A@@@@@..@A@....| +00000190 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| +000001a0 40 40 40 04 1a 40 40 40 92 04 03 a3 35 65 78 74 |@@@..@@@....5ext| +000001b0 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| +000001c0 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| +000001d0 40 04 1e 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@..@@@....%float| +000001e0 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| +000001f0 22 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |"@@@....*floatar| 00000200 /usr/lib64/coq-core/clib/mutex_aux.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/coq-core/clib/mutex_aux.cmt (hex) +++ new /usr/lib64/coq-core/clib/mutex_aux.cmt (hex) @@ -1,5 +1,5 @@ 00000000 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 a6 be |Caml1999T031....| -00000010 00 00 14 82 00 00 03 9a 00 00 0f 25 00 00 0e 83 |...........%....| +00000010 00 00 14 7c 00 00 03 97 00 00 0f 1e 00 00 0e 7c |...|...........|| 00000020 08 00 00 3c 00 29 4d 75 74 65 78 5f 61 75 78 91 |...<.)Mutex_aux.| 00000030 b0 a0 b0 92 f0 a0 26 75 6e 6c 6f 63 6b 01 01 10 |......&unlock...| 00000040 a0 04 02 b0 c0 31 63 6c 69 62 2f 6d 75 74 65 78 |.....1clib/mutex| @@ -8,26 +8,26 @@ 00000070 74 a0 a1 90 04 05 04 04 b0 c0 04 10 41 40 51 c0 |t...........A@Q.| 00000080 04 11 41 40 58 40 40 c0 b3 04 0d 40 90 40 02 05 |..A@X@@....@.@..| 00000090 f5 e1 00 40 01 05 bd 08 00 00 30 00 a0 40 40 04 |...@......0..@@.| -000000a0 01 04 01 04 01 04 01 04 01 04 01 04 01 40 ab ab |.............@..| -000000b0 a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 |................| -000000c0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 |..............@.| -000000d0 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 |%arrayH...8....@| -000000e0 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 |.....@M@A@A@...@| -000000f0 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 |.@@@@..&_none_@@| -00000100 00 ff 04 02 41 40 40 40 92 04 0b a3 24 62 6f 6f |....A@@@....$boo| -00000110 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 |lE...8.@@....%fa| -00000120 6c 73 65 5e 90 40 40 04 0d 40 92 04 03 a0 e0 a3 |lse^.@@..@......| -00000130 24 74 72 75 65 5f 90 40 40 04 13 40 92 04 03 40 |$true_.@@..@...@| -00000140 40 41 40 40 40 40 40 04 14 40 41 40 92 04 10 a3 |@A@@@@@..@A@....| -00000150 24 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 |$charB...8.@@@A@| -00000160 40 40 40 40 04 18 40 41 40 92 04 03 a3 23 65 78 |@@@@..@A@....#ex| -00000170 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 |nG...8.@@AA@@@@@| -00000180 04 1c 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 |..@@@....5extens| -00000190 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 |ion_constructorP| -000001a0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 20 |...8.@@@A@@@@@. | -000001b0 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 |@@@....%floatD..| -000001c0 00 38 00 40 40 40 41 40 40 40 40 40 04 24 40 40 |.8.@@@A@@@@@.$@@| -000001d0 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 |@....*floatarray| -000001e0 51 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |Q...8.@@@A@@@@@.| -000001f0 28 40 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 |(@@@....#intA...| +000000a0 01 04 01 04 01 04 01 04 01 04 01 04 01 40 ab a7 |.............@..| +000000b0 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 |................| +000000c0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 |.............@.%| +000000d0 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 02 |arrayH...8....@.| +000000e0 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 |....@M@A@A@...@.| +000000f0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 00 |@@@@..&_none_@@.| +00000100 ff 04 02 41 40 40 40 92 04 0b a3 24 62 6f 6f 6c |...A@@@....$bool| +00000110 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c |E...8.@@....%fal| +00000120 73 65 5e 90 40 40 04 0d 40 92 04 03 a0 e0 a3 24 |se^.@@..@......$| +00000130 74 72 75 65 5f 90 40 40 04 13 40 92 04 03 40 40 |true_.@@..@...@@| +00000140 41 40 40 40 40 40 04 14 40 41 40 92 04 10 a3 24 |A@@@@@..@A@....$| +00000150 63 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 |charB...8.@@@A@@| +00000160 40 40 40 04 18 40 41 40 92 04 03 a3 23 65 78 6e |@@@..@A@....#exn| +00000170 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 |G...8.@@AA@@@@@.| +00000180 1c 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 |.@@@....5extensi| +00000190 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 |on_constructorP.| +000001a0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 20 40 |..8.@@@A@@@@@. @| +000001b0 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 08 00 00 |@@....%floatD...| +000001c0 38 00 40 40 40 41 40 40 40 40 40 04 24 40 40 40 |8.@@@A@@@@@.$@@@| +000001d0 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 61 79 51 |....*floatarrayQ| +000001e0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 28 |...8.@@@A@@@@@.(| +000001f0 40 40 40 92 04 03 a3 23 69 6e 74 41 08 00 00 38 |@@@....#intA...8| 00000200 /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 80 00 |999T031.........| -000003b0 00 03 97 00 00 0f 44 00 00 0e 99 08 00 00 3c 00 |......D.......<.| +000003a0 39 39 39 54 30 33 31 84 95 a6 be 00 00 15 89 00 |999T031.........| +000003b0 00 03 9a 00 00 0f 4c 00 00 0e a0 08 00 00 3c 00 |......L.......<.| 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 RPMS.2/coq-ide-8.20.1-1.1.x86_64.rpm RPMS/coq-ide-8.20.1-1.1.x86_64.rpm differ: byte 225, line 1 Comparing coq-ide-8.20.1-1.1.x86_64.rpm to coq-ide-8.20.1-1.1.x86_64.rpm comparing the rpm tags of coq-ide --- old-rpm-tags +++ new-rpm-tags @@ -133 +133 @@ -/usr/bin/coqidetop.byte 0dafb1c079d12e3ce07bf75956cd846d42cd35b48d723bb742b4a088665baa1c 0 +/usr/bin/coqidetop.byte 8ee25a81c00f4ac4a35df075e423c9ef24117ca55f1ddcd31df90c919a520653 0 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/bin/coqidetop.byte differs at offset '40101816' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqidetop.byte (hex) +++ new /usr/bin/coqidetop.byte (hex) @@ -1,8 +1,8 @@ 0263e780 63 6c 69 62 a0 09 24 2f 77 6f 72 6b 73 70 61 63 |clib..$/workspac| 0263e790 65 5f 72 6f 6f 74 2f 63 6c 69 62 2f 2e 63 6c 69 |e_root/clib/.cli| 0263e7a0 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 08 64 e8 |b.objs/byte@..d.| -0263e7b0 84 95 a6 be 00 00 59 1d 00 00 0f c8 00 00 41 34 |......Y.......A4| -0263e7c0 00 00 40 3b a0 08 00 00 2c 00 01 08 f8 2b 4d 65 |..@;....,....+Me| +0263e7b0 84 95 a6 be 00 00 59 17 00 00 0f c5 00 00 41 2d |......Y.......A-| +0263e7c0 00 00 40 34 a0 08 00 00 2c 00 01 08 f8 2b 4d 65 |..@4....,....+Me| 0263e7d0 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e |mprof_coq..&_non| 0263e7e0 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f 41 40 d0 |e_@@....AA"??A@.| 0263e7f0 40 40 40 40 40 b0 40 40 40 40 40 a0 08 00 00 2c |@@@@@.@@@@@....,| @@ -10,24 +10,24 @@ 0263e810 03 40 40 a0 08 00 00 2c 00 01 08 bc 04 0b 04 0a |.@@....,........| 0263e820 41 04 07 41 40 04 06 04 05 40 40 a0 08 00 00 2c |A..A@....@@....,| 0263e830 00 01 08 80 04 0d 04 0c 41 22 3f 3f 41 c3 c3 c3 |........A"??A...| -0263e840 c3 c3 b0 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| -0263e850 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0263e860 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 |...@.%arrayH...8| -0263e870 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 |....@.....@M@A@A| -0263e880 40 a0 00 7f 40 a0 40 40 40 40 04 3b 40 40 40 92 |@...@.@@@@.;@@@.| -0263e890 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 |...$boolE...8.@@| -0263e8a0 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 45 |....%false^.@@.E| -0263e8b0 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 |@......$true_.@@| -0263e8c0 04 4b 40 92 04 03 40 40 41 40 40 40 40 40 04 4c |.K@...@@A@@@@@.L| -0263e8d0 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 |@A@....$charB...| -0263e8e0 38 00 40 40 40 41 40 40 40 40 40 04 50 40 41 40 |8.@@@A@@@@@.P@A@| -0263e8f0 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 |....#exnG...8.@@| -0263e900 41 41 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 |AA@@@@@.T@@@....| -0263e910 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 |5extension_const| -0263e920 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 |ructorP...8.@@@A| -0263e930 40 40 40 40 40 04 58 40 40 40 92 04 03 a3 25 66 |@@@@@.X@@@....%f| -0263e940 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 40 |loatD...8.@@@A@@| -0263e950 40 40 40 04 5c 40 40 40 92 04 03 a3 2a 66 6c 6f |@@@.\@@@....*flo| -0263e960 61 74 61 72 72 61 79 51 08 00 00 38 00 40 40 40 |atarrayQ...8.@@@| -0263e970 41 40 40 40 40 40 04 60 40 40 40 92 04 03 a3 23 |A@@@@@.`@@@....#| +0263e840 c3 c3 b0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| +0263e850 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0263e860 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| +0263e870 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| +0263e880 a0 00 7f 40 a0 40 40 40 40 04 3a 40 40 40 92 04 |...@.@@@@.:@@@..| +0263e890 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 |..$boolE...8.@@.| +0263e8a0 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 44 40 |...%false^.@@.D@| +0263e8b0 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 |......$true_.@@.| +0263e8c0 4a 40 92 04 03 40 40 41 40 40 40 40 40 04 4b 40 |J@...@@A@@@@@.K@| +0263e8d0 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 |A@....$charB...8| +0263e8e0 00 40 40 40 41 40 40 40 40 40 04 4f 40 41 40 92 |.@@@A@@@@@.O@A@.| +0263e8f0 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 |...#exnG...8.@@A| +0263e900 41 40 40 40 40 40 04 53 40 40 40 92 04 03 a3 35 |A@@@@@.S@@@....5| +0263e910 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 |extension_constr| +0263e920 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 |uctorP...8.@@@A@| +0263e930 40 40 40 40 04 57 40 40 40 92 04 03 a3 25 66 6c |@@@@.W@@@....%fl| +0263e940 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 |oatD...8.@@@A@@@| +0263e950 40 40 04 5b 40 40 40 92 04 03 a3 2a 66 6c 6f 61 |@@.[@@@....*floa| +0263e960 74 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 |tarrayQ...8.@@@A| +0263e970 40 40 40 40 40 04 5f 40 40 40 92 04 03 a3 23 69 |@@@@@._@@@....#i| 0263e980 overalldiffered=3 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1