~/f/coq/RPMS.2017 ~/f/coq ~/f/coq RPMS.2017/coq-8.11.2-0.0.x86_64.rpm RPMS/coq-8.11.2-0.0.x86_64.rpm differ: byte 225, line 1 Comparing coq-8.11.2-0.0.x86_64.rpm to coq-8.11.2-0.0.x86_64.rpm comparing the rpm tags of coq --- /tmp/tmp.wqlaXR0Ce8/tmp.1KdKKeSF67 2020-06-11 00:02:43.942575066 +0000 +++ /tmp/tmp.wqlaXR0Ce8/tmp.OlfEVlP4Fg 2020-06-11 00:02:43.962575212 +0000 @@ -1373,7 +1373,7 @@ /usr/lib64/coq/plugins/btauto/.coq-native/NCoq_btauto_Algebra.cmxs 28fb15a3ada1ae298c1a299f5a51e2451d4db75f81e90a55dbb2c6b9cb092788 0 /usr/lib64/coq/plugins/btauto/.coq-native/NCoq_btauto_Btauto.cmxs 7c39232230850e41cb57a4653ff06ce3c4bb3ad63887d630c8d2f95506611315 0 /usr/lib64/coq/plugins/btauto/.coq-native/NCoq_btauto_Reflect.cmxs 1141c4bcb293ad2e098536fea666687a29c68cf6b7c319a236d214976b531749 0 -/usr/lib64/coq/plugins/btauto/Algebra.vo 96b78dcdd4d76cf4bf3878332c8ac0d1b1cf74a722ca931451c92dd5ff888de5 0 +/usr/lib64/coq/plugins/btauto/Algebra.vo 8702bf00efbbd7e8f23cfd15800afc96f804cf9f14817279d3e746be82afb5b8 0 /usr/lib64/coq/plugins/btauto/Btauto.vo a94c5f0a1999ace682d426175c20a8385a589d098991e8e430336624125503ab 0 /usr/lib64/coq/plugins/btauto/Reflect.vo 438724360ce22492ffeed68216b30821a27cddfd642034b5b4de37ea066b883e 0 /usr/lib64/coq/plugins/btauto/btauto_plugin.cmxs b5ff34d409eef0f44fcb0c0e8a2f035e3bc633d3cf2fb179206e377cdfcc0d5b 0 @@ -1911,7 +1911,7 @@ /usr/lib64/coq/theories/MSets/MSetList.vo f8f1339e9291a384ca0f9cf426dc132f1327ad715c8198a495f2344b515a95c0 0 /usr/lib64/coq/theories/MSets/MSetPositive.vo 6233051b71b11e3c764c76d92aff3b94e8d6479a79ce1a0a4dd5c487c2d420a0 0 /usr/lib64/coq/theories/MSets/MSetProperties.vo 435c6c170262a0a4fe1f4c4ce74a70a8f6b7b9ec83216f94a8f4a2431047477f 0 -/usr/lib64/coq/theories/MSets/MSetRBT.vo aa2382dee6087fef44f989ca6ec95f8d4ca35c80456b9a45be7aa066c02ecaad 0 +/usr/lib64/coq/theories/MSets/MSetRBT.vo 415966ab58487fcf2cb311e9cae2b73ec968ba26b37045275dd7425ca751343c 0 /usr/lib64/coq/theories/MSets/MSetToFiniteSet.vo 023a1288fb4c94742b66b4871d8605fefa8fb282bd2443a7b9b15f47da1e36da 0 /usr/lib64/coq/theories/MSets/MSetWeakList.vo 4ac52d53de1ca77cd42ef0be1573967f3ad713fb71a883ce390d6e48e53776e5 0 /usr/lib64/coq/theories/MSets/MSets.vo 769a9058b0d6ae4ee04d3b3f3897d556eedfe56bcf199bad7d60bf883b885b26 0 @@ -1974,7 +1974,7 @@ /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Int63.cmxs 46fbcbdd317cdeb26d3ec9aa666406c3bd8473e68c1b3ec971a5f3e92a700e2c 0 /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Ring63.cmxs 43e8b43f012336eddcc19aaf8d92eb46dc24ad56401c0d1b6f4c2052b2bb276c 0 /usr/lib64/coq/theories/Numbers/Cyclic/Int63/Cyclic63.vo 899deea8f7deea3cf792dc3475f3640b0f6359d30c7efb23292ba8b010421663 0 -/usr/lib64/coq/theories/Numbers/Cyclic/Int63/Int63.vo 0e2e8a727e998d379e0f45d08fc333bf0bd0f6323839912d213ea3a02fd149e9 0 +/usr/lib64/coq/theories/Numbers/Cyclic/Int63/Int63.vo 5d14c04033ca0429b528f41a4bd503f18eae7277a8fc69a6d773ded2fc2b2e2b 0 /usr/lib64/coq/theories/Numbers/Cyclic/Int63/Ring63.vo 5fec5e5ba6a609615f6c36ea6a61907ea829d0e18c3b1350ca1383761f18baa5 0 /usr/lib64/coq/theories/Numbers/Cyclic/ZModulo 0 /usr/lib64/coq/theories/Numbers/Cyclic/ZModulo/.coq-native 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/plugins/btauto/Algebra.vo differs at offset '78155' (raw G3 data, byte-padded) --- /tmp/tmp.wqlaXR0Ce8/old.pLf 2020-06-11 00:02:55.386658938 +0000 +++ /tmp/tmp.wqlaXR0Ce8/new.f1E 2020-06-11 00:02:55.386658938 +0000 @@ -1,5 +1,5 @@ -00013140 f9 bb ed 48 b9 8b c2 00 03 4c 64 84 95 a6 be 00 |...H.....Ld.....| -00013150 02 1b 05 00 00 63 4e 00 01 5f c9 00 01 5d 46 08 |.....cN.._...]F.| +00013140 f9 bb ed 48 b9 8b c2 00 03 4c 5e 84 95 a6 be 00 |...H.....L^.....| +00013150 02 1a ff 00 00 63 4b 00 01 5f c1 00 01 5d 3f 08 |.....cK.._...]?.| 00013160 00 00 7c 00 90 a0 b7 a0 90 21 50 40 94 41 b7 a0 |..|......!P@.A..| 00013170 90 21 48 40 a9 9b a0 a0 90 b0 90 a0 2e 44 65 63 |.!H@.........Dec| 00013180 69 64 61 62 6c 65 43 6c 61 73 73 a0 27 43 6c 61 |idableClass.'Cla| /usr/lib64/coq/theories/MSets/MSetRBT.vo differs at offset '610547' (raw G3 data, byte-padded) --- /tmp/tmp.wqlaXR0Ce8/old.9RC 2020-06-11 00:02:55.398659026 +0000 +++ /tmp/tmp.wqlaXR0Ce8/new.KlK 2020-06-11 00:02:55.398659026 +0000 @@ -1,8 +1,8 @@ 000950c0 11 49 ce ad 34 ec 00 09 50 df 84 95 a6 be 00 00 |.I..4...P.......| 000950d0 00 01 00 00 00 00 00 00 00 00 00 00 00 00 40 6e |..............@n| 000950e0 80 a3 e2 7a 76 da 45 80 17 30 09 08 49 fe b6 00 |...zv.E..0..I...| -000950f0 0f b5 3e 84 95 a6 be 00 06 64 37 00 01 0f fa 00 |..>......d7.....| -00095100 03 f1 13 00 03 ee ee 08 00 02 0c 00 90 a0 b7 a0 |................| +000950f0 0f b5 39 84 95 a6 be 00 06 64 32 00 01 0f fc 00 |..9......d2.....| +00095100 03 f1 1a 00 03 ee f4 08 00 02 0c 00 90 a0 b7 a0 |................| 00095110 90 21 78 40 9a a0 90 b0 a2 90 a0 27 4d 53 65 74 |.!x@.......'MSet| 00095120 52 42 54 a0 25 4d 53 65 74 73 a0 23 43 6f 71 40 |RBT.%MSets.#Coq@| 00095130 27 4d 61 6b 65 52 61 77 23 65 6c 74 02 00 73 d7 |'MakeRaw#elt..s.| /usr/lib64/coq/theories/Numbers/Cyclic/Int63/Int63.vo differs at offset '105409' (raw G3 data, byte-padded) --- /tmp/tmp.wqlaXR0Ce8/old.kJM 2020-06-11 00:02:55.406659085 +0000 +++ /tmp/tmp.wqlaXR0Ce8/new.fJm 2020-06-11 00:02:55.406659085 +0000 @@ -1,5 +1,5 @@ -00019bc0 cd d1 84 95 a6 be 00 05 31 fb 00 00 f3 d1 00 03 |........1.......| -00019bd0 5b a7 00 03 56 16 08 00 01 f0 00 90 a0 a9 b7 a0 |[...V...........| +00019bc0 cc 0f 84 95 a6 be 00 05 30 39 00 00 f3 6a 00 03 |........09...j..| +00019bd0 5a 57 00 03 54 c8 08 00 01 f0 00 90 a0 a9 b7 a0 |ZW..T...........| 00019be0 90 39 74 6f 5f 5a 5f 72 65 63 5f 62 6f 75 6e 64 |.9to_Z_rec_bound| 00019bf0 65 64 5f 73 75 62 70 72 6f 6f 66 40 b6 a0 90 21 |ed_subproof@...!| 00019c00 6e 40 9b a0 a0 90 b0 90 a0 29 44 61 74 61 74 79 |n@.......)Dataty| overalldiffered=1 (not bit-by-bit identical) overall=1