--- /srv/rebuilderd/tmp/rebuilderdIjkhxO/inputs/libcoq-mathcomp-character_2.3.0-1+b15_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdIjkhxO/out/libcoq-mathcomp-character_2.3.0-1+b15_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 05:10:54.000000 debian-binary │ -rw-r--r-- 0 0 0 1900 2025-12-28 05:10:54.000000 control.tar.xz │ --rw-r--r-- 0 0 0 4284448 2025-12-28 05:10:54.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 4286668 2025-12-28 05:10:54.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -3,15 +3,15 @@ │ │ │ Version: 2.3.0-1+b15 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 15355 │ │ │ Depends: libcoq-mathcomp-field (= 2.3.0-1+b15), libcoq-hierarchy-builder-zvtm8, libcoq-stdlib-vm656 │ │ │ Breaks: libssreflect-coq (<= 2.3.0-1+b15) │ │ │ Replaces: libssreflect-coq │ │ │ -Provides: libcoq-mathcomp-character-6h632 │ │ │ +Provides: libcoq-mathcomp-character-4b800 │ │ │ Section: math │ │ │ Priority: optional │ │ │ Homepage: https://math-comp.github.io/math-comp/ │ │ │ Description: Mathematical Components library for Coq (character) │ │ │ The Mathematical Components Library is an extensive and coherent │ │ │ repository of formalized mathematical theories. It is based on the │ │ │ Coq proof assistant, powered with the Coq/SSReflect language. │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/all_character.vo │ │ │ @@ -2,45 +2,45 @@ │ │ │ 00000010: 8495 a6be 0000 0156 0000 003f 0000 00e0 .......V...?.... │ │ │ 00000020: 0000 00be c0a0 2d61 6c6c 5f63 6861 7261 ......-all_chara │ │ │ 00000030: 6374 6572 a029 6368 6172 6163 7465 72a0 cter.)character. │ │ │ 00000040: 286d 6174 6863 6f6d 7040 e0a0 a027 5072 (mathcomp@...'Pr │ │ │ 00000050: 656c 7564 65a0 2449 6e69 74a0 2343 6f71 elude.$Init.#Coq │ │ │ 00000060: 4090 3088 2d00 7939 19c0 98cf c327 24e3 @.0.-.y9.....'$. │ │ │ 00000070: 883a 76a0 a029 6368 6172 6163 7465 72a0 .:v..)character. │ │ │ -00000080: 0402 a028 6d61 7468 636f 6d70 4090 30b6 ...(mathcomp@.0. │ │ │ -00000090: bcf4 4f5a 3e20 8761 d128 1484 1b6d 77a0 ..OZ> .a.(...mw. │ │ │ +00000080: 0402 a028 6d61 7468 636f 6d70 4090 30d5 ...(mathcomp@.0. │ │ │ +00000090: 2f80 b227 b7d5 639b 1c83 0b25 c757 cfa0 /..'..c....%.W.. │ │ │ 000000a0: a027 696e 6572 7469 61a0 2963 6861 7261 .'inertia.)chara │ │ │ 000000b0: 6374 6572 a028 6d61 7468 636f 6d70 4090 cter.(mathcomp@. │ │ │ -000000c0: 3002 f6e1 4464 a2ff efd8 da56 e9e7 fe76 0...Dd.....V...v │ │ │ -000000d0: 3aa0 a02d 696e 7465 6772 616c 5f63 6861 :..-integral_cha │ │ │ +000000c0: 30b0 6484 bd01 0d43 59d8 9fd8 23b6 c3d7 0.d....CY...#... │ │ │ +000000d0: d3a0 a02d 696e 7465 6772 616c 5f63 6861 ...-integral_cha │ │ │ 000000e0: 72a0 2963 6861 7261 6374 6572 a028 6d61 r.)character.(ma │ │ │ -000000f0: 7468 636f 6d70 4090 308f a9bf 17a3 a5ec thcomp@.0....... │ │ │ -00000100: 07d3 41a7 5df2 80a5 a0a0 a028 6d78 6162 ..A.]......(mxab │ │ │ +000000f0: 7468 636f 6d70 4090 30e0 8c3c f94f 7ed0 thcomp@.0..<.O~. │ │ │ +00000100: 14e2 8680 1f33 fd71 fda0 a028 6d78 6162 .....3.q...(mxab │ │ │ 00000110: 656c 656d a029 6368 6172 6163 7465 72a0 elem.)character. │ │ │ -00000120: 286d 6174 6863 6f6d 7040 9030 22e8 90ce (mathcomp@.0"... │ │ │ -00000130: 42d2 7822 e18e 32ca 20fa 4e6c a0a0 2a76 B.x"..2. .Nl..*v │ │ │ +00000120: 286d 6174 6863 6f6d 7040 9030 0763 9653 (mathcomp@.0.c.S │ │ │ +00000130: 7605 e547 167a 33c9 efb8 bca1 a0a0 2a76 v..G.z3.......*v │ │ │ 00000140: 6368 6172 6163 7465 72a0 2963 6861 7261 character.)chara │ │ │ 00000150: 6374 6572 a028 6d61 7468 636f 6d70 4090 cter.(mathcomp@. │ │ │ -00000160: 30b4 d55b 697f 638b 1f5a e6cc 7577 7bf1 0..[i.c..Z..uw{. │ │ │ -00000170: 8825 352e 342e 30a0 4040 5832 2ecd b714 .%5.4.0.@@X2.... │ │ │ -00000180: 98ad 41a2 74c9 16c3 c5dc 8495 a6be 0000 ..A.t........... │ │ │ +00000160: 30bb fdf4 c0fa 31fc 64e2 4056 e947 fda2 0.....1.d.@V.G.. │ │ │ +00000170: dc25 352e 342e 30a0 4040 f1a2 c3b8 d507 .%5.4.0.@@...... │ │ │ +00000180: 7167 64a7 d2cf 2e43 b4da 8495 a6be 0000 qgd....C........ │ │ │ 00000190: 01dd 0000 009c 0000 01d0 0000 01b5 b0d0 ................ │ │ │ 000001a0: a02d 616c 6c5f 6368 6172 6163 7465 72a0 .-all_character. │ │ │ 000001b0: 2963 6861 7261 6374 6572 a028 6d61 7468 )character.(math │ │ │ 000001c0: 636f 6d70 40e0 9004 0841 9040 40a0 4040 comp@....A.@@.@@ │ │ │ 000001d0: 9040 a040 40b0 a0a0 2769 6e65 7274 6961 .@.@@...'inertia │ │ │ 000001e0: a029 6368 6172 6163 7465 72a0 286d 6174 .)character.(mat │ │ │ -000001f0: 6863 6f6d 7040 9030 02f6 e144 64a2 ffef hcomp@.0...Dd... │ │ │ -00000200: d8da 56e9 e7fe 763a a0a0 286d 7861 6265 ..V...v:..(mxabe │ │ │ +000001f0: 6863 6f6d 7040 9030 b064 84bd 010d 4359 hcomp@.0.d....CY │ │ │ +00000200: d89f d823 b6c3 d7d3 a0a0 286d 7861 6265 ...#......(mxabe │ │ │ 00000210: 6c65 6da0 2963 6861 7261 6374 6572 a028 lem.)character.( │ │ │ -00000220: 6d61 7468 636f 6d70 4090 3022 e890 ce42 mathcomp@.0"...B │ │ │ -00000230: d278 22e1 8e32 ca20 fa4e 6ca0 a02a 7663 .x"..2. .Nl..*vc │ │ │ +00000220: 6d61 7468 636f 6d70 4090 3007 6396 5376 mathcomp@.0.c.Sv │ │ │ +00000230: 05e5 4716 7a33 c9ef b8bc a1a0 a02a 7663 ..G.z3.......*vc │ │ │ 00000240: 6861 7261 6374 6572 a029 6368 6172 6163 haracter.)charac │ │ │ 00000250: 7465 72a0 286d 6174 6863 6f6d 7040 9030 ter.(mathcomp@.0 │ │ │ -00000260: b4d5 5b69 7f63 8b1f 5ae6 cc75 777b f188 ..[i.c..Z..uw{.. │ │ │ +00000260: bbfd f4c0 fa31 fc64 e240 56e9 47fd a2dc .....1.d.@V.G... │ │ │ 00000270: 9040 a0a0 94a0 a040 90a0 042d 042e 40a0 .@.....@...-..@. │ │ │ 00000280: 94a0 a040 9004 0640 a094 a0a0 4090 a028 ...@...@....@..( │ │ │ 00000290: 636c 6173 7366 756e 043a 40a0 94a0 a040 classfun.:@....@ │ │ │ 000002a0: 9004 0740 a094 a0a0 4090 a027 696e 6572 ...@....@..'iner │ │ │ 000002b0: 7469 6104 4640 a094 a0a0 4090 0407 40a0 tia.F@....@...@. │ │ │ 000002c0: 94a0 a040 90a0 2d69 6e74 6567 7261 6c5f ...@..-integral_ │ │ │ 000002d0: 6368 6172 0452 40a0 94a0 a040 9004 0740 char.R@....@...@ │ │ │ @@ -49,27 +49,27 @@ │ │ │ 00000300: 4090 a030 6d78 7265 7072 6573 656e 7461 @..0mxrepresenta │ │ │ 00000310: 7469 6f6e 046a 40a0 94a0 a040 9004 0740 tion.j@....@...@ │ │ │ 00000320: a094 a0a0 4090 a02a 7663 6861 7261 6374 ....@..*vcharact │ │ │ 00000330: 6572 0476 40a0 94a0 a040 9004 0740 4040 er.v@....@...@@@ │ │ │ 00000340: a0a0 94a0 a040 044e 40a0 94a0 a040 0446 .....@.N@....@.F │ │ │ 00000350: 40a0 94a0 a040 043e 40a0 94a0 a040 0436 @....@.>@....@.6 │ │ │ 00000360: 40a0 94a0 a040 042e 40a0 94a0 a040 0426 @....@..@....@.& │ │ │ -00000370: 40a0 94a0 a040 041e 4040 40ae 0d8e 2906 @....@..@@@...). │ │ │ -00000380: ecb3 537e 9221 a16b 27d1 7c84 95a6 be00 ..S~.!.k'.|..... │ │ │ +00000370: 40a0 94a0 a040 041e 4040 4071 b200 e7fa @....@..@@@q.... │ │ │ +00000380: cfd5 8067 f133 967c a86a 3684 95a6 be00 ...g.3.|.j6..... │ │ │ 00000390: 0000 0100 0000 0000 0000 0000 0000 0080 ................ │ │ │ 000003a0: 6144 c86c d4a1 68cd 7049 5a5c c422 ade9 aD.l..h.pIZ\.".. │ │ │ 000003b0: 8495 a6be 0000 0027 0000 0007 0000 0019 .......'........ │ │ │ 000003c0: 0000 0015 a0a0 2d61 6c6c 5f63 6861 7261 ......-all_chara │ │ │ 000003d0: 6374 6572 a029 6368 6172 6163 7465 72a0 cter.)character. │ │ │ 000003e0: 286d 6174 6863 6f6d 7040 80e3 5738 3471 (mathcomp@..W84q │ │ │ 000003f0: 86b1 84f7 da00 247a cf59 0000 0000 0400 ......$z.Y...... │ │ │ 00000400: 0000 076c 6962 7261 7279 0000 0000 0000 ...library...... │ │ │ -00000410: 018a 0000 0000 0000 01f1 ae0d 8e29 06ec .............).. │ │ │ -00000420: b353 7e92 21a1 6b27 d17c 0000 0007 6f70 .S~.!.k'.|....op │ │ │ +00000410: 018a 0000 0000 0000 01f1 71b2 00e7 facf ..........q..... │ │ │ +00000420: d580 67f1 3396 7ca8 6a36 0000 0007 6f70 ..g.3.|.j6....op │ │ │ 00000430: 6171 7565 7300 0000 0000 0003 8b00 0000 aques........... │ │ │ 00000440: 0000 0000 1561 44c8 6cd4 a168 cd70 495a .....aD.l..h.pIZ │ │ │ 00000450: 5cc4 22ad e900 0000 0773 756d 6d61 7279 \."......summary │ │ │ 00000460: 0000 0000 0000 0010 0000 0000 0000 016a ...............j │ │ │ -00000470: 5832 2ecd b714 98ad 41a2 74c9 16c3 c5dc X2......A.t..... │ │ │ +00000470: f1a2 c3b8 d507 7167 64a7 d2cf 2e43 b4da ......qgd....C.. │ │ │ 00000480: 0000 0009 766d 6c69 6272 6172 7900 0000 ....vmlibrary... │ │ │ 00000490: 0000 0003 b000 0000 0000 0000 3be3 5738 ............;.W8 │ │ │ 000004a0: 3471 86b1 84f7 da00 247a cf59 00 4q......$z.Y. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/character.vo │ │ │ @@ -49,67 +49,67 @@ │ │ │ 00000300: 2470 6f6c 79a0 2761 6c67 6562 7261 a028 $poly.'algebra.( │ │ │ 00000310: 6d61 7468 636f 6d70 4090 30cc f686 219f mathcomp@.0...!. │ │ │ 00000320: 7ccf 848b 2811 a19f 8634 93a0 a028 6770 |...(....4...(gp │ │ │ 00000330: 726f 6475 6374 a028 6669 6e67 726f 7570 roduct.(fingroup │ │ │ 00000340: a028 6d61 7468 636f 6d70 4090 3022 654a .(mathcomp@.0"eJ │ │ │ 00000350: 4cfd 624c f1b4 7e42 f646 6627 eda0 a026 L.bL..~B.Ff'...& │ │ │ 00000360: 6669 6e61 6c67 a027 616c 6765 6272 61a0 finalg.'algebra. │ │ │ -00000370: 286d 6174 6863 6f6d 7040 9030 8e88 2bdb (mathcomp@.0..+. │ │ │ -00000380: 69af 6edf f204 36cc 6cb3 83c4 a0a0 257a i.n...6.l.....%z │ │ │ +00000370: 286d 6174 6863 6f6d 7040 9030 fcc2 781b (mathcomp@.0..x. │ │ │ +00000380: 8cd5 0394 fabd 8ed3 2996 c3b9 a0a0 257a ........).....%z │ │ │ 00000390: 6d6f 6470 a027 616c 6765 6272 61a0 286d modp.'algebra.(m │ │ │ -000003a0: 6174 6863 6f6d 7040 9030 d07c 5667 3527 athcomp@.0.|Vg5' │ │ │ -000003b0: 8400 e24e 2119 72f4 2324 a0a0 2a63 6f6d ...N!.r.#$..*com │ │ │ +000003a0: 6174 6863 6f6d 7040 9030 b67c 8e60 ef18 athcomp@.0.|.`.. │ │ │ +000003b0: a2ef f470 114e 807d 6f75 a0a0 2a63 6f6d ...p.N.}ou..*com │ │ │ 000003c0: 6d75 7461 746f 72a0 2873 6f6c 7661 626c mutator.(solvabl │ │ │ 000003d0: 65a0 286d 6174 6863 6f6d 7040 9030 d871 e.(mathcomp@.0.q │ │ │ 000003e0: 6140 2908 feb1 f53b 5a32 9770 7f9b a0a0 a@)....;Z2.p.... │ │ │ 000003f0: 2663 7963 6c69 63a0 2873 6f6c 7661 626c &cyclic.(solvabl │ │ │ -00000400: 65a0 286d 6174 6863 6f6d 7040 9030 05b6 e.(mathcomp@.0.. │ │ │ -00000410: cd95 38ce 6591 b095 9bd9 ee05 3024 a0a0 ..8.e.......0$.. │ │ │ +00000400: 65a0 286d 6174 6863 6f6d 7040 9030 59f3 e.(mathcomp@.0Y. │ │ │ +00000410: c55e 5dbb 9514 8e70 934c d334 f4f0 a0a0 .^]....p.L.4.... │ │ │ 00000420: 2663 656e 7465 72a0 2873 6f6c 7661 626c ¢er.(solvabl │ │ │ -00000430: 65a0 286d 6174 6863 6f6d 7040 9030 2444 e.(mathcomp@.0$D │ │ │ -00000440: 887a 19c0 53ae 27b8 0aa1 b366 c43c a0a0 .z..S.'....f.<.. │ │ │ +00000430: 65a0 286d 6174 6863 6f6d 7040 9030 8f8d e.(mathcomp@.0.. │ │ │ +00000440: 32f9 6d6e aed6 67c3 79d5 634f e0f8 a0a0 2.mn..g.y.cO.... │ │ │ 00000450: 2670 6772 6f75 70a0 2873 6f6c 7661 626c &pgroup.(solvabl │ │ │ -00000460: 65a0 286d 6174 6863 6f6d 7040 9030 5896 e.(mathcomp@.0X. │ │ │ -00000470: 7d1f 317d 2b9a 64db e13f 3e58 8a89 a0a0 }.1}+.d..?>X.... │ │ │ +00000460: 65a0 286d 6174 6863 6f6d 7040 9030 dc4b e.(mathcomp@.0.K │ │ │ +00000470: 9326 c67e 5d59 8328 0a99 9942 5e18 a0a0 .&.~]Y.(...B^... │ │ │ 00000480: 296e 696c 706f 7465 6e74 a028 736f 6c76 )nilpotent.(solv │ │ │ 00000490: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -000004a0: 302f 4eec ab5e 69df b79a 24b4 f519 04e4 0/N..^i...$..... │ │ │ -000004b0: 1fa0 a025 7379 6c6f 77a0 2873 6f6c 7661 ...%sylow.(solva │ │ │ +000004a0: 30b9 e6cd 8aaf 3830 31d8 a407 4442 684f 0.....801...DBhO │ │ │ +000004b0: 59a0 a025 7379 6c6f 77a0 2873 6f6c 7661 Y..%sylow.(solva │ │ │ 000004c0: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -000004d0: 2235 6f81 050f 808b d48b b309 027b cfca "5o..........{.. │ │ │ +000004d0: dfc5 fd8c 41bd b437 d786 ddf9 0862 f851 ....A..7.....b.Q │ │ │ 000004e0: a0a0 2761 6265 6c69 616e a028 736f 6c76 ..'abelian.(solv │ │ │ 000004f0: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000500: 306a 3030 8104 e486 ce28 39fa ea98 a0ad 0j00.....(9..... │ │ │ -00000510: e0a0 a026 6d61 7472 6978 a027 616c 6765 ...&matrix.'alge │ │ │ +00000500: 3045 e953 64e3 4e41 64f5 1f85 76c3 a3d1 0E.Sd.NAd...v... │ │ │ +00000510: 2da0 a026 6d61 7472 6978 a027 616c 6765 -..&matrix.'alge │ │ │ 00000520: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -00000530: 164c 4922 0e3b 415f e593 e77a 0379 b611 .LI".;A_...z.y.. │ │ │ +00000530: f8ee eb4a 4981 0373 432e 40f6 9ce3 4d83 ...JI..sC.@...M. │ │ │ 00000540: a0a0 296d 7861 6c67 6562 7261 a027 616c ..)mxalgebra.'al │ │ │ 00000550: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ -00000560: 9030 2bcb 309c ab6d 003e bd85 6f1a 7044 .0+.0..m.>..o.pD │ │ │ -00000570: d301 a0a0 266d 7870 6f6c 79a0 2761 6c67 ....&mxpoly.'alg │ │ │ +00000560: 9030 9d14 2b17 3b9b b9c6 2a86 369f f3de .0..+.;...*.6... │ │ │ +00000570: 5074 a0a0 266d 7870 6f6c 79a0 2761 6c67 Pt..&mxpoly.'alg │ │ │ 00000580: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ -00000590: 303b 817a 18b3 ce23 9659 238a dc2f 2737 0;.z...#.Y#../'7 │ │ │ -000005a0: 9aa0 a030 6d78 7265 7072 6573 656e 7461 ...0mxrepresenta │ │ │ +00000590: 30fc 8c98 e8fb 8bad 56ef 97cc 6d51 3a23 0.......V...mQ:# │ │ │ +000005a0: 1ba0 a030 6d78 7265 7072 6573 656e 7461 ...0mxrepresenta │ │ │ 000005b0: 7469 6f6e a029 6368 6172 6163 7465 72a0 tion.)character. │ │ │ -000005c0: 286d 6174 6863 6f6d 7040 9030 5f67 7415 (mathcomp@.0_gt. │ │ │ -000005d0: 9e77 5a5b 82ef cc50 c6ee 542f a0a0 2676 .wZ[...P..T/..&v │ │ │ +000005c0: 286d 6174 6863 6f6d 7040 9030 c469 3d97 (mathcomp@.0.i=. │ │ │ +000005d0: 556e 1a41 dde1 984e 6b3f 8cf3 a0a0 2676 Un.A...Nk?....&v │ │ │ 000005e0: 6563 746f 72a0 2761 6c67 6562 7261 a028 ector.'algebra.( │ │ │ -000005f0: 6d61 7468 636f 6d70 4090 301b 535e b945 mathcomp@.0.S^.E │ │ │ -00000600: b063 bc97 4863 6e02 8a8a 5ca0 a026 7373 .c..Hcn...\..&ss │ │ │ +000005f0: 6d61 7468 636f 6d70 4090 3083 059a 094b mathcomp@.0....K │ │ │ +00000600: 2e74 47c8 0b49 c142 eb3d e2a0 a026 7373 .tG..I.B.=...&ss │ │ │ 00000610: 726e 756d a027 616c 6765 6272 61a0 286d rnum.'algebra.(m │ │ │ 00000620: 6174 6863 6f6d 7040 9030 dfac 5516 47d9 athcomp@.0..U.G. │ │ │ 00000630: dc42 e295 3ff6 96c5 d752 a0a0 2461 6c67 .B..?....R..$alg │ │ │ 00000640: 43a0 2566 6965 6c64 a028 6d61 7468 636f C.%field.(mathco │ │ │ -00000650: 6d70 4090 30c1 b1f1 8dc9 4b3a 54f5 88ee mp@.0.....K:T... │ │ │ -00000660: 0340 c5a3 b3a0 a028 636c 6173 7366 756e .@.....(classfun │ │ │ +00000650: 6d70 4090 30ba 1e56 5df5 1303 1caa 4000 mp@.0..V].....@. │ │ │ +00000660: df1e ca5a 61a0 a028 636c 6173 7366 756e ...Za..(classfun │ │ │ 00000670: a029 6368 6172 6163 7465 72a0 286d 6174 .)character.(mat │ │ │ -00000680: 6863 6f6d 7040 9030 c0fe 0e18 0570 04ea hcomp@.0.....p.. │ │ │ -00000690: d57e bc16 64b0 69c3 2535 2e34 2e30 a040 .~..d.i.%5.4.0.@ │ │ │ -000006a0: 40bc 8d2b f902 c4c2 dd97 4cac 6794 aa27 @..+......L.g..' │ │ │ -000006b0: 7884 95a6 be00 0ac9 9700 0225 3200 0819 x..........%2... │ │ │ +00000680: 6863 6f6d 7040 9030 61e7 938a 9763 7fd0 hcomp@.0a....c.. │ │ │ +00000690: e886 084f c27b a95e 2535 2e34 2e30 a040 ...O.{.^%5.4.0.@ │ │ │ +000006a0: 40d7 3e96 35c2 2a44 e76d bb23 3bf4 c5a4 @.>.5.*D.m.#;... │ │ │ +000006b0: c984 95a6 be00 0ac9 9700 0225 3200 0819 ...........%2... │ │ │ 000006c0: bf00 0804 4db0 d0a0 2963 6861 7261 6374 ....M...)charact │ │ │ 000006d0: 6572 a004 02a0 286d 6174 6863 6f6d 7040 er....(mathcomp@ │ │ │ 000006e0: e090 0407 4190 a0a0 2667 726f 7570 4390 ....A...&groupC. │ │ │ 000006f0: 0800 0027 0040 a080 8092 c040 a0a0 a040 ...'.@.....@...@ │ │ │ 00000700: 40b0 a0a0 a022 6754 409b a0a0 90b0 a290 @...."gT@....... │ │ │ 00000710: a028 6669 6e67 726f 7570 a004 02a0 286d .(fingroup....(m │ │ │ 00000720: 6174 6863 6f6d 7040 2846 696e 4772 6f75 athcomp@(FinGrou │ │ │ @@ -11168,19 +11168,19 @@ │ │ │ 0002b9f0: be40 41b0 0549 c442 057f bfc0 40b0 0508 .@A..I.B....@... │ │ │ 0002ba00: dd42 0507 a940 4142 b005 08ce 4205 0838 .B...@AB....B..8 │ │ │ 0002ba10: c0c0 c040 b005 08ce 4205 083c 4041 b005 ...@....B..<@A.. │ │ │ 0002ba20: 087c 4205 7fc7 4042 b005 0879 4205 7fc8 .|B...@B...yB... │ │ │ 0002ba30: c040 b005 0876 4205 7fca 4041 4344 4546 .@...vB...@ACDEF │ │ │ 0002ba40: 4749 4a4c 4db0 a0a0 2761 6265 6c69 616e GIJLM...'abelian │ │ │ 0002ba50: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -0002ba60: 636f 6d70 4090 306a 3030 8104 e486 ce28 comp@.0j00.....( │ │ │ -0002ba70: 39fa ea98 a0ad e0a0 057e 3890 30c0 fe0e 9........~8.0... │ │ │ -0002ba80: 1805 7004 ead5 7ebc 1664 b069 c3a0 057f ..p...~..d.i.... │ │ │ -0002ba90: 3290 305f 6774 159e 775a 5b82 efcc 50c6 2.0_gt..wZ[...P. │ │ │ -0002baa0: ee54 2f90 40a0 a095 a002 1d04 1afc a040 .T/.@..........@ │ │ │ +0002ba60: 636f 6d70 4090 3045 e953 64e3 4e41 64f5 comp@.0E.Sd.NAd. │ │ │ +0002ba70: 1f85 76c3 a3d1 2da0 057e 3890 3061 e793 ..v...-..~8.0a.. │ │ │ +0002ba80: 8a97 637f d0e8 8608 4fc2 7ba9 5ea0 057f ..c.....O.{.^... │ │ │ +0002ba90: 3290 30c4 693d 9755 6e1a 41dd e198 4e6b 2.0.i=.Un.A...Nk │ │ │ +0002baa0: 3f8c f390 40a0 a095 a002 1d04 1afc a040 ?...@..........@ │ │ │ 0002bab0: a0a0 4028 5f20 2e5b 205f 205d c0a0 a040 ..@(_ .[ _ ]...@ │ │ │ 0002bac0: 42a0 9142 a040 40a0 b140 40a0 9042 a040 B..B.@@..@@..B.@ │ │ │ 0002bad0: 9042 a0b1 4040 a041 4040 90a0 d0a0 a040 .B..@@.A@@.....@ │ │ │ 0002bae0: 4204 1190 42a0 4028 5f20 2e5b 205f 205d B...B.@(_ .[ _ ] │ │ │ 0002baf0: a0a0 a1a1 4004 1390 2165 a0a0 4122 2e5b ....@...!e..A".[ │ │ │ 0002bb00: a0a1 a140 0415 9021 78a0 a041 215d 4040 ...@...!x..A!]@@ │ │ │ 0002bb10: a004 22a0 041d 4040 90a0 41a0 a090 b040 .."...@@..A....@ │ │ │ @@ -44287,16 +44287,16 @@ │ │ │ 000acfe0: 0600 0225 1805 0137 020f 8b81 bb05 0135 ...%...7.......5 │ │ │ 000acff0: a0a0 b006 0002 251b 0501 0f02 0f8b 81bc ......%......... │ │ │ 000ad000: 0501 0da0 a0b0 0600 0225 1e04 e902 0f8b .........%...... │ │ │ 000ad010: 81bd 04e7 a0a0 b006 0002 2521 04c1 020f ..........%!.... │ │ │ 000ad020: 8b81 be04 bfa0 a0b0 0600 0225 2404 9b02 ...........%$... │ │ │ 000ad030: 0f8b 81bf 0499 a0a0 b006 0002 2527 0475 ............%'.u │ │ │ 000ad040: 020f 8b81 c004 73a0 a0b0 0600 0225 2a04 ......s......%*. │ │ │ -000ad050: 4f02 0f8b 81c1 044d 4042 4040 b6bc f44f O......M@B@@...O │ │ │ -000ad060: 5a3e 2087 61d1 2814 841b 6d77 8495 a6be Z> .a.(...mw.... │ │ │ +000ad050: 4f02 0f8b 81c1 044d 4042 4040 d52f 80b2 O......M@B@@./.. │ │ │ +000ad060: 27b7 d563 9b1c 830b 25c7 57cf 8495 a6be '..c....%.W..... │ │ │ 000ad070: 000e c991 0002 3dd1 0008 1883 0008 0ae0 ......=......... │ │ │ 000ad080: 0800 05ab 0090 a0a9 9aa0 90b0 90a0 306d ..............0m │ │ │ 000ad090: 7872 6570 7265 7365 6e74 6174 696f 6ea0 xrepresentation. │ │ │ 000ad0a0: 2963 6861 7261 6374 6572 a028 6d61 7468 )character.(math │ │ │ 000ad0b0: 636f 6d70 403a 6772 6f75 705f 636c 6f73 comp@:group_clos │ │ │ 000ad0c0: 7572 655f 636c 6f73 6564 5f66 6965 6c64 ure_closed_field │ │ │ 000ad0d0: 0219 c19a 64a0 8080 a09a a090 b0a2 90a0 ....d........... │ │ │ @@ -105460,17 +105460,17 @@ │ │ │ 0019bf30: 100c 0c14 0c0c 0c30 0c90 98b0 a0a0 4040 .......0......@@ │ │ │ 0019bf40: a041 4041 43c0 3b2d 0003 8c2a 2b02 020b .A@AC.;-...*+... │ │ │ 0019bf50: 0b37 0023 1203 0337 0122 0c37 0223 3a01 .7.#...7.".7.#:. │ │ │ 0019bf60: 2903 8023 2c18 1080 c004 5080 262c 1414 )..#,.....P.&,.. │ │ │ 0019bf70: 1418 1480 049e 9e7f 3f83 c74e ea88 d971 ........?..N...q │ │ │ 0019bf80: 9b8b d333 0000 0004 0000 0007 6c69 6272 ...3........libr │ │ │ 0019bf90: 6172 7900 0000 0000 0006 b100 0000 0000 ary............. │ │ │ -0019bfa0: 0ac9 abb6 bcf4 4f5a 3e20 8761 d128 1484 ......OZ> .a.(.. │ │ │ -0019bfb0: 1b6d 7700 0000 076f 7061 7175 6573 0000 .mw....opaques.. │ │ │ +0019bfa0: 0ac9 abd5 2f80 b227 b7d5 639b 1c83 0b25 ..../..'..c....% │ │ │ +0019bfb0: c757 cf00 0000 076f 7061 7175 6573 0000 .W.....opaques.. │ │ │ 0019bfc0: 0000 000a d06c 0000 0000 000e c9a5 235f .....l........#_ │ │ │ 0019bfd0: 5425 ec6f 0214 fde4 9da7 ea44 dc06 0000 T%.o.......D.... │ │ │ 0019bfe0: 0007 7375 6d6d 6172 7900 0000 0000 0000 ..summary....... │ │ │ -0019bff0: 1000 0000 0000 0006 91bc 8d2b f902 c4c2 ...........+.... │ │ │ -0019c000: dd97 4cac 6794 aa27 7800 0000 0976 6d6c ..L.g..'x....vml │ │ │ +0019bff0: 1000 0000 0000 0006 91d7 3e96 35c2 2a44 ..........>.5.*D │ │ │ +0019c000: e76d bb23 3bf4 c5a4 c900 0000 0976 6d6c .m.#;........vml │ │ │ 0019c010: 6962 7261 7279 0000 0000 0019 9a21 0000 ibrary.......!.. │ │ │ 0019c020: 0000 0000 2553 049e 9e7f 3f83 c74e ea88 ....%S....?..N.. │ │ │ 0019c030: d971 9b8b d333 .q...3 │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/classfun.vo │ │ │ @@ -68,56 +68,56 @@ │ │ │ 00000430: 6772 6f75 70a0 286d 6174 6863 6f6d 7040 group.(mathcomp@ │ │ │ 00000440: 9030 012a 4d95 cf94 46ba fd7f 4445 9657 .0.*M...F...DE.W │ │ │ 00000450: 699a a0a0 2871 756f 7469 656e 74a0 2866 i...(quotient.(f │ │ │ 00000460: 696e 6772 6f75 70a0 286d 6174 6863 6f6d ingroup.(mathcom │ │ │ 00000470: 7040 9030 036c 1a40 c4ba ecac ac6b 2fa4 p@.0.l.@.....k/. │ │ │ 00000480: 3765 90cd a0a0 2666 696e 616c 67a0 2761 7e....&finalg.'a │ │ │ 00000490: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000004a0: 4090 308e 882b db69 af6e dff2 0436 cc6c @.0..+.i.n...6.l │ │ │ -000004b0: b383 c4a0 a028 6770 726f 6475 6374 a028 .....(gproduct.( │ │ │ +000004a0: 4090 30fc c278 1b8c d503 94fa bd8e d329 @.0..x.........) │ │ │ +000004b0: 96c3 b9a0 a028 6770 726f 6475 6374 a028 .....(gproduct.( │ │ │ 000004c0: 6669 6e67 726f 7570 a028 6d61 7468 636f fingroup.(mathco │ │ │ 000004d0: 6d70 4090 3022 654a 4cfd 624c f1b4 7e42 mp@.0"eJL.bL..~B │ │ │ 000004e0: f646 6627 eda0 a025 7a6d 6f64 70a0 2761 .Ff'...%zmodp.'a │ │ │ 000004f0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -00000500: 4090 30d0 7c56 6735 2784 00e2 4e21 1972 @.0.|Vg5'...N!.r │ │ │ -00000510: f423 24a0 a02a 636f 6d6d 7574 6174 6f72 .#$..*commutator │ │ │ +00000500: 4090 30b6 7c8e 60ef 18a2 eff4 7011 4e80 @.0.|.`.....p.N. │ │ │ +00000510: 7d6f 75a0 a02a 636f 6d6d 7574 6174 6f72 }ou..*commutator │ │ │ 00000520: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ 00000530: 636f 6d70 4090 30d8 7161 4029 08fe b1f5 comp@.0.qa@).... │ │ │ 00000540: 3b5a 3297 707f 9ba0 a026 6379 636c 6963 ;Z2.p....&cyclic │ │ │ 00000550: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000560: 636f 6d70 4090 3005 b6cd 9538 ce65 91b0 comp@.0....8.e.. │ │ │ -00000570: 959b d9ee 0530 24a0 a026 6365 6e74 6572 .....0$..¢er │ │ │ +00000560: 636f 6d70 4090 3059 f3c5 5e5d bb95 148e comp@.0Y..^].... │ │ │ +00000570: 7093 4cd3 34f4 f0a0 a026 6365 6e74 6572 p.L.4....¢er │ │ │ 00000580: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000590: 636f 6d70 4090 3024 4488 7a19 c053 ae27 comp@.0$D.z..S.' │ │ │ -000005a0: b80a a1b3 66c4 3ca0 a026 7067 726f 7570 ....f.<..&pgroup │ │ │ +00000590: 636f 6d70 4090 308f 8d32 f96d 6eae d667 comp@.0..2.mn..g │ │ │ +000005a0: c379 d563 4fe0 f8a0 a026 7067 726f 7570 .y.cO....&pgroup │ │ │ 000005b0: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -000005c0: 636f 6d70 4090 3058 967d 1f31 7d2b 9a64 comp@.0X.}.1}+.d │ │ │ -000005d0: dbe1 3f3e 588a 89a0 a025 7379 6c6f 77a0 ..?>X....%sylow. │ │ │ +000005c0: 636f 6d70 4090 30dc 4b93 26c6 7e5d 5983 comp@.0.K.&.~]Y. │ │ │ +000005d0: 280a 9999 425e 18a0 a025 7379 6c6f 77a0 (...B^...%sylow. │ │ │ 000005e0: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ -000005f0: 6f6d 7040 9030 2235 6f81 050f 808b d48b omp@.0"5o....... │ │ │ -00000600: b309 027b cfca a0a0 266d 6174 7269 78a0 ...{....&matrix. │ │ │ +000005f0: 6f6d 7040 9030 dfc5 fd8c 41bd b437 d786 omp@.0....A..7.. │ │ │ +00000600: ddf9 0862 f851 a0a0 266d 6174 7269 78a0 ...b.Q..&matrix. │ │ │ 00000610: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -00000620: 6d70 4090 3016 4c49 220e 3b41 5fe5 93e7 mp@.0.LI".;A_... │ │ │ -00000630: 7a03 79b6 11a0 a026 7665 6374 6f72 a027 z.y....&vector.' │ │ │ +00000620: 6d70 4090 30f8 eeeb 4a49 8103 7343 2e40 mp@.0...JI..sC.@ │ │ │ +00000630: f69c e34d 83a0 a026 7665 6374 6f72 a027 ...M...&vector.' │ │ │ 00000640: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000650: 7040 9030 1b53 5eb9 45b0 63bc 9748 636e p@.0.S^.E.c..Hcn │ │ │ -00000660: 028a 8a5c a0a0 2866 616c 6765 6272 61a0 ...\..(falgebra. │ │ │ +00000650: 7040 9030 8305 9a09 4b2e 7447 c80b 49c1 p@.0....K.tG..I. │ │ │ +00000660: 42eb 3de2 a0a0 2866 616c 6765 6272 61a0 B.=...(falgebra. │ │ │ 00000670: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -00000680: 4090 3039 54cd 7ed2 c0aa 8f1b 2510 f7c9 @.09T.~.....%... │ │ │ -00000690: 96dd 16a0 a026 7373 726e 756d a027 616c .....&ssrnum.'al │ │ │ +00000680: 4090 3007 e44b d06d e2b7 ea1c e1d8 7678 @.0..K.m......vx │ │ │ +00000690: 03c2 0ea0 a026 7373 726e 756d a027 616c .....&ssrnum.'al │ │ │ 000006a0: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 000006b0: 9030 dfac 5516 47d9 dc42 e295 3ff6 96c5 .0..U.G..B..?... │ │ │ 000006c0: d752 a0a0 2461 6c67 43a0 2566 6965 6c64 .R..$algC.%field │ │ │ -000006d0: a028 6d61 7468 636f 6d70 4090 30c1 b1f1 .(mathcomp@.0... │ │ │ -000006e0: 8dc9 4b3a 54f5 88ee 0340 c5a3 b3a0 a026 ..K:T....@.....& │ │ │ +000006d0: a028 6d61 7468 636f 6d70 4090 30ba 1e56 .(mathcomp@.0..V │ │ │ +000006e0: 5df5 1303 1caa 4000 df1e ca5a 61a0 a026 ].....@....Za..& │ │ │ 000006f0: 616c 676e 756d a025 6669 656c 64a0 286d algnum.%field.(m │ │ │ -00000700: 6174 6863 6f6d 7040 9030 47be b3ab b9ce athcomp@.0G..... │ │ │ -00000710: f2f0 1d27 30de 3d71 53c8 2535 2e34 2e30 ...'0.=qS.%5.4.0 │ │ │ -00000720: a040 40ce 1352 7f32 8d1a c4a0 1381 619a .@@..R.2......a. │ │ │ -00000730: 039d ad84 95a6 be00 0e47 ec00 02c2 9900 .........G...... │ │ │ +00000700: 6174 6863 6f6d 7040 9030 e871 3788 5ee2 athcomp@.0.q7.^. │ │ │ +00000710: 8efb 658a 541a f02d 49f9 2535 2e34 2e30 ..e.T..-I.%5.4.0 │ │ │ +00000720: a040 40d4 756b 30ff fce3 1bcc 2742 5a46 .@@.uk0.....'BZF │ │ │ +00000730: 096c 4484 95a6 be00 0e47 ec00 02c2 9900 .lD......G...... │ │ │ 00000740: 0a67 d200 0a50 31b0 d0a0 2863 6c61 7373 .g...P1...(class │ │ │ 00000750: 6675 6ea0 2963 6861 7261 6374 6572 a028 fun.)character.( │ │ │ 00000760: 6d61 7468 636f 6d70 40e0 9004 0841 90a0 mathcomp@....A.. │ │ │ 00000770: a026 6e65 7130 4347 9008 0000 2700 40a0 .&neq0CG....'.@. │ │ │ 00000780: 8080 92c0 40a0 a0a0 4040 b0a0 a0a0 2267 ....@...@@...."g │ │ │ 00000790: 5440 9ba0 a090 b0a2 90a0 2866 696e 6772 T@........(fingr │ │ │ 000007a0: 6f75 70a0 0402 a028 6d61 7468 636f 6d70 oup....(mathcomp │ │ │ @@ -13318,16 +13318,16 @@ │ │ │ 00034050: 3b6e cf13 ce90 b005 8bde 0508 0f01 3092 ;n............0. │ │ │ 00034060: c0c0 40b0 0507 a642 a003 0019 0a3b 6ed2 ..@....B.....;n. │ │ │ 00034070: 148b 90b0 058b e405 0815 0130 95c0 40b0 ...........0..@. │ │ │ 00034080: 0507 a742 a003 0019 0a3b 6ed4 1509 90b0 ...B.....;n..... │ │ │ 00034090: 058b e905 081a 0130 97c0 40b0 0507 9e42 .......0..@....B │ │ │ 000340a0: 0501 1140 4142 43b0 0586 2342 0508 cdc0 ...@ABC...#B.... │ │ │ 000340b0: 40b0 0586 2542 0508 c940 4144 4546 4849 @...%B...@ADEFHI │ │ │ -000340c0: 4a4c 90a0 0565 c190 3047 beb3 abb9 cef2 JL...e..0G...... │ │ │ -000340d0: f01d 2730 de3d 7153 c890 40a0 a095 a002 ..'0.=qS..@..... │ │ │ +000340c0: 4a4c 90a0 0565 c190 30e8 7137 885e e28e JL...e..0.q7.^.. │ │ │ +000340d0: fb65 8a54 1af0 2d49 f990 40a0 a095 a002 .e.T..-I..@..... │ │ │ 000340e0: 1d04 1afc a040 a0a0 402d 2743 4620 2820 .....@..@-'CF ( │ │ │ 000340f0: 5f20 2c20 5f20 29c0 a0a0 4048 a040 a040 _ , _ )...@H.@.@ │ │ │ 00034100: 40a0 b140 40a0 4140 a0b1 4040 a041 4040 @..@@.A@..@@.A@@ │ │ │ 00034110: 90a0 d0a0 a040 4804 0d40 0412 a0a0 a041 .....@H..@.....A │ │ │ 00034120: 2327 4346 a0a0 4121 28a0 a1a1 4004 1390 #'CF..A!(...@... │ │ │ 00034130: 0591 ffa0 a041 212c a0a1 a140 0417 9005 .....A!,...@.... │ │ │ 00034140: 7d7b a0a0 4121 2940 40a0 0420 a004 1e40 }{..A!)@@.. ...@ │ │ │ @@ -58605,16 +58605,16 @@ │ │ │ 000e4ec0: 1680 0e90 0501 2da0 a0b0 0600 02c2 8105 ......-......... │ │ │ 000e4ed0: 0108 0216 800e 9105 0106 a0a0 b006 0002 ................ │ │ │ 000e4ee0: c284 04e0 0216 800e 9204 dea0 a0b0 0600 ................ │ │ │ 000e4ef0: 02c2 8704 ba02 1680 0e93 04b8 a0a0 b006 ................ │ │ │ 000e4f00: 0002 c28a 0492 0216 800e 9404 90a0 a0b0 ................ │ │ │ 000e4f10: 0600 02c2 8d04 6c02 1680 0e95 046a a0a0 ......l......j.. │ │ │ 000e4f20: b006 0002 c290 0446 0216 800e 9604 4440 .......F......D@ │ │ │ -000e4f30: 4240 40c0 fe0e 1805 7004 ead5 7ebc 1664 B@@.....p...~..d │ │ │ -000e4f40: b069 c384 95a6 be00 0a2e a300 01a2 de00 .i.............. │ │ │ +000e4f30: 4240 4061 e793 8a97 637f d0e8 8608 4fc2 B@@a....c.....O. │ │ │ +000e4f40: 7ba9 5e84 95a6 be00 0a2e a300 01a2 de00 {.^............. │ │ │ 000e4f50: 05cd d600 05c4 b808 0005 b300 90a0 b7a0 ................ │ │ │ 000e4f60: 9021 4740 a99a a090 b090 a028 6669 6e67 .!G@.......(fing │ │ │ 000e4f70: 726f 7570 a004 02a0 286d 6174 6863 6f6d roup....(mathcom │ │ │ 000e4f80: 7040 2867 726f 7570 5f6f 6602 2151 42ff p@(group_of.!QB. │ │ │ 000e4f90: a080 8090 9122 6754 a99a a090 b0a2 a290 ....."gT........ │ │ │ 000e4fa0: a026 7373 726e 756d a027 616c 6765 6272 .&ssrnum.'algebr │ │ │ 000e4fb0: 6104 1323 4e75 6d26 5468 656f 7279 2a6e a..#Num&Theory*n │ │ │ @@ -101297,17 +101297,17 @@ │ │ │ 0018bb00: 0b37 0028 0680 212c 80c0 2936 0037 0121 .7.(..!,..)6.7.! │ │ │ 0018bb10: 3702 218c 8023 0408 0c80 c004 0380 2304 7.!..#........#. │ │ │ 0018bb20: 080c 80c0 0405 8023 0408 0c80 c004 0780 .......#........ │ │ │ 0018bb30: 2304 080c 80c0 0409 8023 0408 0c80 c004 #........#...... │ │ │ 0018bb40: 0b80 2304 080c 80f3 23bb 8e17 5538 c231 ..#.....#...U8.1 │ │ │ 0018bb50: c0b2 2b6c 4dff 2f00 0000 0400 0000 076c ..+lM./........l │ │ │ 0018bb60: 6962 7261 7279 0000 0000 0000 0733 0000 ibrary.......3.. │ │ │ -0018bb70: 0000 000e 4800 c0fe 0e18 0570 04ea d57e ....H......p...~ │ │ │ -0018bb80: bc16 64b0 69c3 0000 0007 6f70 6171 7565 ..d.i.....opaque │ │ │ +0018bb70: 0000 000e 4800 61e7 938a 9763 7fd0 e886 ....H.a....c.... │ │ │ +0018bb80: 084f c27b a95e 0000 0007 6f70 6171 7565 .O.{.^....opaque │ │ │ 0018bb90: 7300 0000 0000 0e4f 4300 0000 0000 0a2e s......OC....... │ │ │ 0018bba0: b7d8 43df d544 690f e2ca 5e22 c161 672c ..C..Di...^".ag, │ │ │ 0018bbb0: 6b00 0000 0773 756d 6d61 7279 0000 0000 k....summary.... │ │ │ -0018bbc0: 0000 0010 0000 0000 0000 0713 ce13 527f ..............R. │ │ │ -0018bbd0: 328d 1ac4 a013 8161 9a03 9dad 0000 0009 2......a........ │ │ │ +0018bbc0: 0000 0010 0000 0000 0000 0713 d475 6b30 .............uk0 │ │ │ +0018bbd0: fffc e31b cc27 425a 4609 6c44 0000 0009 .....'BZF.lD.... │ │ │ 0018bbe0: 766d 6c69 6272 6172 7900 0000 0000 187e vmlibrary......~ │ │ │ 0018bbf0: 0a00 0000 0000 003d 3df3 23bb 8e17 5538 .......==.#...U8 │ │ │ 0018bc00: c231 c0b2 2b6c 4dff 2f .1..+lM./ │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/inertia.vo │ │ │ @@ -68,67 +68,67 @@ │ │ │ 00000430: 6f74 6965 6e74 a028 6669 6e67 726f 7570 otient.(fingroup │ │ │ 00000440: a028 6d61 7468 636f 6d70 4090 3003 6c1a .(mathcomp@.0.l. │ │ │ 00000450: 40c4 baec acac 6b2f a437 6590 cda0 a026 @.....k/.7e....& │ │ │ 00000460: 6163 7469 6f6e a028 6669 6e67 726f 7570 action.(fingroup │ │ │ 00000470: a028 6d61 7468 636f 6d70 4090 300e ec10 .(mathcomp@.0... │ │ │ 00000480: 7918 deea 22c5 06b9 d4ee de25 2ba0 a025 y..."......%+..% │ │ │ 00000490: 7a6d 6f64 70a0 2761 6c67 6562 7261 a028 zmodp.'algebra.( │ │ │ -000004a0: 6d61 7468 636f 6d70 4090 30d0 7c56 6735 mathcomp@.0.|Vg5 │ │ │ -000004b0: 2784 00e2 4e21 1972 f423 24a0 a026 6379 '...N!.r.#$..&cy │ │ │ +000004a0: 6d61 7468 636f 6d70 4090 30b6 7c8e 60ef mathcomp@.0.|.`. │ │ │ +000004b0: 18a2 eff4 7011 4e80 7d6f 75a0 a026 6379 ....p.N.}ou..&cy │ │ │ 000004c0: 636c 6963 a028 736f 6c76 6162 6c65 a028 clic.(solvable.( │ │ │ -000004d0: 6d61 7468 636f 6d70 4090 3005 b6cd 9538 mathcomp@.0....8 │ │ │ -000004e0: ce65 91b0 959b d9ee 0530 24a0 a026 6365 .e.......0$..&ce │ │ │ +000004d0: 6d61 7468 636f 6d70 4090 3059 f3c5 5e5d mathcomp@.0Y..^] │ │ │ +000004e0: bb95 148e 7093 4cd3 34f4 f0a0 a026 6365 ....p.L.4....&ce │ │ │ 000004f0: 6e74 6572 a028 736f 6c76 6162 6c65 a028 nter.(solvable.( │ │ │ -00000500: 6d61 7468 636f 6d70 4090 3024 4488 7a19 mathcomp@.0$D.z. │ │ │ -00000510: c053 ae27 b80a a1b3 66c4 3ca0 a02a 636f .S.'....f.<..*co │ │ │ +00000500: 6d61 7468 636f 6d70 4090 308f 8d32 f96d mathcomp@.0..2.m │ │ │ +00000510: 6eae d667 c379 d563 4fe0 f8a0 a02a 636f n..g.y.cO....*co │ │ │ 00000520: 6d6d 7574 6174 6f72 a028 736f 6c76 6162 mmutator.(solvab │ │ │ 00000530: 6c65 a028 6d61 7468 636f 6d70 4090 30d8 le.(mathcomp@.0. │ │ │ 00000540: 7161 4029 08fe b1f5 3b5a 3297 707f 9ba0 qa@)....;Z2.p... │ │ │ 00000550: a027 6773 6572 6965 73a0 2873 6f6c 7661 .'gseries.(solva │ │ │ 00000560: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -00000570: 12ee 3fe1 cc4e 0464 74c4 5d77 dfc5 11e2 ..?..N.dt.]w.... │ │ │ +00000570: 6482 1bc4 619c 764a 6db9 94fe f563 5414 d...a.vJm....cT. │ │ │ 00000580: a0a0 296e 696c 706f 7465 6e74 a028 736f ..)nilpotent.(so │ │ │ 00000590: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000005a0: 4090 302f 4eec ab5e 69df b79a 24b4 f519 @.0/N..^i...$... │ │ │ -000005b0: 04e4 1fa0 a026 7067 726f 7570 a028 736f .....&pgroup.(so │ │ │ +000005a0: 4090 30b9 e6cd 8aaf 3830 31d8 a407 4442 @.0.....801...DB │ │ │ +000005b0: 684f 59a0 a026 7067 726f 7570 a028 736f hOY..&pgroup.(so │ │ │ 000005c0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000005d0: 4090 3058 967d 1f31 7d2b 9a64 dbe1 3f3e @.0X.}.1}+.d..?> │ │ │ -000005e0: 588a 89a0 a025 7379 6c6f 77a0 2873 6f6c X....%sylow.(sol │ │ │ +000005d0: 4090 30dc 4b93 26c6 7e5d 5983 280a 9999 @.0.K.&.~]Y.(... │ │ │ +000005e0: 425e 18a0 a025 7379 6c6f 77a0 2873 6f6c B^...%sylow.(sol │ │ │ 000005f0: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ -00000600: 9030 2235 6f81 050f 808b d48b b309 027b .0"5o..........{ │ │ │ -00000610: cfca a0a0 276d 6178 696d 616c a028 736f ....'maximal.(so │ │ │ +00000600: 9030 dfc5 fd8c 41bd b437 d786 ddf9 0862 .0....A..7.....b │ │ │ +00000610: f851 a0a0 276d 6178 696d 616c a028 736f .Q..'maximal.(so │ │ │ 00000620: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000630: 4090 30eb 05c4 0e08 bb2d 4dc3 5338 93ca @.0......-M.S8.. │ │ │ -00000640: 89d7 82a0 a029 6672 6f62 656e 6975 73a0 .....)frobenius. │ │ │ +00000630: 4090 30e0 d46c 39aa 5b3a 0953 3e55 a954 @.0..l9.[:.S>U.T │ │ │ +00000640: dd56 7ba0 a029 6672 6f62 656e 6975 73a0 .V{..)frobenius. │ │ │ 00000650: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ -00000660: 6f6d 7040 9030 3e7f 9bcb 198f a0c2 96fb omp@.0>......... │ │ │ -00000670: 5b23 2bbe db1c a0a0 266d 6174 7269 78a0 [#+.....&matrix. │ │ │ +00000660: 6f6d 7040 9030 4532 97ee b1c9 07f2 f55a omp@.0E2.......Z │ │ │ +00000670: df41 b07e 3208 a0a0 266d 6174 7269 78a0 .A.~2...&matrix. │ │ │ 00000680: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -00000690: 6d70 4090 3016 4c49 220e 3b41 5fe5 93e7 mp@.0.LI".;A_... │ │ │ -000006a0: 7a03 79b6 11a0 a029 6d78 616c 6765 6272 z.y....)mxalgebr │ │ │ +00000690: 6d70 4090 30f8 eeeb 4a49 8103 7343 2e40 mp@.0...JI..sC.@ │ │ │ +000006a0: f69c e34d 83a0 a029 6d78 616c 6765 6272 ...M...)mxalgebr │ │ │ 000006b0: 61a0 2761 6c67 6562 7261 a028 6d61 7468 a.'algebra.(math │ │ │ -000006c0: 636f 6d70 4090 302b cb30 9cab 6d00 3ebd comp@.0+.0..m.>. │ │ │ -000006d0: 856f 1a70 44d3 01a0 a030 6d78 7265 7072 .o.pD....0mxrepr │ │ │ +000006c0: 636f 6d70 4090 309d 142b 173b 9bb9 c62a comp@.0..+.;...* │ │ │ +000006d0: 8636 9ff3 de50 74a0 a030 6d78 7265 7072 .6...Pt..0mxrepr │ │ │ 000006e0: 6573 656e 7461 7469 6f6e a029 6368 6172 esentation.)char │ │ │ 000006f0: 6163 7465 72a0 286d 6174 6863 6f6d 7040 acter.(mathcomp@ │ │ │ -00000700: 9030 5f67 7415 9e77 5a5b 82ef cc50 c6ee .0_gt..wZ[...P.. │ │ │ -00000710: 542f a0a0 2676 6563 746f 72a0 2761 6c67 T/..&vector.'alg │ │ │ +00000700: 9030 c469 3d97 556e 1a41 dde1 984e 6b3f .0.i=.Un.A...Nk? │ │ │ +00000710: 8cf3 a0a0 2676 6563 746f 72a0 2761 6c67 ....&vector.'alg │ │ │ 00000720: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ -00000730: 301b 535e b945 b063 bc97 4863 6e02 8a8a 0.S^.E.c..Hcn... │ │ │ -00000740: 5ca0 a024 616c 6743 a025 6669 656c 64a0 \..$algC.%field. │ │ │ -00000750: 286d 6174 6863 6f6d 7040 9030 c1b1 f18d (mathcomp@.0.... │ │ │ -00000760: c94b 3a54 f588 ee03 40c5 a3b3 a0a0 2863 .K:T....@.....(c │ │ │ +00000730: 3083 059a 094b 2e74 47c8 0b49 c142 eb3d 0....K.tG..I.B.= │ │ │ +00000740: e2a0 a024 616c 6743 a025 6669 656c 64a0 ...$algC.%field. │ │ │ +00000750: 286d 6174 6863 6f6d 7040 9030 ba1e 565d (mathcomp@.0..V] │ │ │ +00000760: f513 031c aa40 00df 1eca 5a61 a0a0 2863 .....@....Za..(c │ │ │ 00000770: 6c61 7373 6675 6ea0 2963 6861 7261 6374 lassfun.)charact │ │ │ -00000780: 6572 a028 6d61 7468 636f 6d70 4090 30c0 er.(mathcomp@.0. │ │ │ -00000790: fe0e 1805 7004 ead5 7ebc 1664 b069 c3a0 ....p...~..d.i.. │ │ │ +00000780: 6572 a028 6d61 7468 636f 6d70 4090 3061 er.(mathcomp@.0a │ │ │ +00000790: e793 8a97 637f d0e8 8608 4fc2 7ba9 5ea0 ....c.....O.{.^. │ │ │ 000007a0: a029 6368 6172 6163 7465 72a0 0402 a028 .)character....( │ │ │ -000007b0: 6d61 7468 636f 6d70 4090 30b6 bcf4 4f5a mathcomp@.0...OZ │ │ │ -000007c0: 3e20 8761 d128 1484 1b6d 7725 352e 342e > .a.(...mw%5.4. │ │ │ -000007d0: 30a0 4040 2f41 3a65 bee9 d0a6 1355 ba47 0.@@/A:e.....U.G │ │ │ -000007e0: d1de 8ca9 8495 a6be 0004 7907 0000 fbea ..........y..... │ │ │ +000007b0: 6d61 7468 636f 6d70 4090 30d5 2f80 b227 mathcomp@.0./..' │ │ │ +000007c0: b7d5 639b 1c83 0b25 c757 cf25 352e 342e ..c....%.W.%5.4. │ │ │ +000007d0: 30a0 4040 5130 f7d7 85c8 5c93 05d9 05e9 0.@@Q0....\..... │ │ │ +000007e0: 7c45 c3e0 8495 a6be 0004 7907 0000 fbea |E........y..... │ │ │ 000007f0: 0003 9ee7 0003 8e82 b0d0 a027 696e 6572 ...........'iner │ │ │ 00000800: 7469 61a0 2963 6861 7261 6374 6572 a028 tia.)character.( │ │ │ 00000810: 6d61 7468 636f 6d70 40e0 9004 0841 90a0 mathcomp@....A.. │ │ │ 00000820: a030 6366 436f 6e6a 675f 7375 6270 726f .0cfConjg_subpro │ │ │ 00000830: 6f66 9008 0000 2700 40a0 8080 92c0 40a0 of....'.@.....@. │ │ │ 00000840: a0a0 4040 b0a0 a0a0 2370 6869 40a9 9ba0 ..@@....#phi@... │ │ │ 00000850: a090 b090 a028 636c 6173 7366 756e a029 .....(classfun.) │ │ │ @@ -5471,17 +5471,17 @@ │ │ │ 000155e0: 5340 4144 b005 2f0f 4105 033f c0c0 40b0 S@AD../.A..?..@. │ │ │ 000155f0: 052f 1241 0503 34c0 40b0 0424 4104 ef40 ./.A..4.@..$A..@ │ │ │ 00015600: 4142 b004 2541 0502 2ac0 c0c0 40b0 0429 AB..%A..*...@..) │ │ │ 00015610: 4105 022a c040 b004 2b41 0502 2040 4142 A..*.@..+A.. @AB │ │ │ 00015620: b005 2f1c 4105 0219 c040 b005 2f1e 4105 ../.A....@../.A. │ │ │ 00015630: 0217 4041 43b0 042f 4105 03ba c040 b004 ..@AC../A....@.. │ │ │ 00015640: 3141 051e 0740 4144 4546 4849 4a4b 4ca0 1A...@ADEFHIJKL. │ │ │ -00015650: a005 230e 9030 b6bc f44f 5a3e 2087 61d1 ..#..0...OZ> .a. │ │ │ -00015660: 2814 841b 6d77 a005 04de 9030 3e7f 9bcb (...mw.....0>... │ │ │ -00015670: 198f a0c2 96fb 5b23 2bbe db1c 9040 a0a0 ......[#+....@.. │ │ │ +00015650: a005 230e 9030 d52f 80b2 27b7 d563 9b1c ..#..0./..'..c.. │ │ │ +00015660: 830b 25c7 57cf a005 04de 9030 4532 97ee ..%.W......0E2.. │ │ │ +00015670: b1c9 07f2 f55a df41 b07e 3208 9040 a0a0 .....Z.A.~2..@.. │ │ │ 00015680: 95a0 021d 041a fca0 40a0 a040 2727 495b ........@..@''I[ │ │ │ 00015690: 205f 205d c0a0 a040 48a0 4040 a0b1 4040 _ ]...@H.@@..@@ │ │ │ 000156a0: a041 4040 90a0 d0a0 a040 4804 0940 040e .A@@.....@H..@.. │ │ │ 000156b0: a0a0 a041 2327 495b a0a1 a140 040d 9005 ...A#'I[...@.... │ │ │ 000156c0: 3e90 a0a0 4121 5d40 40a0 0413 4040 90a0 >...A!]@@...@@.. │ │ │ 000156d0: 41a0 a094 040e a090 b040 4040 a094 040c A........@@@.... │ │ │ 000156e0: 4048 a095 a002 1d04 1afc a040 a0a0 402b @H.........@..@+ │ │ │ @@ -18441,16 +18441,16 @@ │ │ │ 00048080: 0560 a2a0 05ac da90 9090 4040 4040 4029 .`........@@@@@) │ │ │ 00048090: 3439 3936 3137 3436 38e0 05ac d305 a774 499617468......t │ │ │ 000480a0: 05a5 f105 7dae 057d 1f05 acf0 0566 cab0 ....}..}.....f.. │ │ │ 000480b0: 4040 40a0 95a0 0234 7dc1 ffa0 275f 454c @@@....4}...'_EL │ │ │ 000480c0: 5049 5f38 c0a0 2268 62a0 2264 6240 a0a0 PI_8.."hb."db@.. │ │ │ 000480d0: b005 fbdb 0485 0239 80cc 4304 83a0 a0b0 .......9..C..... │ │ │ 000480e0: 05fb de04 5e02 3980 cc44 045c a0a0 b005 ....^.9..D.\.... │ │ │ -000480f0: fbe1 0438 0239 80cc 4504 3640 4240 4002 ...8.9..E.6@B@@. │ │ │ -00048100: f6e1 4464 a2ff efd8 da56 e9e7 fe76 3a84 ..Dd.....V...v:. │ │ │ +000480f0: fbe1 0438 0239 80cc 4504 3640 4240 40b0 ...8.9..E.6@B@@. │ │ │ +00048100: 6484 bd01 0d43 59d8 9fd8 23b6 c3d7 d384 d....CY...#..... │ │ │ 00048110: 95a6 be00 08d2 b100 0187 c800 0552 5a00 .............RZ. │ │ │ 00048120: 0549 e108 0002 1700 90a0 a99a a090 b090 .I.............. │ │ │ 00048130: a028 636c 6173 7366 756e a029 6368 6172 .(classfun.)char │ │ │ 00048140: 6163 7465 72a0 286d 6174 6863 6f6d 7040 acter.(mathcomp@ │ │ │ 00048150: 2f69 6e74 726f 5f63 6c61 7373 5f66 756e /intro_class_fun │ │ │ 00048160: 0222 5109 a9a0 8080 d091 2267 54a9 9aa0 ."Q......."gT... │ │ │ 00048170: 90b0 90a0 2866 696e 6772 6f75 70a0 0402 ....(fingroup... │ │ │ @@ -54667,17 +54667,17 @@ │ │ │ 000d58a0: 2237 0623 1a19 3700 2219 3707 2804 8033 "7.#..7.".7.(..3 │ │ │ 000d58b0: 2c10 1410 1410 143c 1014 1014 1014 1410 ,......<........ │ │ │ 000d58c0: 0c14 1080 c036 2d00 038c 2a2b 0404 1203 .....6-...*+.... │ │ │ 000d58d0: 0337 0024 0d0c 0c37 0125 0409 8022 3018 .7.$...7.%..."0. │ │ │ 000d58e0: 802d 3439 f042 4466 40dc e05f 35b4 9626 .-49.BDf@.._5..& │ │ │ 000d58f0: ad00 0000 0400 0000 076c 6962 7261 7279 .........library │ │ │ 000d5900: 0000 0000 0000 07e4 0000 0000 0004 791b ..............y. │ │ │ -000d5910: 02f6 e144 64a2 ffef d8da 56e9 e7fe 763a ...Dd.....V...v: │ │ │ +000d5910: b064 84bd 010d 4359 d89f d823 b6c3 d7d3 .d....CY...#.... │ │ │ 000d5920: 0000 0007 6f70 6171 7565 7300 0000 0000 ....opaques..... │ │ │ 000d5930: 0481 0f00 0000 0000 08d2 c567 f76f 7233 ...........g.or3 │ │ │ 000d5940: fbdf 7676 ba3b 9e39 5a24 3900 0000 0773 ..vv.;.9Z$9....s │ │ │ 000d5950: 756d 6d61 7279 0000 0000 0000 0010 0000 ummary.......... │ │ │ -000d5960: 0000 0000 07c4 2f41 3a65 bee9 d0a6 1355 ....../A:e.....U │ │ │ -000d5970: ba47 d1de 8ca9 0000 0009 766d 6c69 6272 .G........vmlibr │ │ │ +000d5960: 0000 0000 07c4 5130 f7d7 85c8 5c93 05d9 ......Q0....\... │ │ │ +000d5970: 05e9 7c45 c3e0 0000 0009 766d 6c69 6272 ..|E......vmlibr │ │ │ 000d5980: 6172 7900 0000 0000 0d53 e400 0000 0000 ary......S...... │ │ │ 000d5990: 0004 fd2d 3439 f042 4466 40dc e05f 35b4 ...-49.BDf@.._5. │ │ │ 000d59a0: 9626 ad .&. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/integral_char.vo │ │ │ @@ -71,37 +71,37 @@ │ │ │ 00000460: 6e74 a028 6669 6e67 726f 7570 a028 6d61 nt.(fingroup.(ma │ │ │ 00000470: 7468 636f 6d70 4090 3003 6c1a 40c4 baec thcomp@.0.l.@... │ │ │ 00000480: acac 6b2f a437 6590 cda0 a026 6163 7469 ..k/.7e....&acti │ │ │ 00000490: 6f6e a028 6669 6e67 726f 7570 a028 6d61 on.(fingroup.(ma │ │ │ 000004a0: 7468 636f 6d70 4090 300e ec10 7918 deea thcomp@.0...y... │ │ │ 000004b0: 22c5 06b9 d4ee de25 2ba0 a026 6669 6e61 "......%+..&fina │ │ │ 000004c0: 6c67 a027 616c 6765 6272 61a0 286d 6174 lg.'algebra.(mat │ │ │ -000004d0: 6863 6f6d 7040 9030 8e88 2bdb 69af 6edf hcomp@.0..+.i.n. │ │ │ -000004e0: f204 36cc 6cb3 83c4 a0a0 257a 6d6f 6470 ..6.l.....%zmodp │ │ │ +000004d0: 6863 6f6d 7040 9030 fcc2 781b 8cd5 0394 hcomp@.0..x..... │ │ │ +000004e0: fabd 8ed3 2996 c3b9 a0a0 257a 6d6f 6470 ....).....%zmodp │ │ │ 000004f0: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000500: 6f6d 7040 9030 d07c 5667 3527 8400 e24e omp@.0.|Vg5'...N │ │ │ -00000510: 2119 72f4 2324 a0a0 2a63 6f6d 6d75 7461 !.r.#$..*commuta │ │ │ +00000500: 6f6d 7040 9030 b67c 8e60 ef18 a2ef f470 omp@.0.|.`.....p │ │ │ +00000510: 114e 807d 6f75 a0a0 2a63 6f6d 6d75 7461 .N.}ou..*commuta │ │ │ 00000520: 746f 72a0 2873 6f6c 7661 626c 65a0 286d tor.(solvable.(m │ │ │ 00000530: 6174 6863 6f6d 7040 9030 d871 6140 2908 athcomp@.0.qa@). │ │ │ 00000540: feb1 f53b 5a32 9770 7f9b a0a0 2663 7963 ...;Z2.p....&cyc │ │ │ 00000550: 6c69 63a0 2873 6f6c 7661 626c 65a0 286d lic.(solvable.(m │ │ │ -00000560: 6174 6863 6f6d 7040 9030 05b6 cd95 38ce athcomp@.0....8. │ │ │ -00000570: 6591 b095 9bd9 ee05 3024 a0a0 2663 656e e.......0$..&cen │ │ │ +00000560: 6174 6863 6f6d 7040 9030 59f3 c55e 5dbb athcomp@.0Y..^]. │ │ │ +00000570: 9514 8e70 934c d334 f4f0 a0a0 2663 656e ...p.L.4....&cen │ │ │ 00000580: 7465 72a0 2873 6f6c 7661 626c 65a0 286d ter.(solvable.(m │ │ │ -00000590: 6174 6863 6f6d 7040 9030 2444 887a 19c0 athcomp@.0$D.z.. │ │ │ -000005a0: 53ae 27b8 0aa1 b366 c43c a0a0 2670 6772 S.'....f.<..&pgr │ │ │ +00000590: 6174 6863 6f6d 7040 9030 8f8d 32f9 6d6e athcomp@.0..2.mn │ │ │ +000005a0: aed6 67c3 79d5 634f e0f8 a0a0 2670 6772 ..g.y.cO....&pgr │ │ │ 000005b0: 6f75 70a0 2873 6f6c 7661 626c 65a0 286d oup.(solvable.(m │ │ │ -000005c0: 6174 6863 6f6d 7040 9030 5896 7d1f 317d athcomp@.0X.}.1} │ │ │ -000005d0: 2b9a 64db e13f 3e58 8a89 a0a0 2573 796c +.d..?>X....%syl │ │ │ +000005c0: 6174 6863 6f6d 7040 9030 dc4b 9326 c67e athcomp@.0.K.&.~ │ │ │ +000005d0: 5d59 8328 0a99 9942 5e18 a0a0 2573 796c ]Y.(...B^...%syl │ │ │ 000005e0: 6f77 a028 736f 6c76 6162 6c65 a028 6d61 ow.(solvable.(ma │ │ │ -000005f0: 7468 636f 6d70 4090 3022 356f 8105 0f80 thcomp@.0"5o.... │ │ │ -00000600: 8bd4 8bb3 0902 7bcf caa0 a027 6162 656c ......{....'abel │ │ │ +000005f0: 7468 636f 6d70 4090 30df c5fd 8c41 bdb4 thcomp@.0....A.. │ │ │ +00000600: 37d7 86dd f908 62f8 51a0 a027 6162 656c 7.....b.Q..'abel │ │ │ 00000610: 6961 6ea0 2873 6f6c 7661 626c 65a0 286d ian.(solvable.(m │ │ │ -00000620: 6174 6863 6f6d 7040 9030 6a30 3081 04e4 athcomp@.0j00... │ │ │ -00000630: 86ce 2839 faea 98a0 ade0 a0a0 2673 7372 ..(9........&ssr │ │ │ +00000620: 6174 6863 6f6d 7040 9030 45e9 5364 e34e athcomp@.0E.Sd.N │ │ │ +00000630: 4164 f51f 8576 c3a3 d12d a0a0 2673 7372 Ad...v...-..&ssr │ │ │ 00000640: 6e75 6da0 2761 6c67 6562 7261 a028 6d61 num.'algebra.(ma │ │ │ 00000650: 7468 636f 6d70 4090 30df ac55 1647 d9dc thcomp@.0..U.G.. │ │ │ 00000660: 42e2 953f f696 c5d7 52a0 a026 7373 7269 B..?....R..&ssri │ │ │ 00000670: 6e74 a027 616c 6765 6272 61a0 286d 6174 nt.'algebra.(mat │ │ │ 00000680: 6863 6f6d 7040 9030 62dc 790f 3232 efc0 hcomp@.0b.y.22.. │ │ │ 00000690: 653d 7f16 90b0 359e a0a0 2b61 7263 6869 e=....5...+archi │ │ │ 000006a0: 6d65 6465 616e a027 616c 6765 6272 61a0 medean.'algebra. │ │ │ @@ -110,56 +110,56 @@ │ │ │ 000006d0: 6f6c 7964 6976 a027 616c 6765 6272 61a0 olydiv.'algebra. │ │ │ 000006e0: 286d 6174 6863 6f6d 7040 9030 0e78 c1dd (mathcomp@.0.x.. │ │ │ 000006f0: b77a 80ef 27d1 32a4 0749 bb76 a0a0 2372 .z..'.2..I.v..#r │ │ │ 00000700: 6174 a027 616c 6765 6272 61a0 286d 6174 at.'algebra.(mat │ │ │ 00000710: 6863 6f6d 7040 9030 7a9f 6219 7981 7a20 hcomp@.0z.b.y.z │ │ │ 00000720: 6441 33c3 1683 07a8 a0a0 266d 6174 7269 dA3.......&matri │ │ │ 00000730: 78a0 2761 6c67 6562 7261 a028 6d61 7468 x.'algebra.(math │ │ │ -00000740: 636f 6d70 4090 3016 4c49 220e 3b41 5fe5 comp@.0.LI".;A_. │ │ │ -00000750: 93e7 7a03 79b6 11a0 a029 6d78 616c 6765 ..z.y....)mxalge │ │ │ +00000740: 636f 6d70 4090 30f8 eeeb 4a49 8103 7343 comp@.0...JI..sC │ │ │ +00000750: 2e40 f69c e34d 83a0 a029 6d78 616c 6765 .@...M...)mxalge │ │ │ 00000760: 6272 61a0 2761 6c67 6562 7261 a028 6d61 bra.'algebra.(ma │ │ │ -00000770: 7468 636f 6d70 4090 302b cb30 9cab 6d00 thcomp@.0+.0..m. │ │ │ -00000780: 3ebd 856f 1a70 44d3 01a0 a026 696e 7464 >..o.pD....&intd │ │ │ +00000770: 7468 636f 6d70 4090 309d 142b 173b 9bb9 thcomp@.0..+.;.. │ │ │ +00000780: c62a 8636 9ff3 de50 74a0 a026 696e 7464 .*.6...Pt..&intd │ │ │ 00000790: 6976 a027 616c 6765 6272 61a0 286d 6174 iv.'algebra.(mat │ │ │ -000007a0: 6863 6f6d 7040 9030 7fe7 ae15 4323 7919 hcomp@.0....C#y. │ │ │ -000007b0: b506 3d64 b928 0c19 a0a0 266d 7870 6f6c ..=d.(....&mxpol │ │ │ +000007a0: 6863 6f6d 7040 9030 ead6 74af 1b8d d73a hcomp@.0..t....: │ │ │ +000007b0: 6468 5d2c 7773 76a4 a0a0 266d 7870 6f6c dh],wsv...&mxpol │ │ │ 000007c0: 79a0 2761 6c67 6562 7261 a028 6d61 7468 y.'algebra.(math │ │ │ -000007d0: 636f 6d70 4090 303b 817a 18b3 ce23 9659 comp@.0;.z...#.Y │ │ │ -000007e0: 238a dc2f 2737 9aa0 a028 6661 6c67 6562 #../'7...(falgeb │ │ │ +000007d0: 636f 6d70 4090 30fc 8c98 e8fb 8bad 56ef comp@.0.......V. │ │ │ +000007e0: 97cc 6d51 3a23 1ba0 a028 6661 6c67 6562 ..mQ:#...(falgeb │ │ │ 000007f0: 7261 a025 6669 656c 64a0 286d 6174 6863 ra.%field.(mathc │ │ │ -00000800: 6f6d 7040 9030 3954 cd7e d2c0 aa8f 1b25 omp@.09T.~.....% │ │ │ -00000810: 10f7 c996 dd16 a0a0 2866 6965 6c64 6578 ........(fieldex │ │ │ +00000800: 6f6d 7040 9030 07e4 4bd0 6de2 b7ea 1ce1 omp@.0..K.m..... │ │ │ +00000810: d876 7803 c20e a0a0 2866 6965 6c64 6578 .vx.....(fieldex │ │ │ 00000820: 74a0 2566 6965 6c64 a028 6d61 7468 636f t.%field.(mathco │ │ │ -00000830: 6d70 4090 3045 6348 6f43 ff73 9c3b 7b36 mp@.0EcHoC.s.;{6 │ │ │ -00000840: 2f4c 32b9 eaa0 a029 7365 7061 7261 626c /L2....)separabl │ │ │ +00000830: 6d70 4090 3040 58a9 d200 c887 d42a 8306 mp@.0@X......*.. │ │ │ +00000840: 9f02 9ccc 11a0 a029 7365 7061 7261 626c .......)separabl │ │ │ 00000850: 65a0 2566 6965 6c64 a028 6d61 7468 636f e.%field.(mathco │ │ │ -00000860: 6d70 4090 3021 de42 ef36 a929 c932 4c33 mp@.0!.B.6.).2L3 │ │ │ -00000870: db11 9121 c9a0 a026 6761 6c6f 6973 a025 ...!...&galois.% │ │ │ +00000860: 6d70 4090 3059 2228 8876 1045 5b56 484f mp@.0Y"(.v.E[VHO │ │ │ +00000870: 0bb0 3b2d f8a0 a026 6761 6c6f 6973 a025 ..;-...&galois.% │ │ │ 00000880: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000890: 9030 c1d9 5386 c9c2 d4fc 96bb b411 0e30 .0..S..........0 │ │ │ -000008a0: 67f3 a0a0 2461 6c67 43a0 2566 6965 6c64 g...$algC.%field │ │ │ -000008b0: a028 6d61 7468 636f 6d70 4090 30c1 b1f1 .(mathcomp@.0... │ │ │ -000008c0: 8dc9 4b3a 54f5 88ee 0340 c5a3 b3a0 a02a ..K:T....@.....* │ │ │ +00000890: 9030 6407 505d d97f fa20 0e38 569f ac6b .0d.P]... .8V..k │ │ │ +000008a0: 11e7 a0a0 2461 6c67 43a0 2566 6965 6c64 ....$algC.%field │ │ │ +000008b0: a028 6d61 7468 636f 6d70 4090 30ba 1e56 .(mathcomp@.0..V │ │ │ +000008c0: 5df5 1303 1caa 4000 df1e ca5a 61a0 a02a ].....@....Za..* │ │ │ 000008d0: 6379 636c 6f74 6f6d 6963 a025 6669 656c cyclotomic.%fiel │ │ │ -000008e0: 64a0 286d 6174 6863 6f6d 7040 9030 a1bc d.(mathcomp@.0.. │ │ │ -000008f0: 35bb 90e1 7fa0 586f 2ff4 0407 16f3 a0a0 5.....Xo/....... │ │ │ +000008e0: 64a0 286d 6174 6863 6f6d 7040 9030 f3ed d.(mathcomp@.0.. │ │ │ +000008f0: e3ab a73a 53d5 f8c7 f850 85fa 71a0 a0a0 ...:S....P..q... │ │ │ 00000900: 2661 6c67 6e75 6da0 2566 6965 6c64 a028 &algnum.%field.( │ │ │ -00000910: 6d61 7468 636f 6d70 4090 3047 beb3 abb9 mathcomp@.0G.... │ │ │ -00000920: cef2 f01d 2730 de3d 7153 c8a0 a030 6d78 ....'0.=qS...0mx │ │ │ +00000910: 6d61 7468 636f 6d70 4090 30e8 7137 885e mathcomp@.0.q7.^ │ │ │ +00000920: e28e fb65 8a54 1af0 2d49 f9a0 a030 6d78 ...e.T..-I...0mx │ │ │ 00000930: 7265 7072 6573 656e 7461 7469 6f6e a029 representation.) │ │ │ 00000940: 6368 6172 6163 7465 72a0 286d 6174 6863 character.(mathc │ │ │ -00000950: 6f6d 7040 9030 5f67 7415 9e77 5a5b 82ef omp@.0_gt..wZ[.. │ │ │ -00000960: cc50 c6ee 542f a0a0 2863 6c61 7373 6675 .P..T/..(classfu │ │ │ +00000950: 6f6d 7040 9030 c469 3d97 556e 1a41 dde1 omp@.0.i=.Un.A.. │ │ │ +00000960: 984e 6b3f 8cf3 a0a0 2863 6c61 7373 6675 .Nk?....(classfu │ │ │ 00000970: 6ea0 2963 6861 7261 6374 6572 a028 6d61 n.)character.(ma │ │ │ -00000980: 7468 636f 6d70 4090 30c0 fe0e 1805 7004 thcomp@.0.....p. │ │ │ -00000990: ead5 7ebc 1664 b069 c3a0 a029 6368 6172 ..~..d.i...)char │ │ │ +00000980: 7468 636f 6d70 4090 3061 e793 8a97 637f thcomp@.0a....c. │ │ │ +00000990: d0e8 8608 4fc2 7ba9 5ea0 a029 6368 6172 ....O.{.^..)char │ │ │ 000009a0: 6163 7465 72a0 0402 a028 6d61 7468 636f acter....(mathco │ │ │ -000009b0: 6d70 4090 30b6 bcf4 4f5a 3e20 8761 d128 mp@.0...OZ> .a.( │ │ │ -000009c0: 1484 1b6d 7725 352e 342e 30a0 4040 21ac ...mw%5.4.0.@@!. │ │ │ -000009d0: cd3f 279c cec8 19f4 be7f 53bd c1bd 8495 .?'.......S..... │ │ │ +000009b0: 6d70 4090 30d5 2f80 b227 b7d5 639b 1c83 mp@.0./..'..c... │ │ │ +000009c0: 0b25 c757 cf25 352e 342e 30a0 4040 3984 .%.W.%5.4.0.@@9. │ │ │ +000009d0: 4851 bf3d 89a6 5934 7a43 292d b6ea 8495 HQ.=..Y4zC)-.... │ │ │ 000009e0: a6be 0001 3979 0000 3dcb 0000 e761 0000 ....9y..=....a.. │ │ │ 000009f0: df65 b0d0 a02d 696e 7465 6772 616c 5f63 .e...-integral_c │ │ │ 00000a00: 6861 72a0 2963 6861 7261 6374 6572 a028 har.)character.( │ │ │ 00000a10: 6d61 7468 636f 6d70 40e0 9004 0841 90a0 mathcomp@....A.. │ │ │ 00000a20: a036 6772 6f75 705f 6e75 6d5f 6669 656c .6group_num_fiel │ │ │ 00000a30: 645f 6578 6973 7473 9008 0000 2700 40a0 d_exists....'.@. │ │ │ 00000a40: 8080 92c0 4040 0411 40b6 a090 2267 5440 ....@@..@..."gT@ │ │ │ @@ -3411,16 +3411,16 @@ │ │ │ 0000d520: 4244 4546 b005 06d4 4205 06e4 c0c0 40b0 BDEF....B.....@. │ │ │ 0000d530: 0506 cd42 0506 d1c0 40b0 0506 c642 0506 ...B....@....B.. │ │ │ 0000d540: ca40 4142 b005 06bd 4205 06c1 c0c0 40b0 .@AB....B.....@. │ │ │ 0000d550: 0506 b742 0506 bb40 41b0 0506 ab42 0506 ...B...@A....B.. │ │ │ 0000d560: afc0 40b0 0506 a442 0506 a8c0 40b0 0506 ..@....B....@... │ │ │ 0000d570: 9c42 0506 a0c0 40b0 0523 4442 0507 aa40 .B....@..#DB...@ │ │ │ 0000d580: 4142 4344 4547 4849 4a4b 4c90 a005 11d6 ABCDEGHIJKL..... │ │ │ -0000d590: 9030 b6bc f44f 5a3e 2087 61d1 2814 841b .0...OZ> .a.(... │ │ │ -0000d5a0: 6d77 9040 a0a0 a105 1262 a040 9040 a0a0 mw.@.....b.@.@.. │ │ │ +0000d590: 9030 d52f 80b2 27b7 d563 9b1c 830b 25c7 .0./..'..c....%. │ │ │ +0000d5a0: 57cf 9040 a0a0 a105 1262 a040 9040 a0a0 W..@.....b.@.@.. │ │ │ 0000d5b0: 0511 f5a0 40a1 0511 83d0 4005 1184 a005 ....@.....@..... │ │ │ 0000d5c0: 1164 0511 fc40 41a0 95a0 021d 041a fca0 .d...@A......... │ │ │ 0000d5d0: 40a0 a040 2527 4b5f 205f c0a0 a040 48a0 @..@%'K_ _...@H. │ │ │ 0000d5e0: 9142 40a0 b140 40a0 9042 a041 4040 90a0 .B@..@@..B.A@@.. │ │ │ 0000d5f0: d0a0 a040 4804 0c40 0411 a0a0 a041 2327 ...@H..@.....A#' │ │ │ 0000d600: 4b5f a0a1 a140 040f 9005 156f 4040 a004 K_...@.....o@@.. │ │ │ 0000d610: 1240 4090 a040 a0a0 9404 0ba0 90b0 4091 .@@..@........@. │ │ │ @@ -5168,16 +5168,16 @@ │ │ │ 000142f0: 1677 a005 1673 40d0 4005 1671 a005 166c .w...s@.@..q...l │ │ │ 00014300: 4040 4142 0516 66a0 0516 6140 d0d0 d040 @@AB..f...a@...@ │ │ │ 00014310: 0516 61a0 0516 5c40 4041 0516 58a0 0516 ..a...\@@A..X... │ │ │ 00014320: 5440 d040 0516 52a0 0516 4d40 4041 4205 T@.@..R...M@@AB. │ │ │ 00014330: 1646 a005 1641 40d0 d040 0516 40a0 0516 .F...A@..@..@... │ │ │ 00014340: 3b40 4041 0516 38a0 0516 3340 d040 0516 ;@@A..8...3@.@.. │ │ │ 00014350: 31a0 0516 2c40 d040 0516 29a0 0516 2340 1...,@.@..)...#@ │ │ │ -00014360: 4041 4243 4445 4647 4840 408f a9bf 17a3 @ABCDEFGH@@..... │ │ │ -00014370: a5ec 07d3 41a7 5df2 80a5 a084 95a6 be00 ....A.]......... │ │ │ +00014360: 4041 4243 4445 4647 4840 40e0 8c3c f94f @ABCDEFGH@@..<.O │ │ │ +00014370: 7ed0 14e2 8680 1f33 fd71 fd84 95a6 be00 ~......3.q...... │ │ │ 00014380: 069a 9800 0136 7900 042f 3600 0425 3b08 .....6y../6..%;. │ │ │ 00014390: 0000 6700 90a0 b7a0 9022 6754 409b a0a0 ..g......"gT@... │ │ │ 000143a0: 90b0 a290 a028 6669 6e67 726f 7570 a004 .....(fingroup.. │ │ │ 000143b0: 02a0 286d 6174 6863 6f6d 7040 2846 696e ..(mathcomp@(Fin │ │ │ 000143c0: 4772 6f75 7024 7479 7065 0202 4b75 c940 Group$type..Ku.@ │ │ │ 000143d0: a080 80b7 a090 2147 40a9 9aa0 90b0 9004 ......!G@....... │ │ │ 000143e0: 1228 6772 6f75 705f 6f66 0221 5142 ff04 .(group_of.!QB.. │ │ │ @@ -32277,17 +32277,17 @@ │ │ │ 0007e140: 3707 2437 0837 0922 0c0c 3700 220c 370a 7.$7.7."..7.".7. │ │ │ 0007e150: 2237 0837 0b21 370c 2504 0780 382c 1014 "7.7.!7.%...8,.. │ │ │ 0007e160: 1014 1014 100c 1810 1410 1410 1414 0c08 ................ │ │ │ 0007e170: 1410 0c08 0c80 c027 3600 3701 3a01 8c80 .......'6.7.:... │ │ │ 0007e180: 2204 0880 c004 0380 2204 0880 a9a9 09fb "......."....... │ │ │ 0007e190: 6284 3b59 6106 d2a8 34af 12eb 0000 0004 b.;Ya...4....... │ │ │ 0007e1a0: 0000 0007 6c69 6272 6172 7900 0000 0000 ....library..... │ │ │ -0007e1b0: 0009 de00 0000 0000 0139 8d8f a9bf 17a3 .........9...... │ │ │ -0007e1c0: a5ec 07d3 41a7 5df2 80a5 a000 0000 076f ....A.]........o │ │ │ +0007e1b0: 0009 de00 0000 0000 0139 8de0 8c3c f94f .........9...<.O │ │ │ +0007e1c0: 7ed0 14e2 8680 1f33 fd71 fd00 0000 076f ~......3.q.....o │ │ │ 0007e1d0: 7061 7175 6573 0000 0000 0001 437b 0000 paques......C{.. │ │ │ 0007e1e0: 0000 0006 9aac c20e 7e4a 18a9 1a74 def6 ........~J...t.. │ │ │ 0007e1f0: bd49 cc03 e541 0000 0007 7375 6d6d 6172 .I...A....summar │ │ │ 0007e200: 7900 0000 0000 0000 1000 0000 0000 0009 y............... │ │ │ -0007e210: be21 accd 3f27 9cce c819 f4be 7f53 bdc1 .!..?'.......S.. │ │ │ -0007e220: bd00 0000 0976 6d6c 6962 7261 7279 0000 .....vmlibrary.. │ │ │ +0007e210: be39 8448 51bf 3d89 a659 347a 4329 2db6 .9.HQ.=..Y4zC)-. │ │ │ +0007e220: ea00 0000 0976 6d6c 6962 7261 7279 0000 .....vmlibrary.. │ │ │ 0007e230: 0000 0007 de37 0000 0000 0000 0355 a9a9 .....7.......U.. │ │ │ 0007e240: 09fb 6284 3b59 6106 d2a8 34af 12eb ..b.;Ya...4... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/mxabelem.vo │ │ │ @@ -68,54 +68,54 @@ │ │ │ 00000430: 696e 6772 6f75 70a0 286d 6174 6863 6f6d ingroup.(mathcom │ │ │ 00000440: 7040 9030 036c 1a40 c4ba ecac ac6b 2fa4 p@.0.l.@.....k/. │ │ │ 00000450: 3765 90cd a0a0 2867 7072 6f64 7563 74a0 7e....(gproduct. │ │ │ 00000460: 2866 696e 6772 6f75 70a0 286d 6174 6863 (fingroup.(mathc │ │ │ 00000470: 6f6d 7040 9030 2265 4a4c fd62 4cf1 b47e omp@.0"eJL.bL..~ │ │ │ 00000480: 42f6 4666 27ed a0a0 2666 696e 616c 67a0 B.Ff'...&finalg. │ │ │ 00000490: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004a0: 6d70 4090 308e 882b db69 af6e dff2 0436 mp@.0..+.i.n...6 │ │ │ -000004b0: cc6c b383 c4a0 a025 7a6d 6f64 70a0 2761 .l.....%zmodp.'a │ │ │ +000004a0: 6d70 4090 30fc c278 1b8c d503 94fa bd8e mp@.0..x........ │ │ │ +000004b0: d329 96c3 b9a0 a025 7a6d 6f64 70a0 2761 .).....%zmodp.'a │ │ │ 000004c0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000004d0: 4090 30d0 7c56 6735 2784 00e2 4e21 1972 @.0.|Vg5'...N!.r │ │ │ -000004e0: f423 24a0 a02a 636f 6d6d 7574 6174 6f72 .#$..*commutator │ │ │ +000004d0: 4090 30b6 7c8e 60ef 18a2 eff4 7011 4e80 @.0.|.`.....p.N. │ │ │ +000004e0: 7d6f 75a0 a02a 636f 6d6d 7574 6174 6f72 }ou..*commutator │ │ │ 000004f0: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ 00000500: 636f 6d70 4090 30d8 7161 4029 08fe b1f5 comp@.0.qa@).... │ │ │ 00000510: 3b5a 3297 707f 9ba0 a026 6379 636c 6963 ;Z2.p....&cyclic │ │ │ 00000520: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000530: 636f 6d70 4090 3005 b6cd 9538 ce65 91b0 comp@.0....8.e.. │ │ │ -00000540: 959b d9ee 0530 24a0 a026 6365 6e74 6572 .....0$..¢er │ │ │ +00000530: 636f 6d70 4090 3059 f3c5 5e5d bb95 148e comp@.0Y..^].... │ │ │ +00000540: 7093 4cd3 34f4 f0a0 a026 6365 6e74 6572 p.L.4....¢er │ │ │ 00000550: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000560: 636f 6d70 4090 3024 4488 7a19 c053 ae27 comp@.0$D.z..S.' │ │ │ -00000570: b80a a1b3 66c4 3ca0 a026 7067 726f 7570 ....f.<..&pgroup │ │ │ +00000560: 636f 6d70 4090 308f 8d32 f96d 6eae d667 comp@.0..2.mn..g │ │ │ +00000570: c379 d563 4fe0 f8a0 a026 7067 726f 7570 .y.cO....&pgroup │ │ │ 00000580: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000590: 636f 6d70 4090 3058 967d 1f31 7d2b 9a64 comp@.0X.}.1}+.d │ │ │ -000005a0: dbe1 3f3e 588a 89a0 a027 6773 6572 6965 ..?>X....'gserie │ │ │ +00000590: 636f 6d70 4090 30dc 4b93 26c6 7e5d 5983 comp@.0.K.&.~]Y. │ │ │ +000005a0: 280a 9999 425e 18a0 a027 6773 6572 6965 (...B^...'gserie │ │ │ 000005b0: 73a0 2873 6f6c 7661 626c 65a0 286d 6174 s.(solvable.(mat │ │ │ -000005c0: 6863 6f6d 7040 9030 12ee 3fe1 cc4e 0464 hcomp@.0..?..N.d │ │ │ -000005d0: 74c4 5d77 dfc5 11e2 a0a0 296e 696c 706f t.]w......)nilpo │ │ │ +000005c0: 6863 6f6d 7040 9030 6482 1bc4 619c 764a hcomp@.0d...a.vJ │ │ │ +000005d0: 6db9 94fe f563 5414 a0a0 296e 696c 706f m....cT...)nilpo │ │ │ 000005e0: 7465 6e74 a028 736f 6c76 6162 6c65 a028 tent.(solvable.( │ │ │ -000005f0: 6d61 7468 636f 6d70 4090 302f 4eec ab5e mathcomp@.0/N..^ │ │ │ -00000600: 69df b79a 24b4 f519 04e4 1fa0 a025 7379 i...$........%sy │ │ │ +000005f0: 6d61 7468 636f 6d70 4090 30b9 e6cd 8aaf mathcomp@.0..... │ │ │ +00000600: 3830 31d8 a407 4442 684f 59a0 a025 7379 801...DBhOY..%sy │ │ │ 00000610: 6c6f 77a0 2873 6f6c 7661 626c 65a0 286d low.(solvable.(m │ │ │ -00000620: 6174 6863 6f6d 7040 9030 2235 6f81 050f athcomp@.0"5o... │ │ │ -00000630: 808b d48b b309 027b cfca a0a0 276d 6178 .......{....'max │ │ │ +00000620: 6174 6863 6f6d 7040 9030 dfc5 fd8c 41bd athcomp@.0....A. │ │ │ +00000630: b437 d786 ddf9 0862 f851 a0a0 276d 6178 .7.....b.Q..'max │ │ │ 00000640: 696d 616c a028 736f 6c76 6162 6c65 a028 imal.(solvable.( │ │ │ -00000650: 6d61 7468 636f 6d70 4090 30eb 05c4 0e08 mathcomp@.0..... │ │ │ -00000660: bb2d 4dc3 5338 93ca 89d7 82a0 a026 6d61 .-M.S8.......&ma │ │ │ +00000650: 6d61 7468 636f 6d70 4090 30e0 d46c 39aa mathcomp@.0..l9. │ │ │ +00000660: 5b3a 0953 3e55 a954 dd56 7ba0 a026 6d61 [:.S>U.T.V{..&ma │ │ │ 00000670: 7472 6978 a027 616c 6765 6272 61a0 286d trix.'algebra.(m │ │ │ -00000680: 6174 6863 6f6d 7040 9030 164c 4922 0e3b athcomp@.0.LI".; │ │ │ -00000690: 415f e593 e77a 0379 b611 a0a0 296d 7861 A_...z.y....)mxa │ │ │ +00000680: 6174 6863 6f6d 7040 9030 f8ee eb4a 4981 athcomp@.0...JI. │ │ │ +00000690: 0373 432e 40f6 9ce3 4d83 a0a0 296d 7861 .sC.@...M...)mxa │ │ │ 000006a0: 6c67 6562 7261 a027 616c 6765 6272 61a0 lgebra.'algebra. │ │ │ -000006b0: 286d 6174 6863 6f6d 7040 9030 2bcb 309c (mathcomp@.0+.0. │ │ │ -000006c0: ab6d 003e bd85 6f1a 7044 d301 a0a0 306d .m.>..o.pD....0m │ │ │ +000006b0: 286d 6174 6863 6f6d 7040 9030 9d14 2b17 (mathcomp@.0..+. │ │ │ +000006c0: 3b9b b9c6 2a86 369f f3de 5074 a0a0 306d ;...*.6...Pt..0m │ │ │ 000006d0: 7872 6570 7265 7365 6e74 6174 696f 6ea0 xrepresentation. │ │ │ 000006e0: 2963 6861 7261 6374 6572 a028 6d61 7468 )character.(math │ │ │ -000006f0: 636f 6d70 4090 305f 6774 159e 775a 5b82 comp@.0_gt..wZ[. │ │ │ -00000700: efcc 50c6 ee54 2f25 352e 342e 30a0 4040 ..P..T/%5.4.0.@@ │ │ │ -00000710: c2e7 735b 1639 af99 5b82 b31f f5a5 9212 ..s[.9..[....... │ │ │ +000006f0: 636f 6d70 4090 30c4 693d 9755 6e1a 41dd comp@.0.i=.Un.A. │ │ │ +00000700: e198 4e6b 3f8c f325 352e 342e 30a0 4040 ..Nk?..%5.4.0.@@ │ │ │ +00000710: ff65 7f8a 5304 e5b9 a851 d3e1 da78 d9b3 .e..S....Q...x.. │ │ │ 00000720: 8495 a6be 0004 0425 0000 e5be 0003 3b3f .......%......;? │ │ │ 00000730: 0003 2aea b0d0 a028 6d78 6162 656c 656d ..*....(mxabelem │ │ │ 00000740: a029 6368 6172 6163 7465 72a0 286d 6174 .)character.(mat │ │ │ 00000750: 6863 6f6d 7040 e090 0408 4190 a0a0 2b6d hcomp@....A...+m │ │ │ 00000760: 785f 7265 7072 5f61 6374 9008 0000 2700 x_repr_act....'. │ │ │ 00000770: 40a0 8080 91b7 a090 2152 409b a0a0 90b0 @.......!R@..... │ │ │ 00000780: a2a2 90a0 2666 696e 616c 67a0 2761 6c67 ....&finalg.'alg │ │ │ @@ -5626,18 +5626,18 @@ │ │ │ 00015f90: 0300 190a 3b88 2f50 f490 b005 3a0d 0502 ....;./P....:... │ │ │ 00015fa0: e001 49ec 4105 02c5 4041 4243 b004 0441 ..I.A...@ABC...A │ │ │ 00015fb0: 0502 92c0 c0c0 40b0 0408 4105 0257 4041 ......@...A..W@A │ │ │ 00015fc0: b004 0941 0502 6b40 42b0 a003 0019 083b ...A..k@B......; │ │ │ 00015fd0: 9d75 8652 90b0 0531 4304 3d01 564b 4105 .u.R...1C.=.VKA. │ │ │ 00015fe0: 025c c040 b004 0541 0502 7140 4143 4445 .\.@...A..q@ACDE │ │ │ 00015ff0: 484a 4ba0 a0a0 276d 6178 696d 616c a028 HJK...'maximal.( │ │ │ -00016000: 736f 6c76 6162 6c65 a005 0867 4090 30eb solvable...g@.0. │ │ │ -00016010: 05c4 0e08 bb2d 4dc3 5338 93ca 89d7 82a0 .....-M.S8...... │ │ │ -00016020: 053e 4f90 305f 6774 159e 775a 5b82 efcc .>O.0_gt..wZ[... │ │ │ -00016030: 50c6 ee54 2f90 40a0 a095 a002 1d04 1afc P..T/.@......... │ │ │ +00016000: 736f 6c76 6162 6c65 a005 0867 4090 30e0 solvable...g@.0. │ │ │ +00016010: d46c 39aa 5b3a 0953 3e55 a954 dd56 7ba0 .l9.[:.S>U.T.V{. │ │ │ +00016020: 053e 4f90 30c4 693d 9755 6e1a 41dd e198 .>O.0.i=.Un.A... │ │ │ +00016030: 4e6b 3f8c f390 40a0 a095 a002 1d04 1afc Nk?...@......... │ │ │ 00016040: a040 a0a0 4025 274d 5220 5fc0 a0a0 404a .@..@%'MR _...@J │ │ │ 00016050: a091 4840 a0b1 4040 a090 48a0 4140 4090 ..H@..@@..H.A@@. │ │ │ 00016060: a0d0 a0a0 404a 040c 4004 11a0 a0a0 4123 ....@J..@.....A# │ │ │ 00016070: 274d 52a0 a1a1 4004 0f90 053f cd40 40a0 'MR...@....?.@@. │ │ │ 00016080: 0412 4040 90a0 40a0 a094 2427 4d52 20a0 ..@@..@...$'MR . │ │ │ 00016090: 90b0 4091 4890 4140 4aa0 95a0 021d 041a ..@.H.A@J....... │ │ │ 000160a0: fca0 40a0 a040 2527 4d52 205f c004 2a04 ..@..@%'MR _..*. │ │ │ @@ -16559,16 +16559,16 @@ │ │ │ 00040ae0: 2268 62a0 2264 6240 a0a0 b005 e5a3 0501 "hb."db@........ │ │ │ 00040af0: 3002 3d1d e0a5 0501 2ea0 a0b0 05e5 a605 0.=............. │ │ │ 00040b00: 0108 023d 1de0 a605 0106 a0a0 b005 e5a9 ...=............ │ │ │ 00040b10: 04e0 023d 1de0 a704 dea0 a0b0 05e5 ac04 ...=............ │ │ │ 00040b20: ba02 3d1d e0a8 04b8 a0a0 b005 e5af 0492 ..=............. │ │ │ 00040b30: 023d 1de0 a904 90a0 a0b0 05e5 b204 6c02 .=............l. │ │ │ 00040b40: 3d1d e443 046a a0a0 b005 e5b5 0446 023d =..C.j.......F.= │ │ │ -00040b50: 1de4 4404 4440 4240 4022 e890 ce42 d278 ..D.D@B@@"...B.x │ │ │ -00040b60: 22e1 8e32 ca20 fa4e 6c84 95a6 be00 0472 "..2. .Nl......r │ │ │ +00040b50: 1de4 4404 4440 4240 4007 6396 5376 05e5 ..D.D@B@@.c.Sv.. │ │ │ +00040b60: 4716 7a33 c9ef b8bc a184 95a6 be00 0472 G.z3...........r │ │ │ 00040b70: 2000 00d7 d200 02f1 6c00 02e9 f108 0001 .......l....... │ │ │ 00040b80: c300 90a0 b7a0 9021 7540 a99b a0a0 90b0 .......!u@...... │ │ │ 00040b90: 90a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ 00040ba0: 7261 a028 6d61 7468 636f 6d70 4004 0502 ra.(mathcomp@... │ │ │ 00040bb0: 0e22 78ca 40a0 8080 b0a9 9aa0 90b0 a2a2 ."x.@........... │ │ │ 00040bc0: 90a0 2673 7372 616c 6704 1025 4752 696e ..&ssralg..%GRin │ │ │ 00040bd0: 6728 5365 6d69 5269 6e67 2473 6f72 7402 g(SemiRing$sort. │ │ │ @@ -35045,17 +35045,17 @@ │ │ │ 00088e40: 0022 0b0d 3701 2412 0505 2d05 0429 062a ."..7.$...-..).* │ │ │ 00088e50: 2b01 1f0a 040d 1e00 0537 0220 0709 1f0a +........7. .... │ │ │ 00088e60: 050e 1e00 0537 0320 0709 1f0a 060f 1e00 .....7. ........ │ │ │ 00088e70: 0537 0420 073a 0129 0380 252c 1454 3030 .7. .:.)..%,.T00 │ │ │ 00088e80: 807b 4a6c ec01 a627 1094 035d 7dd4 a63d .{Jl...'...]}..= │ │ │ 00088e90: 4800 0000 0400 0000 076c 6962 7261 7279 H........library │ │ │ 00088ea0: 0000 0000 0000 0720 0000 0000 0004 0439 ....... .......9 │ │ │ -00088eb0: 22e8 90ce 42d2 7822 e18e 32ca 20fa 4e6c "...B.x"..2. .Nl │ │ │ +00088eb0: 0763 9653 7605 e547 167a 33c9 efb8 bca1 .c.Sv..G.z3..... │ │ │ 00088ec0: 0000 0007 6f70 6171 7565 7300 0000 0000 ....opaques..... │ │ │ 00088ed0: 040b 6900 0000 0000 0472 34c2 6879 acf5 ..i......r4.hy.. │ │ │ 00088ee0: 3ae3 b6b6 b80e f646 01fb 1200 0000 0773 :......F.......s │ │ │ 00088ef0: 756d 6d61 7279 0000 0000 0000 0010 0000 ummary.......... │ │ │ -00088f00: 0000 0000 0700 c2e7 735b 1639 af99 5b82 ........s[.9..[. │ │ │ -00088f10: b31f f5a5 9212 0000 0009 766d 6c69 6272 ..........vmlibr │ │ │ +00088f00: 0000 0000 0700 ff65 7f8a 5304 e5b9 a851 .......e..S....Q │ │ │ +00088f10: d3e1 da78 d9b3 0000 0009 766d 6c69 6272 ...x......vmlibr │ │ │ 00088f20: 6172 7900 0000 0000 087d ad00 0000 0000 ary......}...... │ │ │ 00088f30: 0010 d47b 4a6c ec01 a627 1094 035d 7dd4 ...{Jl...'...]}. │ │ │ 00088f40: a63d 48 .=H │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/mxrepresentation.vo │ │ │ @@ -68,42 +68,42 @@ │ │ │ 00000430: 6973 6da0 2866 696e 6772 6f75 70a0 286d ism.(fingroup.(m │ │ │ 00000440: 6174 6863 6f6d 7040 9030 012a 4d95 cf94 athcomp@.0.*M... │ │ │ 00000450: 46ba fd7f 4445 9657 699a a0a0 2871 756f F...DE.Wi...(quo │ │ │ 00000460: 7469 656e 74a0 2866 696e 6772 6f75 70a0 tient.(fingroup. │ │ │ 00000470: 286d 6174 6863 6f6d 7040 9030 036c 1a40 (mathcomp@.0.l.@ │ │ │ 00000480: c4ba ecac ac6b 2fa4 3765 90cd a0a0 2666 .....k/.7e....&f │ │ │ 00000490: 696e 616c 67a0 2761 6c67 6562 7261 a028 inalg.'algebra.( │ │ │ -000004a0: 6d61 7468 636f 6d70 4090 308e 882b db69 mathcomp@.0..+.i │ │ │ -000004b0: af6e dff2 0436 cc6c b383 c4a0 a025 7a6d .n...6.l.....%zm │ │ │ +000004a0: 6d61 7468 636f 6d70 4090 30fc c278 1b8c mathcomp@.0..x.. │ │ │ +000004b0: d503 94fa bd8e d329 96c3 b9a0 a025 7a6d .......).....%zm │ │ │ 000004c0: 6f64 70a0 2761 6c67 6562 7261 a028 6d61 odp.'algebra.(ma │ │ │ -000004d0: 7468 636f 6d70 4090 30d0 7c56 6735 2784 thcomp@.0.|Vg5'. │ │ │ -000004e0: 00e2 4e21 1972 f423 24a0 a02a 636f 6d6d ..N!.r.#$..*comm │ │ │ +000004d0: 7468 636f 6d70 4090 30b6 7c8e 60ef 18a2 thcomp@.0.|.`... │ │ │ +000004e0: eff4 7011 4e80 7d6f 75a0 a02a 636f 6d6d ..p.N.}ou..*comm │ │ │ 000004f0: 7574 6174 6f72 a028 736f 6c76 6162 6c65 utator.(solvable │ │ │ 00000500: a028 6d61 7468 636f 6d70 4090 30d8 7161 .(mathcomp@.0.qa │ │ │ 00000510: 4029 08fe b1f5 3b5a 3297 707f 9ba0 a026 @)....;Z2.p....& │ │ │ 00000520: 6379 636c 6963 a028 736f 6c76 6162 6c65 cyclic.(solvable │ │ │ -00000530: a028 6d61 7468 636f 6d70 4090 3005 b6cd .(mathcomp@.0... │ │ │ -00000540: 9538 ce65 91b0 959b d9ee 0530 24a0 a026 .8.e.......0$..& │ │ │ +00000530: a028 6d61 7468 636f 6d70 4090 3059 f3c5 .(mathcomp@.0Y.. │ │ │ +00000540: 5e5d bb95 148e 7093 4cd3 34f4 f0a0 a026 ^]....p.L.4....& │ │ │ 00000550: 6365 6e74 6572 a028 736f 6c76 6162 6c65 center.(solvable │ │ │ -00000560: a028 6d61 7468 636f 6d70 4090 3024 4488 .(mathcomp@.0$D. │ │ │ -00000570: 7a19 c053 ae27 b80a a1b3 66c4 3ca0 a026 z..S.'....f.<..& │ │ │ +00000560: a028 6d61 7468 636f 6d70 4090 308f 8d32 .(mathcomp@.0..2 │ │ │ +00000570: f96d 6eae d667 c379 d563 4fe0 f8a0 a026 .mn..g.y.cO....& │ │ │ 00000580: 7067 726f 7570 a028 736f 6c76 6162 6c65 pgroup.(solvable │ │ │ -00000590: a028 6d61 7468 636f 6d70 4090 3058 967d .(mathcomp@.0X.} │ │ │ -000005a0: 1f31 7d2b 9a64 dbe1 3f3e 588a 89a0 a026 .1}+.d..?>X....& │ │ │ +00000590: a028 6d61 7468 636f 6d70 4090 30dc 4b93 .(mathcomp@.0.K. │ │ │ +000005a0: 26c6 7e5d 5983 280a 9999 425e 18a0 a026 &.~]Y.(...B^...& │ │ │ 000005b0: 6d61 7472 6978 a027 616c 6765 6272 61a0 matrix.'algebra. │ │ │ -000005c0: 286d 6174 6863 6f6d 7040 9030 164c 4922 (mathcomp@.0.LI" │ │ │ -000005d0: 0e3b 415f e593 e77a 0379 b611 a0a0 296d .;A_...z.y....)m │ │ │ +000005c0: 286d 6174 6863 6f6d 7040 9030 f8ee eb4a (mathcomp@.0...J │ │ │ +000005d0: 4981 0373 432e 40f6 9ce3 4d83 a0a0 296d I..sC.@...M...)m │ │ │ 000005e0: 7861 6c67 6562 7261 a027 616c 6765 6272 xalgebra.'algebr │ │ │ -000005f0: 61a0 286d 6174 6863 6f6d 7040 9030 2bcb a.(mathcomp@.0+. │ │ │ -00000600: 309c ab6d 003e bd85 6f1a 7044 d301 a0a0 0..m.>..o.pD.... │ │ │ +000005f0: 61a0 286d 6174 6863 6f6d 7040 9030 9d14 a.(mathcomp@.0.. │ │ │ +00000600: 2b17 3b9b b9c6 2a86 369f f3de 5074 a0a0 +.;...*.6...Pt.. │ │ │ 00000610: 266d 7870 6f6c 79a0 2761 6c67 6562 7261 &mxpoly.'algebra │ │ │ -00000620: a028 6d61 7468 636f 6d70 4090 303b 817a .(mathcomp@.0;.z │ │ │ -00000630: 18b3 ce23 9659 238a dc2f 2737 9a25 352e ...#.Y#../'7.%5. │ │ │ -00000640: 342e 30a0 4040 3200 894f 4b6c 2b87 da21 4.0.@@2..OKl+..! │ │ │ -00000650: c4c4 d3b7 e3b9 8495 a6be 0013 88d4 0003 ................ │ │ │ +00000620: a028 6d61 7468 636f 6d70 4090 30fc 8c98 .(mathcomp@.0... │ │ │ +00000630: e8fb 8bad 56ef 97cc 6d51 3a23 1b25 352e ....V...mQ:#.%5. │ │ │ +00000640: 342e 30a0 4040 010b 01eb 661b 045d 543c 4.0.@@....f..]T< │ │ │ +00000650: 7546 5cb3 1892 8495 a6be 0013 88d4 0003 uF\............. │ │ │ 00000660: dd79 000e 2fdd 000e 1600 b0d0 a030 6d78 .y../........0mx │ │ │ 00000670: 7265 7072 6573 656e 7461 7469 6f6e a029 representation.) │ │ │ 00000680: 6368 6172 6163 7465 72a0 286d 6174 6863 character.(mathc │ │ │ 00000690: 6f6d 7040 e090 0408 4190 a0a0 276d 785f omp@....A...'mx_ │ │ │ 000006a0: 7265 7072 9008 0000 2700 40a0 8080 91b7 repr....'.@..... │ │ │ 000006b0: a090 2152 409b a0a0 90b0 a2a2 90a0 2673 ..!R@.........&s │ │ │ 000006c0: 7372 616c 67a0 2761 6c67 6562 7261 a004 sralg.'algebra.. │ │ │ @@ -26872,22 +26872,22 @@ │ │ │ 00068f70: 010f 4d05 0885 014e 6d40 42b0 0508 4442 ..M....Nm@B...DB │ │ │ 00068f80: a003 0019 0a3b 8edd f587 90b0 0600 010f .....;.......... │ │ │ 00068f90: 5105 0889 0150 99c0 40b0 0508 4342 a003 Q....P..@...CB.. │ │ │ 00068fa0: 0019 0a3b 8edf f605 90b0 0600 010f 5605 ...;..........V. │ │ │ 00068fb0: 088e 0150 9b40 4143 4547 4849 4a4c 4dc0 ...P.@ACEGHIJLM. │ │ │ 00068fc0: a0a0 2663 656e 7465 72a0 2873 6f6c 7661 ..¢er.(solva │ │ │ 00068fd0: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -00068fe0: 2444 887a 19c0 53ae 27b8 0aa1 b366 c43c $D.z..S.'....f.< │ │ │ +00068fe0: 8f8d 32f9 6d6e aed6 67c3 79d5 634f e0f8 ..2.mn..g.y.cO.. │ │ │ 00068ff0: a0a0 2a63 6f6d 6d75 7461 746f 72a0 2873 ..*commutator.(s │ │ │ 00069000: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ 00069010: 7040 9030 d871 6140 2908 feb1 f53b 5a32 p@.0.qa@)....;Z2 │ │ │ 00069020: 9770 7f9b a0a0 0539 e7a0 0549 bca0 0549 .p.....9...I...I │ │ │ -00069030: bb40 9030 3b81 7a18 b3ce 2396 5923 8adc .@.0;.z...#.Y#.. │ │ │ -00069040: 2f27 379a a005 6171 9030 5896 7d1f 317d /'7...aq.0X.}.1} │ │ │ -00069050: 2b9a 64db e13f 3e58 8a89 9040 a0a0 95a0 +.d..?>X...@.... │ │ │ +00069030: bb40 9030 fc8c 98e8 fb8b ad56 ef97 cc6d .@.0.......V...m │ │ │ +00069040: 513a 231b a005 6171 9030 dc4b 9326 c67e Q:#...aq.0.K.&.~ │ │ │ +00069050: 5d59 8328 0a99 9942 5e18 9040 a0a0 95a0 ]Y.(...B^..@.... │ │ │ 00069060: 021d 041a fca0 40a0 a040 2527 6e5f 205f ......@..@%'n_ _ │ │ │ 00069070: c0a0 a040 48a0 9142 40a0 b140 40a0 9042 ...@H..B@..@@..B │ │ │ 00069080: a041 4040 90a0 d0a0 a040 4804 0c40 0411 .A@@.....@H..@.. │ │ │ 00069090: a0a0 a041 2327 6e5f a0a1 a140 040f 9006 ...A#'n_...@.... │ │ │ 000690a0: 0001 08da 4040 a004 1240 4090 a041 a0a0 ....@@...@@..A.. │ │ │ 000690b0: 9404 0ba0 90b0 4091 4290 4140 48a0 95a0 ......@.B.A@H... │ │ │ 000690c0: 021d 041a fca0 40a0 a040 2527 525f 205f ......@..@%'R_ _ │ │ │ @@ -80109,16 +80109,16 @@ │ │ │ 00138ec0: b006 0003 0a56 0501 2f02 3590 70b9 0501 .....V../.5.p... │ │ │ 00138ed0: 2da0 a0b0 0600 030a 5905 0108 0235 9070 -.......Y....5.p │ │ │ 00138ee0: ba05 0106 a0a0 b006 0003 0a5c 04e0 0235 ...........\...5 │ │ │ 00138ef0: 9070 bb04 dea0 a0b0 0600 030a 5f04 ba02 .p.........._... │ │ │ 00138f00: 3590 70bc 04b8 a0a0 b006 0003 0a62 0492 5.p..........b.. │ │ │ 00138f10: 0235 9070 bd04 90a0 a0b0 0600 030a 6504 .5.p..........e. │ │ │ 00138f20: 6c02 3590 70be 046a a0a0 b006 0003 0a68 l.5.p..j.......h │ │ │ -00138f30: 0446 0235 9070 bf04 4440 4240 4040 5f67 .F.5.p..D@B@@@_g │ │ │ -00138f40: 7415 9e77 5a5b 82ef cc50 c6ee 542f 8495 t..wZ[...P..T/.. │ │ │ +00138f30: 0446 0235 9070 bf04 4440 4240 4040 c469 .F.5.p..D@B@@@.i │ │ │ +00138f40: 3d97 556e 1a41 dde1 984e 6b3f 8cf3 8495 =.Un.A...Nk?.... │ │ │ 00138f50: a6be 001d b5b3 0003 c171 000e 3e3f 000e .........q..>?.. │ │ │ 00138f60: 2ffd 0800 084f 0090 a0a9 b7a0 9028 5f65 /....O.......(_e │ │ │ 00138f70: 7661 725f 305f 40b6 a090 2772 6570 725f var_0_@...'repr_ │ │ │ 00138f80: 6d78 40b6 a040 40a9 9aa0 90b0 a290 a028 mx@..@@........( │ │ │ 00138f90: 6669 6e67 726f 7570 a004 02a0 286d 6174 fingroup....(mat │ │ │ 00138fa0: 6863 6f6d 7040 2846 696e 4772 6f75 7024 hcomp@(FinGroup$ │ │ │ 00138fb0: 736f 7274 0202 4b4d 19a0 8080 9091 2267 sort..KM......"g │ │ │ @@ -203741,17 +203741,17 @@ │ │ │ 0031bdc0: 0737 0420 0809 1f0d 080e 120e 0737 0221 .7. .........7.! │ │ │ 0031bdd0: 3705 2008 091f 0a08 0f12 0f07 3706 2008 7. .........7. . │ │ │ 0031bde0: 3806 0109 1f0d 080b 120b 0737 0221 3707 8..........7.!7. │ │ │ 0031bdf0: 2008 3a01 2908 802a 3c30 300c 3030 0c30 .:.)..*<00.00.0 │ │ │ 0031be00: 3c0c 809c 7295 cc70 78a4 9755 c2c0 c30f <...r..px..U.... │ │ │ 0031be10: ef33 0b00 0000 0400 0000 076c 6962 7261 .3.........libra │ │ │ 0031be20: 7279 0000 0000 0000 0656 0000 0000 0013 ry.......V...... │ │ │ -0031be30: 88e8 5f67 7415 9e77 5a5b 82ef cc50 c6ee .._gt..wZ[...P.. │ │ │ -0031be40: 542f 0000 0007 6f70 6171 7565 7300 0000 T/....opaques... │ │ │ +0031be30: 88e8 c469 3d97 556e 1a41 dde1 984e 6b3f ...i=.Un.A...Nk? │ │ │ +0031be40: 8cf3 0000 0007 6f70 6171 7565 7300 0000 ......opaques... │ │ │ 0031be50: 0000 138f 4e00 0000 0000 1db5 c751 ade6 ....N........Q.. │ │ │ 0031be60: b85f 292b c0fe 062d 9611 53db ee00 0000 ._)+...-..S..... │ │ │ 0031be70: 0773 756d 6d61 7279 0000 0000 0000 0010 .summary........ │ │ │ -0031be80: 0000 0000 0000 0636 3200 894f 4b6c 2b87 .......62..OKl+. │ │ │ -0031be90: da21 c4c4 d3b7 e3b9 0000 0009 766d 6c69 .!..........vmli │ │ │ +0031be80: 0000 0000 0000 0636 010b 01eb 661b 045d .......6....f..] │ │ │ +0031be90: 543c 7546 5cb3 1892 0000 0009 766d 6c69 TX....%sylo │ │ │ +000005c0: 7468 636f 6d70 4090 30dc 4b93 26c6 7e5d thcomp@.0.K.&.~] │ │ │ +000005d0: 5983 280a 9999 425e 18a0 a025 7379 6c6f Y.(...B^...%sylo │ │ │ 000005e0: 77a0 2873 6f6c 7661 626c 65a0 286d 6174 w.(solvable.(mat │ │ │ -000005f0: 6863 6f6d 7040 9030 2235 6f81 050f 808b hcomp@.0"5o..... │ │ │ -00000600: d48b b309 027b cfca a0a0 2966 726f 6265 .....{....)frobe │ │ │ +000005f0: 6863 6f6d 7040 9030 dfc5 fd8c 41bd b437 hcomp@.0....A..7 │ │ │ +00000600: d786 ddf9 0862 f851 a0a0 2966 726f 6265 .....b.Q..)frobe │ │ │ 00000610: 6e69 7573 a028 736f 6c76 6162 6c65 a028 nius.(solvable.( │ │ │ -00000620: 6d61 7468 636f 6d70 4090 303e 7f9b cb19 mathcomp@.0>.... │ │ │ -00000630: 8fa0 c296 fb5b 232b bedb 1ca0 a026 7665 .....[#+.....&ve │ │ │ +00000620: 6d61 7468 636f 6d70 4090 3045 3297 eeb1 mathcomp@.0E2... │ │ │ +00000630: c907 f2f5 5adf 41b0 7e32 08a0 a026 7665 ....Z.A.~2...&ve │ │ │ 00000640: 6374 6f72 a027 616c 6765 6272 61a0 286d ctor.'algebra.(m │ │ │ -00000650: 6174 6863 6f6d 7040 9030 1b53 5eb9 45b0 athcomp@.0.S^.E. │ │ │ -00000660: 63bc 9748 636e 028a 8a5c a0a0 2673 7372 c..Hcn...\..&ssr │ │ │ +00000650: 6174 6863 6f6d 7040 9030 8305 9a09 4b2e athcomp@.0....K. │ │ │ +00000660: 7447 c80b 49c1 42eb 3de2 a0a0 2673 7372 tG..I.B.=...&ssr │ │ │ 00000670: 6e75 6da0 2761 6c67 6562 7261 a028 6d61 num.'algebra.(ma │ │ │ 00000680: 7468 636f 6d70 4090 30df ac55 1647 d9dc thcomp@.0..U.G.. │ │ │ 00000690: 42e2 953f f696 c5d7 52a0 a026 7373 7269 B..?....R..&ssri │ │ │ 000006a0: 6e74 a027 616c 6765 6272 61a0 286d 6174 nt.'algebra.(mat │ │ │ 000006b0: 6863 6f6d 7040 9030 62dc 790f 3232 efc0 hcomp@.0b.y.22.. │ │ │ 000006c0: 653d 7f16 90b0 359e a0a0 2b61 7263 6869 e=....5...+archi │ │ │ 000006d0: 6d65 6465 616e a027 616c 6765 6272 61a0 medean.'algebra. │ │ │ 000006e0: 286d 6174 6863 6f6d 7040 9030 5cfb 7184 (mathcomp@.0\.q. │ │ │ 000006f0: 96b7 4615 f223 2e9c ba04 a602 a0a0 2669 ..F..#........&i │ │ │ 00000700: 6e74 6469 76a0 2761 6c67 6562 7261 a028 ntdiv.'algebra.( │ │ │ -00000710: 6d61 7468 636f 6d70 4090 307f e7ae 1543 mathcomp@.0....C │ │ │ -00000720: 2379 19b5 063d 64b9 280c 19a0 a024 616c #y...=d.(....$al │ │ │ +00000710: 6d61 7468 636f 6d70 4090 30ea d674 af1b mathcomp@.0..t.. │ │ │ +00000720: 8dd7 3a64 685d 2c77 7376 a4a0 a024 616c ..:dh],wsv...$al │ │ │ 00000730: 6743 a025 6669 656c 64a0 286d 6174 6863 gC.%field.(mathc │ │ │ -00000740: 6f6d 7040 9030 c1b1 f18d c94b 3a54 f588 omp@.0.....K:T.. │ │ │ -00000750: ee03 40c5 a3b3 a0a0 2661 6c67 6e75 6da0 ..@.....&algnum. │ │ │ +00000740: 6f6d 7040 9030 ba1e 565d f513 031c aa40 omp@.0..V].....@ │ │ │ +00000750: 00df 1eca 5a61 a0a0 2661 6c67 6e75 6da0 ....Za..&algnum. │ │ │ 00000760: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -00000770: 4090 3047 beb3 abb9 cef2 f01d 2730 de3d @.0G........'0.= │ │ │ -00000780: 7153 c8a0 a028 636c 6173 7366 756e a029 qS...(classfun.) │ │ │ +00000770: 4090 30e8 7137 885e e28e fb65 8a54 1af0 @.0.q7.^...e.T.. │ │ │ +00000780: 2d49 f9a0 a028 636c 6173 7366 756e a029 -I...(classfun.) │ │ │ 00000790: 6368 6172 6163 7465 72a0 286d 6174 6863 character.(mathc │ │ │ -000007a0: 6f6d 7040 9030 c0fe 0e18 0570 04ea d57e omp@.0.....p...~ │ │ │ -000007b0: bc16 64b0 69c3 a0a0 2963 6861 7261 6374 ..d.i...)charact │ │ │ +000007a0: 6f6d 7040 9030 61e7 938a 9763 7fd0 e886 omp@.0a....c.... │ │ │ +000007b0: 084f c27b a95e a0a0 2963 6861 7261 6374 .O.{.^..)charact │ │ │ 000007c0: 6572 a004 02a0 286d 6174 6863 6f6d 7040 er....(mathcomp@ │ │ │ -000007d0: 9030 b6bc f44f 5a3e 2087 61d1 2814 841b .0...OZ> .a.(... │ │ │ -000007e0: 6d77 a0a0 2d69 6e74 6567 7261 6c5f 6368 mw..-integral_ch │ │ │ +000007d0: 9030 d52f 80b2 27b7 d563 9b1c 830b 25c7 .0./..'..c....%. │ │ │ +000007e0: 57cf a0a0 2d69 6e74 6567 7261 6c5f 6368 W...-integral_ch │ │ │ 000007f0: 6172 a029 6368 6172 6163 7465 72a0 286d ar.)character.(m │ │ │ -00000800: 6174 6863 6f6d 7040 9030 8fa9 bf17 a3a5 athcomp@.0...... │ │ │ -00000810: ec07 d341 a75d f280 a5a0 2535 2e34 2e30 ...A.]....%5.4.0 │ │ │ -00000820: a040 403a 06ec cd70 68d7 fdd7 9781 ba12 .@@:...ph....... │ │ │ -00000830: 4a1a 4484 95a6 be00 0434 2600 00ea 5d00 J.D......4&...]. │ │ │ +00000800: 6174 6863 6f6d 7040 9030 e08c 3cf9 4f7e athcomp@.0..<.O~ │ │ │ +00000810: d014 e286 801f 33fd 71fd 2535 2e34 2e30 ......3.q.%5.4.0 │ │ │ +00000820: a040 4044 4e3a ff28 30d1 132c 771f b9ae .@@DN:.(0..,w... │ │ │ +00000830: 6099 5e84 95a6 be00 0434 2600 00ea 5d00 `.^......4&...]. │ │ │ 00000840: 0360 6100 034f c5b0 d0a0 2a76 6368 6172 .`a..O....*vchar │ │ │ 00000850: 6163 7465 72a0 2963 6861 7261 6374 6572 acter.)character │ │ │ 00000860: a028 6d61 7468 636f 6d70 40e0 9004 0841 .(mathcomp@....A │ │ │ 00000870: 90a0 a025 5a63 6861 7290 0800 0027 0040 ...%Zchar....'.@ │ │ │ 00000880: a080 8091 b7a0 9022 6754 409b a0a0 90b0 ......."gT@..... │ │ │ 00000890: a290 a028 6669 6e67 726f 7570 a004 02a0 ...(fingroup.... │ │ │ 000008a0: 041a 4028 4669 6e47 726f 7570 2474 7970 ..@(FinGroup$typ │ │ │ @@ -5050,20 +5050,20 @@ │ │ │ 00013b90: dc41 0503 cd40 41b0 0503 dd41 0503 c8c0 .A...@A....A.... │ │ │ 00013ba0: 40b0 0503 df41 0503 c2c0 40b0 0509 0041 @....A....@....A │ │ │ 00013bb0: 0502 bc40 4142 4344 b005 0901 4105 098b ...@ABCD....A... │ │ │ 00013bc0: c040 b005 08c4 4105 098d c040 b005 08c6 .@....A....@.... │ │ │ 00013bd0: 4105 0905 c040 b005 03f9 4204 1240 4142 A....@....B..@AB │ │ │ 00013be0: 4345 4648 4b4c a0a0 a029 6672 6f62 656e CEFHKL...)froben │ │ │ 00013bf0: 6975 73a0 2873 6f6c 7661 626c 65a0 286d ius.(solvable.(m │ │ │ -00013c00: 6174 6863 6f6d 7040 9030 3e7f 9bcb 198f athcomp@.0>..... │ │ │ -00013c10: a0c2 96fb 5b23 2bbe db1c a0a0 2d69 6e74 ....[#+.....-int │ │ │ +00013c00: 6174 6863 6f6d 7040 9030 4532 97ee b1c9 athcomp@.0E2.... │ │ │ +00013c10: 07f2 f55a df41 b07e 3208 a0a0 2d69 6e74 ...Z.A.~2...-int │ │ │ 00013c20: 6567 7261 6c5f 6368 6172 a029 6368 6172 egral_char.)char │ │ │ 00013c30: 6163 7465 72a0 286d 6174 6863 6f6d 7040 acter.(mathcomp@ │ │ │ -00013c40: 9030 8fa9 bf17 a3a5 ec07 d341 a75d f280 .0.........A.].. │ │ │ -00013c50: a5a0 9040 a0a0 95a0 021d 041a fca0 40a0 ...@..........@. │ │ │ +00013c40: 9030 e08c 3cf9 4f7e d014 e286 801f 33fd .0..<.O~......3. │ │ │ +00013c50: 71fd 9040 a0a0 95a0 021d 041a fca0 40a0 q..@..........@. │ │ │ 00013c60: a040 2b27 5a5b 205f 202c 205f 205d c0a0 .@+'Z[ _ , _ ].. │ │ │ 00013c70: a040 48a0 40a0 4040 a0b1 4040 a041 40a0 .@H.@.@@..@@.A@. │ │ │ 00013c80: b140 40a0 4140 4090 a0d0 a0a0 4048 040d .@@.A@@.....@H.. │ │ │ 00013c90: 4004 12a0 a0a0 4123 275a 5ba0 a1a1 4004 @.....A#'Z[...@. │ │ │ 00013ca0: 1090 0537 dea0 a041 212c a0a1 a140 0414 ...7...A!,...@.. │ │ │ 00013cb0: 9005 37c6 a0a0 4121 5d40 40a0 041d a004 ..7...A!]@@..... │ │ │ 00013cc0: 1b40 4090 a040 a0a0 9404 16a0 90b0 4040 .@@..@........@@ │ │ │ @@ -17344,16 +17344,16 @@ │ │ │ 00043bf0: 8aa0 05aa 8690 9090 0591 0640 0522 8ea0 ...........@.".. │ │ │ 00043c00: 05aa 8a90 9090 4040 4040 4029 3435 3138 ......@@@@@)4518 │ │ │ 00043c10: 3230 3337 33e0 05aa 8305 a524 05a3 a105 20373......$.... │ │ │ 00043c20: 7b5e 057a cf05 aaa0 0564 7ab0 4040 40a0 {^.z.....dz.@@@. │ │ │ 00043c30: 95a0 0234 7dc1 ffa0 285f 454c 5049 5f31 ...4}...(_ELPI_1 │ │ │ 00043c40: 36c0 a022 6862 a022 6462 40a0 a0b0 05ea 6.."hb."db@..... │ │ │ 00043c50: 5104 5c02 1f92 b786 045a a0a0 b005 ea54 Q.\......Z.....T │ │ │ -00043c60: 0435 021f 92b7 8704 3340 4240 40b4 d55b .5......3@B@@..[ │ │ │ -00043c70: 697f 638b 1f5a e6cc 7577 7bf1 8884 95a6 i.c..Z..uw{..... │ │ │ +00043c60: 0435 021f 92b7 8704 3340 4240 40bb fdf4 .5......3@B@@... │ │ │ +00043c70: c0fa 31fc 64e2 4056 e947 fda2 dc84 95a6 ..1.d.@V.G...... │ │ │ 00043c80: be00 0459 8700 00d2 7d00 02de 1e00 02d7 ...Y....}....... │ │ │ 00043c90: 6b08 0001 b300 90a0 a9b7 a090 285f 6576 k...........(_ev │ │ │ 00043ca0: 6172 5f30 5f40 a99a a090 b090 a029 4461 ar_0_@.......)Da │ │ │ 00043cb0: 7461 7479 7065 73a0 2449 6e69 74a0 2343 tatypes.$Init.#C │ │ │ 00043cc0: 6f71 4027 6973 5f74 7275 6502 0723 c29c oq@'is_true..#.. │ │ │ 00043cd0: a080 8090 a99a a090 b004 0f24 616e 6462 ...........$andb │ │ │ 00043ce0: 020e fc3d 1804 08a0 a99a a090 b090 a027 ...=...........' │ │ │ @@ -35299,17 +35299,17 @@ │ │ │ 00089e20: 220f 0f37 0622 3901 3707 2412 0503 3708 "..7."9.7.$...7. │ │ │ 00089e30: 2437 0037 0921 370a 370b 243a 0129 0480 $7.7.!7.7.$:.).. │ │ │ 00089e40: 2d24 080c 0c18 1414 1418 0c08 0c08 80c0 -$.............. │ │ │ 00089e50: 372d 0003 8c2a 2b02 020b 0b37 0022 3901 7-...*+....7."9. │ │ │ 00089e60: 3701 214a 3702 2806 8023 2c14 1080 439b 7.!J7.(..#,...C. │ │ │ 00089e70: 543c f3ec 61df cbaa 8a80 5c0e 80a2 0000 T<..a.....\..... │ │ │ 00089e80: 0004 0000 0007 6c69 6272 6172 7900 0000 ......library... │ │ │ -00089e90: 0000 0008 3300 0000 0000 0434 3ab4 d55b ....3......4:..[ │ │ │ -00089ea0: 697f 638b 1f5a e6cc 7577 7bf1 8800 0000 i.c..Z..uw{..... │ │ │ +00089e90: 0000 0008 3300 0000 0000 0434 3abb fdf4 ....3......4:... │ │ │ +00089ea0: c0fa 31fc 64e2 4056 e947 fda2 dc00 0000 ..1.d.@V.G...... │ │ │ 00089eb0: 076f 7061 7175 6573 0000 0000 0004 3c7d .opaques......<} │ │ │ 00089ec0: 0000 0000 0004 599b dcb7 bab0 9b92 38c4 ......Y.......8. │ │ │ 00089ed0: d66c 5108 b26d f0f9 0000 0007 7375 6d6d .lQ..m......summ │ │ │ 00089ee0: 6172 7900 0000 0000 0000 1000 0000 0000 ary............. │ │ │ -00089ef0: 0008 133a 06ec cd70 68d7 fdd7 9781 ba12 ...:...ph....... │ │ │ -00089f00: 4a1a 4400 0000 0976 6d6c 6962 7261 7279 J.D....vmlibrary │ │ │ +00089ef0: 0008 1344 4e3a ff28 30d1 132c 771f b9ae ...DN:.(0..,w... │ │ │ +00089f00: 6099 5e00 0000 0976 6d6c 6962 7261 7279 `.^....vmlibrary │ │ │ 00089f10: 0000 0000 0008 9628 0000 0000 0000 0846 .......(.......F │ │ │ 00089f20: 439b 543c f3ec 61df cbaa 8a80 5c0e 80a2 C.T<..a.....\... │ │ ├── ./var/lib/coq/md5sums/libcoq-mathcomp-character.checksum │ │ │ @@ -1 +1 @@ │ │ │ -6h632 │ │ │ +4b800