--- /srv/rebuilderd/tmp/rebuilderd1TKvfB/inputs/libcoq-mathcomp-character_2.3.0-1+b17_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderd1TKvfB/out/libcoq-mathcomp-character_2.3.0-1+b17_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-13 18:41:41.000000 debian-binary │ -rw-r--r-- 0 0 0 1904 2026-02-13 18:41:41.000000 control.tar.xz │ --rw-r--r-- 0 0 0 4285904 2026-02-13 18:41:41.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 4285348 2026-02-13 18:41:41.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -3,15 +3,15 @@ │ │ │ Version: 2.3.0-1+b17 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 15355 │ │ │ Depends: libcoq-mathcomp-field (= 2.3.0-1+b17), libcoq-hierarchy-builder-x85g0, libcoq-stdlib-jr710 │ │ │ Breaks: libssreflect-coq (<= 2.3.0-1+b17) │ │ │ Replaces: libssreflect-coq │ │ │ -Provides: libcoq-mathcomp-character-mhae6 │ │ │ +Provides: libcoq-mathcomp-character-g4xz6 │ │ │ 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 301e e7e6 6d3d 123a b96d a4dd 1e6b @.0...m=.:.m...k │ │ │ 00000070: b936 d9a0 a029 6368 6172 6163 7465 72a0 .6...)character. │ │ │ -00000080: 0402 a028 6d61 7468 636f 6d70 4090 303d ...(mathcomp@.0= │ │ │ -00000090: 3c28 c8dd 60b4 9745 5af1 81f1 9bab fba0 <(..`..EZ....... │ │ │ +00000080: 0402 a028 6d61 7468 636f 6d70 4090 30e4 ...(mathcomp@.0. │ │ │ +00000090: 702a ddcc fc26 bcd0 fa5b f6aa ac01 2ba0 p*...&...[....+. │ │ │ 000000a0: a027 696e 6572 7469 61a0 2963 6861 7261 .'inertia.)chara │ │ │ 000000b0: 6374 6572 a028 6d61 7468 636f 6d70 4090 cter.(mathcomp@. │ │ │ -000000c0: 3032 80c1 cd2a 30f7 6bce a1c8 3eb0 4fef 02...*0.k...>.O. │ │ │ -000000d0: f7a0 a02d 696e 7465 6772 616c 5f63 6861 ...-integral_cha │ │ │ +000000c0: 3009 16b8 0ce5 8c6b 67ff f31f 4fba 0f1c 0......kg...O... │ │ │ +000000d0: cda0 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 30de abd3 7eed ab91 thcomp@.0...~... │ │ │ -00000100: 9085 83dc b6bf 35ce 11a0 a028 6d78 6162 ......5....(mxab │ │ │ +000000f0: 7468 636f 6d70 4090 3053 4c16 a2fa c51a thcomp@.0SL..... │ │ │ +00000100: 90e6 4cac cf61 33ba cea0 a028 6d78 6162 ..L..a3....(mxab │ │ │ 00000110: 656c 656d a029 6368 6172 6163 7465 72a0 elem.)character. │ │ │ -00000120: 286d 6174 6863 6f6d 7040 9030 968f 858a (mathcomp@.0.... │ │ │ -00000130: b705 4152 cc2d 8049 96ff c28a a0a0 2a76 ..AR.-.I......*v │ │ │ +00000120: 286d 6174 6863 6f6d 7040 9030 6379 fb13 (mathcomp@.0cy.. │ │ │ +00000130: ffec cd79 0820 7cf0 5a1a aafc a0a0 2a76 ...y. |.Z.....*v │ │ │ 00000140: 6368 6172 6163 7465 72a0 2963 6861 7261 character.)chara │ │ │ 00000150: 6374 6572 a028 6d61 7468 636f 6d70 4090 cter.(mathcomp@. │ │ │ -00000160: 3085 0654 fb12 13ee 7ce8 0ca8 e73b 0989 0..T....|....;.. │ │ │ -00000170: 6b25 352e 342e 30a0 4040 a91d a2cf 7681 k%5.4.0.@@....v. │ │ │ -00000180: 26bf 31b9 1860 2518 0de1 8495 a6be 0000 &.1..`%......... │ │ │ +00000160: 30e4 e1cf 1bab f04e d179 9503 0974 01ef 0......N.y...t.. │ │ │ +00000170: e525 352e 342e 30a0 4040 174d b22d 7025 .%5.4.0.@@.M.-p% │ │ │ +00000180: 189d 6dc8 cd7e 0f17 250f 8495 a6be 0000 ..m..~..%....... │ │ │ 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 3280 c1cd 2a30 f76b hcomp@.02...*0.k │ │ │ -00000200: cea1 c83e b04f eff7 a0a0 286d 7861 6265 ...>.O....(mxabe │ │ │ +000001f0: 6863 6f6d 7040 9030 0916 b80c e58c 6b67 hcomp@.0......kg │ │ │ +00000200: fff3 1f4f ba0f 1ccd a0a0 286d 7861 6265 ...O......(mxabe │ │ │ 00000210: 6c65 6da0 2963 6861 7261 6374 6572 a028 lem.)character.( │ │ │ -00000220: 6d61 7468 636f 6d70 4090 3096 8f85 8ab7 mathcomp@.0..... │ │ │ -00000230: 0541 52cc 2d80 4996 ffc2 8aa0 a02a 7663 .AR.-.I......*vc │ │ │ +00000220: 6d61 7468 636f 6d70 4090 3063 79fb 13ff mathcomp@.0cy... │ │ │ +00000230: eccd 7908 207c f05a 1aaa fca0 a02a 7663 ..y. |.Z.....*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: 8506 54fb 1213 ee7c e80c a8e7 3b09 896b ..T....|....;..k │ │ │ +00000260: e4e1 cf1b abf0 4ed1 7995 0309 7401 efe5 ......N.y...t... │ │ │ 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 402f 0ee7 5b78 @....@..@@@/..[x │ │ │ -00000380: 28e7 676d e316 75f4 d17f 6084 95a6 be00 (.gm..u...`..... │ │ │ +00000370: 40a0 94a0 a040 041e 4040 4000 1147 fdbd @....@..@@@..G.. │ │ │ +00000380: 0679 bf01 b87d 289a 592a ae84 95a6 be00 .y...}(.Y*...... │ │ │ 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 2f0e e75b 7828 ........../..[x( │ │ │ -00000420: e767 6de3 1675 f4d1 7f60 0000 0007 6f70 .gm..u...`....op │ │ │ +00000410: 018a 0000 0000 0000 01f1 0011 47fd bd06 ............G... │ │ │ +00000420: 79bf 01b8 7d28 9a59 2aae 0000 0007 6f70 y...}(.Y*.....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: a91d a2cf 7681 26bf 31b9 1860 2518 0de1 ....v.&.1..`%... │ │ │ +00000470: 174d b22d 7025 189d 6dc8 cd7e 0f17 250f .M.-p%..m..~..%. │ │ │ 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 30a5 6704 a5ae mathcomp@.0.g... │ │ │ 00000320: 7ac4 998a b23a 03b6 a076 f7a0 a028 6770 z....:...v...(gp │ │ │ 00000330: 726f 6475 6374 a028 6669 6e67 726f 7570 roduct.(fingroup │ │ │ 00000340: a028 6d61 7468 636f 6d70 4090 30e7 efca .(mathcomp@.0... │ │ │ 00000350: e90e 9977 5cf4 8b01 a288 7632 50a0 a026 ...w\.....v2P..& │ │ │ 00000360: 6669 6e61 6c67 a027 616c 6765 6272 61a0 finalg.'algebra. │ │ │ -00000370: 286d 6174 6863 6f6d 7040 9030 aa86 ede6 (mathcomp@.0.... │ │ │ -00000380: 96a0 7994 605f b39d e00b ddac a0a0 257a ..y.`_........%z │ │ │ +00000370: 286d 6174 6863 6f6d 7040 9030 e789 4b3a (mathcomp@.0..K: │ │ │ +00000380: 6023 15c7 b2e0 dd7d 1abd b8a5 a0a0 257a `#.....}......%z │ │ │ 00000390: 6d6f 6470 a027 616c 6765 6272 61a0 286d modp.'algebra.(m │ │ │ -000003a0: 6174 6863 6f6d 7040 9030 19a8 7460 b27a athcomp@.0..t`.z │ │ │ -000003b0: 650f 1bf8 9fa0 03f2 a805 a0a0 2a63 6f6d e...........*com │ │ │ +000003a0: 6174 6863 6f6d 7040 9030 0669 0636 901c athcomp@.0.i.6.. │ │ │ +000003b0: 3b68 834d a834 84f1 e9c0 a0a0 2a63 6f6d ;h.M.4......*com │ │ │ 000003c0: 6d75 7461 746f 72a0 2873 6f6c 7661 626c mutator.(solvabl │ │ │ 000003d0: 65a0 286d 6174 6863 6f6d 7040 9030 1b68 e.(mathcomp@.0.h │ │ │ 000003e0: 1942 433a 46f6 27b5 1eb9 b682 8f77 a0a0 .BC:F.'......w.. │ │ │ 000003f0: 2663 7963 6c69 63a0 2873 6f6c 7661 626c &cyclic.(solvabl │ │ │ -00000400: 65a0 286d 6174 6863 6f6d 7040 9030 5460 e.(mathcomp@.0T` │ │ │ -00000410: 44c6 46f2 4bf2 e525 7aab a1d6 49b9 a0a0 D.F.K..%z...I... │ │ │ +00000400: 65a0 286d 6174 6863 6f6d 7040 9030 5010 e.(mathcomp@.0P. │ │ │ +00000410: 04ce 97ba a140 d0d6 63df b2d3 d2b9 a0a0 .....@..c....... │ │ │ 00000420: 2663 656e 7465 72a0 2873 6f6c 7661 626c ¢er.(solvabl │ │ │ -00000430: 65a0 286d 6174 6863 6f6d 7040 9030 41fb e.(mathcomp@.0A. │ │ │ -00000440: fa82 f057 1e07 e2aa e8dd d137 48d6 a0a0 ...W.......7H... │ │ │ +00000430: 65a0 286d 6174 6863 6f6d 7040 9030 8bf6 e.(mathcomp@.0.. │ │ │ +00000440: 6f83 f607 8215 a7de 8180 c03c f6f2 a0a0 o..........<.... │ │ │ 00000450: 2670 6772 6f75 70a0 2873 6f6c 7661 626c &pgroup.(solvabl │ │ │ -00000460: 65a0 286d 6174 6863 6f6d 7040 9030 00c5 e.(mathcomp@.0.. │ │ │ -00000470: ad81 d969 119e f275 374b 2484 5d93 a0a0 ...i...u7K$.]... │ │ │ +00000460: 65a0 286d 6174 6863 6f6d 7040 9030 4f41 e.(mathcomp@.0OA │ │ │ +00000470: 28ab d318 84ac d07a 136f d312 2a8a a0a0 (......z.o..*... │ │ │ 00000480: 296e 696c 706f 7465 6e74 a028 736f 6c76 )nilpotent.(solv │ │ │ 00000490: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -000004a0: 3007 959c d9e7 ca30 ba2c 11a3 2120 f6c8 0......0.,..! .. │ │ │ -000004b0: 65a0 a025 7379 6c6f 77a0 2873 6f6c 7661 e..%sylow.(solva │ │ │ +000004a0: 3052 1cc3 e997 6406 fd72 66c4 60ca 3c50 0R....d..rf.`.

...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 4032 ...8.9..E.6@B@@2 │ │ │ -00048100: 80c1 cd2a 30f7 6bce a1c8 3eb0 4fef f784 ...*0.k...>.O... │ │ │ +000480f0: fbe1 0438 0239 80cc 4504 3640 4240 4009 ...8.9..E.6@B@@. │ │ │ +00048100: 16b8 0ce5 8c6b 67ff f31f 4fba 0f1c cd84 .....kg...O..... │ │ │ 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: 3280 c1cd 2a30 f76b cea1 c83e b04f eff7 2...*0.k...>.O.. │ │ │ +000d5910: 0916 b80c e58c 6b67 fff3 1f4f ba0f 1ccd ......kg...O.... │ │ │ 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 70b7 f2ef 0209 4470 546c ......p.....DpTl │ │ │ -000d5970: 2c20 1b74 42a4 0000 0009 766d 6c69 6272 , .tB.....vmlibr │ │ │ +000d5960: 0000 0000 07c4 8150 b1de 63ea 2f5c a5b3 .......P..c./\.. │ │ │ +000d5970: 513c 87e0 3795 0000 0009 766d 6c69 6272 Q<..7.....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 3096 eb43 eb53 812a thcomp@.0..C.S.* │ │ │ 00000480: 2a2c a0f7 32cc 8129 13a0 a026 6163 7469 *,..2..)...&acti │ │ │ 00000490: 6f6e a028 6669 6e67 726f 7570 a028 6d61 on.(fingroup.(ma │ │ │ 000004a0: 7468 636f 6d70 4090 3083 2bd2 4fa8 2f33 thcomp@.0.+.O./3 │ │ │ 000004b0: abe3 e9e4 42c9 6b81 42a0 a026 6669 6e61 ....B.k.B..&fina │ │ │ 000004c0: 6c67 a027 616c 6765 6272 61a0 286d 6174 lg.'algebra.(mat │ │ │ -000004d0: 6863 6f6d 7040 9030 aa86 ede6 96a0 7994 hcomp@.0......y. │ │ │ -000004e0: 605f b39d e00b ddac a0a0 257a 6d6f 6470 `_........%zmodp │ │ │ +000004d0: 6863 6f6d 7040 9030 e789 4b3a 6023 15c7 hcomp@.0..K:`#.. │ │ │ +000004e0: b2e0 dd7d 1abd b8a5 a0a0 257a 6d6f 6470 ...}......%zmodp │ │ │ 000004f0: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000500: 6f6d 7040 9030 19a8 7460 b27a 650f 1bf8 omp@.0..t`.ze... │ │ │ -00000510: 9fa0 03f2 a805 a0a0 2a63 6f6d 6d75 7461 ........*commuta │ │ │ +00000500: 6f6d 7040 9030 0669 0636 901c 3b68 834d omp@.0.i.6..;h.M │ │ │ +00000510: a834 84f1 e9c0 a0a0 2a63 6f6d 6d75 7461 .4......*commuta │ │ │ 00000520: 746f 72a0 2873 6f6c 7661 626c 65a0 286d tor.(solvable.(m │ │ │ 00000530: 6174 6863 6f6d 7040 9030 1b68 1942 433a athcomp@.0.h.BC: │ │ │ 00000540: 46f6 27b5 1eb9 b682 8f77 a0a0 2663 7963 F.'......w..&cyc │ │ │ 00000550: 6c69 63a0 2873 6f6c 7661 626c 65a0 286d lic.(solvable.(m │ │ │ -00000560: 6174 6863 6f6d 7040 9030 5460 44c6 46f2 athcomp@.0T`D.F. │ │ │ -00000570: 4bf2 e525 7aab a1d6 49b9 a0a0 2663 656e K..%z...I...&cen │ │ │ +00000560: 6174 6863 6f6d 7040 9030 5010 04ce 97ba athcomp@.0P..... │ │ │ +00000570: a140 d0d6 63df b2d3 d2b9 a0a0 2663 656e .@..c.......&cen │ │ │ 00000580: 7465 72a0 2873 6f6c 7661 626c 65a0 286d ter.(solvable.(m │ │ │ -00000590: 6174 6863 6f6d 7040 9030 41fb fa82 f057 athcomp@.0A....W │ │ │ -000005a0: 1e07 e2aa e8dd d137 48d6 a0a0 2670 6772 .......7H...&pgr │ │ │ +00000590: 6174 6863 6f6d 7040 9030 8bf6 6f83 f607 athcomp@.0..o... │ │ │ +000005a0: 8215 a7de 8180 c03c f6f2 a0a0 2670 6772 .......<....&pgr │ │ │ 000005b0: 6f75 70a0 2873 6f6c 7661 626c 65a0 286d oup.(solvable.(m │ │ │ -000005c0: 6174 6863 6f6d 7040 9030 00c5 ad81 d969 athcomp@.0.....i │ │ │ -000005d0: 119e f275 374b 2484 5d93 a0a0 2573 796c ...u7K$.]...%syl │ │ │ +000005c0: 6174 6863 6f6d 7040 9030 4f41 28ab d318 athcomp@.0OA(... │ │ │ +000005d0: 84ac d07a 136f d312 2a8a a0a0 2573 796c ...z.o..*...%syl │ │ │ 000005e0: 6f77 a028 736f 6c76 6162 6c65 a028 6d61 ow.(solvable.(ma │ │ │ -000005f0: 7468 636f 6d70 4090 301b 56bb 2837 b7a0 thcomp@.0.V.(7.. │ │ │ -00000600: 7bd8 c95a 46af 5bc3 4fa0 a027 6162 656c {..ZF.[.O..'abel │ │ │ +000005f0: 7468 636f 6d70 4090 3020 caee cef9 f574 thcomp@.0 .....t │ │ │ +00000600: 4614 e05a e946 dec6 5ba0 a027 6162 656c F..Z.F..[..'abel │ │ │ 00000610: 6961 6ea0 2873 6f6c 7661 626c 65a0 286d ian.(solvable.(m │ │ │ -00000620: 6174 6863 6f6d 7040 9030 d81e c05f c8f6 athcomp@.0..._.. │ │ │ -00000630: 51c2 248d 40f0 95ad a79d a0a0 2673 7372 Q.$.@.......&ssr │ │ │ +00000620: 6174 6863 6f6d 7040 9030 24c3 98e9 214c athcomp@.0$...!L │ │ │ +00000630: cb0e fe80 135b dae8 8f76 a0a0 2673 7372 .....[...v..&ssr │ │ │ 00000640: 6e75 6da0 2761 6c67 6562 7261 a028 6d61 num.'algebra.(ma │ │ │ 00000650: 7468 636f 6d70 4090 3051 8f9d aef7 8420 thcomp@.0Q..... │ │ │ 00000660: 198d 4d33 c843 6931 8ca0 a026 7373 7269 ..M3.Ci1...&ssri │ │ │ 00000670: 6e74 a027 616c 6765 6272 61a0 286d 6174 nt.'algebra.(mat │ │ │ 00000680: 6863 6f6d 7040 9030 ae57 4cb5 2f25 060f hcomp@.0.WL./%.. │ │ │ 00000690: 596c cd15 a562 774d a0a0 2b61 7263 6869 Yl...bwM..+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 b33f 9327 (mathcomp@.0.?.' │ │ │ 000006f0: c48b c1d5 5ca5 0467 3cf9 0cff a0a0 2372 ....\..g<.....#r │ │ │ 00000700: 6174 a027 616c 6765 6272 61a0 286d 6174 at.'algebra.(mat │ │ │ 00000710: 6863 6f6d 7040 9030 c1cd a001 b7a9 4b9a hcomp@.0......K. │ │ │ 00000720: fbec d4f7 896d b221 a0a0 266d 6174 7269 .....m.!..&matri │ │ │ 00000730: 78a0 2761 6c67 6562 7261 a028 6d61 7468 x.'algebra.(math │ │ │ -00000740: 636f 6d70 4090 300b 6fd3 0e84 0536 80af comp@.0.o....6.. │ │ │ -00000750: 7a31 b90d c8fb d0a0 a029 6d78 616c 6765 z1.......)mxalge │ │ │ +00000740: 636f 6d70 4090 3094 67a9 4cd0 d8d1 a06b comp@.0.g.L....k │ │ │ +00000750: 659a 3f0d 345e eda0 a029 6d78 616c 6765 e.?.4^...)mxalge │ │ │ 00000760: 6272 61a0 2761 6c67 6562 7261 a028 6d61 bra.'algebra.(ma │ │ │ -00000770: 7468 636f 6d70 4090 30b2 0e6e 8da6 7f10 thcomp@.0..n.... │ │ │ -00000780: ae53 7679 739d a90f 0fa0 a026 696e 7464 .Svys......&intd │ │ │ +00000770: 7468 636f 6d70 4090 30ab 8a59 a035 1a69 thcomp@.0..Y.5.i │ │ │ +00000780: 235f 7dd8 d56b 4529 c9a0 a026 696e 7464 #_}..kE)...&intd │ │ │ 00000790: 6976 a027 616c 6765 6272 61a0 286d 6174 iv.'algebra.(mat │ │ │ -000007a0: 6863 6f6d 7040 9030 e78c a2d3 772e 9bdc hcomp@.0....w... │ │ │ -000007b0: 11c4 2cb2 46ad 0e71 a0a0 266d 7870 6f6c ..,.F..q..&mxpol │ │ │ +000007a0: 6863 6f6d 7040 9030 a486 a030 b2a1 5e9f hcomp@.0...0..^. │ │ │ +000007b0: 0d19 0a45 361e 3e7e a0a0 266d 7870 6f6c ...E6.>~..&mxpol │ │ │ 000007c0: 79a0 2761 6c67 6562 7261 a028 6d61 7468 y.'algebra.(math │ │ │ -000007d0: 636f 6d70 4090 306f 6c45 8482 306e 6b5d comp@.0olE..0nk] │ │ │ -000007e0: 200a 4db1 fd2d 6ba0 a028 6661 6c67 6562 .M..-k..(falgeb │ │ │ +000007d0: 636f 6d70 4090 3064 d42d 7d5c d94a 4576 comp@.0d.-}\.JEv │ │ │ +000007e0: bd1f b27f 5895 b2a0 a028 6661 6c67 6562 ....X....(falgeb │ │ │ 000007f0: 7261 a025 6669 656c 64a0 286d 6174 6863 ra.%field.(mathc │ │ │ -00000800: 6f6d 7040 9030 cfc8 c01f f6b8 4918 9757 omp@.0......I..W │ │ │ -00000810: 08ed e59d d206 a0a0 2866 6965 6c64 6578 ........(fieldex │ │ │ +00000800: 6f6d 7040 9030 b239 4c33 8da0 1827 dec5 omp@.0.9L3...'.. │ │ │ +00000810: 93cf 0f6e 055e a0a0 2866 6965 6c64 6578 ...n.^..(fieldex │ │ │ 00000820: 74a0 2566 6965 6c64 a028 6d61 7468 636f t.%field.(mathco │ │ │ -00000830: 6d70 4090 300b cf92 b499 be4f 34ad 0362 mp@.0......O4..b │ │ │ -00000840: ea48 93be a4a0 a029 7365 7061 7261 626c .H.....)separabl │ │ │ +00000830: 6d70 4090 3075 4e0d edd4 f83d c4a1 9ecc mp@.0uN....=.... │ │ │ +00000840: 9c1b 23d8 c5a0 a029 7365 7061 7261 626c ..#....)separabl │ │ │ 00000850: 65a0 2566 6965 6c64 a028 6d61 7468 636f e.%field.(mathco │ │ │ -00000860: 6d70 4090 3034 e478 41fa 9e4a 9710 82f6 mp@.04.xA..J.... │ │ │ -00000870: 6f40 6e1d f7a0 a026 6761 6c6f 6973 a025 o@n....&galois.% │ │ │ +00000860: 6d70 4090 3064 a3aa f2c9 7166 5569 889b mp@.0d....qfUi.. │ │ │ +00000870: 5876 8414 15a0 a026 6761 6c6f 6973 a025 Xv.....&galois.% │ │ │ 00000880: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000890: 9030 4bd2 d748 44d8 d0a8 7782 2fe4 83dc .0K..HD...w./... │ │ │ -000008a0: dc58 a0a0 2461 6c67 43a0 2566 6965 6c64 .X..$algC.%field │ │ │ -000008b0: a028 6d61 7468 636f 6d70 4090 3028 8494 .(mathcomp@.0(.. │ │ │ -000008c0: 53ab 9772 38eb d0a4 cb1e 00de 2ba0 a02a S..r8.......+..* │ │ │ +00000890: 9030 49c2 850a a37c a886 a5af 236a 8ec1 .0I....|....#j.. │ │ │ +000008a0: df47 a0a0 2461 6c67 43a0 2566 6965 6c64 .G..$algC.%field │ │ │ +000008b0: a028 6d61 7468 636f 6d70 4090 30cc b890 .(mathcomp@.0... │ │ │ +000008c0: b614 97ec 7b20 292d cdf9 ac13 d6a0 a02a ....{ )-.......* │ │ │ 000008d0: 6379 636c 6f74 6f6d 6963 a025 6669 656c cyclotomic.%fiel │ │ │ -000008e0: 64a0 286d 6174 6863 6f6d 7040 9030 9de8 d.(mathcomp@.0.. │ │ │ -000008f0: d468 34af 1a2f 29b2 9dc9 b0ba 30b9 a0a0 .h4../).....0... │ │ │ +000008e0: 64a0 286d 6174 6863 6f6d 7040 9030 d6cb d.(mathcomp@.0.. │ │ │ +000008f0: 0a15 4afa f0ae 8b48 1638 626e dc5a a0a0 ..J....H.8bn.Z.. │ │ │ 00000900: 2661 6c67 6e75 6da0 2566 6965 6c64 a028 &algnum.%field.( │ │ │ -00000910: 6d61 7468 636f 6d70 4090 305f da9e 69c5 mathcomp@.0_..i. │ │ │ -00000920: e4b6 eb9b 6c58 4e60 cfdb d2a0 a030 6d78 ....lXN`.....0mx │ │ │ +00000910: 6d61 7468 636f 6d70 4090 305b 0c40 a079 mathcomp@.0[.@.y │ │ │ +00000920: 402b 4b5f 5a43 30ef def7 d3a0 a030 6d78 @+K_ZC0......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 924c c4a4 fe94 1552 8725 omp@.0.L.....R.% │ │ │ -00000960: 9eb2 6074 1e5b a0a0 2863 6c61 7373 6675 ..`t.[..(classfu │ │ │ +00000950: 6f6d 7040 9030 3557 06af f56d 632e 2a5a omp@.05W...mc.*Z │ │ │ +00000960: 1959 a71b 8814 a0a0 2863 6c61 7373 6675 .Y......(classfu │ │ │ 00000970: 6ea0 2963 6861 7261 6374 6572 a028 6d61 n.)character.(ma │ │ │ -00000980: 7468 636f 6d70 4090 30bc cd2c 3dea ee18 thcomp@.0..,=... │ │ │ -00000990: c561 600f bae3 55a3 64a0 a029 6368 6172 .a`...U.d..)char │ │ │ +00000980: 7468 636f 6d70 4090 30a7 5e0a 2202 d0ba thcomp@.0.^."... │ │ │ +00000990: e482 402e 98af 303c f2a0 a029 6368 6172 ..@...0<...)char │ │ │ 000009a0: 6163 7465 72a0 0402 a028 6d61 7468 636f acter....(mathco │ │ │ -000009b0: 6d70 4090 303d 3c28 c8dd 60b4 9745 5af1 mp@.0=<(..`..EZ. │ │ │ -000009c0: 81f1 9bab fb25 352e 342e 30a0 4040 9dd7 .....%5.4.0.@@.. │ │ │ -000009d0: e904 5c28 9182 e573 e652 61b4 07ba 8495 ..\(...s.Ra..... │ │ │ +000009b0: 6d70 4090 30e4 702a ddcc fc26 bcd0 fa5b mp@.0.p*...&...[ │ │ │ +000009c0: f6aa ac01 2b25 352e 342e 30a0 4040 9208 ....+%5.4.0.@@.. │ │ │ +000009d0: 0750 6c13 b7d9 677c 9f5d 8e93 c7a6 8495 .Pl...g|.]...... │ │ │ 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 3d3c 28c8 dd60 b497 455a f181 f19b .0=<(..`..EZ.... │ │ │ -0000d5a0: abfb 9040 a0a0 a105 1262 a040 9040 a0a0 ...@.....b.@.@.. │ │ │ +0000d590: 9030 e470 2add ccfc 26bc d0fa 5bf6 aaac .0.p*...&...[... │ │ │ +0000d5a0: 012b 9040 a0a0 a105 1262 a040 9040 a0a0 .+.@.....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 40de abd3 7eed @ABCDEFGH@@...~. │ │ │ -00014370: ab91 9085 83dc b6bf 35ce 1184 95a6 be00 ........5....... │ │ │ +00014360: 4041 4243 4445 4647 4840 4053 4c16 a2fa @ABCDEFGH@@SL... │ │ │ +00014370: c51a 90e6 4cac cf61 33ba ce84 95a6 be00 ....L..a3....... │ │ │ 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 8dde abd3 7eed .........9....~. │ │ │ -0007e1c0: ab91 9085 83dc b6bf 35ce 1100 0000 076f ........5......o │ │ │ +0007e1b0: 0009 de00 0000 0000 0139 8d53 4c16 a2fa .........9.SL... │ │ │ +0007e1c0: c51a 90e6 4cac cf61 33ba ce00 0000 076f ....L..a3......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: be9d d7e9 045c 2891 82e5 73e6 5261 b407 .....\(...s.Ra.. │ │ │ -0007e220: ba00 0000 0976 6d6c 6962 7261 7279 0000 .....vmlibrary.. │ │ │ +0007e210: be92 0807 506c 13b7 d967 7c9f 5d8e 93c7 ....Pl...g|.]... │ │ │ +0007e220: a600 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 96eb 43eb 5381 2a2a 2ca0 f732 p@.0..C.S.**,..2 │ │ │ 00000450: cc81 2913 a0a0 2867 7072 6f64 7563 74a0 ..)...(gproduct. │ │ │ 00000460: 2866 696e 6772 6f75 70a0 286d 6174 6863 (fingroup.(mathc │ │ │ 00000470: 6f6d 7040 9030 e7ef cae9 0e99 775c f48b omp@.0......w\.. │ │ │ 00000480: 01a2 8876 3250 a0a0 2666 696e 616c 67a0 ...v2P..&finalg. │ │ │ 00000490: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004a0: 6d70 4090 30aa 86ed e696 a079 9460 5fb3 mp@.0......y.`_. │ │ │ -000004b0: 9de0 0bdd aca0 a025 7a6d 6f64 70a0 2761 .......%zmodp.'a │ │ │ +000004a0: 6d70 4090 30e7 894b 3a60 2315 c7b2 e0dd mp@.0..K:`#..... │ │ │ +000004b0: 7d1a bdb8 a5a0 a025 7a6d 6f64 70a0 2761 }......%zmodp.'a │ │ │ 000004c0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000004d0: 4090 3019 a874 60b2 7a65 0f1b f89f a003 @.0..t`.ze...... │ │ │ -000004e0: f2a8 05a0 a02a 636f 6d6d 7574 6174 6f72 .....*commutator │ │ │ +000004d0: 4090 3006 6906 3690 1c3b 6883 4da8 3484 @.0.i.6..;h.M.4. │ │ │ +000004e0: f1e9 c0a0 a02a 636f 6d6d 7574 6174 6f72 .....*commutator │ │ │ 000004f0: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ 00000500: 636f 6d70 4090 301b 6819 4243 3a46 f627 comp@.0.h.BC:F.' │ │ │ 00000510: b51e b9b6 828f 77a0 a026 6379 636c 6963 ......w..&cyclic │ │ │ 00000520: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000530: 636f 6d70 4090 3054 6044 c646 f24b f2e5 comp@.0T`D.F.K.. │ │ │ -00000540: 257a aba1 d649 b9a0 a026 6365 6e74 6572 %z...I...¢er │ │ │ +00000530: 636f 6d70 4090 3050 1004 ce97 baa1 40d0 comp@.0P......@. │ │ │ +00000540: d663 dfb2 d3d2 b9a0 a026 6365 6e74 6572 .c.......¢er │ │ │ 00000550: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000560: 636f 6d70 4090 3041 fbfa 82f0 571e 07e2 comp@.0A....W... │ │ │ -00000570: aae8 ddd1 3748 d6a0 a026 7067 726f 7570 ....7H...&pgroup │ │ │ +00000560: 636f 6d70 4090 308b f66f 83f6 0782 15a7 comp@.0..o...... │ │ │ +00000570: de81 80c0 3cf6 f2a0 a026 7067 726f 7570 ....<....&pgroup │ │ │ 00000580: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -00000590: 636f 6d70 4090 3000 c5ad 81d9 6911 9ef2 comp@.0.....i... │ │ │ -000005a0: 7537 4b24 845d 93a0 a027 6773 6572 6965 u7K$.]...'gserie │ │ │ +00000590: 636f 6d70 4090 304f 4128 abd3 1884 acd0 comp@.0OA(...... │ │ │ +000005a0: 7a13 6fd3 122a 8aa0 a027 6773 6572 6965 z.o..*...'gserie │ │ │ 000005b0: 73a0 2873 6f6c 7661 626c 65a0 286d 6174 s.(solvable.(mat │ │ │ -000005c0: 6863 6f6d 7040 9030 9f3a ad42 0d92 d705 hcomp@.0.:.B.... │ │ │ -000005d0: 9520 018b ea9f 87de a0a0 296e 696c 706f . ........)nilpo │ │ │ +000005c0: 6863 6f6d 7040 9030 b10b 9496 8c5c 9c3f hcomp@.0.....\.? │ │ │ +000005d0: dfae 3237 75ec 5e02 a0a0 296e 696c 706f ..27u.^...)nilpo │ │ │ 000005e0: 7465 6e74 a028 736f 6c76 6162 6c65 a028 tent.(solvable.( │ │ │ -000005f0: 6d61 7468 636f 6d70 4090 3007 959c d9e7 mathcomp@.0..... │ │ │ -00000600: ca30 ba2c 11a3 2120 f6c8 65a0 a025 7379 .0.,..! ..e..%sy │ │ │ +000005f0: 6d61 7468 636f 6d70 4090 3052 1cc3 e997 mathcomp@.0R.... │ │ │ +00000600: 6406 fd72 66c4 60ca 3c50 ffa0 a025 7379 d..rf.`.O.0.L.....R.%. │ │ │ -00016030: b260 741e 5b90 40a0 a095 a002 1d04 1afc .`t.[.@......... │ │ │ +00016000: 736f 6c76 6162 6c65 a005 0867 4090 307d solvable...g@.0} │ │ │ +00016010: 8e80 722f f077 b3e4 846c f2a7 5fb8 1aa0 ..r/.w...l.._... │ │ │ +00016020: 053e 4f90 3035 5706 aff5 6d63 2e2a 5a19 .>O.05W...mc.*Z. │ │ │ +00016030: 59a7 1b88 1490 40a0 a095 a002 1d04 1afc Y.....@......... │ │ │ 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 4096 8f85 8ab7 0541 ..D.D@B@@......A │ │ │ -00040b60: 52cc 2d80 4996 ffc2 8a84 95a6 be00 0472 R.-.I..........r │ │ │ +00040b50: 1de4 4404 4440 4240 4063 79fb 13ff eccd ..D.D@B@@cy..... │ │ │ +00040b60: 7908 207c f05a 1aaa fc84 95a6 be00 0472 y. |.Z.........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: 968f 858a b705 4152 cc2d 8049 96ff c28a ......AR.-.I.... │ │ │ +00088eb0: 6379 fb13 ffec cd79 0820 7cf0 5a1a aafc cy.....y. |.Z... │ │ │ 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 696f bd26 cefb 3954 325b ......io.&..9T2[ │ │ │ -00088f10: 7e20 b352 c5e8 0000 0009 766d 6c69 6272 ~ .R......vmlibr │ │ │ +00088f00: 0000 0000 0700 42c9 5daa 4447 cda4 478e ......B.].DG..G. │ │ │ +00088f10: 5f76 3c49 0dd9 0000 0009 766d 6c69 6272 _v..X.. │ │ │ -00000650: a1b2 45a5 caa2 8495 a6be 0013 88d4 0003 ..E............. │ │ │ +00000620: a028 6d61 7468 636f 6d70 4090 3064 d42d .(mathcomp@.0d.- │ │ │ +00000630: 7d5c d94a 4576 bd1f b27f 5895 b225 352e }\.JEv....X..%5. │ │ │ +00000640: 342e 30a0 4040 480b 9229 8d18 604b 1c61 4.0.@@H..)..`K.a │ │ │ +00000650: 55d2 328b 4825 8495 a6be 0013 88d4 0003 U.2.H%.......... │ │ │ 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: 41fb fa82 f057 1e07 e2aa e8dd d137 48d6 A....W.......7H. │ │ │ +00068fe0: 8bf6 6f83 f607 8215 a7de 8180 c03c f6f2 ..o..........<.. │ │ │ 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 1b68 1942 433a 46f6 27b5 1eb9 p@.0.h.BC:F.'... │ │ │ 00069020: b682 8f77 a0a0 0539 e7a0 0549 bca0 0549 ...w...9...I...I │ │ │ -00069030: bb40 9030 6f6c 4584 8230 6e6b 5d20 0a4d .@.0olE..0nk] .M │ │ │ -00069040: b1fd 2d6b a005 6171 9030 00c5 ad81 d969 ..-k..aq.0.....i │ │ │ -00069050: 119e f275 374b 2484 5d93 9040 a0a0 95a0 ...u7K$.]..@.... │ │ │ +00069030: bb40 9030 64d4 2d7d 5cd9 4a45 76bd 1fb2 .@.0d.-}\.JEv... │ │ │ +00069040: 7f58 95b2 a005 6171 9030 4f41 28ab d318 .X....aq.0OA(... │ │ │ +00069050: 84ac d07a 136f d312 2a8a 9040 a0a0 95a0 ...z.o..*..@.... │ │ │ 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 924c .F.5.p..D@B@@@.L │ │ │ -00138f40: c4a4 fe94 1552 8725 9eb2 6074 1e5b 8495 .....R.%..`t.[.. │ │ │ +00138f30: 0446 0235 9070 bf04 4440 4240 4040 3557 .F.5.p..D@B@@@5W │ │ │ +00138f40: 06af f56d 632e 2a5a 1959 a71b 8814 8495 ...mc.*Z.Y...... │ │ │ 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 924c c4a4 fe94 1552 8725 9eb2 6074 ...L.....R.%..`t │ │ │ -0031be40: 1e5b 0000 0007 6f70 6171 7565 7300 0000 .[....opaques... │ │ │ +0031be30: 88e8 3557 06af f56d 632e 2a5a 1959 a71b ..5W...mc.*Z.Y.. │ │ │ +0031be40: 8814 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 17e0 b089 3e85 c258 .......6....>..X │ │ │ -0031be90: e78a a1b2 45a5 caa2 0000 0009 766d 6c69 ....E.......vmli │ │ │ +0031be80: 0000 0000 0000 0636 480b 9229 8d18 604b .......6H..)..`K │ │ │ +0031be90: 1c61 55d2 328b 4825 0000 0009 766d 6c69 .aU.2.H%....vmli │ │ │ 0031bea0: 6272 6172 7900 0000 0000 3145 2500 0000 brary.....1E%... │ │ │ 0031beb0: 0000 0078 de9c 7295 cc70 78a4 9755 c2c0 ...x..r..px..U.. │ │ │ 0031bec0: c30f ef33 0b ...3. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/character/vcharacter.vo │ │ │ @@ -68,72 +68,72 @@ │ │ │ 00000430: 696e 6772 6f75 70a0 286d 6174 6863 6f6d ingroup.(mathcom │ │ │ 00000440: 7040 9030 4b83 7cb2 93da e7a6 c74e 89bb p@.0K.|......N.. │ │ │ 00000450: 4aaf 5a68 a0a0 2871 756f 7469 656e 74a0 J.Zh..(quotient. │ │ │ 00000460: 2866 696e 6772 6f75 70a0 286d 6174 6863 (fingroup.(mathc │ │ │ 00000470: 6f6d 7040 9030 96eb 43eb 5381 2a2a 2ca0 omp@.0..C.S.**,. │ │ │ 00000480: f732 cc81 2913 a0a0 2666 696e 616c 67a0 .2..)...&finalg. │ │ │ 00000490: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004a0: 6d70 4090 30aa 86ed e696 a079 9460 5fb3 mp@.0......y.`_. │ │ │ -000004b0: 9de0 0bdd aca0 a028 6770 726f 6475 6374 .......(gproduct │ │ │ +000004a0: 6d70 4090 30e7 894b 3a60 2315 c7b2 e0dd mp@.0..K:`#..... │ │ │ +000004b0: 7d1a bdb8 a5a0 a028 6770 726f 6475 6374 }......(gproduct │ │ │ 000004c0: a028 6669 6e67 726f 7570 a028 6d61 7468 .(fingroup.(math │ │ │ 000004d0: 636f 6d70 4090 30e7 efca e90e 9977 5cf4 comp@.0......w\. │ │ │ 000004e0: 8b01 a288 7632 50a0 a025 7a6d 6f64 70a0 ....v2P..%zmodp. │ │ │ 000004f0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -00000500: 6d70 4090 3019 a874 60b2 7a65 0f1b f89f mp@.0..t`.ze.... │ │ │ -00000510: a003 f2a8 05a0 a02a 636f 6d6d 7574 6174 .......*commutat │ │ │ +00000500: 6d70 4090 3006 6906 3690 1c3b 6883 4da8 mp@.0.i.6..;h.M. │ │ │ +00000510: 3484 f1e9 c0a0 a02a 636f 6d6d 7574 6174 4......*commutat │ │ │ 00000520: 6f72 a028 736f 6c76 6162 6c65 a028 6d61 or.(solvable.(ma │ │ │ 00000530: 7468 636f 6d70 4090 301b 6819 4243 3a46 thcomp@.0.h.BC:F │ │ │ 00000540: f627 b51e b9b6 828f 77a0 a026 6379 636c .'......w..&cycl │ │ │ 00000550: 6963 a028 736f 6c76 6162 6c65 a028 6d61 ic.(solvable.(ma │ │ │ -00000560: 7468 636f 6d70 4090 3054 6044 c646 f24b thcomp@.0T`D.F.K │ │ │ -00000570: f2e5 257a aba1 d649 b9a0 a026 6365 6e74 ..%z...I...¢ │ │ │ +00000560: 7468 636f 6d70 4090 3050 1004 ce97 baa1 thcomp@.0P...... │ │ │ +00000570: 40d0 d663 dfb2 d3d2 b9a0 a026 6365 6e74 @..c.......¢ │ │ │ 00000580: 6572 a028 736f 6c76 6162 6c65 a028 6d61 er.(solvable.(ma │ │ │ -00000590: 7468 636f 6d70 4090 3041 fbfa 82f0 571e thcomp@.0A....W. │ │ │ -000005a0: 07e2 aae8 ddd1 3748 d6a0 a026 7067 726f ......7H...&pgro │ │ │ +00000590: 7468 636f 6d70 4090 308b f66f 83f6 0782 thcomp@.0..o.... │ │ │ +000005a0: 15a7 de81 80c0 3cf6 f2a0 a026 7067 726f ......<....&pgro │ │ │ 000005b0: 7570 a028 736f 6c76 6162 6c65 a028 6d61 up.(solvable.(ma │ │ │ -000005c0: 7468 636f 6d70 4090 3000 c5ad 81d9 6911 thcomp@.0.....i. │ │ │ -000005d0: 9ef2 7537 4b24 845d 93a0 a025 7379 6c6f ..u7K$.]...%sylo │ │ │ +000005c0: 7468 636f 6d70 4090 304f 4128 abd3 1884 thcomp@.0OA(.... │ │ │ +000005d0: acd0 7a13 6fd3 122a 8aa0 a025 7379 6c6f ..z.o..*...%sylo │ │ │ 000005e0: 77a0 2873 6f6c 7661 626c 65a0 286d 6174 w.(solvable.(mat │ │ │ -000005f0: 6863 6f6d 7040 9030 1b56 bb28 37b7 a07b hcomp@.0.V.(7..{ │ │ │ -00000600: d8c9 5a46 af5b c34f a0a0 2966 726f 6265 ..ZF.[.O..)frobe │ │ │ +000005f0: 6863 6f6d 7040 9030 20ca eece f9f5 7446 hcomp@.0 .....tF │ │ │ +00000600: 14e0 5ae9 46de c65b a0a0 2966 726f 6265 ..Z.F..[..)frobe │ │ │ 00000610: 6e69 7573 a028 736f 6c76 6162 6c65 a028 nius.(solvable.( │ │ │ -00000620: 6d61 7468 636f 6d70 4090 30d9 2e12 9988 mathcomp@.0..... │ │ │ -00000630: 8c5d 280b 5432 351c f01f b8a0 a026 7665 .](.T25......&ve │ │ │ +00000620: 6d61 7468 636f 6d70 4090 30d4 c435 6fd1 mathcomp@.0..5o. │ │ │ +00000630: 313d 4782 9097 5a91 709d b1a0 a026 7665 1=G...Z.p....&ve │ │ │ 00000640: 6374 6f72 a027 616c 6765 6272 61a0 286d ctor.'algebra.(m │ │ │ -00000650: 6174 6863 6f6d 7040 9030 0a5e 71e3 f04b athcomp@.0.^q..K │ │ │ -00000660: 025c 57e3 59f5 549c 03d5 a0a0 2673 7372 .\W.Y.T.....&ssr │ │ │ +00000650: 6174 6863 6f6d 7040 9030 bbce d3b7 1a28 athcomp@.0.....( │ │ │ +00000660: dee0 1454 431f 2432 7dd8 a0a0 2673 7372 ...TC.$2}...&ssr │ │ │ 00000670: 6e75 6da0 2761 6c67 6562 7261 a028 6d61 num.'algebra.(ma │ │ │ 00000680: 7468 636f 6d70 4090 3051 8f9d aef7 8420 thcomp@.0Q..... │ │ │ 00000690: 198d 4d33 c843 6931 8ca0 a026 7373 7269 ..M3.Ci1...&ssri │ │ │ 000006a0: 6e74 a027 616c 6765 6272 61a0 286d 6174 nt.'algebra.(mat │ │ │ 000006b0: 6863 6f6d 7040 9030 ae57 4cb5 2f25 060f hcomp@.0.WL./%.. │ │ │ 000006c0: 596c cd15 a562 774d a0a0 2b61 7263 6869 Yl...bwM..+archi │ │ │ 000006d0: 6d65 6465 616e a027 616c 6765 6272 61a0 medean.'algebra. │ │ │ 000006e0: 286d 6174 6863 6f6d 7040 9030 2f19 dd92 (mathcomp@.0/... │ │ │ 000006f0: 35f9 5561 32fc 31ac f829 93e1 a0a0 2669 5.Ua2.1..)....&i │ │ │ 00000700: 6e74 6469 76a0 2761 6c67 6562 7261 a028 ntdiv.'algebra.( │ │ │ -00000710: 6d61 7468 636f 6d70 4090 30e7 8ca2 d377 mathcomp@.0....w │ │ │ -00000720: 2e9b dc11 c42c b246 ad0e 71a0 a024 616c .....,.F..q..$al │ │ │ +00000710: 6d61 7468 636f 6d70 4090 30a4 86a0 30b2 mathcomp@.0...0. │ │ │ +00000720: a15e 9f0d 190a 4536 1e3e 7ea0 a024 616c .^....E6.>~..$al │ │ │ 00000730: 6743 a025 6669 656c 64a0 286d 6174 6863 gC.%field.(mathc │ │ │ -00000740: 6f6d 7040 9030 2884 9453 ab97 7238 ebd0 omp@.0(..S..r8.. │ │ │ -00000750: a4cb 1e00 de2b a0a0 2661 6c67 6e75 6da0 .....+..&algnum. │ │ │ +00000740: 6f6d 7040 9030 ccb8 90b6 1497 ec7b 2029 omp@.0.......{ ) │ │ │ +00000750: 2dcd f9ac 13d6 a0a0 2661 6c67 6e75 6da0 -.......&algnum. │ │ │ 00000760: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -00000770: 4090 305f da9e 69c5 e4b6 eb9b 6c58 4e60 @.0_..i.....lXN` │ │ │ -00000780: cfdb d2a0 a028 636c 6173 7366 756e a029 .....(classfun.) │ │ │ +00000770: 4090 305b 0c40 a079 402b 4b5f 5a43 30ef @.0[.@.y@+K_ZC0. │ │ │ +00000780: def7 d3a0 a028 636c 6173 7366 756e a029 .....(classfun.) │ │ │ 00000790: 6368 6172 6163 7465 72a0 286d 6174 6863 character.(mathc │ │ │ -000007a0: 6f6d 7040 9030 bccd 2c3d eaee 18c5 6160 omp@.0..,=....a` │ │ │ -000007b0: 0fba e355 a364 a0a0 2963 6861 7261 6374 ...U.d..)charact │ │ │ +000007a0: 6f6d 7040 9030 a75e 0a22 02d0 bae4 8240 omp@.0.^.".....@ │ │ │ +000007b0: 2e98 af30 3cf2 a0a0 2963 6861 7261 6374 ...0<...)charact │ │ │ 000007c0: 6572 a004 02a0 286d 6174 6863 6f6d 7040 er....(mathcomp@ │ │ │ -000007d0: 9030 3d3c 28c8 dd60 b497 455a f181 f19b .0=<(..`..EZ.... │ │ │ -000007e0: abfb a0a0 2d69 6e74 6567 7261 6c5f 6368 ....-integral_ch │ │ │ +000007d0: 9030 e470 2add ccfc 26bc d0fa 5bf6 aaac .0.p*...&...[... │ │ │ +000007e0: 012b a0a0 2d69 6e74 6567 7261 6c5f 6368 .+..-integral_ch │ │ │ 000007f0: 6172 a029 6368 6172 6163 7465 72a0 286d ar.)character.(m │ │ │ -00000800: 6174 6863 6f6d 7040 9030 deab d37e edab athcomp@.0...~.. │ │ │ -00000810: 9190 8583 dcb6 bf35 ce11 2535 2e34 2e30 .......5..%5.4.0 │ │ │ -00000820: a040 4018 69a9 c949 0d3a d0a3 cc1b 7534 .@@.i..I.:....u4 │ │ │ -00000830: ca8b ae84 95a6 be00 0434 2600 00ea 5d00 .........4&...]. │ │ │ +00000800: 6174 6863 6f6d 7040 9030 534c 16a2 fac5 athcomp@.0SL.... │ │ │ +00000810: 1a90 e64c accf 6133 bace 2535 2e34 2e30 ...L..a3..%5.4.0 │ │ │ +00000820: a040 40c0 ef6e a4ac ddbc 8798 0d1b 4f35 .@@..n........O5 │ │ │ +00000830: 6f87 9784 95a6 be00 0434 2600 00ea 5d00 o........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 d92e 1299 888c athcomp@.0...... │ │ │ -00013c10: 5d28 0b54 3235 1cf0 1fb8 a0a0 2d69 6e74 ](.T25......-int │ │ │ +00013c00: 6174 6863 6f6d 7040 9030 d4c4 356f d131 athcomp@.0..5o.1 │ │ │ +00013c10: 3d47 8290 975a 9170 9db1 a0a0 2d69 6e74 =G...Z.p....-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 deab d37e edab 9190 8583 dcb6 bf35 .0...~.........5 │ │ │ -00013c50: ce11 9040 a0a0 95a0 021d 041a fca0 40a0 ...@..........@. │ │ │ +00013c40: 9030 534c 16a2 fac5 1a90 e64c accf 6133 .0SL.......L..a3 │ │ │ +00013c50: bace 9040 a0a0 95a0 021d 041a fca0 40a0 ...@..........@. │ │ │ 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 4085 0654 .5......3@B@@..T │ │ │ -00043c70: fb12 13ee 7ce8 0ca8 e73b 0989 6b84 95a6 ....|....;..k... │ │ │ +00043c60: 0435 021f 92b7 8704 3340 4240 40e4 e1cf .5......3@B@@... │ │ │ +00043c70: 1bab f04e d179 9503 0974 01ef e584 95a6 ...N.y...t...... │ │ │ 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 3a85 0654 ....3......4:..T │ │ │ -00089ea0: fb12 13ee 7ce8 0ca8 e73b 0989 6b00 0000 ....|....;..k... │ │ │ +00089e90: 0000 0008 3300 0000 0000 0434 3ae4 e1cf ....3......4:... │ │ │ +00089ea0: 1bab f04e d179 9503 0974 01ef e500 0000 ...N.y...t...... │ │ │ 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 1318 69a9 c949 0d3a d0a3 cc1b 7534 ....i..I.:....u4 │ │ │ -00089f00: ca8b ae00 0000 0976 6d6c 6962 7261 7279 .......vmlibrary │ │ │ +00089ef0: 0008 13c0 ef6e a4ac ddbc 8798 0d1b 4f35 .....n........O5 │ │ │ +00089f00: 6f87 9700 0000 0976 6d6c 6962 7261 7279 o......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 @@ │ │ │ -mhae6 │ │ │ +g4xz6