~/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
@@ -2095 +2095 @@
-/usr/lib64/coq/user-contrib/Stdlib/Reals/Ratan.vo 8440e3cf8ba4370e1566b214ad12c774029626c704a558f6fc9095f430428e4a 0
+/usr/lib64/coq/user-contrib/Stdlib/Reals/Ratan.vo 99c699cda1418f62ff032733c704c84c6e074ace8a583b849963dec7d3f6e748 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/Reals/Ratan.vo differs at offset '257900' (data)
--- old /usr/lib64/coq/user-contrib/Stdlib/Reals/Ratan.vo (hex)
+++ new /usr/lib64/coq/user-contrib/Stdlib/Reals/Ratan.vo (hex)
@@ -1,7 +1,7 @@
 0003ef40  fd 42 a9 05 9b 84 a0 05  9a ff 05 7d c3 05 99 97  |.B.........}....|
 0003ef50  1e 02 76 bd 5c 85 13 84  9a 7c bf b5 b7 d9 a4 42  |..v.\....|.....B|
-0003ef60  84 95 a6 be 00 00 02 88  00 00 00 49 00 00 01 48  |...........I...H|
-0003ef70  00 00 01 07 a0 a0 25 52  61 74 61 6e a0 25 52 65  |......%Ratan.%Re|
+0003ef60  84 95 a6 be 00 00 02 88  00 00 00 48 00 00 01 46  |...........H...F|
+0003ef70  00 00 01 05 a0 a0 25 52  61 74 61 6e a0 25 52 65  |......%Ratan.%Re|
 0003ef80  61 6c 73 a0 26 53 74 64  6c 69 62 40 f0 c0 09 23  |als.&Stdlib@...#|
 0003ef90  2d 00 02 8c 00 37 00 21  3d 02 02 09 50 0b fc fa  |-....7.!=...P...|
 0003efa0  01 01 29 01 3e 02 00 29  03 2d 00 04 13 01 8c 36  |..).>..).-.....6|
overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good)
overall=1