~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-devel-8.15.1-0.0.x86_64.rpm RPMS/coq-devel-8.15.1-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-devel-8.15.1-0.0.x86_64.rpm to coq-devel-8.15.1-0.0.x86_64.rpm comparing the rpm tags of coq-devel --- old-rpm-tags +++ new-rpm-tags @@ -6274,7 +6274,7 @@ /usr/lib64/coq-core/clib/cSig.mli 51cd58ecebb5c492dc9f3d26525125dcda30c0243ab17ccf14c9db6df6640324 0 /usr/lib64/coq-core/clib/cString.cmi 7388aa23d90a16ab0bb8987eb271522e66fa16e863fdf3f1ff4479db1b142541 0 /usr/lib64/coq-core/clib/cString.cmt bc70254bdec016b1f7d975ee98eb3dd0959cd2ff43c12e03d8968f759aef3cd8 0 -/usr/lib64/coq-core/clib/cString.cmti 3cffe456c3517680e3efd3b16a12e06b61424c36ebe46fa373cbe87c49b8be63 0 +/usr/lib64/coq-core/clib/cString.cmti 0642f4b9cf1c649adc2382568ee57419f23b2227a48c0fa7fdcc382862fe71c9 0 /usr/lib64/coq-core/clib/cString.cmx adf28337211cd4798f72191fa9d8926b2e8956ed545887b198a122cef35a32c9 0 /usr/lib64/coq-core/clib/cString.ml 7127d0c028648dd7d63ecf53f55c12a2102795425630fd0a918c8422e4f9487b 0 /usr/lib64/coq-core/clib/cString.mli f502a895dee9a6d43146dacd934bdfcf091ec800263fe00ced0451513f4eecac 0 @@ -6371,13 +6371,13 @@ /usr/lib64/coq-core/clib/option.mli 8a5385eb1bda7692f521cc08f4d02f5e806344dab529d8b67bbe4e83b44834de 0 /usr/lib64/coq-core/clib/orderedType.cmi c2a16f7023be1e50eafb9ca1e7cc42a400d50dfa614ed1c9c0b846f08f06c238 0 /usr/lib64/coq-core/clib/orderedType.cmt a315b5d072d5e18656fc5cf8748ccab046d04f1f0c6d747489800fc618a4350a 0 -/usr/lib64/coq-core/clib/orderedType.cmti 1133bb6fe5c167c67ab9bba6e898a50135ccbf040b1387c58a32ddcad11dd5d3 0 +/usr/lib64/coq-core/clib/orderedType.cmti 2f867bf52854223cf10076878511864ab8f2b8cf3c19e9a01c9c66236382d722 0 /usr/lib64/coq-core/clib/orderedType.cmx c086cd3e63f808c64de4b1ee36fc36b9f00ceb099d1ae708c557507860b32c39 0 /usr/lib64/coq-core/clib/orderedType.ml 182d5ae265e2f7c3648c702ddceecda4955163bed701e59201f0d16dffb1fb24 0 /usr/lib64/coq-core/clib/orderedType.mli 9ac6273c69b5eec399f9af896d3d817a7af2dd37677c876a0a368d426e4539ff 0 /usr/lib64/coq-core/clib/predicate.cmi 6ef19967118873a01c602fc6fc972a431ab88e6a03646697fb2378152c1ae802 0 /usr/lib64/coq-core/clib/predicate.cmt a63b6269dfb4642f670d8c28a1d6cc645b2c86e6d0243531c103f16cba260e45 0 -/usr/lib64/coq-core/clib/predicate.cmti 5bb995200cc30d155adeb295d45909b2c8110c54ea1b84f7cb774f37a5199f48 0 +/usr/lib64/coq-core/clib/predicate.cmti 913e19b6376c6bd14117acd30f2709e18bd2d9198c305c732acd103cc24a25b7 0 /usr/lib64/coq-core/clib/predicate.cmx dc57522986f8aa7129dad9f24d89bb17f785856972d8d6235531f7bc338f592d 0 /usr/lib64/coq-core/clib/predicate.ml 62f925f64294853b2e61aba48922ee75a0edf7f0e4e99b8d95b950a162b48eac 0 /usr/lib64/coq-core/clib/predicate.mli 17c11fd48bf1177f4d0681fdb93565063fe481e6a1d4879579af72159c066a55 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 '60214' (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,8 +1,8 @@ 0000eb00 71 76 a0 d3 d7 6d 37 40 84 95 a6 be 00 00 00 06 |qv...m7@........| 0000eb10 00 00 00 03 00 00 00 08 00 00 00 08 a0 40 a0 90 |.............@..| 0000eb20 40 40 43 61 6d 6c 31 39 39 39 54 30 33 31 84 95 |@@Caml1999T031..| -0000eb30 a6 be 00 01 3a 93 00 00 39 3b 00 00 e1 e7 00 00 |....:...9;......| -0000eb40 de 8a 08 00 00 3c 00 27 43 53 74 72 69 6e 67 92 |.....<.'CString.| +0000eb30 a6 be 00 01 3a 8d 00 00 39 38 00 00 e1 e0 00 00 |....:...98......| +0000eb40 de 83 08 00 00 3c 00 27 43 53 74 72 69 6e 67 92 |.....<.'CString.| 0000eb50 b0 a0 b0 98 d0 b1 21 53 01 01 58 41 a0 04 02 b0 |......!S..XA....| 0000eb60 c0 30 63 6c 69 62 2f 63 53 74 72 69 6e 67 2e 6d |.0clib/cString.m| 0000eb70 6c 69 4c 01 02 d9 01 02 e5 c0 04 02 4c 01 02 d9 |liL.........L...| @@ -12,22 +12,22 @@ 0000ebb0 01 02 fe 40 b0 04 03 04 02 40 93 90 92 2e 53 74 |...@.....@....St| 0000ebc0 64 6c 69 62 5f 5f 53 74 72 69 6e 67 08 00 00 30 |dlib__String...0| 0000ebd0 00 a0 40 40 04 01 04 01 04 01 04 01 04 01 04 01 |..@@............| -0000ebe0 04 01 40 ab ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| -0000ebf0 b2 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| -0000ec00 b1 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 |...@.%arrayH...8| -0000ec10 00 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 |....@.....@M@A@A| -0000ec20 40 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f |@...@.@@@@..&_no| -0000ec30 6e 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b |ne_@@....A@@@...| -0000ec40 a3 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 |.$boolE...8.@@..| -0000ec50 e0 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 |..%false^.@@..@.| -0000ec60 04 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 |.....$true_.@@..| -0000ec70 40 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 |@...@@A@@@@@..@A| -0000ec80 40 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 |@....$charB...8.| -0000ec90 40 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 |@@@A@@@@@..@A@..| -0000eca0 03 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 |..#exnG...8.@@AA| -0000ecb0 40 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 |@@@@@..@@@....5e| -0000ecc0 78 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 |xtension_constru| -0000ecd0 63 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 |ctorP...8.@@@A@@| -0000ece0 40 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f |@@@. @@@....%flo| -0000ecf0 61 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 |atD...8.@@@A@@@@| +0000ebe0 04 01 40 ab a7 b1 b2 b2 b2 b2 b2 b2 b2 b2 b2 b2 |..@.............| +0000ebf0 b2 b2 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 b1 |................| +0000ec00 b1 b1 40 a3 25 61 72 72 61 79 48 08 00 00 38 00 |..@.%arrayH...8.| +0000ec10 a0 c0 90 40 02 05 f5 e1 00 40 4d 40 41 40 41 40 |...@.....@M@A@A@| +0000ec20 a0 00 7f 40 a0 40 40 40 40 b0 c0 26 5f 6e 6f 6e |...@.@@@@..&_non| +0000ec30 65 5f 40 40 00 ff 04 02 41 40 40 40 92 04 0b a3 |e_@@....A@@@....| +0000ec40 24 62 6f 6f 6c 45 08 00 00 38 00 40 40 a1 a0 e0 |$boolE...8.@@...| +0000ec50 a3 25 66 61 6c 73 65 5e 90 40 40 04 0d 40 92 04 |.%false^.@@..@..| +0000ec60 03 a0 e0 a3 24 74 72 75 65 5f 90 40 40 04 13 40 |....$true_.@@..@| +0000ec70 92 04 03 40 40 41 40 40 40 40 40 04 14 40 41 40 |...@@A@@@@@..@A@| +0000ec80 92 04 10 a3 24 63 68 61 72 42 08 00 00 38 00 40 |....$charB...8.@| +0000ec90 40 40 41 40 40 40 40 40 04 18 40 41 40 92 04 03 |@@A@@@@@..@A@...| +0000eca0 a3 23 65 78 6e 47 08 00 00 38 00 40 40 41 41 40 |.#exnG...8.@@AA@| +0000ecb0 40 40 40 40 04 1c 40 40 40 92 04 03 a3 35 65 78 |@@@@..@@@....5ex| +0000ecc0 74 65 6e 73 69 6f 6e 5f 63 6f 6e 73 74 72 75 63 |tension_construc| +0000ecd0 74 6f 72 50 08 00 00 38 00 40 40 40 41 40 40 40 |torP...8.@@@A@@@| +0000ece0 40 40 04 20 40 40 40 92 04 03 a3 25 66 6c 6f 61 |@@. @@@....%floa| +0000ecf0 74 44 08 00 00 38 00 40 40 40 41 40 40 40 40 40 |tD...8.@@@A@@@@@| 0000ed00 /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 (not bit-by-bit identical) overall=1