~/f/rocq-stdlib/RPMS.2 ~/f/rocq-stdlib
~/f/rocq-stdlib
RPMS.2/rocq-stdlib-9.2.0-1.1.x86_64.rpm RPMS/rocq-stdlib-9.2.0-1.1.x86_64.rpm differ: byte 225, line 1
Comparing rocq-stdlib-9.2.0-1.1.x86_64.rpm to rocq-stdlib-9.2.0-1.1.x86_64.rpm
comparing the rpm tags of rocq-stdlib
--- old-rpm-tags
+++ new-rpm-tags
@@ -2529 +2529 @@
-/usr/lib64/coq/user-contrib/Stdlib/micromega/ZMicromega.vo 3f7e4e6fb7282d2a2f22d4b077ceca3099bdd1cd14fd50f8a73aeb314f469c50 0
+/usr/lib64/coq/user-contrib/Stdlib/micromega/ZMicromega.vo 3b468223aa2dc9ddf09356f9be6ebba56b5da102cdc404035d2bd0f32c7ec33e 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/user-contrib/Stdlib/micromega/ZMicromega.vo differs at offset '154136' (data)
--- old /usr/lib64/coq/user-contrib/Stdlib/micromega/ZMicromega.vo (hex)
+++ new /usr/lib64/coq/user-contrib/Stdlib/micromega/ZMicromega.vo (hex)
@@ -1,5 +1,5 @@
 00025a00  03 8c 2a 2b 01 36 00 0b  0b 37 01 22 37 02 27 04  |..*+.6...7."7.'.|
-00025a10  80 23 20 10 0c 90 94 91  40 c0 09 95 2e 01 00 00  |.# .....@.......|
+00025a10  80 23 20 10 0c 90 94 04  40 c0 09 95 2e 01 00 00  |.# .....@.......|
 00025a20  7b 02 8c 2c 00 2a 00 3d  04 04 0b 12 18 50 5f fc  |{..,.*.=.....P_.|
 00025a30  f8 00 01 29 01 3f 09 4a  3a 01 29 02 3e 02 01 33  |...).?.J:.).>..3|
 00025a40  26 04 3e 03 00 33 21 3d  02 02 09 50 34 fc fa 01  |&.>..3!=...P4...|
@@ -11,7 +11,7 @@
 00025aa0  09 37 04 37 06 21 3a 00  8c 36 04 37 04 37 05 27  |.7.7.!:..6.7.7.'|
 00025ab0  03 80 33 50 74 40 2c 0c  34 08 08 28 08 08 28 08  |..3Pt@,.4..(..(.|
 00025ac0  08 1c 08 18 08 08 b0 98  b0 b0 a0 41 41 a0 42 42  |...........AA.BB|
-00025ad0  a0 43 43 41 4b 98 b0 04  73 41 48 98 b0 04 75 41  |.CCAK...sAH...uA|
+00025ad0  a0 43 43 41 4b 98 b0 04  72 41 48 98 b0 04 74 41  |.CCAK...rAH...tA|
 00025ae0  46 c0 09 66 2e 01 00 00  47 03 8c 2a 2c 00 2a 2b  |F..f....G..*,.*+|
 00025af0  01 00 3d 04 04 0b 15 20  50 2a fc f8 00 02 29 02  |..=.... P*....).|
 00025b00  3f 0b 0a 37 01 22 39 01  29 03 3e 02 03 0b 33 22  |?..7."9.).>...3"|
overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good)
overall=1