~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/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 @@ -1543 +1543 @@ -/usr/bin/coqc.byte e96e1828b18f51001d8bcab4b8d336411572a8eb2d87785d5ff5c9f0d55b1302 0 +/usr/bin/coqc.byte ae215c88c7a7ec3dfb0595c47d4f9ac308cc1a690ec67c510e5ef818739d30ba 0 @@ -1551 +1551 @@ -/usr/bin/coqtop.byte 9f40cb6b27462c7c47b6d456e388c9b8efc1a1a0e2998e0b990c4a9ff2a8be54 0 +/usr/bin/coqtop.byte df28349210523f38ef59d70690d73882fa22ed0289eafd89b0fbb52e517e2206 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 '39536886' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqc.byte (hex) +++ new /usr/bin/coqc.byte (hex) @@ -1,8 +1,8 @@ 025b48c0 69 62 a0 09 24 2f 77 6f 72 6b 73 70 61 63 65 5f |ib..$/workspace_| 025b48d0 72 6f 6f 74 2f 63 6c 69 62 2f 2e 63 6c 69 62 2e |root/clib/.clib.| 025b48e0 6f 62 6a 73 2f 62 79 74 65 40 00 08 64 e8 84 95 |objs/byte@..d...| -025b48f0 a6 be 00 00 59 1d 00 00 0f c8 00 00 41 34 00 00 |....Y.......A4..| -025b4900 40 3b a0 08 00 00 2c 00 01 08 f8 2b 4d 65 6d 70 |@;....,....+Memp| +025b48f0 a6 be 00 00 59 17 00 00 0f c5 00 00 41 2d 00 00 |....Y.......A-..| +025b4900 40 34 a0 08 00 00 2c 00 01 08 f8 2b 4d 65 6d 70 |@4....,....+Memp| 025b4910 72 6f 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e 65 5f |rof_coq..&_none_| 025b4920 40 40 00 ff 04 02 41 41 22 3f 3f 41 40 d0 40 40 |@@....AA"??A@.@@| 025b4930 40 40 40 b0 40 40 40 40 40 a0 08 00 00 2c 00 01 |@@@.@@@@@....,..| @@ -10,24 +10,24 @@ 025b4950 40 a0 08 00 00 2c 00 01 08 bc 04 0b 04 0a 41 04 |@....,........A.| 025b4960 07 41 40 04 06 04 05 40 40 a0 08 00 00 2c 00 01 |.A@....@@....,..| 025b4970 08 80 04 0d 04 0c 41 22 3f 3f 41 c3 c3 c3 c3 c3 |......A"??A.....| -025b4980 b0 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| -025b4990 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -025b49a0 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 |.@.%arrayH...8..| -025b49b0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 |..@.....@M@A@A@.| -025b49c0 00 7f 40 a0 40 40 40 40 04 3b 40 40 40 92 04 08 |..@.@@@@.;@@@...| -025b49d0 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 |.$boolE...8.@@..| -025b49e0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 45 40 92 |..%false^.@@.E@.| -025b49f0 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 4b |.....$true_.@@.K| -025b4a00 40 92 04 03 40 40 41 40 40 40 40 40 04 4c 40 41 |@...@@A@@@@@.L@A| -025b4a10 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 |@....$charB...8.| -025b4a20 40 40 40 41 40 40 40 40 40 04 50 40 41 40 92 04 |@@@A@@@@@.P@A@..| -025b4a30 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 |..#exnG...8.@@AA| -025b4a40 40 40 40 40 40 04 54 40 40 40 92 04 03 a3 35 65 |@@@@@.T@@@....5e| -025b4a50 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 |xtension_constru| -025b4a60 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 |ctorP...8.@@@A@@| -025b4a70 40 40 40 04 58 40 40 40 92 04 03 a3 25 66 6c 6f |@@@.X@@@....%flo| -025b4a80 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 |atD...8.@@@A@@@@| -025b4a90 40 04 5c 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 |@.\@@@....*float| -025b4aa0 61 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 |arrayQ...8.@@@A@| -025b4ab0 40 40 40 40 04 60 40 40 40 92 04 03 a3 23 69 6e |@@@@.`@@@....#in| +025b4980 b0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| +025b4990 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +025b49a0 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 |@.%arrayH...8...| +025b49b0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 |.@.....@M@A@A@..| +025b49c0 7f 40 a0 40 40 40 40 04 3a 40 40 40 92 04 08 a3 |.@.@@@@.:@@@....| +025b49d0 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 |$boolE...8.@@...| +025b49e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 44 40 92 04 |.%false^.@@.D@..| +025b49f0 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 4a 40 |....$true_.@@.J@| +025b4a00 92 04 03 40 40 41 40 40 40 40 40 04 4b 40 41 40 |...@@A@@@@@.K@A@| +025b4a10 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 |....$charB...8.@| +025b4a20 40 40 41 40 40 40 40 40 04 4f 40 41 40 92 04 03 |@@A@@@@@.O@A@...| +025b4a30 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| +025b4a40 40 40 40 40 04 53 40 40 40 92 04 03 a3 35 65 78 |@@@@.S@@@....5ex| +025b4a50 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| +025b4a60 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| +025b4a70 40 40 04 57 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@.W@@@....%floa| +025b4a80 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| +025b4a90 04 5b 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 |.[@@@....*floata| +025b4aa0 72 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 |rrayQ...8.@@@A@@| +025b4ab0 40 40 40 04 5f 40 40 40 92 04 03 a3 23 69 6e 74 |@@@._@@@....#int| 025b4ac0 /usr/bin/coqtop.byte differs at offset '45911860' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqtop.byte (hex) +++ new /usr/bin/coqtop.byte (hex) @@ -1,7 +1,7 @@ 02bc8f00 a0 09 24 2f 77 6f 72 6b 73 70 61 63 65 5f 72 6f |..$/workspace_ro| 02bc8f10 6f 74 2f 63 6c 69 62 2f 2e 63 6c 69 62 2e 6f 62 |ot/clib/.clib.ob| 02bc8f20 6a 73 2f 62 79 74 65 40 00 2c 3c 14 84 95 a6 be |js/byte@.,<.....| -02bc8f30 00 00 59 1d 00 00 0f c8 00 00 41 34 00 00 40 3b |..Y.......A4..@;| +02bc8f30 00 00 59 17 00 00 0f c5 00 00 41 2d 00 00 40 34 |..Y.......A-..@4| 02bc8f40 a0 08 00 00 2c 00 01 08 f8 2b 4d 65 6d 70 72 6f |....,....+Mempro| 02bc8f50 66 5f 63 6f 71 b0 c0 26 5f 6e 6f 6e 65 5f 40 40 |f_coq..&_none_@@| 02bc8f60 00 ff 04 02 41 41 22 3f 3f 41 40 d0 40 40 40 40 |....AA"??A@.@@@@| @@ -10,24 +10,24 @@ 02bc8f90 08 00 00 2c 00 01 08 bc 04 0b 04 0a 41 04 07 41 |...,........A..A| 02bc8fa0 40 04 06 04 05 40 40 a0 08 00 00 2c 00 01 08 80 |@....@@....,....| 02bc8fb0 04 0d 04 0c 41 22 3f 3f 41 c3 c3 c3 c3 c3 b0 ab |....A"??A.......| -02bc8fc0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 |................| -02bc8fd0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 |...............@| -02bc8fe0 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 |.%arrayH...8....| -02bc8ff0 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f |@.....@M@A@A@...| -02bc9000 40 a0 40 40 40 40 04 3b 40 40 40 92 04 08 a3 24 |@.@@@@.;@@@....$| -02bc9010 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 |boolE...8.@@....| -02bc9020 25 66 61 6c 73 65 5e 90 40 40 04 45 40 92 04 03 |%false^.@@.E@...| -02bc9030 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 4b 40 92 |...$true_.@@.K@.| -02bc9040 04 03 40 40 41 40 40 40 40 40 04 4c 40 41 40 92 |..@@A@@@@@.L@A@.| -02bc9050 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |...$charB...8.@@| -02bc9060 40 41 40 40 40 40 40 04 50 40 41 40 92 04 03 a3 |@A@@@@@.P@A@....| -02bc9070 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| -02bc9080 40 40 40 04 54 40 40 40 92 04 03 a3 35 65 78 74 |@@@.T@@@....5ext| -02bc9090 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| -02bc90a0 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| -02bc90b0 40 04 58 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@.X@@@....%float| -02bc90c0 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| -02bc90d0 5c 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |\@@@....*floatar| -02bc90e0 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 |rayQ...8.@@@A@@@| -02bc90f0 40 40 04 60 40 40 40 92 04 03 a3 23 69 6e 74 41 |@@.`@@@....#intA| +02bc8fc0 a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 |................| +02bc8fd0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 |..............@.| +02bc8fe0 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 90 40 |%arrayH...8....@| +02bc8ff0 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 7f 40 |.....@M@A@A@...@| +02bc9000 a0 40 40 40 40 04 3a 40 40 40 92 04 08 a3 24 62 |.@@@@.:@@@....$b| +02bc9010 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 |oolE...8.@@....%| +02bc9020 66 61 6c 73 65 5e 90 40 40 04 44 40 92 04 03 a0 |false^.@@.D@....| +02bc9030 e0 a3 24 74 72 75 65 5f 90 40 40 04 4a 40 92 04 |..$true_.@@.J@..| +02bc9040 03 40 40 41 40 40 40 40 40 04 4b 40 41 40 92 04 |.@@A@@@@@.K@A@..| +02bc9050 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 40 |..$charB...8.@@@| +02bc9060 41 40 40 40 40 40 04 4f 40 41 40 92 04 03 a3 23 |A@@@@@.O@A@....#| +02bc9070 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 |exnG...8.@@AA@@@| +02bc9080 40 40 04 53 40 40 40 92 04 03 a3 35 65 78 74 65 |@@.S@@@....5exte| +02bc9090 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f |nsion_constructo| +02bc90a0 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |rP...8.@@@A@@@@@| +02bc90b0 04 57 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 |.W@@@....%floatD| +02bc90c0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 5b |...8.@@@A@@@@@.[| +02bc90d0 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 |@@@....*floatarr| +02bc90e0 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 40 |ayQ...8.@@@A@@@@| +02bc90f0 40 04 5f 40 40 40 92 04 03 a3 23 69 6e 74 41 08 |@._@@@....#intA.| 02bc9100 RPMS.2017/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 6d2e09beff7d3b629f6ac1ed32ef415ba87787e0d3a1177303d466156465f391 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 @@ -8636 +8636 @@ -/usr/lib64/coq-core/clib/neList.cmt 6ea9d30eea2bd578aee0e151e5b3fdfa33a0c3baf5b95204b6af3cc99516ed32 0 +/usr/lib64/coq-core/clib/neList.cmt d57266d19d3dfba2f1e97cc904bd551bb1164fda441dead597ea2887234fe90d 0 @@ -8649 +8649 @@ -/usr/lib64/coq-core/clib/orderedType.cmti 8f9b99c4fc00a1c091756625e458e605ad611738393c2a6533674ce9c46da98a 0 +/usr/lib64/coq-core/clib/orderedType.cmti e97b1ac9e4b107f87d85aeb239c485041387a69b963e457a6e6b918e0bd9714e 0 @@ -8661 +8661 @@ -/usr/lib64/coq-core/clib/predicate.cmti 12b7ac34b0bb108ec83e1ab144d7691d32cacf15572109f9cd7daa2c13015c0e 0 +/usr/lib64/coq-core/clib/predicate.cmti c34ae1653b7c4831904207b771893a49dc88c930e996ef4f3935e0d3e1ce352b 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 72 |Caml1999A031...r| +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/neList.cmt differs at offset '20' (OCaml (Version 031)) --- old /usr/lib64/coq-core/clib/neList.cmt (hex) +++ new /usr/lib64/coq-core/clib/neList.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 44 9b 00 00 0c 32 00 00 32 db 00 00 32 03 |..D....2..2...2.| +00000010 00 00 44 95 00 00 0c 2f 00 00 32 d4 00 00 31 fc |..D..../..2...1.| 00000020 08 00 00 3c 00 26 4e 65 4c 69 73 74 91 b0 a0 b0 |...<.&NeList....| 00000030 a3 41 a0 08 00 00 28 00 b1 21 74 01 01 0b 41 a0 |.A....(..!t...A.| 00000040 04 02 b0 c0 2e 63 6c 69 62 2f 6e 65 4c 69 73 74 |.....clib/neList| @@ -7,27 +7,27 @@ 00000060 a4 01 02 ad 40 a0 a0 d0 90 21 61 c0 90 90 04 04 |....@....!a.....| 00000070 02 05 f5 e1 00 40 01 05 a7 08 00 00 30 00 a0 40 |.....@......0..@| 00000080 40 04 01 04 01 04 01 04 01 04 01 04 01 04 01 40 |@..............@| -00000090 b1 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| -000000a0 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -000000b0 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 |.@.%arrayH...8..| -000000c0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 |..@.....@M@A@A@.| -000000d0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 |..@.@@@@..&_none| -000000e0 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 24 |_@@....A@@@....$| -000000f0 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 |boolE...8.@@....| -00000100 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 03 |%false^.@@..@...| -00000110 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 92 |...$true_.@@..@.| -00000120 04 03 40 40 41 40 40 40 40 40 04 14 40 41 40 92 |..@@A@@@@@..@A@.| -00000130 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 |...$charB...8.@@| -00000140 40 41 40 40 40 40 40 04 18 40 41 40 92 04 03 a3 |@A@@@@@..@A@....| -00000150 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 |#exnG...8.@@AA@@| -00000160 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 74 |@@@..@@@....5ext| -00000170 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 |ension_construct| -00000180 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 |orP...8.@@@A@@@@| -00000190 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 |@. @@@....%float| -000001a0 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 |D...8.@@@A@@@@@.| -000001b0 24 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 |$@@@....*floatar| -000001c0 72 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 |rayQ...8.@@@A@@@| -000001d0 40 40 04 28 40 40 40 92 04 03 a3 23 69 6e 74 41 |@@.(@@@....#intA| -000001e0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 2c |...8.@@@A@@@@@.,| -000001f0 40 41 40 92 04 03 a3 25 69 6e 74 33 32 4c 08 00 |@A@....%int32L..| +00000090 b1 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |................| +000000a0 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +000000b0 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 a0 c0 |@.%arrayH...8...| +000000c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 a0 00 |.@.....@M@A@A@..| +000000d0 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e 65 5f |.@.@@@@..&_none_| +000000e0 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 24 62 |@@....A@@@....$b| +000000f0 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 a3 25 |oolE...8.@@....%| +00000100 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 03 a0 |false^.@@..@....| +00000110 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 92 04 |..$true_.@@..@..| +00000120 03 40 40 41 40 40 40 40 40 04 14 40 41 40 92 04 |.@@A@@@@@..@A@..| +00000130 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 40 40 |..$charB...8.@@@| +00000140 41 40 40 40 40 40 04 18 40 41 40 92 04 03 a3 23 |A@@@@@..@A@....#| +00000150 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 40 40 |exnG...8.@@AA@@@| +00000160 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 74 65 |@@..@@@....5exte| +00000170 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 74 6f |nsion_constructo| +00000180 72 50 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |rP...8.@@@A@@@@@| +00000190 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 74 44 |. @@@....%floatD| +000001a0 08 00 00 38 00 40 40 40 41 40 40 40 40 40 04 24 |...8.@@@A@@@@@.$| +000001b0 40 40 40 92 04 03 a3 2a 66 6c 6f 61 74 61 72 72 |@@@....*floatarr| +000001c0 61 79 51 08 00 00 38 00 40 40 40 41 40 40 40 40 |ayQ...8.@@@A@@@@| +000001d0 40 04 28 40 40 40 92 04 03 a3 23 69 6e 74 41 08 |@.(@@@....#intA.| +000001e0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 2c 40 |..8.@@@A@@@@@.,@| +000001f0 41 40 92 04 03 a3 25 69 6e 74 33 32 4c 08 00 00 |A@....%int32L...| 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 /usr/lib64/coq-core/clib/predicate.cmti differs at offset '3597' (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 54 30 33 31 84 95 a6 be 00 00 3e 23 00 00 09 |9T031......>#...| -00000e10 14 00 00 27 ef 00 00 25 a6 08 00 00 3c 00 29 50 |...'...%....<.)P| +00000e00 39 54 30 33 31 84 95 a6 be 00 00 3e 2c 00 00 09 |9T031......>,...| +00000e10 17 00 00 27 f7 00 00 25 ad 08 00 00 3c 00 29 50 |...'...%....<.)P| 00000e20 72 65 64 69 63 61 74 65 92 b0 a0 b0 9e b0 a0 2a |redicate.......*| 00000e30 6f 63 61 6d 6c 2e 74 65 78 74 b0 c0 26 5f 6e 6f |ocaml.text..&_no| 00000e40 6e 65 5f 40 40 00 ff 04 02 41 90 a0 a0 a0 c0 91 |ne_@@....A......| @@ -14,20 +14,20 @@ 00000ed0 70 72 65 64 69 63 61 74 65 2e 6d 6c 69 41 40 40 |predicate.mliA@@| 00000ee0 c0 04 02 44 00 77 00 7a 40 40 04 04 40 40 40 04 |...D.w.z@@..@@@.| 00000ef0 04 40 04 04 08 00 00 30 00 a0 40 40 04 01 04 01 |.@.....0..@@....| -00000f00 04 01 04 01 04 01 04 01 04 01 40 ab a7 b1 b2 b2 |..........@.....| -00000f10 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 |................| -00000f20 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 40 a3 25 61 72 72 |..........@.%arr| -00000f30 61 79 48 08 00 00 38 00 a0 c0 90 40 02 05 f5 e1 |ayH...8....@....| -00000f40 00 40 4d 40 41 40 41 40 a0 00 7f 40 a0 40 40 40 |.@M@A@A@...@.@@@| -00000f50 40 04 38 40 40 40 92 04 08 a3 24 62 6f 6f 6c 45 |@.8@@@....$boolE| -00000f60 08 00 00 38 00 40 40 a1 a0 e0 a3 25 66 61 6c 73 |...8.@@....%fals| -00000f70 65 5e 90 40 40 04 42 40 92 04 03 a0 e0 a3 24 74 |e^.@@.B@......$t| -00000f80 72 75 65 5f 90 40 40 04 48 40 92 04 03 40 40 41 |rue_.@@.H@...@@A| -00000f90 40 40 40 40 40 04 49 40 41 40 92 04 10 a3 24 63 |@@@@@.I@A@....$c| -00000fa0 68 61 72 42 08 00 00 38 00 40 40 40 41 40 40 40 |harB...8.@@@A@@@| -00000fb0 40 40 04 4d 40 41 40 92 04 03 a3 23 65 78 6e 47 |@@.M@A@....#exnG| -00000fc0 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 51 |...8.@@AA@@@@@.Q| -00000fd0 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 6f |@@@....5extensio| -00000fe0 6e 5f 63 6f 6e 73 74 72 75 63 74 6f 72 50 08 00 |n_constructorP..| -00000ff0 00 38 00 40 40 40 41 40 40 40 40 40 04 55 40 40 |.8.@@@A@@@@@.U@@| +00000f00 04 01 04 01 04 01 04 01 04 01 40 ab ab 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 39 40 40 40 92 04 08 a3 24 62 6f 6f 6c |@@.9@@@....$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 43 40 92 04 03 a0 e0 a3 24 |se^.@@.C@......$| +00000f80 74 72 75 65 5f 90 40 40 04 49 40 92 04 03 40 40 |true_.@@.I@...@@| +00000f90 41 40 40 40 40 40 04 4a 40 41 40 92 04 10 a3 24 |A@@@@@.J@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 4e 40 41 40 92 04 03 a3 23 65 78 6e |@@@.N@A@....#exn| +00000fc0 47 08 00 00 38 00 40 40 41 41 40 40 40 40 40 04 |G...8.@@AA@@@@@.| +00000fd0 52 40 40 40 92 04 03 a3 35 65 78 74 65 6e 73 69 |R@@@....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 56 40 |..8.@@@A@@@@@.V@| 00001000 RPMS.2017/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 @@ -132 +132 @@ -/usr/bin/coqidetop.byte c91876be0429bf76ac234ee557bfb6b95902e59b81a874252969c3d1dcbad1ce 0 +/usr/bin/coqidetop.byte 18cdcf6b3e9260db98e0cb05f7e972364b4d2c5d9ba0e7d7e22fcf82027f8b19 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 '40099962' (a /usr/bin/ocamlrun script executable (binary data)) --- old /usr/bin/coqidetop.byte (hex) +++ new /usr/bin/coqidetop.byte (hex) @@ -1,8 +1,8 @@ 0263e040 74 2f 63 6c 69 62 a0 09 24 2f 77 6f 72 6b 73 70 |t/clib..$/worksp| 0263e050 61 63 65 5f 72 6f 6f 74 2f 63 6c 69 62 2f 2e 63 |ace_root/clib/.c| 0263e060 6c 69 62 2e 6f 62 6a 73 2f 62 79 74 65 40 00 08 |lib.objs/byte@..| -0263e070 64 e8 84 95 a6 be 00 00 59 1d 00 00 0f c8 00 00 |d.......Y.......| -0263e080 41 34 00 00 40 3b a0 08 00 00 2c 00 01 08 f8 2b |A4..@;....,....+| +0263e070 64 e8 84 95 a6 be 00 00 59 17 00 00 0f c5 00 00 |d.......Y.......| +0263e080 41 2d 00 00 40 34 a0 08 00 00 2c 00 01 08 f8 2b |A-..@4....,....+| 0263e090 4d 65 6d 70 72 6f 66 5f 63 6f 71 b0 c0 26 5f 6e |Memprof_coq..&_n| 0263e0a0 6f 6e 65 5f 40 40 00 ff 04 02 41 41 22 3f 3f 41 |one_@@....AA"??A| 0263e0b0 40 d0 40 40 40 40 40 b0 40 40 40 40 40 a0 08 00 |@.@@@@@.@@@@@...| @@ -10,24 +10,24 @@ 0263e0d0 04 04 03 40 40 a0 08 00 00 2c 00 01 08 bc 04 0b |...@@....,......| 0263e0e0 04 0a 41 04 07 41 40 04 06 04 05 40 40 a0 08 00 |..A..A@....@@...| 0263e0f0 00 2c 00 01 08 80 04 0d 04 0c 41 22 3f 3f 41 c3 |.,........A"??A.| -0263e100 c3 c3 c3 c3 b0 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 |................| -0263e110 b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0263e120 b1 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 |.....@.%arrayH..| -0263e130 00 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 |.8....@.....@M@A| -0263e140 40 41 40 a0 00 7f 40 a0 40 40 40 40 04 3b 40 40 |@A@...@.@@@@.;@@| -0263e150 40 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 |@....$boolE...8.| -0263e160 40 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 |@@....%false^.@@| -0263e170 04 45 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 |.E@......$true_.| -0263e180 40 40 04 4b 40 92 04 03 40 40 41 40 40 40 40 40 |@@.K@...@@A@@@@@| -0263e190 04 4c 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 |.L@A@....$charB.| -0263e1a0 00 00 38 00 40 40 40 41 40 40 40 40 40 04 50 40 |..8.@@@A@@@@@.P@| -0263e1b0 41 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 |A@....#exnG...8.| -0263e1c0 40 40 41 41 40 40 40 40 40 04 54 40 40 40 92 04 |@@AA@@@@@.T@@@..| -0263e1d0 03 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e |..5extension_con| -0263e1e0 73 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 |structorP...8.@@| -0263e1f0 40 41 40 40 40 40 40 04 58 40 40 40 92 04 03 a3 |@A@@@@@.X@@@....| -0263e200 25 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 |%floatD...8.@@@A| -0263e210 40 40 40 40 40 04 5c 40 40 40 92 04 03 a3 2a 66 |@@@@@.\@@@....*f| -0263e220 6c 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 |loatarrayQ...8.@| -0263e230 40 40 41 40 40 40 40 40 04 60 40 40 40 92 04 03 |@@A@@@@@.`@@@...| +0263e100 c3 c3 c3 c3 b0 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 |................| +0263e110 b2 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0263e120 b1 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 |....@.%arrayH...| +0263e130 38 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 |8....@.....@M@A@| +0263e140 41 40 a0 00 7f 40 a0 40 40 40 40 04 3a 40 40 40 |A@...@.@@@@.:@@@| +0263e150 92 04 08 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 |....$boolE...8.@| +0263e160 40 a1 a0 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 |@....%false^.@@.| +0263e170 44 40 92 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 |D@......$true_.@| +0263e180 40 04 4a 40 92 04 03 40 40 41 40 40 40 40 40 04 |@.J@...@@A@@@@@.| +0263e190 4b 40 41 40 92 04 10 a3 24 63 68 61 72 42 08 00 |K@A@....$charB..| +0263e1a0 00 38 00 40 40 40 41 40 40 40 40 40 04 4f 40 41 |.8.@@@A@@@@@.O@A| +0263e1b0 40 92 04 03 a3 23 65 78 6e 47 08 00 00 38 00 40 |@....#exnG...8.@| +0263e1c0 40 41 41 40 40 40 40 40 04 53 40 40 40 92 04 03 |@AA@@@@@.S@@@...| +0263e1d0 a3 35 65 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 |.5extension_cons| +0263e1e0 74 72 75 63 74 6f 72 50 08 00 00 38 00 40 40 40 |tructorP...8.@@@| +0263e1f0 41 40 40 40 40 40 04 57 40 40 40 92 04 03 a3 25 |A@@@@@.W@@@....%| +0263e200 66 6c 6f 61 74 44 08 00 00 38 00 40 40 40 41 40 |floatD...8.@@@A@| +0263e210 40 40 40 40 04 5b 40 40 40 92 04 03 a3 2a 66 6c |@@@@.[@@@....*fl| +0263e220 6f 61 74 61 72 72 61 79 51 08 00 00 38 00 40 40 |oatarrayQ...8.@@| +0263e230 40 41 40 40 40 40 40 04 5f 40 40 40 92 04 03 a3 |@A@@@@@._@@@....| 0263e240 overalldiffered=3 (number of pkgs that are not bit-by-bit identical: 0 is good) overall=1