~/f/coq/RPMS.2017 ~/f/coq
~/f/coq
RPMS.2017/coq-8.19.1-1.1.x86_64.rpm RPMS/coq-8.19.1-1.1.x86_64.rpm differ: byte 225, line 1
Comparing coq-8.19.1-1.1.x86_64.rpm to coq-8.19.1-1.1.x86_64.rpm
comparing the rpm tags of coq
--- old-rpm-tags
+++ new-rpm-tags
@@ -1529 +1529 @@
-/usr/bin/coqc.byte 8ab785ebcb3bcff0c1c54e3af640835d121b2942241c39b48df4e80e8edd762d 0
+/usr/bin/coqc.byte 09df1ed891814bc2f80c8610d99cfcdf6829dc35e45775d906282160a9227511 0
@@ -1537 +1537 @@
-/usr/bin/coqtop.byte f59afc940eea3f3eb0e1823c737bc345cd9f9a7f88b0b3a0fb8cd389ebb61f98 0
+/usr/bin/coqtop.byte d8b010c8d40384f36bdb46bc4293349c6a664fc88083e64ae9c5e6c42653767f 0
comparing rpmtags
comparing RELEASE
comparing PROVIDES
comparing scripts
comparing filelist
comparing file checksum
creating rename script
RPM file checksum differs.
Extracting packages
/usr/bin/coqc.byte differs at offset '37941540' (a /usr/bin/ocamlrun script executable (binary data))
--- old /usr/bin/coqc.byte (hex)
+++ new /usr/bin/coqc.byte (hex)
@@ -1,33 +1,33 @@
 0242f100  6c 74 2f 63 6c 69 62 2f  2e 63 6c 69 62 2e 6f 62  |lt/clib/.clib.ob|
 0242f110  6a 73 2f 62 79 74 65 40  00 08 c0 2c 84 95 a6 be  |js/byte@...,....|
-0242f120  00 00 3d 60 00 00 0a 66  00 00 2c bb 00 00 2c 16  |..=`...f..,...,.|
+0242f120  00 00 3d 5a 00 00 0a 63  00 00 2c b4 00 00 2c 0f  |..=Z...c..,...,.|
 0242f130  a0 08 00 00 2c 00 01 0b  80 27 43 54 68 72 65 61  |....,....'CThrea|
 0242f140  64 b0 c0 26 5f 6e 6f 6e  65 5f 40 40 00 ff 04 02  |d..&_none_@@....|
 0242f150  41 41 22 3f 3f 41 40 d0  40 40 40 40 40 b0 40 40  |AA"??A@.@@@@@.@@|
 0242f160  40 40 40 a0 08 00 00 2c  00 01 0b 48 04 09 04 08  |@@@....,...H....|
 0242f170  41 22 3f 3f 41 b0 b0 b0  b0 b0 b0 b0 b0 b0 b0 b0  |A"??A...........|
-0242f180  b0 b1 ab ab a7 b1 b2 b2  b2 b2 b2 b2 b2 b2 b2 b2  |................|
-0242f190  b2 b2 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
-0242f1a0  b1 b1 40 a3 25 61 72 72  61 79 48 08 00 00 38 00  |..@.%arrayH...8.|
-0242f1b0  a0 c0 90 40 02 05 f5 e1  00 40 4d 40 41 40 41 40  |...@.....@M@A@A@|
-0242f1c0  a0 00 7f 40 a0 40 40 40  40 04 3e 40 40 40 92 04  |...@.@@@@.>@@@..|
-0242f1d0  08 a3 24 62 6f 6f 6c 45  08 00 00 38 00 40 40 a1  |..$boolE...8.@@.|
-0242f1e0  a0 e0 a3 25 66 61 6c 73  65 5e 90 40 40 04 48 40  |...%false^.@@.H@|
-0242f1f0  92 04 03 a0 e0 a3 24 74  72 75 65 5f 90 40 40 04  |......$true_.@@.|
-0242f200  4e 40 92 04 03 40 40 41  40 40 40 40 40 04 4f 40  |N@...@@A@@@@@.O@|
-0242f210  41 40 92 04 10 a3 24 63  68 61 72 42 08 00 00 38  |A@....$charB...8|
-0242f220  00 40 40 40 41 40 40 40  40 40 04 53 40 41 40 92  |.@@@A@@@@@.S@A@.|
-0242f230  04 03 a3 23 65 78 6e 47  08 00 00 38 00 40 40 41  |...#exnG...8.@@A|
-0242f240  41 40 40 40 40 40 04 57  40 40 40 92 04 03 a3 35  |A@@@@@.W@@@....5|
-0242f250  65 78 74 65 6e 73 69 6f  6e 5f 63 6f 6e 73 74 72  |extension_constr|
-0242f260  75 63 74 6f 72 50 08 00  00 38 00 40 40 40 41 40  |uctorP...8.@@@A@|
-0242f270  40 40 40 40 04 5b 40 40  40 92 04 03 a3 25 66 6c  |@@@@.[@@@....%fl|
-0242f280  6f 61 74 44 08 00 00 38  00 40 40 40 41 40 40 40  |oatD...8.@@@A@@@|
-0242f290  40 40 04 5f 40 40 40 92  04 03 a3 2a 66 6c 6f 61  |@@._@@@....*floa|
-0242f2a0  74 61 72 72 61 79 51 08  00 00 38 00 40 40 40 41  |tarrayQ...8.@@@A|
-0242f2b0  40 40 40 40 40 04 63 40  40 40 92 04 03 a3 23 69  |@@@@@.c@@@....#i|
-0242f2c0  6e 74 41 08 00 00 38 00  40 40 40 41 40 40 40 40  |ntA...8.@@@A@@@@|
-0242f2d0  40 04 67 40 41 40 92 04  03 a3 25 69 6e 74 33 32  |@.g@A@....%int32|
-0242f2e0  4c 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |L...8.@@@A@@@@@.|
-0242f2f0  6b 40 40 40 92 04 03 a3  25 69 6e 74 36 34 4d 08  |k@@@....%int64M.|
+0242f180  b0 b1 ab a7 b1 b2 b2 b2  b2 b2 b2 b2 b2 b2 b2 b2  |................|
+0242f190  b2 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
+0242f1a0  b1 40 a3 25 61 72 72 61  79 48 08 00 00 38 00 a0  |.@.%arrayH...8..|
+0242f1b0  c0 90 40 02 05 f5 e1 00  40 4d 40 41 40 41 40 a0  |..@.....@M@A@A@.|
+0242f1c0  00 7f 40 a0 40 40 40 40  04 3d 40 40 40 92 04 08  |..@.@@@@.=@@@...|
+0242f1d0  a3 24 62 6f 6f 6c 45 08  00 00 38 00 40 40 a1 a0  |.$boolE...8.@@..|
+0242f1e0  e0 a3 25 66 61 6c 73 65  5e 90 40 40 04 47 40 92  |..%false^.@@.G@.|
+0242f1f0  04 03 a0 e0 a3 24 74 72  75 65 5f 90 40 40 04 4d  |.....$true_.@@.M|
+0242f200  40 92 04 03 40 40 41 40  40 40 40 40 04 4e 40 41  |@...@@A@@@@@.N@A|
+0242f210  40 92 04 10 a3 24 63 68  61 72 42 08 00 00 38 00  |@....$charB...8.|
+0242f220  40 40 40 41 40 40 40 40  40 04 52 40 41 40 92 04  |@@@A@@@@@.R@A@..|
+0242f230  03 a3 23 65 78 6e 47 08  00 00 38 00 40 40 41 41  |..#exnG...8.@@AA|
+0242f240  40 40 40 40 40 04 56 40  40 40 92 04 03 a3 35 65  |@@@@@.V@@@....5e|
+0242f250  78 74 65 6e 73 69 6f 6e  5f 63 6f 6e 73 74 72 75  |xtension_constru|
+0242f260  63 74 6f 72 50 08 00 00  38 00 40 40 40 41 40 40  |ctorP...8.@@@A@@|
+0242f270  40 40 40 04 5a 40 40 40  92 04 03 a3 25 66 6c 6f  |@@@.Z@@@....%flo|
+0242f280  61 74 44 08 00 00 38 00  40 40 40 41 40 40 40 40  |atD...8.@@@A@@@@|
+0242f290  40 04 5e 40 40 40 92 04  03 a3 2a 66 6c 6f 61 74  |@.^@@@....*float|
+0242f2a0  61 72 72 61 79 51 08 00  00 38 00 40 40 40 41 40  |arrayQ...8.@@@A@|
+0242f2b0  40 40 40 40 04 62 40 40  40 92 04 03 a3 23 69 6e  |@@@@.b@@@....#in|
+0242f2c0  74 41 08 00 00 38 00 40  40 40 41 40 40 40 40 40  |tA...8.@@@A@@@@@|
+0242f2d0  04 66 40 41 40 92 04 03  a3 25 69 6e 74 33 32 4c  |.f@A@....%int32L|
+0242f2e0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 6a  |...8.@@@A@@@@@.j|
+0242f2f0  40 40 40 92 04 03 a3 25  69 6e 74 36 34 4d 08 00  |@@@....%int64M..|
 0242f300
/usr/bin/coqtop.byte differs at offset '40685422' (a /usr/bin/ocamlrun script executable (binary data))
--- old /usr/bin/coqtop.byte (hex)
+++ new /usr/bin/coqtop.byte (hex)
@@ -1,33 +1,33 @@
 026ccf40  75 69 6c 64 2f 64 65 66  61 75 6c 74 2f 63 6c 69  |uild/default/cli|
 026ccf50  62 2f 2e 63 6c 69 62 2e  6f 62 6a 73 2f 62 79 74  |b/.clib.objs/byt|
-026ccf60  65 40 00 2c 96 58 84 95  a6 be 00 00 3d 60 00 00  |e@.,.X......=`..|
-026ccf70  0a 66 00 00 2c bb 00 00  2c 16 a0 08 00 00 2c 00  |.f..,...,.....,.|
+026ccf60  65 40 00 2c 96 58 84 95  a6 be 00 00 3d 5a 00 00  |e@.,.X......=Z..|
+026ccf70  0a 63 00 00 2c b4 00 00  2c 0f a0 08 00 00 2c 00  |.c..,...,.....,.|
 026ccf80  01 0b 80 27 43 54 68 72  65 61 64 b0 c0 26 5f 6e  |...'CThread..&_n|
 026ccf90  6f 6e 65 5f 40 40 00 ff  04 02 41 41 22 3f 3f 41  |one_@@....AA"??A|
 026ccfa0  40 d0 40 40 40 40 40 b0  40 40 40 40 40 a0 08 00  |@.@@@@@.@@@@@...|
 026ccfb0  00 2c 00 01 0b 48 04 09  04 08 41 22 3f 3f 41 b0  |.,...H....A"??A.|
-026ccfc0  b0 b0 b0 b0 b0 b0 b0 b0  b0 b0 b0 b1 ab ab a7 b1  |................|
-026ccfd0  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b1 b1 b1 b1  |................|
-026ccfe0  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 40 a3 25 61  |............@.%a|
-026ccff0  72 72 61 79 48 08 00 00  38 00 a0 c0 90 40 02 05  |rrayH...8....@..|
-026cd000  f5 e1 00 40 4d 40 41 40  41 40 a0 00 7f 40 a0 40  |...@M@A@A@...@.@|
-026cd010  40 40 40 04 3e 40 40 40  92 04 08 a3 24 62 6f 6f  |@@@.>@@@....$boo|
-026cd020  6c 45 08 00 00 38 00 40  40 a1 a0 e0 a3 25 66 61  |lE...8.@@....%fa|
-026cd030  6c 73 65 5e 90 40 40 04  48 40 92 04 03 a0 e0 a3  |lse^.@@.H@......|
-026cd040  24 74 72 75 65 5f 90 40  40 04 4e 40 92 04 03 40  |$true_.@@.N@...@|
-026cd050  40 41 40 40 40 40 40 04  4f 40 41 40 92 04 10 a3  |@A@@@@@.O@A@....|
-026cd060  24 63 68 61 72 42 08 00  00 38 00 40 40 40 41 40  |$charB...8.@@@A@|
-026cd070  40 40 40 40 04 53 40 41  40 92 04 03 a3 23 65 78  |@@@@.S@A@....#ex|
-026cd080  6e 47 08 00 00 38 00 40  40 41 41 40 40 40 40 40  |nG...8.@@AA@@@@@|
-026cd090  04 57 40 40 40 92 04 03  a3 35 65 78 74 65 6e 73  |.W@@@....5extens|
-026cd0a0  69 6f 6e 5f 63 6f 6e 73  74 72 75 63 74 6f 72 50  |ion_constructorP|
-026cd0b0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 5b  |...8.@@@A@@@@@.[|
-026cd0c0  40 40 40 92 04 03 a3 25  66 6c 6f 61 74 44 08 00  |@@@....%floatD..|
-026cd0d0  00 38 00 40 40 40 41 40  40 40 40 40 04 5f 40 40  |.8.@@@A@@@@@._@@|
-026cd0e0  40 92 04 03 a3 2a 66 6c  6f 61 74 61 72 72 61 79  |@....*floatarray|
-026cd0f0  51 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |Q...8.@@@A@@@@@.|
-026cd100  63 40 40 40 92 04 03 a3  23 69 6e 74 41 08 00 00  |c@@@....#intA...|
-026cd110  38 00 40 40 40 41 40 40  40 40 40 04 67 40 41 40  |8.@@@A@@@@@.g@A@|
-026cd120  92 04 03 a3 25 69 6e 74  33 32 4c 08 00 00 38 00  |....%int32L...8.|
-026cd130  40 40 40 41 40 40 40 40  40 04 6b 40 40 40 92 04  |@@@A@@@@@.k@@@..|
+026ccfc0  b0 b0 b0 b0 b0 b0 b0 b0  b0 b0 b0 b1 ab a7 b1 b2  |................|
+026ccfd0  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b1 b1 b1 b1 b1  |................|
+026ccfe0  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 40 a3 25 61 72  |...........@.%ar|
+026ccff0  72 61 79 48 08 00 00 38  00 a0 c0 90 40 02 05 f5  |rayH...8....@...|
+026cd000  e1 00 40 4d 40 41 40 41  40 a0 00 7f 40 a0 40 40  |..@M@A@A@...@.@@|
+026cd010  40 40 04 3d 40 40 40 92  04 08 a3 24 62 6f 6f 6c  |@@.=@@@....$bool|
+026cd020  45 08 00 00 38 00 40 40  a1 a0 e0 a3 25 66 61 6c  |E...8.@@....%fal|
+026cd030  73 65 5e 90 40 40 04 47  40 92 04 03 a0 e0 a3 24  |se^.@@.G@......$|
+026cd040  74 72 75 65 5f 90 40 40  04 4d 40 92 04 03 40 40  |true_.@@.M@...@@|
+026cd050  41 40 40 40 40 40 04 4e  40 41 40 92 04 10 a3 24  |A@@@@@.N@A@....$|
+026cd060  63 68 61 72 42 08 00 00  38 00 40 40 40 41 40 40  |charB...8.@@@A@@|
+026cd070  40 40 40 04 52 40 41 40  92 04 03 a3 23 65 78 6e  |@@@.R@A@....#exn|
+026cd080  47 08 00 00 38 00 40 40  41 41 40 40 40 40 40 04  |G...8.@@AA@@@@@.|
+026cd090  56 40 40 40 92 04 03 a3  35 65 78 74 65 6e 73 69  |V@@@....5extensi|
+026cd0a0  6f 6e 5f 63 6f 6e 73 74  72 75 63 74 6f 72 50 08  |on_constructorP.|
+026cd0b0  00 00 38 00 40 40 40 41  40 40 40 40 40 04 5a 40  |..8.@@@A@@@@@.Z@|
+026cd0c0  40 40 92 04 03 a3 25 66  6c 6f 61 74 44 08 00 00  |@@....%floatD...|
+026cd0d0  38 00 40 40 40 41 40 40  40 40 40 04 5e 40 40 40  |8.@@@A@@@@@.^@@@|
+026cd0e0  92 04 03 a3 2a 66 6c 6f  61 74 61 72 72 61 79 51  |....*floatarrayQ|
+026cd0f0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 62  |...8.@@@A@@@@@.b|
+026cd100  40 40 40 92 04 03 a3 23  69 6e 74 41 08 00 00 38  |@@@....#intA...8|
+026cd110  00 40 40 40 41 40 40 40  40 40 04 66 40 41 40 92  |.@@@A@@@@@.f@A@.|
+026cd120  04 03 a3 25 69 6e 74 33  32 4c 08 00 00 38 00 40  |...%int32L...8.@|
+026cd130  40 40 41 40 40 40 40 40  04 6a 40 40 40 92 04 03  |@@A@@@@@.j@@@...|
 026cd140
RPMS.2017/coq-devel-8.19.1-1.1.x86_64.rpm RPMS/coq-devel-8.19.1-1.1.x86_64.rpm differ: byte 225, line 1
Comparing coq-devel-8.19.1-1.1.x86_64.rpm to coq-devel-8.19.1-1.1.x86_64.rpm
comparing the rpm tags of coq-devel
--- old-rpm-tags
+++ new-rpm-tags
@@ -8159 +8159 @@
-/usr/lib64/coq-core/clib/cThread.cmt 04a2535259b2e581f50d1cd2c4696027220c55afde2d10e8127f8be2635aea19 0
+/usr/lib64/coq-core/clib/cThread.cmt f45b528a2185e65915230a9c065b977ea8a5ce11b03caf1468dcc6e88d519f0f 0
@@ -8171 +8171 @@
-/usr/lib64/coq-core/clib/clib.cma 5c4ebdf8e553dd4dcbcbe6b07e7baff0cace3605a2d292cfc8734cf90537adf2 0
+/usr/lib64/coq-core/clib/clib.cma f1e8eed5e0f8081c2ef606d7e178aee96ea99eb17dccd87e37ccdc72208c85b6 0
@@ -8198 +8198 @@
-/usr/lib64/coq-core/clib/hashcons.cmt c642dde18cf365c61c81a2e369f6a572765f87bfc10b272422e3ddbf97ba3ecb 0
+/usr/lib64/coq-core/clib/hashcons.cmt ef9f106e14668f084e1ea8754ea71318356bf4774533395f4775298dae00e223 0
@@ -8247 +8247 @@
-/usr/lib64/coq-core/clib/orderedType.cmti fd626d1b1c6057abbed3d475d99c8bfbb84ce961d00ca3554ebb3c11712fa0fc 0
+/usr/lib64/coq-core/clib/orderedType.cmti 27fe55dafe42394be13754d3eaae80c8ae38789e5085eddadfddcdbdaa9733e5 0
@@ -8259 +8259 @@
-/usr/lib64/coq-core/clib/predicate.cmti 6a2037b293a22e69aff626ffef2ff9003aa9bd1c401dfdf289794b392682563b 0
+/usr/lib64/coq-core/clib/predicate.cmti 5b8f097204cdd2262a09062d5a17791c1ed79cb05abf515aa04bd6ecf9b97276 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/cThread.cmt differs at offset '20' (OCaml (Version 031))
--- old /usr/lib64/coq-core/clib/cThread.cmt (hex)
+++ new /usr/lib64/coq-core/clib/cThread.cmt (hex)
@@ -1,5 +1,5 @@
 00000000  43 61 6d 6c 31 39 39 39  54 30 33 31 84 95 a6 be  |Caml1999T031....|
-00000010  00 00 b0 15 00 00 1f ff  00 00 83 98 00 00 81 23  |...............#|
+00000010  00 00 b0 0f 00 00 1f fc  00 00 83 91 00 00 81 1c  |................|
 00000020  08 00 00 3c 00 27 43 54  68 72 65 61 64 91 b0 a0  |...<.'CThread...|
 00000030  b0 a3 41 a0 08 00 00 28  00 b1 29 74 68 72 65 61  |..A....(..)threa|
 00000040  64 5f 69 63 01 01 0b 41  a0 04 02 b0 c0 2f 63 6c  |d_ic...A...../cl|
@@ -13,21 +13,21 @@
 000000c0  41 90 d0 b3 04 0d a0 90  04 0b b0 c0 04 17 4b 01  |A.............K.|
 000000d0  02 a4 01 02 b5 04 09 40  40 04 13 08 00 00 30 00  |.......@@.....0.|
 000000e0  a0 40 40 04 01 04 01 04  01 04 01 04 01 04 01 04  |.@@.............|
-000000f0  01 40 b1 ab ab a7 b1 b2  b2 b2 b2 b2 b2 b2 b2 b2  |.@..............|
-00000100  b2 b2 b2 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
-00000110  b1 b1 b1 40 a3 25 61 72  72 61 79 48 08 00 00 38  |...@.%arrayH...8|
-00000120  00 a0 c0 90 40 02 05 f5  e1 00 40 4d 40 41 40 41  |....@.....@M@A@A|
-00000130  40 a0 00 7f 40 a0 40 40  40 40 b0 c0 26 5f 6e 6f  |@...@.@@@@..&_no|
-00000140  6e 65 5f 40 40 00 ff 04  02 41 40 40 40 92 04 0b  |ne_@@....A@@@...|
-00000150  a3 24 62 6f 6f 6c 45 08  00 00 38 00 40 40 a1 a0  |.$boolE...8.@@..|
-00000160  e0 a3 25 66 61 6c 73 65  5e 90 40 40 04 0d 40 92  |..%false^.@@..@.|
-00000170  04 03 a0 e0 a3 24 74 72  75 65 5f 90 40 40 04 13  |.....$true_.@@..|
-00000180  40 92 04 03 40 40 41 40  40 40 40 40 04 14 40 41  |@...@@A@@@@@..@A|
-00000190  40 92 04 10 a3 24 63 68  61 72 42 08 00 00 38 00  |@....$charB...8.|
-000001a0  40 40 40 41 40 40 40 40  40 04 18 40 41 40 92 04  |@@@A@@@@@..@A@..|
-000001b0  03 a3 23 65 78 6e 47 08  00 00 38 00 40 40 41 41  |..#exnG...8.@@AA|
-000001c0  40 40 40 40 40 04 1c 40  40 40 92 04 03 a3 35 65  |@@@@@..@@@....5e|
-000001d0  78 74 65 6e 73 69 6f 6e  5f 63 6f 6e 73 74 72 75  |xtension_constru|
-000001e0  63 74 6f 72 50 08 00 00  38 00 40 40 40 41 40 40  |ctorP...8.@@@A@@|
-000001f0  40 40 40 04 20 40 40 40  92 04 03 a3 25 66 6c 6f  |@@@. @@@....%flo|
+000000f0  01 40 b1 ab a7 b1 b2 b2  b2 b2 b2 b2 b2 b2 b2 b2  |.@..............|
+00000100  b2 b2 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
+00000110  b1 b1 40 a3 25 61 72 72  61 79 48 08 00 00 38 00  |..@.%arrayH...8.|
+00000120  a0 c0 90 40 02 05 f5 e1  00 40 4d 40 41 40 41 40  |...@.....@M@A@A@|
+00000130  a0 00 7f 40 a0 40 40 40  40 b0 c0 26 5f 6e 6f 6e  |...@.@@@@..&_non|
+00000140  65 5f 40 40 00 ff 04 02  41 40 40 40 92 04 0b a3  |e_@@....A@@@....|
+00000150  24 62 6f 6f 6c 45 08 00  00 38 00 40 40 a1 a0 e0  |$boolE...8.@@...|
+00000160  a3 25 66 61 6c 73 65 5e  90 40 40 04 0d 40 92 04  |.%false^.@@..@..|
+00000170  03 a0 e0 a3 24 74 72 75  65 5f 90 40 40 04 13 40  |....$true_.@@..@|
+00000180  92 04 03 40 40 41 40 40  40 40 40 04 14 40 41 40  |...@@A@@@@@..@A@|
+00000190  92 04 10 a3 24 63 68 61  72 42 08 00 00 38 00 40  |....$charB...8.@|
+000001a0  40 40 41 40 40 40 40 40  04 18 40 41 40 92 04 03  |@@A@@@@@..@A@...|
+000001b0  a3 23 65 78 6e 47 08 00  00 38 00 40 40 41 41 40  |.#exnG...8.@@AA@|
+000001c0  40 40 40 40 04 1c 40 40  40 92 04 03 a3 35 65 78  |@@@@..@@@....5ex|
+000001d0  74 65 6e 73 69 6f 6e 5f  63 6f 6e 73 74 72 75 63  |tension_construc|
+000001e0  74 6f 72 50 08 00 00 38  00 40 40 40 41 40 40 40  |torP...8.@@@A@@@|
+000001f0  40 40 04 20 40 40 40 92  04 03 a3 25 66 6c 6f 61  |@@. @@@....%floa|
 00000200
/usr/lib64/coq-core/clib/clib.cma differs at offset '16' (OCaml library file (.cma) (Version 031))
--- old /usr/lib64/coq-core/clib/clib.cma (hex)
+++ new /usr/lib64/coq-core/clib/clib.cma (hex)
@@ -1,4 +1,4 @@
-00000000  43 61 6d 6c 31 39 39 39  41 30 33 31 00 13 29 75  |Caml1999A031..)u|
+00000000  43 61 6d 6c 31 39 39 39  41 30 33 31 00 13 29 77  |Caml1999A031..)w|
 00000010  54 00 00 00 9e 01 00 00  29 00 00 00 2a 00 00 00  |T.......)...*...|
 00000020  01 00 00 00 01 00 00 00  0b 00 00 00 1b 00 00 00  |................|
 00000030  22 00 00 00 0a 00 00 00  47 00 00 00 08 00 00 00  |".......G.......|
/usr/lib64/coq-core/clib/hashcons.cmt differs at offset '20' (OCaml (Version 031))
--- old /usr/lib64/coq-core/clib/hashcons.cmt (hex)
+++ new /usr/lib64/coq-core/clib/hashcons.cmt (hex)
@@ -1,5 +1,5 @@
 00000000  43 61 6d 6c 31 39 39 39  54 30 33 31 84 95 a6 be  |Caml1999T031....|
-00000010  00 00 9c 98 00 00 1a e1  00 00 71 20 00 00 6e f0  |..........q ..n.|
+00000010  00 00 9c 9e 00 00 1a e4  00 00 71 27 00 00 6e f7  |..........q'..n.|
 00000020  08 00 00 3c 00 28 48 61  73 68 63 6f 6e 73 91 b0  |...<.(Hashcons..|
 00000030  a0 b0 98 d0 b1 2e 48 61  73 68 63 6f 6e 73 65 64  |......Hashconsed|
 00000040  54 79 70 65 01 01 10 43  a0 04 02 b0 c0 30 63 6c  |Type...C.....0cl|
@@ -12,22 +12,22 @@
 000000b0  14 5b 01 05 31 01 05 35  04 04 40 40 40 40 a1 04  |.[..1..5..@@@@..|
 000000c0  21 40 40 40 41 40 04 03  40 40 08 00 00 30 00 a0  |!@@@A@..@@...0..|
 000000d0  40 40 04 01 04 01 04 01  04 01 04 01 04 01 04 01  |@@..............|
-000000e0  40 ab a7 b1 b2 b2 b2 b2  b2 b2 b2 b2 b2 b2 b2 b2  |@...............|
-000000f0  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
-00000100  40 a3 25 61 72 72 61 79  48 08 00 00 38 00 a0 c0  |@.%arrayH...8...|
-00000110  90 40 02 05 f5 e1 00 40  4d 40 41 40 41 40 a0 00  |.@.....@M@A@A@..|
-00000120  7f 40 a0 40 40 40 40 b0  c0 26 5f 6e 6f 6e 65 5f  |.@.@@@@..&_none_|
-00000130  40 40 00 ff 04 02 41 40  40 40 92 04 0b a3 24 62  |@@....A@@@....$b|
-00000140  6f 6f 6c 45 08 00 00 38  00 40 40 a1 a0 e0 a3 25  |oolE...8.@@....%|
-00000150  66 61 6c 73 65 5e 90 40  40 04 0d 40 92 04 03 a0  |false^.@@..@....|
-00000160  e0 a3 24 74 72 75 65 5f  90 40 40 04 13 40 92 04  |..$true_.@@..@..|
-00000170  03 40 40 41 40 40 40 40  40 04 14 40 41 40 92 04  |.@@A@@@@@..@A@..|
-00000180  10 a3 24 63 68 61 72 42  08 00 00 38 00 40 40 40  |..$charB...8.@@@|
-00000190  41 40 40 40 40 40 04 18  40 41 40 92 04 03 a3 23  |A@@@@@..@A@....#|
-000001a0  65 78 6e 47 08 00 00 38  00 40 40 41 41 40 40 40  |exnG...8.@@AA@@@|
-000001b0  40 40 04 1c 40 40 40 92  04 03 a3 35 65 78 74 65  |@@..@@@....5exte|
-000001c0  6e 73 69 6f 6e 5f 63 6f  6e 73 74 72 75 63 74 6f  |nsion_constructo|
-000001d0  72 50 08 00 00 38 00 40  40 40 41 40 40 40 40 40  |rP...8.@@@A@@@@@|
-000001e0  04 20 40 40 40 92 04 03  a3 25 66 6c 6f 61 74 44  |. @@@....%floatD|
-000001f0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 24  |...8.@@@A@@@@@.$|
+000000e0  40 ab ab a7 b1 b2 b2 b2  b2 b2 b2 b2 b2 b2 b2 b2  |@...............|
+000000f0  b2 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
+00000100  b1 40 a3 25 61 72 72 61  79 48 08 00 00 38 00 a0  |.@.%arrayH...8..|
+00000110  c0 90 40 02 05 f5 e1 00  40 4d 40 41 40 41 40 a0  |..@.....@M@A@A@.|
+00000120  00 7f 40 a0 40 40 40 40  b0 c0 26 5f 6e 6f 6e 65  |..@.@@@@..&_none|
+00000130  5f 40 40 00 ff 04 02 41  40 40 40 92 04 0b a3 24  |_@@....A@@@....$|
+00000140  62 6f 6f 6c 45 08 00 00  38 00 40 40 a1 a0 e0 a3  |boolE...8.@@....|
+00000150  25 66 61 6c 73 65 5e 90  40 40 04 0d 40 92 04 03  |%false^.@@..@...|
+00000160  a0 e0 a3 24 74 72 75 65  5f 90 40 40 04 13 40 92  |...$true_.@@..@.|
+00000170  04 03 40 40 41 40 40 40  40 40 04 14 40 41 40 92  |..@@A@@@@@..@A@.|
+00000180  04 10 a3 24 63 68 61 72  42 08 00 00 38 00 40 40  |...$charB...8.@@|
+00000190  40 41 40 40 40 40 40 04  18 40 41 40 92 04 03 a3  |@A@@@@@..@A@....|
+000001a0  23 65 78 6e 47 08 00 00  38 00 40 40 41 41 40 40  |#exnG...8.@@AA@@|
+000001b0  40 40 40 04 1c 40 40 40  92 04 03 a3 35 65 78 74  |@@@..@@@....5ext|
+000001c0  65 6e 73 69 6f 6e 5f 63  6f 6e 73 74 72 75 63 74  |ension_construct|
+000001d0  6f 72 50 08 00 00 38 00  40 40 40 41 40 40 40 40  |orP...8.@@@A@@@@|
+000001e0  40 04 20 40 40 40 92 04  03 a3 25 66 6c 6f 61 74  |@. @@@....%float|
+000001f0  44 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |D...8.@@@A@@@@@.|
 00000200
/usr/lib64/coq-core/clib/orderedType.cmti differs at offset '943' (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 04 00 00 00 02 00  |..@.............|
 00000390  00 00 05 00 00 00 05 a0  90 40 40 43 61 6d 6c 31  |.........@@Caml1|
-000003a0  39 39 39 54 30 33 31 84  95 a6 be 00 00 15 a7 00  |999T031.........|
-000003b0  00 03 97 00 00 0f 4e 00  00 0e 9e 08 00 00 3c 00  |......N.......<.|
+000003a0  39 39 39 54 30 33 31 84  95 a6 be 00 00 15 b0 00  |999T031.........|
+000003b0  00 03 9a 00 00 0f 56 00  00 0e a5 08 00 00 3c 00  |......V.......<.|
 000003c0  2b 4f 72 64 65 72 65 64  54 79 70 65 92 b0 a0 b0  |+OrderedType....|
 000003d0  98 d0 b1 21 53 01 01 0d  42 a0 04 02 b0 c0 34 63  |...!S...B.....4c|
 000003e0  6c 69 62 2f 6f 72 64 65  72 65 64 54 79 70 65 2e  |lib/orderedType.|
@@ -13,21 +13,21 @@
 00000440  40 40 b0 c0 04 14 4d 01  02 b8 01 02 ba 04 04 40  |@@....M........@|
 00000450  40 40 40 a1 04 21 40 40  40 41 40 04 03 40 40 08  |@@@..!@@@A@..@@.|
 00000460  00 00 30 00 a0 40 40 04  01 04 01 04 01 04 01 04  |..0..@@.........|
-00000470  01 04 01 04 01 40 ab a7  b1 b2 b2 b2 b2 b2 b2 b2  |.....@..........|
-00000480  b2 b2 b2 b2 b2 b1 b1 b1  b1 b1 b1 b1 b1 b1 b1 b1  |................|
-00000490  b1 b1 b1 b1 b1 40 a3 25  61 72 72 61 79 48 08 00  |.....@.%arrayH..|
-000004a0  00 38 00 a0 c0 90 40 02  05 f5 e1 00 40 4d 40 41  |.8....@.....@M@A|
-000004b0  40 41 40 a0 00 7f 40 a0  40 40 40 40 b0 c0 26 5f  |@A@...@.@@@@..&_|
-000004c0  6e 6f 6e 65 5f 40 40 00  ff 04 02 41 40 40 40 92  |none_@@....A@@@.|
-000004d0  04 0b a3 24 62 6f 6f 6c  45 08 00 00 38 00 40 40  |...$boolE...8.@@|
-000004e0  a1 a0 e0 a3 25 66 61 6c  73 65 5e 90 40 40 04 0d  |....%false^.@@..|
-000004f0  40 92 04 03 a0 e0 a3 24  74 72 75 65 5f 90 40 40  |@......$true_.@@|
-00000500  04 13 40 92 04 03 40 40  41 40 40 40 40 40 04 14  |..@...@@A@@@@@..|
-00000510  40 41 40 92 04 10 a3 24  63 68 61 72 42 08 00 00  |@A@....$charB...|
-00000520  38 00 40 40 40 41 40 40  40 40 40 04 18 40 41 40  |8.@@@A@@@@@..@A@|
-00000530  92 04 03 a3 23 65 78 6e  47 08 00 00 38 00 40 40  |....#exnG...8.@@|
-00000540  41 41 40 40 40 40 40 04  1c 40 40 40 92 04 03 a3  |AA@@@@@..@@@....|
-00000550  35 65 78 74 65 6e 73 69  6f 6e 5f 63 6f 6e 73 74  |5extension_const|
-00000560  72 75 63 74 6f 72 50 08  00 00 38 00 40 40 40 41  |ructorP...8.@@@A|
-00000570  40 40 40 40 40 04 20 40  40 40 92 04 03 a3 25 66  |@@@@@. @@@....%f|
+00000470  01 04 01 04 01 40 ab ab  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@@@@@. @@@....%|
 00000580
/usr/lib64/coq-core/clib/predicate.cmti differs at offset '3597' (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 54 30 33 31 84 95 a6  be 00 00 3e 4a 00 00 09  |9T031......>J...|
-00000e10  14 00 00 27 f9 00 00 25  ab 08 00 00 3c 00 29 50  |...'...%....<.)P|
+00000e00  39 54 30 33 31 84 95 a6  be 00 00 3e 53 00 00 09  |9T031......>S...|
+00000e10  17 00 00 28 01 00 00 25  b2 08 00 00 3c 00 29 50  |...(...%....<.)P|
 00000e20  72 65 64 69 63 61 74 65  92 b0 a0 b0 9e b0 a0 2a  |redicate.......*|
 00000e30  6f 63 61 6d 6c 2e 74 65  78 74 b0 c0 26 5f 6e 6f  |ocaml.text..&_no|
 00000e40  6e 65 5f 40 40 00 ff 04  02 41 90 a0 a0 a0 c0 91  |ne_@@....A......|
@@ -14,20 +14,20 @@
 00000ed0  70 72 65 64 69 63 61 74  65 2e 6d 6c 69 41 40 40  |predicate.mliA@@|
 00000ee0  c0 04 02 44 00 77 00 7a  40 40 04 04 40 40 40 04  |...D.w.z@@..@@@.|
 00000ef0  04 40 04 04 08 00 00 30  00 a0 40 40 04 01 04 01  |.@.....0..@@....|
-00000f00  04 01 04 01 04 01 04 01  04 01 40 ab a7 b1 b2 b2  |..........@.....|
-00000f10  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b1 b1 b1 b1 b1 b1  |................|
-00000f20  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 40 a3 25 61 72 72  |..........@.%arr|
-00000f30  61 79 48 08 00 00 38 00  a0 c0 90 40 02 05 f5 e1  |ayH...8....@....|
-00000f40  00 40 4d 40 41 40 41 40  a0 00 7f 40 a0 40 40 40  |.@M@A@A@...@.@@@|
-00000f50  40 04 38 40 40 40 92 04  08 a3 24 62 6f 6f 6c 45  |@.8@@@....$boolE|
-00000f60  08 00 00 38 00 40 40 a1  a0 e0 a3 25 66 61 6c 73  |...8.@@....%fals|
-00000f70  65 5e 90 40 40 04 42 40  92 04 03 a0 e0 a3 24 74  |e^.@@.B@......$t|
-00000f80  72 75 65 5f 90 40 40 04  48 40 92 04 03 40 40 41  |rue_.@@.H@...@@A|
-00000f90  40 40 40 40 40 04 49 40  41 40 92 04 10 a3 24 63  |@@@@@.I@A@....$c|
-00000fa0  68 61 72 42 08 00 00 38  00 40 40 40 41 40 40 40  |harB...8.@@@A@@@|
-00000fb0  40 40 04 4d 40 41 40 92  04 03 a3 23 65 78 6e 47  |@@.M@A@....#exnG|
-00000fc0  08 00 00 38 00 40 40 41  41 40 40 40 40 40 04 51  |...8.@@AA@@@@@.Q|
-00000fd0  40 40 40 92 04 03 a3 35  65 78 74 65 6e 73 69 6f  |@@@....5extensio|
-00000fe0  6e 5f 63 6f 6e 73 74 72  75 63 74 6f 72 50 08 00  |n_constructorP..|
-00000ff0  00 38 00 40 40 40 41 40  40 40 40 40 04 55 40 40  |.8.@@@A@@@@@.U@@|
+00000f00  04 01 04 01 04 01 04 01  04 01 40 ab ab 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 39 40 40 40 92  04 08 a3 24 62 6f 6f 6c  |@@.9@@@....$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 43  40 92 04 03 a0 e0 a3 24  |se^.@@.C@......$|
+00000f80  74 72 75 65 5f 90 40 40  04 49 40 92 04 03 40 40  |true_.@@.I@...@@|
+00000f90  41 40 40 40 40 40 04 4a  40 41 40 92 04 10 a3 24  |A@@@@@.J@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 4e 40 41 40  92 04 03 a3 23 65 78 6e  |@@@.N@A@....#exn|
+00000fc0  47 08 00 00 38 00 40 40  41 41 40 40 40 40 40 04  |G...8.@@AA@@@@@.|
+00000fd0  52 40 40 40 92 04 03 a3  35 65 78 74 65 6e 73 69  |R@@@....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 56 40  |..8.@@@A@@@@@.V@|
 00001000
RPMS.2017/coq-ide-8.19.1-1.1.x86_64.rpm RPMS/coq-ide-8.19.1-1.1.x86_64.rpm differ: byte 225, line 1
Comparing coq-ide-8.19.1-1.1.x86_64.rpm to coq-ide-8.19.1-1.1.x86_64.rpm
comparing the rpm tags of coq-ide
--- old-rpm-tags
+++ new-rpm-tags
@@ -132 +132 @@
-/usr/bin/coqidetop.byte 2bddbfe80178ed91d8f64190e8ea79cc855c37973b7a4544f6f6bc5745708f8b 0
+/usr/bin/coqidetop.byte c5dcf8dde516ca1a42ffa52750f32767c791716f81b3f5a34d72e2fd33c212e4 0
comparing rpmtags
comparing RELEASE
comparing PROVIDES
comparing scripts
comparing filelist
comparing file checksum
creating rename script
RPM file checksum differs.
Extracting packages
/usr/bin/coqidetop.byte differs at offset '38505871' (a /usr/bin/ocamlrun script executable (binary data))
--- old /usr/bin/coqidetop.byte (hex)
+++ new /usr/bin/coqidetop.byte (hex)
@@ -1,33 +1,33 @@
-024b8d80  74 65 40 00 08 c0 2c 84  95 a6 be 00 00 3d 60 00  |te@...,......=`.|
-024b8d90  00 0a 66 00 00 2c bb 00  00 2c 16 a0 08 00 00 2c  |..f..,...,.....,|
+024b8d80  74 65 40 00 08 c0 2c 84  95 a6 be 00 00 3d 5a 00  |te@...,......=Z.|
+024b8d90  00 0a 63 00 00 2c b4 00  00 2c 0f a0 08 00 00 2c  |..c..,...,.....,|
 024b8da0  00 01 0b 80 27 43 54 68  72 65 61 64 b0 c0 26 5f  |....'CThread..&_|
 024b8db0  6e 6f 6e 65 5f 40 40 00  ff 04 02 41 41 22 3f 3f  |none_@@....AA"??|
 024b8dc0  41 40 d0 40 40 40 40 40  b0 40 40 40 40 40 a0 08  |A@.@@@@@.@@@@@..|
 024b8dd0  00 00 2c 00 01 0b 48 04  09 04 08 41 22 3f 3f 41  |..,...H....A"??A|
-024b8de0  b0 b0 b0 b0 b0 b0 b0 b0  b0 b0 b0 b0 b1 ab ab a7  |................|
-024b8df0  b1 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b2 b1 b1 b1  |................|
-024b8e00  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 b1 40 a3 25  |.............@.%|
-024b8e10  61 72 72 61 79 48 08 00  00 38 00 a0 c0 90 40 02  |arrayH...8....@.|
-024b8e20  05 f5 e1 00 40 4d 40 41  40 41 40 a0 00 7f 40 a0  |....@M@A@A@...@.|
-024b8e30  40 40 40 40 04 3e 40 40  40 92 04 08 a3 24 62 6f  |@@@@.>@@@....$bo|
-024b8e40  6f 6c 45 08 00 00 38 00  40 40 a1 a0 e0 a3 25 66  |olE...8.@@....%f|
-024b8e50  61 6c 73 65 5e 90 40 40  04 48 40 92 04 03 a0 e0  |alse^.@@.H@.....|
-024b8e60  a3 24 74 72 75 65 5f 90  40 40 04 4e 40 92 04 03  |.$true_.@@.N@...|
-024b8e70  40 40 41 40 40 40 40 40  04 4f 40 41 40 92 04 10  |@@A@@@@@.O@A@...|
-024b8e80  a3 24 63 68 61 72 42 08  00 00 38 00 40 40 40 41  |.$charB...8.@@@A|
-024b8e90  40 40 40 40 40 04 53 40  41 40 92 04 03 a3 23 65  |@@@@@.S@A@....#e|
-024b8ea0  78 6e 47 08 00 00 38 00  40 40 41 41 40 40 40 40  |xnG...8.@@AA@@@@|
-024b8eb0  40 04 57 40 40 40 92 04  03 a3 35 65 78 74 65 6e  |@.W@@@....5exten|
-024b8ec0  73 69 6f 6e 5f 63 6f 6e  73 74 72 75 63 74 6f 72  |sion_constructor|
-024b8ed0  50 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |P...8.@@@A@@@@@.|
-024b8ee0  5b 40 40 40 92 04 03 a3  25 66 6c 6f 61 74 44 08  |[@@@....%floatD.|
-024b8ef0  00 00 38 00 40 40 40 41  40 40 40 40 40 04 5f 40  |..8.@@@A@@@@@._@|
-024b8f00  40 40 92 04 03 a3 2a 66  6c 6f 61 74 61 72 72 61  |@@....*floatarra|
-024b8f10  79 51 08 00 00 38 00 40  40 40 41 40 40 40 40 40  |yQ...8.@@@A@@@@@|
-024b8f20  04 63 40 40 40 92 04 03  a3 23 69 6e 74 41 08 00  |.c@@@....#intA..|
-024b8f30  00 38 00 40 40 40 41 40  40 40 40 40 04 67 40 41  |.8.@@@A@@@@@.g@A|
-024b8f40  40 92 04 03 a3 25 69 6e  74 33 32 4c 08 00 00 38  |@....%int32L...8|
-024b8f50  00 40 40 40 41 40 40 40  40 40 04 6b 40 40 40 92  |.@@@A@@@@@.k@@@.|
-024b8f60  04 03 a3 25 69 6e 74 36  34 4d 08 00 00 38 00 40  |...%int64M...8.@|
-024b8f70  40 40 41 40 40 40 40 40  04 6f 40 40 40 92 04 03  |@@A@@@@@.o@@@...|
+024b8de0  b0 b0 b0 b0 b0 b0 b0 b0  b0 b0 b0 b0 b1 ab a7 b1  |................|
+024b8df0  b2 b2 b2 b2 b2 b2 b2 b2  b2 b2 b2 b2 b1 b1 b1 b1  |................|
+024b8e00  b1 b1 b1 b1 b1 b1 b1 b1  b1 b1 b1 b1 40 a3 25 61  |............@.%a|
+024b8e10  72 72 61 79 48 08 00 00  38 00 a0 c0 90 40 02 05  |rrayH...8....@..|
+024b8e20  f5 e1 00 40 4d 40 41 40  41 40 a0 00 7f 40 a0 40  |...@M@A@A@...@.@|
+024b8e30  40 40 40 04 3d 40 40 40  92 04 08 a3 24 62 6f 6f  |@@@.=@@@....$boo|
+024b8e40  6c 45 08 00 00 38 00 40  40 a1 a0 e0 a3 25 66 61  |lE...8.@@....%fa|
+024b8e50  6c 73 65 5e 90 40 40 04  47 40 92 04 03 a0 e0 a3  |lse^.@@.G@......|
+024b8e60  24 74 72 75 65 5f 90 40  40 04 4d 40 92 04 03 40  |$true_.@@.M@...@|
+024b8e70  40 41 40 40 40 40 40 04  4e 40 41 40 92 04 10 a3  |@A@@@@@.N@A@....|
+024b8e80  24 63 68 61 72 42 08 00  00 38 00 40 40 40 41 40  |$charB...8.@@@A@|
+024b8e90  40 40 40 40 04 52 40 41  40 92 04 03 a3 23 65 78  |@@@@.R@A@....#ex|
+024b8ea0  6e 47 08 00 00 38 00 40  40 41 41 40 40 40 40 40  |nG...8.@@AA@@@@@|
+024b8eb0  04 56 40 40 40 92 04 03  a3 35 65 78 74 65 6e 73  |.V@@@....5extens|
+024b8ec0  69 6f 6e 5f 63 6f 6e 73  74 72 75 63 74 6f 72 50  |ion_constructorP|
+024b8ed0  08 00 00 38 00 40 40 40  41 40 40 40 40 40 04 5a  |...8.@@@A@@@@@.Z|
+024b8ee0  40 40 40 92 04 03 a3 25  66 6c 6f 61 74 44 08 00  |@@@....%floatD..|
+024b8ef0  00 38 00 40 40 40 41 40  40 40 40 40 04 5e 40 40  |.8.@@@A@@@@@.^@@|
+024b8f00  40 92 04 03 a3 2a 66 6c  6f 61 74 61 72 72 61 79  |@....*floatarray|
+024b8f10  51 08 00 00 38 00 40 40  40 41 40 40 40 40 40 04  |Q...8.@@@A@@@@@.|
+024b8f20  62 40 40 40 92 04 03 a3  23 69 6e 74 41 08 00 00  |b@@@....#intA...|
+024b8f30  38 00 40 40 40 41 40 40  40 40 40 04 66 40 41 40  |8.@@@A@@@@@.f@A@|
+024b8f40  92 04 03 a3 25 69 6e 74  33 32 4c 08 00 00 38 00  |....%int32L...8.|
+024b8f50  40 40 40 41 40 40 40 40  40 04 6a 40 40 40 92 04  |@@@A@@@@@.j@@@..|
+024b8f60  03 a3 25 69 6e 74 36 34  4d 08 00 00 38 00 40 40  |..%int64M...8.@@|
+024b8f70  40 41 40 40 40 40 40 04  6e 40 40 40 92 04 03 a3  |@A@@@@@.n@@@....|
 024b8f80
overalldiffered=3 (number of pkgs that are not bit-by-bit identical: 0 is good)
overall=1