~/f/rocq-stdlib/RPMS.2 ~/f/rocq-stdlib
~/f/rocq-stdlib
RPMS.2/rocq-stdlib-9.1.0-1.1.x86_64.rpm RPMS/rocq-stdlib-9.1.0-1.1.x86_64.rpm differ: byte 225, line 1
Comparing rocq-stdlib-9.1.0-1.1.x86_64.rpm to rocq-stdlib-9.1.0-1.1.x86_64.rpm
comparing the rpm tags of rocq-stdlib
--- old-rpm-tags
+++ new-rpm-tags
@@ -2416 +2416 @@
-/usr/lib64/coq/user-contrib/Stdlib/Zmod/ZstarDef.vo a1a8dbdce91c6a1088cea9a101370c264e2de8b688e1c5e59cb9f4157c6ec032 0
+/usr/lib64/coq/user-contrib/Stdlib/Zmod/ZstarDef.vo 499deb571ad0a0109f680c94ccc140d1fea5d811f489b326cea162f5065f5e8b 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/Zmod/ZstarDef.vo differs at offset '27049' (data)
--- old /usr/lib64/coq/user-contrib/Stdlib/Zmod/ZstarDef.vo (hex)
+++ new /usr/lib64/coq/user-contrib/Stdlib/Zmod/ZstarDef.vo (hex)
@@ -1,6 +1,6 @@
 00006980  05 21 29 00 0b 37 06 28  05 15 19 37 07 27 03 01  |.!)..7.(...7.'..|
 00006990  2d 01 04 13 03 8c 14 37  08 26 02 80 29 34 14 0c  |-......7.&..)4..|
-000069a0  0c 30 24 18 18 30 a0 94  04 06 98 b0 a0 a0 40 40  |.0$..0........@@|
+000069a0  0c 30 24 18 18 30 a0 94  91 40 98 b0 a0 a0 40 40  |.0$..0...@....@@|
 000069b0  a0 41 40 40 44 c0 36 2d  00 03 8c 2a 2b 02 02 0a  |.A@@D.6-...*+...|
 000069c0  37 00 22 0b 0b 37 00 22  4a 37 01 28 06 80 23 28  |7."..7."J7.(..#(|
 000069d0  14 10 80 c0 2d 2d 00 02  8c 00 37 00 21 0a 37 01  |....--....7.!.7.|
@@ -24,10 +24,10 @@
 00006af0  09 25 04 05 36 0a 19 0b  4a 37 0b 22 37 0c 22 37  |.%..6...J7."7."7|
 00006b00  00 27 03 00 2d 01 04 13  01 8c 14 37 08 21 37 0d  |.'..-......7.!7.|
 00006b10  26 02 80 32 1c 28 1c 10  18 20 20 0c 10 10 10 0c  |&..2.(...  .....|
-00006b20  14 14 0c 0c 30 0c a0 98  b0 04 22 41 44 94 91 40  |....0....."AD..@|
+00006b20  14 14 0c 0c 30 0c a0 98  b0 04 22 41 44 94 04 26  |....0....."AD..&|
 00006b30  c0 09 33 2d 00 02 8c 00  37 00 21 0a 2d 01 19 0b  |..3-....7.!.-...|
 00006b40  37 01 21 37 02 23 0a 37  03 21 0b 37 04 21 0c 37  |7.!7.#.7.!.7.!.7|
 00006b50  01 21 37 05 25 04 05 36  06 19 0b 4a 37 07 22 37  |.!7.%..6...J7."7|
 00006b60  08 22 37 09 27 03 80 2b  18 20 0c 10 10 10 0c 14  |."7.'..+. ......|
-00006b70  14 0c 0c 90 94 04 06 c0  04 05 80 2b 18 20 0c 10  |...........+. ..|
+00006b70  14 0c 0c 90 94 04 2b c0  04 05 80 2b 18 20 0c 10  |......+....+. ..|
 00006b80
overalldiffered=1 (number of pkgs that are not bit-by-bit identical: 0 is good)
overall=1