--- /srv/rebuilderd/tmp/rebuilderd1TKvfB/inputs/libcoq-mathcomp-field_2.3.0-1+b17_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderd1TKvfB/out/libcoq-mathcomp-field_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 2208 2026-02-13 18:41:41.000000 control.tar.xz │ --rw-r--r-- 0 0 0 3403532 2026-02-13 18:41:41.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 2220 2026-02-13 18:41:41.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 3402480 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: 11817 │ │ │ Depends: libcoq-mathcomp-solvable (= 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-field-oheg9 │ │ │ +Provides: libcoq-mathcomp-field-zw5z3 │ │ │ Section: math │ │ │ Priority: optional │ │ │ Homepage: https://math-comp.github.io/math-comp/ │ │ │ Description: Mathematical Components library for Coq (field) │ │ │ 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/field/algC.vo │ │ │ @@ -46,43 +46,43 @@ │ │ │ 000002d0: 6f6c 79a0 2761 6c67 6562 7261 a028 6d61 oly.'algebra.(ma │ │ │ 000002e0: 7468 636f 6d70 4090 30a5 6704 a5ae 7ac4 thcomp@.0.g...z. │ │ │ 000002f0: 998a b23a 03b6 a076 f7a0 a027 706f 6c79 ...:...v...'poly │ │ │ 00000300: 6469 76a0 2761 6c67 6562 7261 a028 6d61 div.'algebra.(ma │ │ │ 00000310: 7468 636f 6d70 4090 30b3 3f93 27c4 8bc1 thcomp@.0.?.'... │ │ │ 00000320: d55c a504 673c f90c ffa0 a026 6d78 706f .\..g<.....&mxpo │ │ │ 00000330: 6c79 a027 616c 6765 6272 61a0 286d 6174 ly.'algebra.(mat │ │ │ -00000340: 6863 6f6d 7040 9030 6f6c 4584 8230 6e6b hcomp@.0olE..0nk │ │ │ -00000350: 5d20 0a4d b1fd 2d6b a0a0 3067 656e 6572 ] .M..-k..0gener │ │ │ +00000340: 6863 6f6d 7040 9030 64d4 2d7d 5cd9 4a45 hcomp@.0d.-}\.JE │ │ │ +00000350: 76bd 1fb2 7f58 95b2 a0a0 3067 656e 6572 v....X....0gener │ │ │ 00000360: 6963 5f71 756f 7469 656e 74a0 2973 7372 ic_quotient.)ssr │ │ │ 00000370: 6566 6c65 6374 a028 6d61 7468 636f 6d70 eflect.(mathcomp │ │ │ 00000380: 4090 30d6 d6a2 c917 8e10 3836 9ec5 3538 @.0.......86..58 │ │ │ 00000390: 0bcd 14a0 a026 7373 726e 756d a027 616c .....&ssrnum.'al │ │ │ 000003a0: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 000003b0: 9030 518f 9dae f784 2019 8d4d 33c8 4369 .0Q..... ..M3.Ci │ │ │ 000003c0: 318c a0a0 2c63 6c6f 7365 645f 6669 656c 1...,closed_fiel │ │ │ 000003d0: 64a0 2566 6965 6c64 a028 6d61 7468 636f d.%field.(mathco │ │ │ -000003e0: 6d70 4090 306e f569 3c50 68db 4d49 a8c2 mp@.0n.i~..7algebraics │ │ │ 000004c0: 5f66 756e 6461 6d65 6e74 616c 73a0 2566 _fundamentals.%f │ │ │ 000004d0: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -000004e0: 3019 fadb 7846 0582 3703 e5a7 af8b c2f8 0...xF..7....... │ │ │ -000004f0: 9125 352e 342e 30a0 4040 54bd ab13 90f4 .%5.4.0.@@T..... │ │ │ -00000500: 395e 33c4 1104 d959 0a96 8495 a6be 0007 9^3....Y........ │ │ │ +000004e0: 3059 4ff8 f199 eca9 24cf d290 5d59 6588 0YO.....$...]Ye. │ │ │ +000004f0: 2425 352e 342e 30a0 4040 f56e 9897 3ab3 $%5.4.0.@@.n..:. │ │ │ +00000500: b354 aa47 7bf0 d919 faee 8495 a6be 0007 .T.G{........... │ │ │ 00000510: 4a16 0001 a966 0005 c2d9 0005 a680 b0d0 J....f.......... │ │ │ 00000520: a024 616c 6743 a025 6669 656c 64a0 286d .$algC.%field.(m │ │ │ 00000530: 6174 6863 6f6d 7040 e090 0408 4190 a0a0 athcomp@....A... │ │ │ 00000540: 2969 7343 6f6d 706c 6578 93e0 a204 0804 )isComplex...... │ │ │ 00000550: 0441 90a0 a009 2769 7343 6f6d 706c 6578 .A....'isComplex │ │ │ 00000560: 5f4c 5f5f 6361 6e6f 6e69 6361 6c5f 5f65 _L__canonical__e │ │ │ 00000570: 7174 7970 655f 4571 7561 6c69 7479 9008 qtype_Equality.. │ │ │ @@ -9384,16 +9384,16 @@ │ │ │ 00024a70: 4041 b005 0824 42a0 03c0 9d8e c038 2aa1 @A...$B......8*. │ │ │ 00024a80: a090 b005 22d2 0508 2a02 0000 e905 4042 ...."...*.....@B │ │ │ 00024a90: 43b0 0508 2342 a003 0019 0a3c 7618 cf05 C...#B......Z. │ │ │ 00074f20: a0b0 0600 01a9 5d04 3502 1063 293f 0433 ......].5..c)?.3 │ │ │ -00074f30: 4042 4040 2884 9453 ab97 7238 ebd0 a4cb @B@@(..S..r8.... │ │ │ -00074f40: 1e00 de2b 8495 a6be 0002 9adc 0000 8464 ...+...........d │ │ │ +00074f30: 4042 4040 ccb8 90b6 1497 ec7b 2029 2dcd @B@@.......{ )-. │ │ │ +00074f40: f9ac 13d6 8495 a6be 0002 9adc 0000 8464 ...............d │ │ │ 00074f50: 0001 c37a 0001 bdd4 0800 01cb 0090 a0a9 ...z............ │ │ │ 00074f60: b7a0 9028 5f65 7661 725f 305f 40fd d0a0 ...(_evar_0_@... │ │ │ 00074f70: 90b0 90a0 2944 6174 6174 7970 6573 a024 ....)Datatypes.$ │ │ │ 00074f80: 496e 6974 a023 436f 7140 2462 6f6f 6c02 Init.#Coq@$bool. │ │ │ 00074f90: 0efc 5a27 4040 a040 40a0 4040 9043 a080 ..Z'@@.@@.@@.C.. │ │ │ 00074fa0: 8080 a0a0 90a0 9021 7840 9441 4040 9ca0 .......!x@.A@@.. │ │ │ 00074fb0: a004 1941 040b a0a0 80a9 9aa0 90b0 90a0 ...A............ │ │ │ @@ -41400,17 +41400,17 @@ │ │ │ 000a1b70: 034b 0200 00dd bea0 0300 17d8 1eb7 8358 .K.............X │ │ │ 000a1b80: 8e90 b005 0351 0503 4e02 0000 ddbf c004 .....Q..N....... │ │ │ 000a1b90: 1680 2918 101c 1008 2010 0810 a093 0415 ..)..... ....... │ │ │ 000a1ba0: 9304 0dc0 0460 8022 1818 80c0 046c 8021 .....`.".....l.! │ │ │ 000a1bb0: 1880 c004 5d80 2318 1018 806c 982b dbcf ....].#....l.+.. │ │ │ 000a1bc0: dc35 39a7 0967 b435 000d d900 0000 0400 .59..g.5........ │ │ │ 000a1bd0: 0000 076c 6962 7261 7279 0000 0000 0000 ...library...... │ │ │ -000a1be0: 050a 0000 0000 0007 4a2a 2884 9453 ab97 ........J*(..S.. │ │ │ -000a1bf0: 7238 ebd0 a4cb 1e00 de2b 0000 0007 6f70 r8.......+....op │ │ │ +000a1be0: 050a 0000 0000 0007 4a2a ccb8 90b6 1497 ........J*...... │ │ │ +000a1bf0: ec7b 2029 2dcd f9ac 13d6 0000 0007 6f70 .{ )-.........op │ │ │ 000a1c00: 6171 7565 7300 0000 0000 074f 4400 0000 aques......OD... │ │ │ 000a1c10: 0000 029a f0ee 93ed 35ee c7db 3b86 307c ........5...;.0| │ │ │ 000a1c20: 389e 7852 3d00 0000 0773 756d 6d61 7279 8.xR=....summary │ │ │ 000a1c30: 0000 0000 0000 0010 0000 0000 0000 04ea ................ │ │ │ -000a1c40: 54bd ab13 90f4 395e 33c4 1104 d959 0a96 T.....9^3....Y.. │ │ │ +000a1c40: f56e 9897 3ab3 b354 aa47 7bf0 d919 faee .n..:..T.G{..... │ │ │ 000a1c50: 0000 0009 766d 6c69 6272 6172 7900 0000 ....vmlibrary... │ │ │ 000a1c60: 0000 09ea 4400 0000 0000 0031 776c 982b ....D......1wl.+ │ │ │ 000a1c70: dbcf dc35 39a7 0967 b435 000d d9 ...59..g.5... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/algebraics_fundamentals.vo │ │ │ @@ -50,56 +50,56 @@ │ │ │ 00000310: a024 706f 6c79 a027 616c 6765 6272 61a0 .$poly.'algebra. │ │ │ 00000320: 286d 6174 6863 6f6d 7040 9030 a567 04a5 (mathcomp@.0.g.. │ │ │ 00000330: ae7a c499 8ab2 3a03 b6a0 76f7 a0a0 2770 .z....:...v...'p │ │ │ 00000340: 6f6c 7964 6976 a027 616c 6765 6272 61a0 olydiv.'algebra. │ │ │ 00000350: 286d 6174 6863 6f6d 7040 9030 b33f 9327 (mathcomp@.0.?.' │ │ │ 00000360: c48b c1d5 5ca5 0467 3cf9 0cff a0a0 266d ....\..g<.....&m │ │ │ 00000370: 7870 6f6c 79a0 2761 6c67 6562 7261 a028 xpoly.'algebra.( │ │ │ -00000380: 6d61 7468 636f 6d70 4090 306f 6c45 8482 mathcomp@.0olE.. │ │ │ -00000390: 306e 6b5d 200a 4db1 fd2d 6ba0 a02c 636c 0nk] .M..-k..,cl │ │ │ +00000380: 6d61 7468 636f 6d70 4090 3064 d42d 7d5c mathcomp@.0d.-}\ │ │ │ +00000390: d94a 4576 bd1f b27f 5895 b2a0 a02c 636c .JEv....X....,cl │ │ │ 000003a0: 6f73 6564 5f66 6965 6c64 a025 6669 656c osed_field.%fiel │ │ │ -000003b0: 64a0 286d 6174 6863 6f6d 7040 9030 6ef5 d.(mathcomp@.0n. │ │ │ -000003c0: 693c 5068 db4d 49a8 c282 8900 8de6 a0a0 i~..&cy │ │ │ 000004c0: 636c 6963 a028 736f 6c76 6162 6c65 a028 clic.(solvable.( │ │ │ -000004d0: 6d61 7468 636f 6d70 4090 3054 6044 c646 mathcomp@.0T`D.F │ │ │ -000004e0: f24b f2e5 257a aba1 d649 b9a0 a026 7067 .K..%z...I...&pg │ │ │ +000004d0: 6d61 7468 636f 6d70 4090 3050 1004 ce97 mathcomp@.0P.... │ │ │ +000004e0: baa1 40d0 d663 dfb2 d3d2 b9a0 a026 7067 ..@..c.......&pg │ │ │ 000004f0: 726f 7570 a028 736f 6c76 6162 6c65 a028 roup.(solvable.( │ │ │ -00000500: 6d61 7468 636f 6d70 4090 3000 c5ad 81d9 mathcomp@.0..... │ │ │ -00000510: 6911 9ef2 7537 4b24 845d 93a0 a025 7379 i...u7K$.]...%sy │ │ │ +00000500: 6d61 7468 636f 6d70 4090 304f 4128 abd3 mathcomp@.0OA(.. │ │ │ +00000510: 1884 acd0 7a13 6fd3 122a 8aa0 a025 7379 ....z.o..*...%sy │ │ │ 00000520: 6c6f 77a0 2873 6f6c 7661 626c 65a0 286d low.(solvable.(m │ │ │ -00000530: 6174 6863 6f6d 7040 9030 1b56 bb28 37b7 athcomp@.0.V.(7. │ │ │ -00000540: a07b d8c9 5a46 af5b c34f a0a0 2866 616c .{..ZF.[.O..(fal │ │ │ +00000530: 6174 6863 6f6d 7040 9030 20ca eece f9f5 athcomp@.0 ..... │ │ │ +00000540: 7446 14e0 5ae9 46de c65b a0a0 2866 616c tF..Z.F..[..(fal │ │ │ 00000550: 6765 6272 61a0 2566 6965 6c64 a028 6d61 gebra.%field.(ma │ │ │ -00000560: 7468 636f 6d70 4090 30cf c8c0 1ff6 b849 thcomp@.0......I │ │ │ -00000570: 1897 5708 ede5 9dd2 06a0 a028 6669 656c ..W........(fiel │ │ │ +00000560: 7468 636f 6d70 4090 30b2 394c 338d a018 thcomp@.0.9L3... │ │ │ +00000570: 27de c593 cf0f 6e05 5ea0 a028 6669 656c '.....n.^..(fiel │ │ │ 00000580: 6465 7874 a025 6669 656c 64a0 286d 6174 dext.%field.(mat │ │ │ -00000590: 6863 6f6d 7040 9030 0bcf 92b4 99be 4f34 hcomp@.0......O4 │ │ │ -000005a0: ad03 62ea 4893 bea4 a0a0 2973 6570 6172 ..b.H.....)separ │ │ │ +00000590: 6863 6f6d 7040 9030 754e 0ded d4f8 3dc4 hcomp@.0uN....=. │ │ │ +000005a0: a19e cc9c 1b23 d8c5 a0a0 2973 6570 6172 .....#....)separ │ │ │ 000005b0: 6162 6c65 a025 6669 656c 64a0 286d 6174 able.%field.(mat │ │ │ -000005c0: 6863 6f6d 7040 9030 34e4 7841 fa9e 4a97 hcomp@.04.xA..J. │ │ │ -000005d0: 1082 f66f 406e 1df7 a0a0 2667 616c 6f69 ...o@n....&galoi │ │ │ +000005c0: 6863 6f6d 7040 9030 64a3 aaf2 c971 6655 hcomp@.0d....qfU │ │ │ +000005d0: 6988 9b58 7684 1415 a0a0 2667 616c 6f69 i..Xv.....&galoi │ │ │ 000005e0: 73a0 2566 6965 6c64 a028 6d61 7468 636f s.%field.(mathco │ │ │ -000005f0: 6d70 4090 304b d2d7 4844 d8d0 a877 822f mp@.0K..HD...w./ │ │ │ -00000600: e483 dcdc 5825 352e 342e 30a0 4040 b4a0 ....X%5.4.0.@@.. │ │ │ -00000610: 82f4 597b 109b 3dd6 17f2 9537 5fe1 8495 ..Y{..=....7_... │ │ │ +000005f0: 6d70 4090 3049 c285 0aa3 7ca8 86a5 af23 mp@.0I....|....# │ │ │ +00000600: 6a8e c1df 4725 352e 342e 30a0 4040 23f4 j...G%5.4.0.@@#. │ │ │ +00000610: 790e 7d72 6d19 15c7 58c2 aff1 d98f 8495 y.}rm...X....... │ │ │ 00000620: a6be 0000 9435 0000 19bb 0000 62ec 0000 .....5......b... │ │ │ 00000630: 5d58 b0d0 a037 616c 6765 6272 6169 6373 ]X...7algebraics │ │ │ 00000640: 5f66 756e 6461 6d65 6e74 616c 73a0 2566 _fundamentals.%f │ │ │ 00000650: 6965 6c64 a028 6d61 7468 636f 6d70 40e0 ield.(mathcomp@. │ │ │ 00000660: 9004 0841 90a0 a039 7261 745f 616c 6765 ...A...9rat_alge │ │ │ 00000670: 6272 6169 635f 6172 6368 696d 6564 6561 braic_archimedea │ │ │ 00000680: 6e90 0800 0027 0040 a080 8092 c040 4004 n....'.@.....@@. │ │ │ @@ -2221,22 +2221,22 @@ │ │ │ 00008ac0: 0507 0342 0507 0840 4142 b005 06f5 4205 ...B...@AB....B. │ │ │ 00008ad0: 0700 c0c0 40b0 0506 ef42 0506 f4c0 40b0 ....@....B....@. │ │ │ 00008ae0: 0508 7542 0507 a540 4142 b005 07d8 4205 ..uB...@AB....B. │ │ │ 00008af0: 07a6 c040 b005 06df 4205 06ec c040 b005 ...@....B....@.. │ │ │ 00008b00: 06d8 4205 06dd 4041 4243 4445 4849 4c4d ..B...@ABCDEHILM │ │ │ 00008b10: c0a0 a02c 636c 6f73 6564 5f66 6965 6c64 ...,closed_field │ │ │ 00008b20: a025 6669 656c 64a0 286d 6174 6863 6f6d .%field.(mathcom │ │ │ -00008b30: 7040 9030 6ef5 693c 5068 db4d 49a8 c282 p@.0n.i~..%syl │ │ │ 00008b80: 6f77 a028 736f 6c76 6162 6c65 a028 6d61 ow.(solvable.(ma │ │ │ -00008b90: 7468 636f 6d70 4090 301b 56bb 2837 b7a0 thcomp@.0.V.(7.. │ │ │ -00008ba0: 7bd8 c95a 46af 5bc3 4f90 40a0 4040 a0a0 {..ZF.[.O.@.@@.. │ │ │ +00008b90: 7468 636f 6d70 4090 3020 caee cef9 f574 thcomp@.0 .....t │ │ │ +00008ba0: 4614 e05a e946 dec6 5b90 40a0 4040 a0a0 F..Z.F..[.@.@@.. │ │ │ 00008bb0: 95a0 021b 8322 9db0 9005 15ae 40a0 0515 ....."......@... │ │ │ 00008bc0: 6e40 a095 a002 320a 518f a005 15b3 b092 n@....2.Q....... │ │ │ 00008bd0: 4140 40a0 95a0 020f c0a2 b8a0 90e0 4140 A@@...........A@ │ │ │ 00008be0: 4040 4040 a0a0 9190 b005 15c4 0515 c002 @@@@............ │ │ │ 00008bf0: 27ad 2508 a0a0 40a0 90c0 b005 15be 4140 '.%...@.......A@ │ │ │ 00008c00: 9190 4240 41a0 90c0 b005 15b0 4240 9190 ..B@A.......B@.. │ │ │ 00008c10: 4340 41a0 40a0 4040 4040 a095 a002 2760 C@A.@.@@@@....'` │ │ │ @@ -2464,16 +2464,16 @@ │ │ │ 000099f0: 0c43 a005 0c48 a005 0c4f a005 0c54 a005 .C...H...O...T.. │ │ │ 00009a00: 0c5a a005 0c5f a005 0c69 a005 0c6e a005 .Z..._...i...n.. │ │ │ 00009a10: 0c74 a005 0c79 a005 0c80 40a0 95a0 0232 .t...y....@....2 │ │ │ 00009a20: 0a51 8fa0 050c f4b0 9240 4040 a095 a002 .Q.......@@@.... │ │ │ 00009a30: 0fc0 a2b8 a090 e041 4040 4040 40a0 a091 .......A@@@@@... │ │ │ 00009a40: 90b0 0519 ab05 0d01 020e 94f0 1aa0 a040 ...............@ │ │ │ 00009a50: 4040 40a0 95a0 0227 60a0 6fd0 4091 0409 @@@....'`.o.@... │ │ │ -00009a60: 4040 0503 cd40 4019 fadb 7846 0582 3703 @@...@@...xF..7. │ │ │ -00009a70: e5a7 af8b c2f8 9184 95a6 be00 0a60 3900 .............`9. │ │ │ +00009a60: 4040 0503 cd40 4059 4ff8 f199 eca9 24cf @@...@@YO.....$. │ │ │ +00009a70: d290 5d59 6588 2484 95a6 be00 0a60 3900 ..]Ye.$......`9. │ │ │ 00009a80: 01f3 d400 066c f700 0660 64d0 90a0 b7a0 .....l...`d..... │ │ │ 00009a90: 9021 4340 9ba0 a090 b0a2 a290 a026 7373 .!C@.........&ss │ │ │ 00009aa0: 726e 756d a027 616c 6765 6272 61a0 286d rnum.'algebra.(m │ │ │ 00009ab0: 6174 6863 6f6d 7040 234e 756d 284e 756d athcomp@#Num(Num │ │ │ 00009ac0: 4669 656c 6424 7479 7065 0216 98b7 5440 Field$type....T@ │ │ │ 00009ad0: a080 80b7 a090 2451 746f 4340 a99b a0a0 ......$QtoC@.... │ │ │ 00009ae0: 90b0 a2a2 90a0 2673 7372 616c 6704 1725 ......&ssralg..% │ │ │ @@ -44977,17 +44977,17 @@ │ │ │ 000afb00: 6c73 a025 6669 656c 64a0 286d 6174 6863 ls.%field.(mathc │ │ │ 000afb10: 6f6d 7040 90c0 0929 2d00 038c 2a2b 0202 omp@...)-...*+.. │ │ │ 000afb20: 0b0b 2d03 060b 3a00 2903 160a 1a2d 0309 ..-...:.)....-.. │ │ │ 000afb30: 1937 0022 3701 2602 001b 211a 1937 0228 .7."7.&...!..7.( │ │ │ 000afb40: 0480 2368 0c24 8091 4e25 6f44 539c bc7f ..#h.$..N%oDS... │ │ │ 000afb50: b31d bf7c 2665 ad00 0000 0400 0000 076c ...|&e.........l │ │ │ 000afb60: 6962 7261 7279 0000 0000 0000 061e 0000 ibrary.......... │ │ │ -000afb70: 0000 0000 9449 19fa db78 4605 8237 03e5 .....I...xF..7.. │ │ │ -000afb80: a7af 8bc2 f891 0000 0007 6f70 6171 7565 ..........opaque │ │ │ +000afb70: 0000 0000 9449 594f f8f1 99ec a924 cfd2 .....IYO.....$.. │ │ │ +000afb80: 905d 5965 8824 0000 0007 6f70 6171 7565 .]Ye.$....opaque │ │ │ 000afb90: 7300 0000 0000 009a 7700 0000 0000 0a60 s.......w......` │ │ │ 000afba0: 4d0b 388d cbb5 38d7 11e6 0fea f6a6 79fa M.8...8.......y. │ │ │ 000afbb0: 3200 0000 0773 756d 6d61 7279 0000 0000 2....summary.... │ │ │ -000afbc0: 0000 0010 0000 0000 0000 05fe b4a0 82f4 ................ │ │ │ -000afbd0: 597b 109b 3dd6 17f2 9537 5fe1 0000 0009 Y{..=....7_..... │ │ │ +000afbc0: 0000 0010 0000 0000 0000 05fe 23f4 790e ............#.y. │ │ │ +000afbd0: 7d72 6d19 15c7 58c2 aff1 d98f 0000 0009 }rm...X......... │ │ │ 000afbe0: 766d 6c69 6272 6172 7900 0000 0000 0afa vmlibrary....... │ │ │ 000afbf0: d400 0000 0000 0000 7391 4e25 6f44 539c ........s.N%oDS. │ │ │ 000afc00: bc7f b31d bf7c 2665 ad .....|&e. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/algnum.vo │ │ │ @@ -64,53 +64,53 @@ │ │ │ 000003f0: 696d 6564 6561 6ea0 2761 6c67 6562 7261 imedean.'algebra │ │ │ 00000400: a028 6d61 7468 636f 6d70 4090 302f 19dd .(mathcomp@.0/.. │ │ │ 00000410: 9235 f955 6132 fc31 acf8 2993 e1a0 a023 .5.Ua2.1..)....# │ │ │ 00000420: 7261 74a0 2761 6c67 6562 7261 a028 6d61 rat.'algebra.(ma │ │ │ 00000430: 7468 636f 6d70 4090 30c1 cda0 01b7 a94b thcomp@.0......K │ │ │ 00000440: 9afb ecd4 f789 6db2 21a0 a026 6669 6e61 ......m.!..&fina │ │ │ 00000450: 6c67 a027 616c 6765 6272 61a0 286d 6174 lg.'algebra.(mat │ │ │ -00000460: 6863 6f6d 7040 9030 aa86 ede6 96a0 7994 hcomp@.0......y. │ │ │ -00000470: 605f b39d e00b ddac a0a0 257a 6d6f 6470 `_........%zmodp │ │ │ +00000460: 6863 6f6d 7040 9030 e789 4b3a 6023 15c7 hcomp@.0..K:`#.. │ │ │ +00000470: b2e0 dd7d 1abd b8a5 a0a0 257a 6d6f 6470 ...}......%zmodp │ │ │ 00000480: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000490: 6f6d 7040 9030 19a8 7460 b27a 650f 1bf8 omp@.0..t`.ze... │ │ │ -000004a0: 9fa0 03f2 a805 a0a0 266d 6174 7269 78a0 ........&matrix. │ │ │ +00000490: 6f6d 7040 9030 0669 0636 901c 3b68 834d omp@.0.i.6..;h.M │ │ │ +000004a0: a834 84f1 e9c0 a0a0 266d 6174 7269 78a0 .4......&matrix. │ │ │ 000004b0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004c0: 6d70 4090 300b 6fd3 0e84 0536 80af 7a31 mp@.0.o....6..z1 │ │ │ -000004d0: b90d c8fb d0a0 a029 6d78 616c 6765 6272 .......)mxalgebr │ │ │ +000004c0: 6d70 4090 3094 67a9 4cd0 d8d1 a06b 659a mp@.0.g.L....ke. │ │ │ +000004d0: 3f0d 345e eda0 a029 6d78 616c 6765 6272 ?.4^...)mxalgebr │ │ │ 000004e0: 61a0 2761 6c67 6562 7261 a028 6d61 7468 a.'algebra.(math │ │ │ -000004f0: 636f 6d70 4090 30b2 0e6e 8da6 7f10 ae53 comp@.0..n.....S │ │ │ -00000500: 7679 739d a90f 0fa0 a026 6d78 706f 6c79 vys......&mxpoly │ │ │ +000004f0: 636f 6d70 4090 30ab 8a59 a035 1a69 235f comp@.0..Y.5.i#_ │ │ │ +00000500: 7dd8 d56b 4529 c9a0 a026 6d78 706f 6c79 }..kE)...&mxpoly │ │ │ 00000510: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000520: 6f6d 7040 9030 6f6c 4584 8230 6e6b 5d20 omp@.0olE..0nk] │ │ │ -00000530: 0a4d b1fd 2d6b a0a0 2676 6563 746f 72a0 .M..-k..&vector. │ │ │ +00000520: 6f6d 7040 9030 64d4 2d7d 5cd9 4a45 76bd omp@.0d.-}\.JEv. │ │ │ +00000530: 1fb2 7f58 95b2 a0a0 2676 6563 746f 72a0 ...X....&vector. │ │ │ 00000540: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -00000550: 6d70 4090 300a 5e71 e3f0 4b02 5c57 e359 mp@.0.^q..K.\W.Y │ │ │ -00000560: f554 9c03 d5a0 a026 696e 7464 6976 a027 .T.....&intdiv.' │ │ │ +00000550: 6d70 4090 30bb ced3 b71a 28de e014 5443 mp@.0.....(...TC │ │ │ +00000560: 1f24 327d d8a0 a026 696e 7464 6976 a027 .$2}...&intdiv.' │ │ │ 00000570: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000580: 7040 9030 e78c a2d3 772e 9bdc 11c4 2cb2 p@.0....w.....,. │ │ │ -00000590: 46ad 0e71 a0a0 2866 616c 6765 6272 61a0 F..q..(falgebra. │ │ │ +00000580: 7040 9030 a486 a030 b2a1 5e9f 0d19 0a45 p@.0...0..^....E │ │ │ +00000590: 361e 3e7e a0a0 2866 616c 6765 6272 61a0 6.>~..(falgebra. │ │ │ 000005a0: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -000005b0: 4090 30cf c8c0 1ff6 b849 1897 5708 ede5 @.0......I..W... │ │ │ -000005c0: 9dd2 06a0 a028 6669 656c 6465 7874 a025 .....(fieldext.% │ │ │ +000005b0: 4090 30b2 394c 338d a018 27de c593 cf0f @.0.9L3...'..... │ │ │ +000005c0: 6e05 5ea0 a028 6669 656c 6465 7874 a025 n.^..(fieldext.% │ │ │ 000005d0: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -000005e0: 9030 0bcf 92b4 99be 4f34 ad03 62ea 4893 .0......O4..b.H. │ │ │ -000005f0: bea4 a0a0 2973 6570 6172 6162 6c65 a025 ....)separable.% │ │ │ +000005e0: 9030 754e 0ded d4f8 3dc4 a19e cc9c 1b23 .0uN....=......# │ │ │ +000005f0: d8c5 a0a0 2973 6570 6172 6162 6c65 a025 ....)separable.% │ │ │ 00000600: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000610: 9030 34e4 7841 fa9e 4a97 1082 f66f 406e .04.xA..J....o@n │ │ │ -00000620: 1df7 a0a0 2667 616c 6f69 73a0 2566 6965 ....&galois.%fie │ │ │ -00000630: 6c64 a028 6d61 7468 636f 6d70 4090 304b ld.(mathcomp@.0K │ │ │ -00000640: d2d7 4844 d8d0 a877 822f e483 dcdc 58a0 ..HD...w./....X. │ │ │ +00000610: 9030 64a3 aaf2 c971 6655 6988 9b58 7684 .0d....qfUi..Xv. │ │ │ +00000620: 1415 a0a0 2667 616c 6f69 73a0 2566 6965 ....&galois.%fie │ │ │ +00000630: 6c64 a028 6d61 7468 636f 6d70 4090 3049 ld.(mathcomp@.0I │ │ │ +00000640: c285 0aa3 7ca8 86a5 af23 6a8e c1df 47a0 ....|....#j...G. │ │ │ 00000650: a024 616c 6743 a025 6669 656c 64a0 286d .$algC.%field.(m │ │ │ -00000660: 6174 6863 6f6d 7040 9030 2884 9453 ab97 athcomp@.0(..S.. │ │ │ -00000670: 7238 ebd0 a4cb 1e00 de2b a0a0 2a63 7963 r8.......+..*cyc │ │ │ +00000660: 6174 6863 6f6d 7040 9030 ccb8 90b6 1497 athcomp@.0...... │ │ │ +00000670: ec7b 2029 2dcd f9ac 13d6 a0a0 2a63 7963 .{ )-.......*cyc │ │ │ 00000680: 6c6f 746f 6d69 63a0 2566 6965 6c64 a028 lotomic.%field.( │ │ │ -00000690: 6d61 7468 636f 6d70 4090 309d e8d4 6834 mathcomp@.0...h4 │ │ │ -000006a0: af1a 2f29 b29d c9b0 ba30 b925 352e 342e ../).....0.%5.4. │ │ │ -000006b0: 30a0 4040 c3fe ef41 f1c1 b08b 9249 bf76 0.@@...A.....I.v │ │ │ -000006c0: a4f0 8bb4 8495 a6be 0003 0dc4 0000 ab56 ...............V │ │ │ +00000690: 6d61 7468 636f 6d70 4090 30d6 cb0a 154a mathcomp@.0....J │ │ │ +000006a0: faf0 ae8b 4816 3862 6edc 5a25 352e 342e ....H.8bn.Z%5.4. │ │ │ +000006b0: 30a0 4040 19d1 60e0 d6da 75a0 cc79 b0d7 0.@@..`...u..y.. │ │ │ +000006c0: 3697 cf73 8495 a6be 0003 0dc4 0000 ab56 6..s...........V │ │ │ 000006d0: 0002 66f0 0002 56be b0d0 a026 616c 676e ..f...V....&algn │ │ │ 000006e0: 756d a025 6669 656c 64a0 286d 6174 6863 um.%field.(mathc │ │ │ 000006f0: 6f6d 7040 e090 0408 4190 a0a0 2d69 6e74 omp@....A...-int │ │ │ 00000700: 725f 696e 6a5f 5a74 6f43 9008 0000 2700 r_inj_ZtoC....'. │ │ │ 00000710: 40a0 8080 91a9 9aa0 90b0 90a0 2673 7372 @...........&ssr │ │ │ 00000720: 696e 74a0 2761 6c67 6562 7261 a004 1640 int.'algebra...@ │ │ │ 00000730: 2869 6e74 725f 696e 6a02 35ee cc02 040e (intr_inj.5..... │ │ │ @@ -4161,16 +4161,16 @@ │ │ │ 00010400: 0c31 c0c0 40b0 050b c242 050c 3440 41b0 .1..@....B..4@A. │ │ │ 00010410: 050b bd42 050c 35c0 40b0 050b bb42 050c ...B..5.@....B.. │ │ │ 00010420: 3740 4142 43b0 050b b742 050c 38c0 c040 7@ABC....B..8..@ │ │ │ 00010430: b005 0bb6 4205 0c3b 4041 b005 0baf 4205 ....B..;@A....B. │ │ │ 00010440: 0c3c c0c0 40b0 050b ae42 050c 3fc0 40b0 .<..@....B..?.@. │ │ │ 00010450: 051f 5e42 050c 6c40 4142 b005 1f5f 4205 ..^B..l@AB..._B. │ │ │ 00010460: 0c42 4043 4445 4647 494a 4b4e 90a0 050e .B@CDEFGIJKN.... │ │ │ -00010470: f290 309d e8d4 6834 af1a 2f29 b29d c9b0 ..0...h4../).... │ │ │ -00010480: ba30 b990 40a0 a095 a002 1d04 1afc a040 .0..@..........@ │ │ │ +00010470: f290 30d6 cb0a 154a faf0 ae8b 4816 3862 ..0....J....H.8b │ │ │ +00010480: 6edc 5a90 40a0 a095 a002 1d04 1afc a040 n.Z.@..........@ │ │ │ 00010490: a0a0 4026 5f20 257c 205f c0a0 a040 0046 ..@&_ %| _...@.F │ │ │ 000104a0: a090 0046 a090 0046 40a0 b140 40a0 9000 ...F...F@..@@... │ │ │ 000104b0: 46a0 4090 40a0 b140 40a0 9000 46a0 4104 F.@.@..@@...F.A. │ │ │ 000104c0: 0640 90a0 d0a0 a040 0046 0414 40a0 4026 .@.....@.F..@.@& │ │ │ 000104d0: 5f20 257c 205f a0a0 a1a1 4004 1490 216d _ %| _....@...!m │ │ │ 000104e0: a0a0 4122 257c a0a1 a140 0416 9021 6440 ..A"%|...@...!d@ │ │ │ 000104f0: 40a0 0420 a004 1b40 4090 a041 a0a0 a590 @.. ...@@..A.... │ │ │ @@ -12611,16 +12611,16 @@ │ │ │ 00031420: 0501 5802 28cd eb4d 0501 56a0 a0b0 05ab ..X.(..M..V..... │ │ │ 00031430: 3b05 0131 0228 cdeb 4e05 012f a0a0 b005 ;..1.(..N../.... │ │ │ 00031440: ab3e 0501 0b02 28cd eb4f 0501 09a0 a0b0 .>....(..O...... │ │ │ 00031450: 05ab 4104 e302 28cd eb50 04e1 a0a0 b005 ..A...(..P...... │ │ │ 00031460: ab44 04bd 0228 cdeb 5104 bba0 a0b0 05ab .D...(..Q....... │ │ │ 00031470: 4704 9502 28cd eb52 0493 a0a0 b005 ab4a G...(..R.......J │ │ │ 00031480: 046f 0228 cdeb 5304 6da0 a0b0 05ab 4d04 .o.(..S.m.....M. │ │ │ -00031490: 4902 28cd eb5d 0447 4042 4040 5fda 9e69 I.(..].G@B@@_..i │ │ │ -000314a0: c5e4 b6eb 9b6c 584e 60cf dbd2 8495 a6be .....lXN`....... │ │ │ +00031490: 4902 28cd eb5d 0447 4042 4040 5b0c 40a0 I.(..].G@B@@[.@. │ │ │ +000314a0: 7940 2b4b 5f5a 4330 efde f7d3 8495 a6be y@+K_ZC0........ │ │ │ 000314b0: 0006 adbf 0001 404f 0004 4615 0004 3d6e ......@O..F...=n │ │ │ 000314c0: 0800 00eb 0090 a0b7 a090 2251 7a40 a99b .........."Qz@.. │ │ │ 000314d0: a0a0 90b0 a290 a028 6669 656c 6465 7874 .......(fieldext │ │ │ 000314e0: a025 6669 656c 64a0 286d 6174 6863 6f6d .%field.(mathcom │ │ │ 000314f0: 7040 2846 6965 6c64 4578 7424 7479 7065 p@(FieldExt$type │ │ │ 00031500: 022b aa1b 3540 a080 8090 a99a a090 b090 .+..5@.......... │ │ │ 00031510: a027 5072 656c 7564 65a0 2449 6e69 74a0 .'Prelude.$Init. │ │ │ @@ -40104,17 +40104,17 @@ │ │ │ 0009ca70: 0810 1c0c 0c08 0c0c 080c 0c08 0820 1008 ............. .. │ │ │ 0009ca80: 100c 101c 1008 101c 1008 100c 0c0c 0818 ................ │ │ │ 0009ca90: 101c 1008 101c 1008 100c 0c0c 0818 101c ................ │ │ │ 0009caa0: 1008 101c 1008 100c 0c0c 0818 a094 9191 ................ │ │ │ 0009cab0: 4093 0458 a5eb 67c3 6590 bd18 d6fc 1bba @..X..g.e....... │ │ │ 0009cac0: 73d7 11a7 0000 0004 0000 0007 6c69 6272 s...........libr │ │ │ 0009cad0: 6172 7900 0000 0000 0006 c400 0000 0000 ary............. │ │ │ -0009cae0: 030d d85f da9e 69c5 e4b6 eb9b 6c58 4e60 ..._..i.....lXN` │ │ │ -0009caf0: cfdb d200 0000 076f 7061 7175 6573 0000 .......opaques.. │ │ │ +0009cae0: 030d d85b 0c40 a079 402b 4b5f 5a43 30ef ...[.@.y@+K_ZC0. │ │ │ +0009caf0: def7 d300 0000 076f 7061 7175 6573 0000 .......opaques.. │ │ │ 0009cb00: 0000 0003 14ac 0000 0000 0006 add3 8757 ...............W │ │ │ 0009cb10: e8af 6d41 339c 0473 198f 42c4 ac5f 0000 ..mA3..s..B.._.. │ │ │ 0009cb20: 0007 7375 6d6d 6172 7900 0000 0000 0000 ..summary....... │ │ │ -0009cb30: 1000 0000 0000 0006 a4c3 feef 41f1 c1b0 ............A... │ │ │ -0009cb40: 8b92 49bf 76a4 f08b b400 0000 0976 6d6c ..I.v........vml │ │ │ +0009cb30: 1000 0000 0000 0006 a419 d160 e0d6 da75 ...........`...u │ │ │ +0009cb40: a0cc 79b0 d736 97cf 7300 0000 0976 6d6c ..y..6..s....vml │ │ │ 0009cb50: 6962 7261 7279 0000 0000 0009 c28f 0000 ibrary.......... │ │ │ 0009cb60: 0000 0000 0825 a5eb 67c3 6590 bd18 d6fc .....%..g.e..... │ │ │ 0009cb70: 1bba 73d7 11a7 ..s... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/all_field.vo │ │ │ @@ -2,36 +2,36 @@ │ │ │ 00000010: 8495 a6be 0000 0104 0000 0037 0000 00ba ...........7.... │ │ │ 00000020: 0000 009e c0a0 2961 6c6c 5f66 6965 6c64 ......)all_field │ │ │ 00000030: a025 6669 656c 64a0 286d 6174 6863 6f6d .%field.(mathcom │ │ │ 00000040: 7040 d0a0 a027 5072 656c 7564 65a0 2449 p@...'Prelude.$I │ │ │ 00000050: 6e69 74a0 2343 6f71 4090 301e e7e6 6d3d nit.#Coq@.0...m= │ │ │ 00000060: 123a b96d a4dd 1e6b b936 d9a0 a024 616c .:.m...k.6...$al │ │ │ 00000070: 6743 a025 6669 656c 64a0 286d 6174 6863 gC.%field.(mathc │ │ │ -00000080: 6f6d 7040 9030 2884 9453 ab97 7238 ebd0 omp@.0(..S..r8.. │ │ │ -00000090: a4cb 1e00 de2b a0a0 2661 6c67 6e75 6da0 .....+..&algnum. │ │ │ +00000080: 6f6d 7040 9030 ccb8 90b6 1497 ec7b 2029 omp@.0.......{ ) │ │ │ +00000090: 2dcd f9ac 13d6 a0a0 2661 6c67 6e75 6da0 -.......&algnum. │ │ │ 000000a0: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -000000b0: 4090 305f da9e 69c5 e4b6 eb9b 6c58 4e60 @.0_..i.....lXN` │ │ │ -000000c0: cfdb d2a0 a028 6669 6e66 6965 6c64 a025 .....(finfield.% │ │ │ +000000b0: 4090 305b 0c40 a079 402b 4b5f 5a43 30ef @.0[.@.y@+K_ZC0. │ │ │ +000000c0: def7 d3a0 a028 6669 6e66 6965 6c64 a025 .....(finfield.% │ │ │ 000000d0: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -000000e0: 9030 494e 0c19 989e 1662 b899 ecfb a721 .0IN.....b.....! │ │ │ -000000f0: 9c10 a0a0 2671 6670 6f6c 79a0 2566 6965 ....&qfpoly.%fie │ │ │ -00000100: 6c64 a028 6d61 7468 636f 6d70 4090 306a ld.(mathcomp@.0j │ │ │ -00000110: 1349 5743 d346 a48a 611a 17de 137d f625 .IWC.F..a....}.% │ │ │ -00000120: 352e 342e 30a0 4040 c44c d4e1 7cde edc1 5.4.0.@@.L..|... │ │ │ -00000130: 94fb 4f97 d4e0 f15d 8495 a6be 0000 022a ..O....].......* │ │ │ +000000e0: 9030 2ea6 5c6e 610a 2cbf e1a9 8261 5fe3 .0..\na.,....a_. │ │ │ +000000f0: a2c8 a0a0 2671 6670 6f6c 79a0 2566 6965 ....&qfpoly.%fie │ │ │ +00000100: 6c64 a028 6d61 7468 636f 6d70 4090 3024 ld.(mathcomp@.0$ │ │ │ +00000110: a0eb b66e 665f a8f1 909f 5b7d e5db 7825 ...nf_....[}..x% │ │ │ +00000120: 352e 342e 30a0 4040 6cdc 3597 c4f4 e34b 5.4.0.@@l.5....K │ │ │ +00000130: 6dfc 588a 0ed8 7cda 8495 a6be 0000 022a m.X...|........* │ │ │ 00000140: 0000 00d4 0000 025c 0000 0241 b0d0 a029 .......\...A...) │ │ │ 00000150: 616c 6c5f 6669 656c 64a0 2566 6965 6c64 all_field.%field │ │ │ 00000160: a028 6d61 7468 636f 6d70 40e0 9004 0841 .(mathcomp@....A │ │ │ 00000170: 9040 40a0 4040 9040 a040 40a0 a0a0 2661 .@@.@@.@.@@...&a │ │ │ 00000180: 6c67 6e75 6da0 2566 6965 6c64 a028 6d61 lgnum.%field.(ma │ │ │ -00000190: 7468 636f 6d70 4090 305f da9e 69c5 e4b6 thcomp@.0_..i... │ │ │ -000001a0: eb9b 6c58 4e60 cfdb d2a0 a026 7166 706f ..lXN`.....&qfpo │ │ │ +00000190: 7468 636f 6d70 4090 305b 0c40 a079 402b thcomp@.0[.@.y@+ │ │ │ +000001a0: 4b5f 5a43 30ef def7 d3a0 a026 7166 706f K_ZC0......&qfpo │ │ │ 000001b0: 6c79 a025 6669 656c 64a0 286d 6174 6863 ly.%field.(mathc │ │ │ -000001c0: 6f6d 7040 9030 6a13 4957 43d3 46a4 8a61 omp@.0j.IWC.F..a │ │ │ -000001d0: 1a17 de13 7df6 9040 a0a0 94a0 a040 90a0 ....}..@.....@.. │ │ │ +000001c0: 6f6d 7040 9030 24a0 ebb6 6e66 5fa8 f190 omp@.0$...nf_... │ │ │ +000001d0: 9f5b 7de5 db78 9040 a0a0 94a0 a040 90a0 .[}..x.@.....@.. │ │ │ 000001e0: 2461 6c67 4304 2640 a094 a0a0 4090 0407 $algC.&@....@... │ │ │ 000001f0: 40a0 94a0 a040 90a0 3761 6c67 6562 7261 @....@..7algebra │ │ │ 00000200: 6963 735f 6675 6e64 616d 656e 7461 6c73 ics_fundamentals │ │ │ 00000210: 0432 40a0 94a0 a040 9004 0740 a094 a0a0 .2@....@...@.... │ │ │ 00000220: 4090 a026 616c 676e 756d 043e 40a0 94a0 @..&algnum.>@... │ │ │ 00000230: a040 9004 0740 a094 a0a0 4090 a02c 636c .@...@....@..,cl │ │ │ 00000240: 6f73 6564 5f66 6965 6c64 044a 40a0 94a0 osed_field.J@... │ │ │ @@ -49,26 +49,26 @@ │ │ │ 00000300: 94a0 a040 90a0 2671 6670 6f6c 7904 9e40 ...@..&qfpoly..@ │ │ │ 00000310: a094 a0a0 4090 0407 4040 40a0 a094 a0a0 ....@...@@@..... │ │ │ 00000320: 4004 7e40 a094 a0a0 4004 7640 a094 a0a0 @.~@....@.v@.... │ │ │ 00000330: 4004 6e40 a094 a0a0 4004 6640 a094 a0a0 @.n@....@.f@.... │ │ │ 00000340: 4004 5e40 a094 a0a0 4004 5640 a094 a0a0 @.^@....@.V@.... │ │ │ 00000350: 4004 4e40 a094 a0a0 4004 4640 a094 a0a0 @.N@....@.F@.... │ │ │ 00000360: 4004 3e40 a094 a0a0 4004 3640 a094 a0a0 @.>@....@.6@.... │ │ │ -00000370: 4004 2e40 4040 9010 f217 b5b0 7959 1d2c @..@@@......yY., │ │ │ -00000380: b568 7469 df5a 8495 a6be 0000 0001 0000 .hti.Z.......... │ │ │ +00000370: 4004 2e40 4040 91c9 39f5 2a18 307c 5406 @..@@@..9.*.0|T. │ │ │ +00000380: bb66 ed12 d5d3 8495 a6be 0000 0001 0000 .f.............. │ │ │ 00000390: 0000 0000 0000 0000 0000 8061 44c8 6cd4 ...........aD.l. │ │ │ 000003a0: a168 cd70 495a 5cc4 22ad e984 95a6 be00 .h.pIZ\."....... │ │ │ 000003b0: 0000 1f00 0000 0700 0000 1700 0000 14a0 ................ │ │ │ 000003c0: a029 616c 6c5f 6669 656c 64a0 2566 6965 .)all_field.%fie │ │ │ 000003d0: 6c64 a028 6d61 7468 636f 6d70 4080 00e4 ld.(mathcomp@... │ │ │ 000003e0: 56fa 9ee4 1cdc c94b f3a3 ed28 bde0 0000 V......K...(.... │ │ │ 000003f0: 0004 0000 0007 6c69 6272 6172 7900 0000 ......library... │ │ │ -00000400: 0000 0001 3800 0000 0000 0002 3e90 10f2 ....8.......>... │ │ │ -00000410: 17b5 b079 591d 2cb5 6874 69df 5a00 0000 ...yY.,.hti.Z... │ │ │ +00000400: 0000 0001 3800 0000 0000 0002 3e91 c939 ....8.......>..9 │ │ │ +00000410: f52a 1830 7c54 06bb 66ed 12d5 d300 0000 .*.0|T..f....... │ │ │ 00000420: 076f 7061 7175 6573 0000 0000 0000 0386 .opaques........ │ │ │ 00000430: 0000 0000 0000 0015 6144 c86c d4a1 68cd ........aD.l..h. │ │ │ 00000440: 7049 5a5c c422 ade9 0000 0007 7375 6d6d pIZ\."......summ │ │ │ 00000450: 6172 7900 0000 0000 0000 1000 0000 0000 ary............. │ │ │ -00000460: 0001 18c4 4cd4 e17c deed c194 fb4f 97d4 ....L..|.....O.. │ │ │ -00000470: e0f1 5d00 0000 0976 6d6c 6962 7261 7279 ..]....vmlibrary │ │ │ +00000460: 0001 186c dc35 97c4 f4e3 4b6d fc58 8a0e ...l.5....Km.X.. │ │ │ +00000470: d87c da00 0000 0976 6d6c 6962 7261 7279 .|.....vmlibrary │ │ │ 00000480: 0000 0000 0000 03ab 0000 0000 0000 0033 ...............3 │ │ │ 00000490: 00e4 56fa 9ee4 1cdc c94b f3a3 ed28 bde0 ..V......K...(.. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/closed_field.vo │ │ │ @@ -38,24 +38,24 @@ │ │ │ 00000250: d503 16a0 a024 706f 6c79 a027 616c 6765 .....$poly.'alge │ │ │ 00000260: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ 00000270: a567 04a5 ae7a c499 8ab2 3a03 b6a0 76f7 .g...z....:...v. │ │ │ 00000280: a0a0 2770 6f6c 7964 6976 a027 616c 6765 ..'polydiv.'alge │ │ │ 00000290: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ 000002a0: b33f 9327 c48b c1d5 5ca5 0467 3cf9 0cff .?.'....\..g<... │ │ │ 000002b0: a0a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ -000002c0: 7261 a028 6d61 7468 636f 6d70 4090 300b ra.(mathcomp@.0. │ │ │ -000002d0: 6fd3 0e84 0536 80af 7a31 b90d c8fb d0a0 o....6..z1...... │ │ │ +000002c0: 7261 a028 6d61 7468 636f 6d70 4090 3094 ra.(mathcomp@.0. │ │ │ +000002d0: 67a9 4cd0 d8d1 a06b 659a 3f0d 345e eda0 g.L....ke.?.4^.. │ │ │ 000002e0: a026 6d78 706f 6c79 a027 616c 6765 6272 .&mxpoly.'algebr │ │ │ -000002f0: 61a0 286d 6174 6863 6f6d 7040 9030 6f6c a.(mathcomp@.0ol │ │ │ -00000300: 4584 8230 6e6b 5d20 0a4d b1fd 2d6b a0a0 E..0nk] .M..-k.. │ │ │ +000002f0: 61a0 286d 6174 6863 6f6d 7040 9030 64d4 a.(mathcomp@.0d. │ │ │ +00000300: 2d7d 5cd9 4a45 76bd 1fb2 7f58 95b2 a0a0 -}\.JEv....X.... │ │ │ 00000310: 2d72 696e 675f 7175 6f74 6965 6e74 a027 -ring_quotient.' │ │ │ 00000320: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 00000330: 7040 9030 bb19 d43d 3a7f 7ee8 a434 993d p@.0...=:.~..4.= │ │ │ -00000340: 07f4 0c93 2535 2e34 2e30 a040 40d1 b80d ....%5.4.0.@@... │ │ │ -00000350: d400 1472 4801 e7d3 de21 fbc2 f084 95a6 ...rH....!...... │ │ │ +00000340: 07f4 0c93 2535 2e34 2e30 a040 40dc c10f ....%5.4.0.@@... │ │ │ +00000350: 955a 60aa cbde 2d1e c0a6 7fa9 8484 95a6 .Z`...-......... │ │ │ 00000360: be00 041d 2700 00f9 cf00 0360 eb00 034f ....'......`...O │ │ │ 00000370: 05b0 d0a0 2c63 6c6f 7365 645f 6669 656c ....,closed_fiel │ │ │ 00000380: 64a0 2566 6965 6c64 a028 6d61 7468 636f d.%field.(mathco │ │ │ 00000390: 6d70 40e0 9004 0841 90a0 a02d 436c 6f73 mp@....A...-Clos │ │ │ 000003a0: 6564 4669 656c 6451 4593 e0a2 0408 0404 edFieldQE....... │ │ │ 000003b0: 4190 a0a0 2570 6f6c 7946 9008 0000 2700 A...%polyF....'. │ │ │ 000003c0: 40a0 8080 91b7 a090 2146 409b a0a0 90b0 @.......!F@..... │ │ │ @@ -4637,16 +4637,16 @@ │ │ │ 000121c0: a003 0019 0a3b 9562 8fc4 90b0 052f a205 .....;.b...../.. │ │ │ 000121d0: 08d8 0157 1cc0 40b0 0507 b042 a003 0019 ...W..@....B.... │ │ │ 000121e0: 0a3b 9565 9081 90b0 052f a705 08dd 0157 .;.e...../.....W │ │ │ 000121f0: 1fc0 40b0 0507 b142 a003 0019 0a3b 9567 ..@....B.....;.g │ │ │ 00012200: 90ff 90b0 052f ac05 08e2 0157 2140 4142 ...../.....W!@AB │ │ │ 00012210: 4546 494a 4c4d a0a0 a026 6d78 706f 6c79 EFIJLM...&mxpoly │ │ │ 00012220: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00012230: 6f6d 7040 9030 6f6c 4584 8230 6e6b 5d20 omp@.0olE..0nk] │ │ │ -00012240: 0a4d b1fd 2d6b a0a0 0508 80a0 0508 7fa0 .M..-k.......... │ │ │ +00012230: 6f6d 7040 9030 64d4 2d7d 5cd9 4a45 76bd omp@.0d.-}\.JEv. │ │ │ +00012240: 1fb2 7f58 95b2 a0a0 0508 80a0 0508 7fa0 ...X............ │ │ │ 00012250: 0508 7e40 9030 bb19 d43d 3a7f 7ee8 a434 ..~@.0...=:.~..4 │ │ │ 00012260: 993d 07f4 0c93 9040 a0a0 a005 33c3 a040 .=.....@....3..@ │ │ │ 00012270: 9040 a0a0 0514 bea0 4090 a0a0 052b b0a0 .@......@....+.. │ │ │ 00012280: 4090 4040 a094 a0a0 40a2 a205 33d7 0514 @.@@....@...3... │ │ │ 00012290: ca05 2bb8 40a0 95a0 021b 9b7f 79a0 275f ..+.@.......y.'_ │ │ │ 000122a0: 454c 5049 5f31 c0a0 2665 7870 6f72 74a0 ELPI_1..&export. │ │ │ 000122b0: 2264 6240 a0a0 b005 33e4 2131 023c a3e5 "db@....3.!1.<.. │ │ │ @@ -16899,16 +16899,16 @@ │ │ │ 00042020: 4c50 495f 3537 c0a0 2268 62a0 2264 6240 LPI_57.."hb."db@ │ │ │ 00042030: a0a0 b005 a47a 045c 0217 4a5f 2d04 5aa0 .....z.\..J_-.Z. │ │ │ 00042040: a0b0 05a4 7d04 3502 174a 5f2e 0433 4042 ....}.5..J_..3@B │ │ │ 00042050: 40a0 a305 d0ab a095 a002 044e ceb4 a005 @..........N.... │ │ │ 00042060: 0f30 b040 050f 30b0 4040 40a0 95a0 0204 .0.@..0.@@@..... │ │ │ 00042070: 4ece b4a0 050e f7b0 4005 0ef7 b040 4040 N.......@....@@@ │ │ │ 00042080: 4040 a095 a002 044e ceb4 a005 0eb4 b040 @@.....N.......@ │ │ │ -00042090: 050e b4b0 4040 4040 6ef5 693c 5068 db4d ....@@@@n.iI.&T..... │ │ │ 00090dd0: 80c0 0931 2d00 038c 2a2b 0a1f 1008 0d4a ...1-...*+.....J │ │ │ 00090de0: 4a4a 110d 4a12 0d05 3700 200b 110a 091f JJ..J...7. ..... │ │ │ 00090df0: 0a08 0f12 0f0a 3701 200b 120b 0838 0b01 ......7. ....8.. │ │ │ 00090e00: 0a3a 0129 0b80 2254 3880 fb90 d797 8872 .:.).."T8......r │ │ │ 00090e10: e8ac fac4 b3da 9728 9cf6 0000 0004 0000 .......(........ │ │ │ 00090e20: 0007 6c69 6272 6172 7900 0000 0000 0003 ..library....... │ │ │ -00090e30: 5d00 0000 0000 041d 3b6e f569 3c50 68db ].......;n.i~..&mxpoly.'a │ │ │ 000004f0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -00000500: 4090 306f 6c45 8482 306e 6b5d 200a 4db1 @.0olE..0nk] .M. │ │ │ -00000510: fd2d 6ba0 a028 6661 6c67 6562 7261 a025 .-k..(falgebra.% │ │ │ +00000500: 4090 3064 d42d 7d5c d94a 4576 bd1f b27f @.0d.-}\.JEv.... │ │ │ +00000510: 5895 b2a0 a028 6661 6c67 6562 7261 a025 X....(falgebra.% │ │ │ 00000520: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000530: 9030 cfc8 c01f f6b8 4918 9757 08ed e59d .0......I..W.... │ │ │ -00000540: d206 a0a0 2866 6965 6c64 6578 74a0 2566 ....(fieldext.%f │ │ │ +00000530: 9030 b239 4c33 8da0 1827 dec5 93cf 0f6e .0.9L3...'.....n │ │ │ +00000540: 055e a0a0 2866 6965 6c64 6578 74a0 2566 .^..(fieldext.%f │ │ │ 00000550: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00000560: 300b cf92 b499 be4f 34ad 0362 ea48 93be 0......O4..b.H.. │ │ │ -00000570: a4a0 a029 7365 7061 7261 626c 65a0 2566 ...)separable.%f │ │ │ +00000560: 3075 4e0d edd4 f83d c4a1 9ecc 9c1b 23d8 0uN....=......#. │ │ │ +00000570: c5a0 a029 7365 7061 7261 626c 65a0 2566 ...)separable.%f │ │ │ 00000580: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00000590: 3034 e478 41fa 9e4a 9710 82f6 6f40 6e1d 04.xA..J....o@n. │ │ │ -000005a0: f7a0 a026 6761 6c6f 6973 a025 6669 656c ...&galois.%fiel │ │ │ -000005b0: 64a0 286d 6174 6863 6f6d 7040 9030 4bd2 d.(mathcomp@.0K. │ │ │ -000005c0: d748 44d8 d0a8 7782 2fe4 83dc dc58 a0a0 .HD...w./....X.. │ │ │ +00000590: 3064 a3aa f2c9 7166 5569 889b 5876 8414 0d....qfUi..Xv.. │ │ │ +000005a0: 15a0 a026 6761 6c6f 6973 a025 6669 656c ...&galois.%fiel │ │ │ +000005b0: 64a0 286d 6174 6863 6f6d 7040 9030 49c2 d.(mathcomp@.0I. │ │ │ +000005c0: 850a a37c a886 a5af 236a 8ec1 df47 a0a0 ...|....#j...G.. │ │ │ 000005d0: 2461 6c67 43a0 2566 6965 6c64 a028 6d61 $algC.%field.(ma │ │ │ -000005e0: 7468 636f 6d70 4090 3028 8494 53ab 9772 thcomp@.0(..S..r │ │ │ -000005f0: 38eb d0a4 cb1e 00de 2b25 352e 342e 30a0 8.......+%5.4.0. │ │ │ -00000600: 4040 f4e5 4313 3f59 86c0 5d74 25b3 27ec @@..C.?Y..]t%.'. │ │ │ -00000610: 9f3b 8495 a6be 0000 97d5 0000 1bbf 0000 .;.............. │ │ │ +000005e0: 7468 636f 6d70 4090 30cc b890 b614 97ec thcomp@.0....... │ │ │ +000005f0: 7b20 292d cdf9 ac13 d625 352e 342e 30a0 { )-.....%5.4.0. │ │ │ +00000600: 4040 50cb 6161 d889 4525 fd08 de37 d01e @@P.aa..E%...7.. │ │ │ +00000610: 60b3 8495 a6be 0000 97d5 0000 1bbf 0000 `............... │ │ │ 00000620: 6896 0000 6299 b0d0 a02a 6379 636c 6f74 h...b....*cyclot │ │ │ 00000630: 6f6d 6963 a025 6669 656c 64a0 286d 6174 omic.%field.(mat │ │ │ 00000640: 6863 6f6d 7040 e090 0408 4190 a0a0 040a hcomp@....A..... │ │ │ 00000650: 9008 0000 2700 40a0 8080 91b7 a090 2152 ....'.@.......!R │ │ │ 00000660: 409b a0a0 90b0 a2a2 90a0 2673 7372 616c @.........&ssral │ │ │ 00000670: 67a0 2761 6c67 6562 7261 a004 1b40 2547 g.'algebra...@%G │ │ │ 00000680: 5269 6e67 2452 696e 6724 7479 7065 023b Ring$Ring$type.; │ │ │ @@ -1995,16 +1995,16 @@ │ │ │ 00007ca0: 4090 b0a0 050f d8a0 050f d7a0 050f d640 @..............@ │ │ │ 00007cb0: 2002 0000 c965 4104 96c0 40b0 0502 ac41 ....eA...@....A │ │ │ 00007cc0: 0501 0c40 4143 b005 02ad 4105 0274 c0c0 ...@AC....A..t.. │ │ │ 00007cd0: 40b0 0502 b041 0502 5640 41b0 0502 b141 @....A..V@A....A │ │ │ 00007ce0: 0502 4ac0 40b0 0502 b341 0501 73c0 40b0 ..J.@....A..s.@. │ │ │ 00007cf0: 0502 b541 0501 3cc0 40b0 0502 f842 0503 ...A..<.@....B.. │ │ │ 00007d00: 3b40 4142 4344 4546 4748 494a 90a0 0505 ;@ABCDEFGHIJ.... │ │ │ -00007d10: 1d90 3028 8494 53ab 9772 38eb d0a4 cb1e ..0(..S..r8..... │ │ │ -00007d20: 00de 2b90 40a0 a095 a002 1d04 1afc a040 ..+.@..........@ │ │ │ +00007d10: 1d90 30cc b890 b614 97ec 7b20 292d cdf9 ..0.......{ )-.. │ │ │ +00007d20: ac13 d690 40a0 a095 a002 1d04 1afc a040 ....@..........@ │ │ │ 00007d30: a0a0 4027 2750 6869 5f20 5fc0 a0a0 4048 ..@''Phi_ _...@H │ │ │ 00007d40: a091 4240 a0b1 4040 a090 42a0 4140 4090 ..B@..@@..B.A@@. │ │ │ 00007d50: a0d0 a0a0 4048 040c 4004 11a0 a0a0 4125 ....@H..@.....A% │ │ │ 00007d60: 2750 6869 5fa0 a1a1 4004 0f90 0513 a140 'Phi_...@......@ │ │ │ 00007d70: 40a0 0412 4040 90a0 40a0 a094 040b a090 @...@@..@....... │ │ │ 00007d80: b040 9142 9041 4048 4040 a0a0 95a0 0232 .@.B.A@H@@.....2 │ │ │ 00007d90: 0a51 8fa0 0513 e2b0 9140 4040 a095 a002 .Q.......@@@.... │ │ │ @@ -2521,16 +2521,16 @@ │ │ │ 00009d80: 4040 a095 a002 0fc0 a2b8 a090 e041 4040 @@...........A@@ │ │ │ 00009d90: 4040 40a0 a091 90b0 051b 9505 0b81 0222 @@@............" │ │ │ 00009da0: 2bf1 84a0 a040 a090 c0b0 051b 7141 4091 +....@......qA@. │ │ │ 00009db0: 9043 4041 a090 c0b0 051b 8342 4091 0406 .C@A.......B@... │ │ │ 00009dc0: 4041 a040 4040 40a0 95a0 0227 60a0 6fd0 @A.@@@@....'`.o. │ │ │ 00009dd0: 4091 0415 a0a0 0507 ae40 a0a0 0507 b340 @........@.....@ │ │ │ 00009de0: a040 40a0 9092 051b 82a0 9091 051b 90a0 .@@............. │ │ │ -00009df0: 9091 0510 2640 0501 ee40 409d e8d4 6834 ....&@...@@...h4 │ │ │ -00009e00: af1a 2f29 b29d c9b0 ba30 b984 95a6 be00 ../).....0...... │ │ │ +00009df0: 9091 0510 2640 0501 ee40 40d6 cb0a 154a ....&@...@@....J │ │ │ +00009e00: faf0 ae8b 4816 3862 6edc 5a84 95a6 be00 ....H.8bn.Z..... │ │ │ 00009e10: 01cb a000 005f 9a00 013e 8f00 0139 e508 ....._...>...9.. │ │ │ 00009e20: 0000 3300 90a0 b7a0 9021 7a40 a99a a090 ..3......!z@.... │ │ │ 00009e30: b0a2 a290 a026 7373 7261 6c67 a027 616c .....&ssralg.'al │ │ │ 00009e40: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 00009e50: 2547 5269 6e67 2452 696e 6724 736f 7274 %GRing$Ring$sort │ │ │ 00009e60: 023b 0f31 47a0 8080 9091 2152 b7a0 9021 .;.1G.....!R...! │ │ │ 00009e70: 6e40 9ba0 a090 b090 a029 4461 7461 7479 n@.......)Dataty │ │ │ @@ -9910,17 +9910,17 @@ │ │ │ 00026b50: 1014 2424 080c 080c 0808 0c38 1008 10a0 ..$$.......8.... │ │ │ 00026b60: 98b0 90a0 4142 4146 93a0 80a0 a003 0019 ....ABAF........ │ │ │ 00026b70: 0a3b 45fe 0ad5 90b0 a026 7373 7261 6c67 .;E......&ssralg │ │ │ 00026b80: 0419 0416 0107 cba0 031f 21d3 8742 0eba ..........!..B.. │ │ │ 00026b90: 4a90 b004 1504 1901 50ca 5b27 4fd5 8ec6 J.......P.['O... │ │ │ 00026ba0: f740 7f52 1665 232d 6911 0000 0004 0000 .@.R.e#-i....... │ │ │ 00026bb0: 0007 6c69 6272 6172 7900 0000 0000 0006 ..library....... │ │ │ -00026bc0: 1200 0000 0000 0097 e99d e8d4 6834 af1a ............h4.. │ │ │ -00026bd0: 2f29 b29d c9b0 ba30 b900 0000 076f 7061 /).....0.....opa │ │ │ +00026bc0: 1200 0000 0000 0097 e9d6 cb0a 154a faf0 .............J.. │ │ │ +00026bd0: ae8b 4816 3862 6edc 5a00 0000 076f 7061 ..H.8bn.Z....opa │ │ │ 00026be0: 7175 6573 0000 0000 0000 9e0b 0000 0000 ques............ │ │ │ 00026bf0: 0001 cbb4 a198 5c45 eb11 0be8 bf7d 2424 ......\E.....}$$ │ │ │ 00026c00: ffdf ec9e 0000 0007 7375 6d6d 6172 7900 ........summary. │ │ │ -00026c10: 0000 0000 0000 1000 0000 0000 0005 f2f4 ................ │ │ │ -00026c20: e543 133f 5986 c05d 7425 b327 ec9f 3b00 .C.?Y..]t%.'..;. │ │ │ +00026c10: 0000 0000 0000 1000 0000 0000 0005 f250 ...............P │ │ │ +00026c20: cb61 61d8 8945 25fd 08de 37d0 1e60 b300 .aa..E%...7..`.. │ │ │ 00026c30: 0000 0976 6d6c 6962 7261 7279 0000 0000 ...vmlibrary.... │ │ │ 00026c40: 0002 69cf 0000 0000 0000 01cb 5b27 4fd5 ..i.........['O. │ │ │ 00026c50: 8ec6 f740 7f52 1665 232d 6911 ...@.R.e#-i. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/falgebra.vo │ │ │ @@ -44,29 +44,29 @@ │ │ │ 000002b0: 7265 666c 6563 74a0 286d 6174 6863 6f6d reflect.(mathcom │ │ │ 000002c0: 7040 9030 795c 6a89 4333 dbdb c5d3 b44d p@.0y\j.C3.....M │ │ │ 000002d0: 3478 b39f a0a0 2673 7372 616c 67a0 2761 4x....&ssralg.'a │ │ │ 000002e0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ 000002f0: 4090 3077 42ea 7b5b 4450 b09c d3a4 5c4d @.0wB.{[DP....\M │ │ │ 00000300: d503 16a0 a026 6669 6e61 6c67 a027 616c .....&finalg.'al │ │ │ 00000310: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ -00000320: 9030 aa86 ede6 96a0 7994 605f b39d e00b .0......y.`_.... │ │ │ -00000330: ddac a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ +00000320: 9030 e789 4b3a 6023 15c7 b2e0 dd7d 1abd .0..K:`#.....}.. │ │ │ +00000330: b8a5 a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ 00000340: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -00000350: 19a8 7460 b27a 650f 1bf8 9fa0 03f2 a805 ..t`.ze......... │ │ │ +00000350: 0669 0636 901c 3b68 834d a834 84f1 e9c0 .i.6..;h.M.4.... │ │ │ 00000360: a0a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ -00000370: 7261 a028 6d61 7468 636f 6d70 4090 300b ra.(mathcomp@.0. │ │ │ -00000380: 6fd3 0e84 0536 80af 7a31 b90d c8fb d0a0 o....6..z1...... │ │ │ +00000370: 7261 a028 6d61 7468 636f 6d70 4090 3094 ra.(mathcomp@.0. │ │ │ +00000380: 67a9 4cd0 d8d1 a06b 659a 3f0d 345e eda0 g.L....ke.?.4^.. │ │ │ 00000390: a026 7665 6374 6f72 a027 616c 6765 6272 .&vector.'algebr │ │ │ -000003a0: 61a0 286d 6174 6863 6f6d 7040 9030 0a5e a.(mathcomp@.0.^ │ │ │ -000003b0: 71e3 f04b 025c 57e3 59f5 549c 03d5 a0a0 q..K.\W.Y.T..... │ │ │ +000003a0: 61a0 286d 6174 6863 6f6d 7040 9030 bbce a.(mathcomp@.0.. │ │ │ +000003b0: d3b7 1a28 dee0 1454 431f 2432 7dd8 a0a0 ...(...TC.$2}... │ │ │ 000003c0: 2470 6f6c 79a0 2761 6c67 6562 7261 a028 $poly.'algebra.( │ │ │ 000003d0: 6d61 7468 636f 6d70 4090 30a5 6704 a5ae mathcomp@.0.g... │ │ │ 000003e0: 7ac4 998a b23a 03b6 a076 f725 352e 342e z....:...v.%5.4. │ │ │ -000003f0: 30a0 4040 1f6f 0a43 9cf2 791a ae73 50f7 0.@@.o.C..y..sP. │ │ │ -00000400: 4b4d 42d3 8495 a6be 0008 91c5 0001 ed4a KMB............J │ │ │ +000003f0: 30a0 4040 2dd3 2a5d f944 0280 e026 41dd 0.@@-.*].D...&A. │ │ │ +00000400: d16e 238e 8495 a6be 0008 91c5 0001 ed4a .n#............J │ │ │ 00000410: 0006 ba97 0006 a178 b0d0 a028 6661 6c67 .......x...(falg │ │ │ 00000420: 6562 7261 a025 6669 656c 64a0 286d 6174 ebra.%field.(mat │ │ │ 00000430: 6863 6f6d 7040 e090 0408 4190 a0a0 2846 hcomp@....A...(F │ │ │ 00000440: 616c 6765 6272 6193 e0a2 0408 0404 4190 algebra.......A. │ │ │ 00000450: a0a0 2761 7869 6f6d 735f 9108 0000 3f00 ..'axioms_....?. │ │ │ 00000460: 9008 0000 4300 0405 a0a0 a090 2141 4094 ....C.......!A@. │ │ │ 00000470: 90a0 a0a0 0300 2e38 cfc3 5273 f590 b0a0 .......8..Rs.... │ │ │ @@ -9132,16 +9132,16 @@ │ │ │ 00023ab0: 51ac c0c0 c040 b005 50f8 4205 50f1 c040 Q....@..P.B.P..@ │ │ │ 00023ac0: b005 50f3 4205 50fa 4041 42b0 0550 e142 ..P.B.P.@AB..P.B │ │ │ 00023ad0: 0550 dac0 c040 b005 50dd 4205 50e4 4041 .P...@..P.B.P.@A │ │ │ 00023ae0: b005 4fc5 4205 4fcc 4042 43b0 054f b442 ..O.B.O.@BC..O.B │ │ │ 00023af0: 054f bbc0 40b0 054f 8d42 054f 94c0 40b0 .O..@..O.B.O..@. │ │ │ 00023b00: 054f 7d42 054f 8440 4142 4445 4748 494a .O}B.O.@ABDEGHIJ │ │ │ 00023b10: 4b4c a0a0 0562 8990 30a5 6704 a5ae 7ac4 KL...b..0.g...z. │ │ │ -00023b20: 998a b23a 03b6 a076 f7a0 0562 cf90 300a ...:...v...b..0. │ │ │ -00023b30: 5e71 e3f0 4b02 5c57 e359 f554 9c03 d590 ^q..K.\W.Y.T.... │ │ │ +00023b20: 998a b23a 03b6 a076 f7a0 0562 cf90 30bb ...:...v...b..0. │ │ │ +00023b30: ced3 b71a 28de e014 5443 1f24 327d d890 ....(...TC.$2}.. │ │ │ 00023b40: 40a0 a095 a002 1d04 1afc a040 a0a0 402c @..........@..@, │ │ │ 00023b50: 7b20 6173 7061 6365 205f 207d c0a0 a040 { aspace _ }...@ │ │ │ 00023b60: 40a0 4040 a0b1 4040 a041 4040 90a0 d0a0 @.@@..@@.A@@.... │ │ │ 00023b70: a040 4004 0940 040e a0a0 a041 217b a0a0 .@@..@.....A!{.. │ │ │ 00023b80: 4026 6173 7061 6365 a0a1 a140 0410 9021 @&aspace...@...! │ │ │ 00023b90: 54a0 a041 217d 4040 a004 1740 4090 a041 T..A!}@@...@@..A │ │ │ 00023ba0: a0a0 9404 12a0 9404 11a0 9421 20a0 90b0 ...........! ... │ │ │ @@ -35159,16 +35159,16 @@ │ │ │ 00089560: 4c50 495f 3134 39c0 a022 6862 a022 6462 LPI_149.."hb."db │ │ │ 00089570: 40a0 a0b0 0600 01ed 3205 0106 022b 4015 @.......2....+@. │ │ │ 00089580: 7e05 0104 a0a0 b006 0001 ed35 04df 022b ~..........5...+ │ │ │ 00089590: 4015 7f04 dda0 a0b0 0600 01ed 3804 b702 @...........8... │ │ │ 000895a0: 2b40 1580 04b5 a0a0 b006 0001 ed3b 0491 +@...........;.. │ │ │ 000895b0: 022b 4015 8104 8fa0 a0b0 0600 01ed 3e04 .+@...........>. │ │ │ 000895c0: 6902 2b40 1582 0467 a0a0 b006 0001 ed41 i.+@...g.......A │ │ │ -000895d0: 0441 022b 4015 8304 3f40 4240 40cf c8c0 .A.+@...?@B@@... │ │ │ -000895e0: 1ff6 b849 1897 5708 ede5 9dd2 0684 95a6 ...I..W......... │ │ │ +000895d0: 0441 022b 4015 8304 3f40 4240 40b2 394c .A.+@...?@B@@.9L │ │ │ +000895e0: 338d a018 27de c593 cf0f 6e05 5e84 95a6 3...'.....n.^... │ │ │ 000895f0: be00 0326 c800 0094 e300 020e f100 020a ...&............ │ │ │ 00089600: 5e08 0002 7300 90a0 b7a0 9021 7540 a99a ^...s......!u@.. │ │ │ 00089610: a090 b0a2 a290 a026 7373 7261 6c67 a027 .......&ssralg.' │ │ │ 00089620: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 00089630: 7040 2547 5269 6e67 2853 656d 6952 696e p@%GRing(SemiRin │ │ │ 00089640: 6724 736f 7274 0212 c5e0 29a0 8080 909a g$sort....)..... │ │ │ 00089650: a090 b0a2 90a0 2866 616c 6765 6272 61a0 ......(falgebra. │ │ │ @@ -49076,17 +49076,17 @@ │ │ │ 000bfb30: 0c0c 3702 220d 0d37 0322 0e0e 3704 2137 ..7."..7."..7.!7 │ │ │ 000bfb40: 0522 0e37 0622 3707 244a 0e0e 0f0f 3708 .".7."7.$J....7. │ │ │ 000bfb50: 240e 0e37 0421 3705 220e 3709 234a 4a37 $..7.!7.".7.#JJ7 │ │ │ 000bfb60: 0a25 0609 802d 3820 1814 140c 100c 2014 .%...-8 ...... . │ │ │ 000bfb70: 0c10 1480 dbd6 009e 7d1c f029 071e e972 ........}..)...r │ │ │ 000bfb80: 9e52 55f8 0000 0004 0000 0007 6c69 6272 .RU.........libr │ │ │ 000bfb90: 6172 7900 0000 0000 0004 0400 0000 0000 ary............. │ │ │ -000bfba0: 0891 d9cf c8c0 1ff6 b849 1897 5708 ede5 .........I..W... │ │ │ -000bfbb0: 9dd2 0600 0000 076f 7061 7175 6573 0000 .......opaques.. │ │ │ +000bfba0: 0891 d9b2 394c 338d a018 27de c593 cf0f ....9L3...'..... │ │ │ +000bfbb0: 6e05 5e00 0000 076f 7061 7175 6573 0000 n.^....opaques.. │ │ │ 000bfbc0: 0000 0008 95ed 0000 0000 0003 26dc 8271 ............&..q │ │ │ 000bfbd0: 8048 2048 d781 8a8c 0b41 e512 442a 0000 .H H.....A..D*.. │ │ │ 000bfbe0: 0007 7375 6d6d 6172 7900 0000 0000 0000 ..summary....... │ │ │ -000bfbf0: 1000 0000 0000 0003 e41f 6f0a 439c f279 ..........o.C..y │ │ │ -000bfc00: 1aae 7350 f74b 4d42 d300 0000 0976 6d6c ..sP.KMB.....vml │ │ │ +000bfbf0: 1000 0000 0000 0003 e42d d32a 5df9 4402 .........-.*].D. │ │ │ +000bfc00: 80e0 2641 ddd1 6e23 8e00 0000 0976 6d6c ..&A..n#.....vml │ │ │ 000bfc10: 6962 7261 7279 0000 0000 000b bcd9 0000 ibrary.......... │ │ │ 000bfc20: 0000 0000 3e9b dbd6 009e 7d1c f029 071e ....>.....}..).. │ │ │ 000bfc30: e972 9e52 55f8 .r.RU. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/fieldext.vo │ │ │ @@ -47,38 +47,38 @@ │ │ │ 000002e0: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 000002f0: 9030 7742 ea7b 5b44 50b0 9cd3 a45c 4dd5 .0wB.{[DP....\M. │ │ │ 00000300: 0316 a0a0 2863 6f75 6e74 616c 67a0 2761 ....(countalg.'a │ │ │ 00000310: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ 00000320: 4090 3015 f63a 52a5 3b0c cd90 f294 ef85 @.0..:R.;....... │ │ │ 00000330: 84eb 00a0 a026 6669 6e61 6c67 a027 616c .....&finalg.'al │ │ │ 00000340: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ -00000350: 9030 aa86 ede6 96a0 7994 605f b39d e00b .0......y.`_.... │ │ │ -00000360: ddac a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ +00000350: 9030 e789 4b3a 6023 15c7 b2e0 dd7d 1abd .0..K:`#.....}.. │ │ │ +00000360: b8a5 a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ 00000370: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -00000380: 19a8 7460 b27a 650f 1bf8 9fa0 03f2 a805 ..t`.ze......... │ │ │ +00000380: 0669 0636 901c 3b68 834d a834 84f1 e9c0 .i.6..;h.M.4.... │ │ │ 00000390: a0a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ -000003a0: 7261 a028 6d61 7468 636f 6d70 4090 300b ra.(mathcomp@.0. │ │ │ -000003b0: 6fd3 0e84 0536 80af 7a31 b90d c8fb d0a0 o....6..z1...... │ │ │ +000003a0: 7261 a028 6d61 7468 636f 6d70 4090 3094 ra.(mathcomp@.0. │ │ │ +000003b0: 67a9 4cd0 d8d1 a06b 659a 3f0d 345e eda0 g.L....ke.?.4^.. │ │ │ 000003c0: a026 7665 6374 6f72 a027 616c 6765 6272 .&vector.'algebr │ │ │ -000003d0: 61a0 286d 6174 6863 6f6d 7040 9030 0a5e a.(mathcomp@.0.^ │ │ │ -000003e0: 71e3 f04b 025c 57e3 59f5 549c 03d5 a0a0 q..K.\W.Y.T..... │ │ │ +000003d0: 61a0 286d 6174 6863 6f6d 7040 9030 bbce a.(mathcomp@.0.. │ │ │ +000003e0: d3b7 1a28 dee0 1454 431f 2432 7dd8 a0a0 ...(...TC.$2}... │ │ │ 000003f0: 2866 616c 6765 6272 61a0 2566 6965 6c64 (falgebra.%field │ │ │ -00000400: a028 6d61 7468 636f 6d70 4090 30cf c8c0 .(mathcomp@.0... │ │ │ -00000410: 1ff6 b849 1897 5708 ede5 9dd2 06a0 a027 ...I..W........' │ │ │ +00000400: a028 6d61 7468 636f 6d70 4090 30b2 394c .(mathcomp@.0.9L │ │ │ +00000410: 338d a018 27de c593 cf0f 6e05 5ea0 a027 3...'.....n.^..' │ │ │ 00000420: 706f 6c79 6469 76a0 2761 6c67 6562 7261 polydiv.'algebra │ │ │ 00000430: a028 6d61 7468 636f 6d70 4090 30b3 3f93 .(mathcomp@.0.?. │ │ │ 00000440: 27c4 8bc1 d55c a504 673c f90c ffa0 a026 '....\..g<.....& │ │ │ 00000450: 6d78 706f 6c79 a027 616c 6765 6272 61a0 mxpoly.'algebra. │ │ │ -00000460: 286d 6174 6863 6f6d 7040 9030 6f6c 4584 (mathcomp@.0olE. │ │ │ -00000470: 8230 6e6b 5d20 0a4d b1fd 2d6b a0a0 3067 .0nk] .M..-k..0g │ │ │ +00000460: 286d 6174 6863 6f6d 7040 9030 64d4 2d7d (mathcomp@.0d.-} │ │ │ +00000470: 5cd9 4a45 76bd 1fb2 7f58 95b2 a0a0 3067 \.JEv....X....0g │ │ │ 00000480: 656e 6572 6963 5f71 756f 7469 656e 74a0 eneric_quotient. │ │ │ 00000490: 2973 7372 6566 6c65 6374 a028 6d61 7468 )ssreflect.(math │ │ │ 000004a0: 636f 6d70 4090 30d6 d6a2 c917 8e10 3836 comp@.0.......86 │ │ │ 000004b0: 9ec5 3538 0bcd 1425 352e 342e 30a0 4040 ..58...%5.4.0.@@ │ │ │ -000004c0: 43f6 4ce5 54e1 cf4d 9eb1 9ea5 efb3 d58a C.L.T..M........ │ │ │ +000004c0: 390a ec06 2d11 7ce4 45a1 ebe2 d112 e67c 9...-.|.E......| │ │ │ 000004d0: 8495 a6be 000c 01bb 0002 8d3c 0008 f812 ...........<.... │ │ │ 000004e0: 0008 d8bd b0d0 a028 6669 656c 6465 7874 .......(fieldext │ │ │ 000004f0: a025 6669 656c 64a0 286d 6174 6863 6f6d .%field.(mathcom │ │ │ 00000500: 7040 e090 0408 4190 a0a0 2846 6965 6c64 p@....A...(Field │ │ │ 00000510: 4578 7493 e0a2 0408 0404 4190 a0a0 2761 Ext.......A...'a │ │ │ 00000520: 7869 6f6d 735f 9108 0000 3f00 9008 0000 xioms_....?..... │ │ │ 00000530: 4300 0405 a0a0 a090 2154 4094 90a0 a0a0 C.......!T@..... │ │ │ @@ -14630,20 +14630,20 @@ │ │ │ 00039250: 41b0 050b b942 050b bd40 4243 4546 47b0 A....B...@BCEFG. │ │ │ 00039260: 050b b142 050b b5c0 c040 b005 0baa 4205 ...B.....@....B. │ │ │ 00039270: 0bae c040 b005 0ba3 4205 0ba7 4041 42b0 ...@....B...@AB. │ │ │ 00039280: 050b 9842 050b 9cc0 c040 b005 0b92 4205 ...B.....@....B. │ │ │ 00039290: 0b96 4041 b005 0b8a 4205 0b8e c040 b005 ..@A....B....@.. │ │ │ 000392a0: 0b82 4205 0b86 c040 b005 0b79 4205 0b7d ..B....@...yB..} │ │ │ 000392b0: c040 b005 0609 4205 0ace 4041 4243 4445 .@....B...@ABCDE │ │ │ -000392c0: 484a 4b4c 4d4e b0a0 059e 4090 30cf c8c0 HJKLMN....@.0... │ │ │ -000392d0: 1ff6 b849 1897 5708 ede5 9dd2 06a0 0543 ...I..W........C │ │ │ +000392c0: 484a 4b4c 4d4e b0a0 059e 4090 30b2 394c HJKLMN....@.0.9L │ │ │ +000392d0: 338d a018 27de c593 cf0f 6e05 5ea0 0543 3...'.....n.^..C │ │ │ 000392e0: 2a90 30d6 d6a2 c917 8e10 3836 9ec5 3538 *.0.......86..58 │ │ │ 000392f0: 0bcd 14a0 a005 0dc7 a005 32f5 a005 32f4 ..........2...2. │ │ │ -00039300: 4090 306f 6c45 8482 306e 6b5d 200a 4db1 @.0olE..0nk] .M. │ │ │ -00039310: fd2d 6b90 40a0 a0a0 05a3 34a0 4090 a0a0 .-k.@.....4.@... │ │ │ +00039300: 4090 3064 d42d 7d5c d94a 4576 bd1f b27f @.0d.-}\.JEv.... │ │ │ +00039310: 5895 b290 40a0 a0a0 05a3 34a0 4090 a0a0 X...@.....4.@... │ │ │ 00039320: 0596 72a0 4090 4040 a094 a0a0 40a2 a205 ..r.@.@@....@... │ │ │ 00039330: a344 05a3 4005 967a 40a0 a005 8d96 a040 .D..@..z@......@ │ │ │ 00039340: 9040 a094 a0a0 40a2 05a3 4d05 8d9d 40a0 .@....@...M...@. │ │ │ 00039350: 95a0 021b 9b7f 79a0 275f 454c 5049 5f31 ......y.'_ELPI_1 │ │ │ 00039360: c0a0 2665 7870 6f72 74a0 2264 6240 a0a0 ..&export."db@.. │ │ │ 00039370: b005 a35a 2131 0219 2544 26d0 2f25 2556 ...Z!1..%D&./%%V │ │ │ 00039380: 4552 5349 4f4e 5f4e 554d 2525 d0e0 4040 ERSION_NUM%%..@@ │ │ │ @@ -49251,16 +49251,16 @@ │ │ │ 000c0620: 3035 37e0 0600 01be 5506 0001 b8f6 0600 057.....U....... │ │ │ 000c0630: 01b7 7406 0001 8f37 0600 018e a806 0001 ..t....7........ │ │ │ 000c0640: bea2 0600 01c8 86b0 4040 40a0 95a0 0234 ........@@@....4 │ │ │ 000c0650: 7dc1 ffa0 295f 454c 5049 5f32 3038 c0a0 }...)_ELPI_208.. │ │ │ 000c0660: 2268 62a0 2264 6240 a0a0 b006 0002 8d2d "hb."db@.......- │ │ │ 000c0670: 0485 0219 2593 1e04 83a0 a0b0 0600 028d ....%........... │ │ │ 000c0680: 3004 5e02 1925 931f 045c a0a0 b006 0002 0.^..%...\...... │ │ │ -000c0690: 8d33 0438 0219 2593 2004 3640 4240 400b .3.8..%. .6@B@@. │ │ │ -000c06a0: cf92 b499 be4f 34ad 0362 ea48 93be a484 .....O4..b.H.... │ │ │ +000c0690: 8d33 0438 0219 2593 2004 3640 4240 4075 .3.8..%. .6@B@@u │ │ │ +000c06a0: 4e0d edd4 f83d c4a1 9ecc 9c1b 23d8 c584 N....=......#... │ │ │ 000c06b0: 95a6 be00 04e9 9800 00f1 a700 0345 8200 .............E.. │ │ │ 000c06c0: 033b ed08 0002 7300 90a0 b7a0 9021 5540 .;....s......!U@ │ │ │ 000c06d0: a99b a0a0 90b0 90a0 2676 6563 746f 72a0 ........&vector. │ │ │ 000c06e0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ 000c06f0: 6d70 4025 7370 6163 6502 324e a52d 40a0 mp@%space.2N.-@. │ │ │ 000c0700: 8080 a091 2246 30a9 9aa0 90b0 a2a2 90a0 ...."F0......... │ │ │ 000c0710: 2866 6965 6c64 6578 74a0 2566 6965 6c64 (fieldext.%field │ │ │ @@ -72739,17 +72739,17 @@ │ │ │ 0011c220: 100c 0c18 0c0c 3c28 0c1c 0c10 0c0c 0c2c ......<(......., │ │ │ 0011c230: 3030 3030 5030 3050 0c0c 1030 200c 1c10 0000P00P...0 ... │ │ │ 0011c240: 0c10 100c 302c 3030 3030 3030 3030 3038 ....0,0000000008 │ │ │ 0011c250: 3030 9ca0 98b0 0503 6a40 5398 b005 036c 00......j@S....l │ │ │ 0011c260: 4052 58b8 4e5a 0dec e7ef f14a d0e0 cd1c @RX.NZ.....J.... │ │ │ 0011c270: a7bc 0000 0004 0000 0007 6c69 6272 6172 ..........librar │ │ │ 0011c280: 7900 0000 0000 0004 d000 0000 0000 0c01 y............... │ │ │ -0011c290: cf0b cf92 b499 be4f 34ad 0362 ea48 93be .......O4..b.H.. │ │ │ -0011c2a0: a400 0000 076f 7061 7175 6573 0000 0000 .....opaques.... │ │ │ +0011c290: cf75 4e0d edd4 f83d c4a1 9ecc 9c1b 23d8 .uN....=......#. │ │ │ +0011c2a0: c500 0000 076f 7061 7175 6573 0000 0000 .....opaques.... │ │ │ 0011c2b0: 000c 06af 0000 0000 0004 e9ac 09cc 0214 ................ │ │ │ 0011c2c0: e103 0f42 018c 860f f8d0 4390 0000 0007 ...B......C..... │ │ │ 0011c2d0: 7375 6d6d 6172 7900 0000 0000 0000 1000 summary......... │ │ │ -0011c2e0: 0000 0000 0004 b043 f64c e554 e1cf 4d9e .......C.L.T..M. │ │ │ -0011c2f0: b19e a5ef b3d5 8a00 0000 0976 6d6c 6962 ...........vmlib │ │ │ +0011c2e0: 0000 0000 0004 b039 0aec 062d 117c e445 .......9...-.|.E │ │ │ +0011c2f0: a1eb e2d1 12e6 7c00 0000 0976 6d6c 6962 ......|....vmlib │ │ │ 0011c300: 7261 7279 0000 0000 0010 f06b 0000 0000 rary.......k.... │ │ │ 0011c310: 0000 d1f7 58b8 4e5a 0dec e7ef f14a d0e0 ....X.NZ.....J.. │ │ │ 0011c320: cd1c a7bc .... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/finfield.vo │ │ │ @@ -58,68 +58,68 @@ │ │ │ 00000390: 6f72 7068 6973 6da0 2866 696e 6772 6f75 orphism.(fingrou │ │ │ 000003a0: 70a0 286d 6174 6863 6f6d 7040 9030 6dfc p.(mathcomp@.0m. │ │ │ 000003b0: 1fc3 e978 4e7c 6f18 3a52 b9b6 c307 a0a0 ...xN|o.:R...... │ │ │ 000003c0: 2661 6374 696f 6ea0 2866 696e 6772 6f75 &action.(fingrou │ │ │ 000003d0: 70a0 286d 6174 6863 6f6d 7040 9030 832b p.(mathcomp@.0.+ │ │ │ 000003e0: d24f a82f 33ab e3e9 e442 c96b 8142 a0a0 .O./3....B.k.B.. │ │ │ 000003f0: 2666 696e 616c 67a0 2761 6c67 6562 7261 &finalg.'algebra │ │ │ -00000400: a028 6d61 7468 636f 6d70 4090 30aa 86ed .(mathcomp@.0... │ │ │ -00000410: e696 a079 9460 5fb3 9de0 0bdd aca0 a025 ...y.`_........% │ │ │ +00000400: a028 6d61 7468 636f 6d70 4090 30e7 894b .(mathcomp@.0..K │ │ │ +00000410: 3a60 2315 c7b2 e0dd 7d1a bdb8 a5a0 a025 :`#.....}......% │ │ │ 00000420: 7a6d 6f64 70a0 2761 6c67 6562 7261 a028 zmodp.'algebra.( │ │ │ -00000430: 6d61 7468 636f 6d70 4090 3019 a874 60b2 mathcomp@.0..t`. │ │ │ -00000440: 7a65 0f1b f89f a003 f2a8 05a0 a026 6379 ze...........&cy │ │ │ +00000430: 6d61 7468 636f 6d70 4090 3006 6906 3690 mathcomp@.0.i.6. │ │ │ +00000440: 1c3b 6883 4da8 3484 f1e9 c0a0 a026 6379 .;h.M.4......&cy │ │ │ 00000450: 636c 6963 a028 736f 6c76 6162 6c65 a028 clic.(solvable.( │ │ │ -00000460: 6d61 7468 636f 6d70 4090 3054 6044 c646 mathcomp@.0T`D.F │ │ │ -00000470: f24b f2e5 257a aba1 d649 b9a0 a026 6365 .K..%z...I...&ce │ │ │ +00000460: 6d61 7468 636f 6d70 4090 3050 1004 ce97 mathcomp@.0P.... │ │ │ +00000470: baa1 40d0 d663 dfb2 d3d2 b9a0 a026 6365 ..@..c.......&ce │ │ │ 00000480: 6e74 6572 a028 736f 6c76 6162 6c65 a028 nter.(solvable.( │ │ │ -00000490: 6d61 7468 636f 6d70 4090 3041 fbfa 82f0 mathcomp@.0A.... │ │ │ -000004a0: 571e 07e2 aae8 ddd1 3748 d6a0 a026 7067 W.......7H...&pg │ │ │ +00000490: 6d61 7468 636f 6d70 4090 308b f66f 83f6 mathcomp@.0..o.. │ │ │ +000004a0: 0782 15a7 de81 80c0 3cf6 f2a0 a026 7067 ........<....&pg │ │ │ 000004b0: 726f 7570 a028 736f 6c76 6162 6c65 a028 roup.(solvable.( │ │ │ -000004c0: 6d61 7468 636f 6d70 4090 3000 c5ad 81d9 mathcomp@.0..... │ │ │ -000004d0: 6911 9ef2 7537 4b24 845d 93a0 a027 6162 i...u7K$.]...'ab │ │ │ +000004c0: 6d61 7468 636f 6d70 4090 304f 4128 abd3 mathcomp@.0OA(.. │ │ │ +000004d0: 1884 acd0 7a13 6fd3 122a 8aa0 a027 6162 ....z.o..*...'ab │ │ │ 000004e0: 656c 6961 6ea0 2873 6f6c 7661 626c 65a0 elian.(solvable. │ │ │ -000004f0: 286d 6174 6863 6f6d 7040 9030 d81e c05f (mathcomp@.0..._ │ │ │ -00000500: c8f6 51c2 248d 40f0 95ad a79d a0a0 266d ..Q.$.@.......&m │ │ │ +000004f0: 286d 6174 6863 6f6d 7040 9030 24c3 98e9 (mathcomp@.0$... │ │ │ +00000500: 214c cb0e fe80 135b dae8 8f76 a0a0 266d !L.....[...v..&m │ │ │ 00000510: 6174 7269 78a0 2761 6c67 6562 7261 a028 atrix.'algebra.( │ │ │ -00000520: 6d61 7468 636f 6d70 4090 300b 6fd3 0e84 mathcomp@.0.o... │ │ │ -00000530: 0536 80af 7a31 b90d c8fb d0a0 a026 6d78 .6..z1.......&mx │ │ │ +00000520: 6d61 7468 636f 6d70 4090 3094 67a9 4cd0 mathcomp@.0.g.L. │ │ │ +00000530: d8d1 a06b 659a 3f0d 345e eda0 a026 6d78 ...ke.?.4^...&mx │ │ │ 00000540: 706f 6c79 a027 616c 6765 6272 61a0 286d poly.'algebra.(m │ │ │ -00000550: 6174 6863 6f6d 7040 9030 6f6c 4584 8230 athcomp@.0olE..0 │ │ │ -00000560: 6e6b 5d20 0a4d b1fd 2d6b a0a0 2676 6563 nk] .M..-k..&vec │ │ │ +00000550: 6174 6863 6f6d 7040 9030 64d4 2d7d 5cd9 athcomp@.0d.-}\. │ │ │ +00000560: 4a45 76bd 1fb2 7f58 95b2 a0a0 2676 6563 JEv....X....&vec │ │ │ 00000570: 746f 72a0 2761 6c67 6562 7261 a028 6d61 tor.'algebra.(ma │ │ │ -00000580: 7468 636f 6d70 4090 300a 5e71 e3f0 4b02 thcomp@.0.^q..K. │ │ │ -00000590: 5c57 e359 f554 9c03 d5a0 a028 6661 6c67 \W.Y.T.....(falg │ │ │ +00000580: 7468 636f 6d70 4090 30bb ced3 b71a 28de thcomp@.0.....(. │ │ │ +00000590: e014 5443 1f24 327d d8a0 a028 6661 6c67 ..TC.$2}...(falg │ │ │ 000005a0: 6562 7261 a025 6669 656c 64a0 286d 6174 ebra.%field.(mat │ │ │ -000005b0: 6863 6f6d 7040 9030 cfc8 c01f f6b8 4918 hcomp@.0......I. │ │ │ -000005c0: 9757 08ed e59d d206 a0a0 2866 6965 6c64 .W........(field │ │ │ +000005b0: 6863 6f6d 7040 9030 b239 4c33 8da0 1827 hcomp@.0.9L3...' │ │ │ +000005c0: dec5 93cf 0f6e 055e a0a0 2866 6965 6c64 .....n.^..(field │ │ │ 000005d0: 6578 74a0 2566 6965 6c64 a028 6d61 7468 ext.%field.(math │ │ │ -000005e0: 636f 6d70 4090 300b cf92 b499 be4f 34ad comp@.0......O4. │ │ │ -000005f0: 0362 ea48 93be a4a0 a029 7365 7061 7261 .b.H.....)separa │ │ │ +000005e0: 636f 6d70 4090 3075 4e0d edd4 f83d c4a1 comp@.0uN....=.. │ │ │ +000005f0: 9ecc 9c1b 23d8 c5a0 a029 7365 7061 7261 ....#....)separa │ │ │ 00000600: 626c 65a0 2566 6965 6c64 a028 6d61 7468 ble.%field.(math │ │ │ -00000610: 636f 6d70 4090 3034 e478 41fa 9e4a 9710 comp@.04.xA..J.. │ │ │ -00000620: 82f6 6f40 6e1d f7a0 a026 6761 6c6f 6973 ..o@n....&galois │ │ │ +00000610: 636f 6d70 4090 3064 a3aa f2c9 7166 5569 comp@.0d....qfUi │ │ │ +00000620: 889b 5876 8414 15a0 a026 6761 6c6f 6973 ..Xv.....&galois │ │ │ 00000630: a025 6669 656c 64a0 286d 6174 6863 6f6d .%field.(mathcom │ │ │ -00000640: 7040 9030 4bd2 d748 44d8 d0a8 7782 2fe4 p@.0K..HD...w./. │ │ │ -00000650: 83dc dc58 a0a0 2673 7372 6e75 6da0 2761 ...X..&ssrnum.'a │ │ │ +00000640: 7040 9030 49c2 850a a37c a886 a5af 236a p@.0I....|....#j │ │ │ +00000650: 8ec1 df47 a0a0 2673 7372 6e75 6da0 2761 ...G..&ssrnum.'a │ │ │ 00000660: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ 00000670: 4090 3051 8f9d aef7 8420 198d 4d33 c843 @.0Q..... ..M3.C │ │ │ 00000680: 6931 8ca0 a026 7373 7269 6e74 a027 616c i1...&ssrint.'al │ │ │ 00000690: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 000006a0: 9030 ae57 4cb5 2f25 060f 596c cd15 a562 .0.WL./%..Yl...b │ │ │ 000006b0: 774d a0a0 2b61 7263 6869 6d65 6465 616e wM..+archimedean │ │ │ 000006c0: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ 000006d0: 6f6d 7040 9030 2f19 dd92 35f9 5561 32fc omp@.0/...5.Ua2. │ │ │ 000006e0: 31ac f829 93e1 a0a0 2461 6c67 43a0 2566 1..)....$algC.%f │ │ │ 000006f0: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00000700: 3028 8494 53ab 9772 38eb d0a4 cb1e 00de 0(..S..r8....... │ │ │ -00000710: 2ba0 a02a 6379 636c 6f74 6f6d 6963 a025 +..*cyclotomic.% │ │ │ +00000700: 30cc b890 b614 97ec 7b20 292d cdf9 ac13 0.......{ )-.... │ │ │ +00000710: d6a0 a02a 6379 636c 6f74 6f6d 6963 a025 ...*cyclotomic.% │ │ │ 00000720: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000730: 9030 9de8 d468 34af 1a2f 29b2 9dc9 b0ba .0...h4../)..... │ │ │ -00000740: 30b9 2535 2e34 2e30 a040 40b1 82ad ecd5 0.%5.4.0.@@..... │ │ │ -00000750: 4c9a c3a3 7a82 e4c8 caeb 2e84 95a6 be00 L...z........... │ │ │ +00000730: 9030 d6cb 0a15 4afa f0ae 8b48 1638 626e .0....J....H.8bn │ │ │ +00000740: dc5a 2535 2e34 2e30 a040 4050 13c3 42d6 .Z%5.4.0.@@P..B. │ │ │ +00000750: 4632 f4e8 db5d 2ee5 4006 4a84 95a6 be00 F2...]..@.J..... │ │ │ 00000760: 08ac 4900 01d2 a700 0699 7300 067f 60b0 ..I.......s...`. │ │ │ 00000770: d0a0 2866 696e 6669 656c 64a0 2566 6965 ..(finfield.%fie │ │ │ 00000780: 6c64 a028 6d61 7468 636f 6d70 40e0 9004 ld.(mathcomp@... │ │ │ 00000790: 0841 90a0 a032 6669 6e52 696e 675f 6e6f .A...2finRing_no │ │ │ 000007a0: 6e74 7269 7669 616c 9008 0000 2700 40a0 ntrivial....'.@. │ │ │ 000007b0: 8080 92c0 40a0 a0a0 4040 b0a0 a0a0 2152 ....@...@@....!R │ │ │ 000007c0: 409b a0a0 90b0 a2a2 90a0 2666 696e 616c @.........&final │ │ │ @@ -8166,19 +8166,19 @@ │ │ │ 0001fe50: 9c5b 90b0 0534 8305 08fe 0135 02c0 40b0 .[...4.....5..@. │ │ │ 0001fe60: 0508 3f42 0508 4640 4142 4344 b005 0838 ..?B..F@ABCD...8 │ │ │ 0001fe70: 4205 083c c0c0 40b0 0508 3142 0508 3540 B..<..@...1B..5@ │ │ │ 0001fe80: 41b0 0508 2842 0508 2ec0 40b0 0508 1a42 A...(B....@....B │ │ │ 0001fe90: 0508 1ec0 40b0 0508 0f42 0508 1340 4142 ....@....B...@AB │ │ │ 0001fea0: 4345 4648 494a 4b4c 4da0 a0a0 2761 6265 CEFHIJKLM...'abe │ │ │ 0001feb0: 6c69 616e a028 736f 6c76 6162 6c65 a028 lian.(solvable.( │ │ │ -0001fec0: 6d61 7468 636f 6d70 4090 30d8 1ec0 5fc8 mathcomp@.0..._. │ │ │ -0001fed0: f651 c224 8d40 f095 ada7 9da0 a02a 6379 .Q.$.@.......*cy │ │ │ +0001fec0: 6d61 7468 636f 6d70 4090 3024 c398 e921 mathcomp@.0$...! │ │ │ +0001fed0: 4ccb 0efe 8013 5bda e88f 76a0 a02a 6379 L.....[...v..*cy │ │ │ 0001fee0: 636c 6f74 6f6d 6963 a025 6669 656c 64a0 clotomic.%field. │ │ │ -0001fef0: 286d 6174 6863 6f6d 7040 9030 9de8 d468 (mathcomp@.0...h │ │ │ -0001ff00: 34af 1a2f 29b2 9dc9 b0ba 30b9 9040 a040 4../).....0..@.@ │ │ │ +0001fef0: 286d 6174 6863 6f6d 7040 9030 d6cb 0a15 (mathcomp@.0.... │ │ │ +0001ff00: 4afa f0ae 8b48 1638 626e dc5a 9040 a040 J....H.8bn.Z.@.@ │ │ │ 0001ff10: 40a0 a095 a002 320a 518f a005 58f7 b092 @.....2.Q...X... │ │ │ 0001ff20: 4140 40a0 95a0 020f c0a2 b8a0 90e0 4140 A@@...........A@ │ │ │ 0001ff30: 4040 4040 a0a0 9105 4e62 a0a0 40a0 4040 @@@@....Nb..@.@@ │ │ │ 0001ff40: 4040 a095 a002 2760 a06f d040 9105 4e6a @@....'`.o.@..Nj │ │ │ 0001ff50: a040 40a0 9092 0558 e840 d0d0 d0d0 d040 .@@....X.@.....@ │ │ │ 0001ff60: 40a0 a0a0 2a74 7970 655f 7363 6f70 6540 @...*type_scope@ │ │ │ 0001ff70: 4040 4041 41a0 a0a0 2e66 756e 6374 696f @@@AA....functio │ │ │ @@ -35637,16 +35637,16 @@ │ │ │ 0008b340: 8c05 0148 023a 3d37 cc05 0146 a0a0 b006 ...H.:=7...F.... │ │ │ 0008b350: 0001 d28f 0501 2202 3a3d 37cd 0501 20a0 ......".:=7... . │ │ │ 0008b360: a0b0 0600 01d2 9204 fc02 3a3d 37ce 04fa ..........:=7... │ │ │ 0008b370: a0a0 b006 0001 d295 04d6 023a 3d37 cf04 ...........:=7.. │ │ │ 0008b380: d4a0 a0b0 0600 01d2 9804 b002 3a3d 37d0 ............:=7. │ │ │ 0008b390: 04ae a0a0 b006 0001 d29b 048a 023a 3d37 .............:=7 │ │ │ 0008b3a0: d104 88a0 a0b0 0600 01d2 9e04 6402 3a3d ............d.:= │ │ │ -0008b3b0: 37d2 0462 4042 4040 494e 0c19 989e 1662 7..b@B@@IN.....b │ │ │ -0008b3c0: b899 ecfb a721 9c10 8495 a6be 0003 1b1f .....!.......... │ │ │ +0008b3b0: 37d2 0462 4042 4040 2ea6 5c6e 610a 2cbf 7..b@B@@..\na.,. │ │ │ +0008b3c0: e1a9 8261 5fe3 a2c8 8495 a6be 0003 1b1f ...a_........... │ │ │ 0008b3d0: 0000 a5c0 0002 278c 0002 1dcc 0800 0093 ......'......... │ │ │ 0008b3e0: 0090 a0a9 b7a0 9028 5f65 7661 725f 305f .......(_evar_0_ │ │ │ 0008b3f0: 40fd d0a0 90b0 90a0 2944 6174 6174 7970 @.......)Datatyp │ │ │ 0008b400: 6573 a024 496e 6974 a023 436f 7140 2462 es.$Init.#Coq@$b │ │ │ 0008b410: 6f6f 6c02 0efc 5a27 4040 a040 40a0 4040 ool...Z'@@.@@.@@ │ │ │ 0008b420: 9043 a080 8080 a0a0 90a0 9021 7840 9441 .C.........!x@.A │ │ │ 0008b430: 4040 9ca0 a004 1941 040b a0a0 80a9 9ba0 @@.....A........ │ │ │ @@ -49418,17 +49418,17 @@ │ │ │ 000c1090: 380e 014a 0d37 1b21 4a37 1c25 060a 8009 8..J.7.!J7.%.... │ │ │ 000c10a0: 3734 1018 0c0c 1018 0c0c 0c14 1c0c 1420 74............. │ │ │ 000c10b0: 0c0c 141c 0c10 1c0c 0c10 200c 0c14 1c0c .......... ..... │ │ │ 000c10c0: 0c10 1c0c 0c10 1c0c 0c10 1c0c 0c10 1c0c ................ │ │ │ 000c10d0: 0c10 1c0c 0c10 2010 8080 2741 b4d5 01be ...... ...'A.... │ │ │ 000c10e0: 8b51 aaba d02d c711 c800 0000 0400 0000 .Q...-.......... │ │ │ 000c10f0: 076c 6962 7261 7279 0000 0000 0000 075b .library.......[ │ │ │ -000c1100: 0000 0000 0008 ac5d 494e 0c19 989e 1662 .......]IN.....b │ │ │ -000c1110: b899 ecfb a721 9c10 0000 0007 6f70 6171 .....!......opaq │ │ │ +000c1100: 0000 0000 0008 ac5d 2ea6 5c6e 610a 2cbf .......]..\na.,. │ │ │ +000c1110: e1a9 8261 5fe3 a2c8 0000 0007 6f70 6171 ...a_.......opaq │ │ │ 000c1120: 7565 7300 0000 0000 08b3 c800 0000 0000 ues............. │ │ │ 000c1130: 031b 33a5 12f4 ffc4 8668 029e 45d0 ca23 ..3......h..E..# │ │ │ 000c1140: 4048 e200 0000 0773 756d 6d61 7279 0000 @H.....summary.. │ │ │ -000c1150: 0000 0000 0010 0000 0000 0000 073b b182 .............;.. │ │ │ -000c1160: adec d54c 9ac3 a37a 82e4 c8ca eb2e 0000 ...L...z........ │ │ │ +000c1150: 0000 0000 0010 0000 0000 0000 073b 5013 .............;P. │ │ │ +000c1160: c342 d646 32f4 e8db 5d2e e540 064a 0000 .B.F2...]..@.J.. │ │ │ 000c1170: 0009 766d 6c69 6272 6172 7900 0000 0000 ..vmlibrary..... │ │ │ 000c1180: 0bcf 0b00 0000 0000 0041 ce80 2741 b4d5 .........A..'A.. │ │ │ 000c1190: 01be 8b51 aaba d02d c711 c8 ...Q...-... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/galois.vo │ │ │ @@ -58,38 +58,38 @@ │ │ │ 00000390: 6965 6e74 a028 6669 6e67 726f 7570 a028 ient.(fingroup.( │ │ │ 000003a0: 6d61 7468 636f 6d70 4090 3096 eb43 eb53 mathcomp@.0..C.S │ │ │ 000003b0: 812a 2a2c a0f7 32cc 8129 13a0 a026 6163 .**,..2..)...&ac │ │ │ 000003c0: 7469 6f6e a028 6669 6e67 726f 7570 a028 tion.(fingroup.( │ │ │ 000003d0: 6d61 7468 636f 6d70 4090 3083 2bd2 4fa8 mathcomp@.0.+.O. │ │ │ 000003e0: 2f33 abe3 e9e4 42c9 6b81 42a0 a025 7a6d /3....B.k.B..%zm │ │ │ 000003f0: 6f64 70a0 2761 6c67 6562 7261 a028 6d61 odp.'algebra.(ma │ │ │ -00000400: 7468 636f 6d70 4090 3019 a874 60b2 7a65 thcomp@.0..t`.ze │ │ │ -00000410: 0f1b f89f a003 f2a8 05a0 a026 6379 636c ...........&cycl │ │ │ +00000400: 7468 636f 6d70 4090 3006 6906 3690 1c3b thcomp@.0.i.6..; │ │ │ +00000410: 6883 4da8 3484 f1e9 c0a0 a026 6379 636c h.M.4......&cycl │ │ │ 00000420: 6963 a028 736f 6c76 6162 6c65 a028 6d61 ic.(solvable.(ma │ │ │ -00000430: 7468 636f 6d70 4090 3054 6044 c646 f24b thcomp@.0T`D.F.K │ │ │ -00000440: f2e5 257a aba1 d649 b9a0 a026 6d61 7472 ..%z...I...&matr │ │ │ +00000430: 7468 636f 6d70 4090 3050 1004 ce97 baa1 thcomp@.0P...... │ │ │ +00000440: 40d0 d663 dfb2 d3d2 b9a0 a026 6d61 7472 @..c.......&matr │ │ │ 00000450: 6978 a027 616c 6765 6272 61a0 286d 6174 ix.'algebra.(mat │ │ │ -00000460: 6863 6f6d 7040 9030 0b6f d30e 8405 3680 hcomp@.0.o....6. │ │ │ -00000470: af7a 31b9 0dc8 fbd0 a0a0 296d 7861 6c67 .z1.......)mxalg │ │ │ +00000460: 6863 6f6d 7040 9030 9467 a94c d0d8 d1a0 hcomp@.0.g.L.... │ │ │ +00000470: 6b65 9a3f 0d34 5eed a0a0 296d 7861 6c67 ke.?.4^...)mxalg │ │ │ 00000480: 6562 7261 a027 616c 6765 6272 61a0 286d ebra.'algebra.(m │ │ │ -00000490: 6174 6863 6f6d 7040 9030 b20e 6e8d a67f athcomp@.0..n... │ │ │ -000004a0: 10ae 5376 7973 9da9 0f0f a0a0 2676 6563 ..Svys......&vec │ │ │ +00000490: 6174 6863 6f6d 7040 9030 ab8a 59a0 351a athcomp@.0..Y.5. │ │ │ +000004a0: 6923 5f7d d8d5 6b45 29c9 a0a0 2676 6563 i#_}..kE)...&vec │ │ │ 000004b0: 746f 72a0 2761 6c67 6562 7261 a028 6d61 tor.'algebra.(ma │ │ │ -000004c0: 7468 636f 6d70 4090 300a 5e71 e3f0 4b02 thcomp@.0.^q..K. │ │ │ -000004d0: 5c57 e359 f554 9c03 d5a0 a028 6661 6c67 \W.Y.T.....(falg │ │ │ +000004c0: 7468 636f 6d70 4090 30bb ced3 b71a 28de thcomp@.0.....(. │ │ │ +000004d0: e014 5443 1f24 327d d8a0 a028 6661 6c67 ..TC.$2}...(falg │ │ │ 000004e0: 6562 7261 a025 6669 656c 64a0 286d 6174 ebra.%field.(mat │ │ │ -000004f0: 6863 6f6d 7040 9030 cfc8 c01f f6b8 4918 hcomp@.0......I. │ │ │ -00000500: 9757 08ed e59d d206 a0a0 2866 6965 6c64 .W........(field │ │ │ +000004f0: 6863 6f6d 7040 9030 b239 4c33 8da0 1827 hcomp@.0.9L3...' │ │ │ +00000500: dec5 93cf 0f6e 055e a0a0 2866 6965 6c64 .....n.^..(field │ │ │ 00000510: 6578 74a0 2566 6965 6c64 a028 6d61 7468 ext.%field.(math │ │ │ -00000520: 636f 6d70 4090 300b cf92 b499 be4f 34ad comp@.0......O4. │ │ │ -00000530: 0362 ea48 93be a4a0 a029 7365 7061 7261 .b.H.....)separa │ │ │ +00000520: 636f 6d70 4090 3075 4e0d edd4 f83d c4a1 comp@.0uN....=.. │ │ │ +00000530: 9ecc 9c1b 23d8 c5a0 a029 7365 7061 7261 ....#....)separa │ │ │ 00000540: 626c 65a0 2566 6965 6c64 a028 6d61 7468 ble.%field.(math │ │ │ -00000550: 636f 6d70 4090 3034 e478 41fa 9e4a 9710 comp@.04.xA..J.. │ │ │ -00000560: 82f6 6f40 6e1d f725 352e 342e 30a0 4040 ..o@n..%5.4.0.@@ │ │ │ -00000570: 8ee9 1934 07ec 50cc 8904 fffc 4b1c e1bc ...4..P.....K... │ │ │ +00000550: 636f 6d70 4090 3064 a3aa f2c9 7166 5569 comp@.0d....qfUi │ │ │ +00000560: 889b 5876 8414 1525 352e 342e 30a0 4040 ..Xv...%5.4.0.@@ │ │ │ +00000570: d566 f738 eaa2 cc92 3602 a2d6 b739 deee .f.8....6....9.. │ │ │ 00000580: 8495 a6be 000b 8072 0002 8636 0008 be2d .......r...6...- │ │ │ 00000590: 0008 a220 b0d0 a026 6761 6c6f 6973 a025 ... ...&galois.% │ │ │ 000005a0: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ 000005b0: e090 0408 4190 a0a0 3173 706c 6974 7469 ....A...1splitti │ │ │ 000005c0: 6e67 4669 656c 6446 6f72 9008 0000 2700 ngFieldFor....'. │ │ │ 000005d0: 40a0 8080 91b7 a090 2146 409b a0a0 90b0 @.......!F@..... │ │ │ 000005e0: a2a2 90a0 2673 7372 616c 67a0 2761 6c67 ....&ssralg.'alg │ │ │ @@ -11979,16 +11979,16 @@ │ │ │ 0002eca0: 47b9 c0c0 40b0 0547 8c42 0547 9340 41b0 G...@..G.B.G.@A. │ │ │ 0002ecb0: 0547 7b42 0547 82c0 c0c0 40b0 0547 5342 .G{B.G....@..GSB │ │ │ 0002ecc0: 0547 5a40 41b0 0547 4242 0547 49c0 40b0 .GZ@A..GBB.GI.@. │ │ │ 0002ecd0: 050f 7142 050f 7740 4142 b005 068e 4205 ..qB..w@AB....B. │ │ │ 0002ece0: 0ec3 c040 b005 0687 4205 0ec5 c040 b005 ...@....B....@.. │ │ │ 0002ecf0: 0f47 4205 0f4d 4041 4243 4445 4649 4a4c .GB..M@ABCDEFIJL │ │ │ 0002ed00: 4d4e 4f90 a0a0 051b 76a0 2566 6965 6c64 MNO.....v.%field │ │ │ -0002ed10: a028 6d61 7468 636f 6d70 4090 3034 e478 .(mathcomp@.04.x │ │ │ -0002ed20: 41fa 9e4a 9710 82f6 6f40 6e1d f790 40a0 A..J....o@n...@. │ │ │ +0002ed10: a028 6d61 7468 636f 6d70 4090 3064 a3aa .(mathcomp@.0d.. │ │ │ +0002ed20: f2c9 7166 5569 889b 5876 8414 1590 40a0 ..qfUi..Xv....@. │ │ │ 0002ed30: a095 a002 1d04 1afc a040 a0a0 402e 2747 .........@..@.'G │ │ │ 0002ed40: 616c 2028 205f 202f 205f 2029 c0a0 a040 al ( _ / _ )...@ │ │ │ 0002ed50: 48a0 9163 a040 40a0 b140 40a0 9063 40a0 H..c.@@..@@..c@. │ │ │ 0002ed60: b140 40a0 4140 4090 a0d0 a0a0 4048 040f .@@.A@@.....@H.. │ │ │ 0002ed70: 4004 14a0 a0a0 4124 2747 616c a0a0 4121 @.....A$'Gal..A! │ │ │ 0002ed80: 28a0 a1a1 4004 1490 0525 aca0 a041 212f (...@....%...A!/ │ │ │ 0002ed90: a0a1 a140 0417 9005 23e2 a0a0 4121 2940 ...@....#...A!)@ │ │ │ @@ -47194,16 +47194,16 @@ │ │ │ 000b8590: 019f de06 0001 cfac 0600 01e1 9fb0 4040 ..............@@ │ │ │ 000b85a0: 40a0 95a0 0234 7dc1 ffa0 295f 454c 5049 @....4}...)_ELPI │ │ │ 000b85b0: 5f31 3934 c0a0 2268 62a0 2264 6240 a0a0 _194.."hb."db@.. │ │ │ 000b85c0: b006 0002 8624 04b2 0214 42f1 7404 b0a0 .....$....B.t... │ │ │ 000b85d0: a0b0 0600 0286 2704 8b02 1442 f175 0489 ......'....B.u.. │ │ │ 000b85e0: a0a0 b006 0002 862a 0463 0214 42f1 7604 .......*.c..B.v. │ │ │ 000b85f0: 61a0 a0b0 0600 0286 2d04 3d02 1442 f177 a.......-.=..B.w │ │ │ -000b8600: 043b 4042 4040 4bd2 d748 44d8 d0a8 7782 .;@B@@K..HD...w. │ │ │ -000b8610: 2fe4 83dc dc58 8495 a6be 0009 2f01 0001 /....X....../... │ │ │ +000b8600: 043b 4042 4040 49c2 850a a37c a886 a5af .;@B@@I....|.... │ │ │ +000b8610: 236a 8ec1 df47 8495 a6be 0009 2f01 0001 #j...G....../... │ │ │ 000b8620: 93b9 0005 80fe 0005 76ef 0800 0217 0090 ........v....... │ │ │ 000b8630: a0b7 a090 214b 40a9 9ba0 a090 b090 a028 ....!K@........( │ │ │ 000b8640: 6661 6c67 6562 7261 a025 6669 656c 64a0 falgebra.%field. │ │ │ 000b8650: 286d 6174 6863 6f6d 7040 2661 7370 6163 (mathcomp@&aspac │ │ │ 000b8660: 6502 3a81 a295 40a0 8080 a091 2146 a99a e.:...@.....!F.. │ │ │ 000b8670: a090 b0a2 a290 a028 6669 656c 6465 7874 .......(fieldext │ │ │ 000b8680: 0413 2846 6965 6c64 4578 7427 4578 706f ..(FieldExt'Expo │ │ │ @@ -85741,18 +85741,18 @@ │ │ │ 0014eec0: 2b04 0412 0303 3700 220c 3701 230c 0c37 +.....7.".7.#..7 │ │ │ 0014eed0: 0224 0d0c 0c37 0022 0c37 0123 0c0c 3703 .$...7.".7.#..7. │ │ │ 0014eee0: 2504 0980 2630 1014 1810 1480 c03d 2d00 %...&0.......=-. │ │ │ 0014eef0: 038c 2a2b 061f 0a08 0912 0906 3700 2007 ..*+........7. . │ │ │ 0014ef00: 0e12 0403 3701 243a 0129 0780 223c 2080 ....7.$:.).."< . │ │ │ 0014ef10: 3d37 a2af 0878 1fdb 273c 9606 fb35 e37d =7...x..'<...5.} │ │ │ 0014ef20: 0000 0004 0000 0007 6c69 6272 6172 7900 ........library. │ │ │ -0014ef30: 0000 0000 0005 8000 0000 0000 0b80 864b ...............K │ │ │ -0014ef40: d2d7 4844 d8d0 a877 822f e483 dcdc 5800 ..HD...w./....X. │ │ │ +0014ef30: 0000 0000 0005 8000 0000 0000 0b80 8649 ...............I │ │ │ +0014ef40: c285 0aa3 7ca8 86a5 af23 6a8e c1df 4700 ....|....#j...G. │ │ │ 0014ef50: 0000 076f 7061 7175 6573 0000 0000 000b ...opaques...... │ │ │ 0014ef60: 8616 0000 0000 0009 2f15 e216 281e c644 ......../...(..D │ │ │ 0014ef70: cfa2 e15d c488 0846 5bf9 0000 0007 7375 ...]...F[.....su │ │ │ 0014ef80: 6d6d 6172 7900 0000 0000 0000 1000 0000 mmary........... │ │ │ -0014ef90: 0000 0005 608e e919 3407 ec50 cc89 04ff ....`...4..P.... │ │ │ -0014efa0: fc4b 1ce1 bc00 0000 0976 6d6c 6962 7261 .K.......vmlibra │ │ │ +0014ef90: 0000 0005 60d5 66f7 38ea a2cc 9236 02a2 ....`.f.8....6.. │ │ │ +0014efa0: d6b7 39de ee00 0000 0976 6d6c 6962 7261 ..9......vmlibra │ │ │ 0014efb0: 7279 0000 0000 0014 b53b 0000 0000 0000 ry.......;...... │ │ │ 0014efc0: 39d5 3d37 a2af 0878 1fdb 273c 9606 fb35 9.=7...x..'<...5 │ │ │ 0014efd0: e37d .} │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/qfpoly.vo │ │ │ @@ -44,35 +44,35 @@ │ │ │ 000002b0: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 000002c0: 7040 9030 7742 ea7b 5b44 50b0 9cd3 a45c p@.0wB.{[DP....\ │ │ │ 000002d0: 4dd5 0316 a0a0 2863 6f75 6e74 616c 67a0 M.....(countalg. │ │ │ 000002e0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ 000002f0: 6d70 4090 3015 f63a 52a5 3b0c cd90 f294 mp@.0..:R.;..... │ │ │ 00000300: ef85 84eb 00a0 a026 6669 6e61 6c67 a027 .......&finalg.' │ │ │ 00000310: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000320: 7040 9030 aa86 ede6 96a0 7994 605f b39d p@.0......y.`_.. │ │ │ -00000330: e00b ddac a0a0 2470 6f6c 79a0 2761 6c67 ......$poly.'alg │ │ │ +00000320: 7040 9030 e789 4b3a 6023 15c7 b2e0 dd7d p@.0..K:`#.....} │ │ │ +00000330: 1abd b8a5 a0a0 2470 6f6c 79a0 2761 6c67 ......$poly.'alg │ │ │ 00000340: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000350: 30a5 6704 a5ae 7ac4 998a b23a 03b6 a076 0.g...z....:...v │ │ │ 00000360: f7a0 a027 706f 6c79 6469 76a0 2761 6c67 ...'polydiv.'alg │ │ │ 00000370: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000380: 30b3 3f93 27c4 8bc1 d55c a504 673c f90c 0.?.'....\..g<.. │ │ │ 00000390: ffa0 a025 7170 6f6c 79a0 2761 6c67 6562 ...%qpoly.'algeb │ │ │ -000003a0: 7261 a028 6d61 7468 636f 6d70 4090 3011 ra.(mathcomp@.0. │ │ │ -000003b0: 5e6c 2e5b 346e 1217 2004 a59d bb65 baa0 ^l.[4n.. ....e.. │ │ │ +000003a0: 7261 a028 6d61 7468 636f 6d70 4090 3006 ra.(mathcomp@.0. │ │ │ +000003b0: 291a 1f37 08e5 9c42 2bfe c66c acd8 b5a0 )..7...B+..l.... │ │ │ 000003c0: a028 6661 6c67 6562 7261 a025 6669 656c .(falgebra.%fiel │ │ │ -000003d0: 64a0 286d 6174 6863 6f6d 7040 9030 cfc8 d.(mathcomp@.0.. │ │ │ -000003e0: c01f f6b8 4918 9757 08ed e59d d206 a0a0 ....I..W........ │ │ │ +000003d0: 64a0 286d 6174 6863 6f6d 7040 9030 b239 d.(mathcomp@.0.9 │ │ │ +000003e0: 4c33 8da0 1827 dec5 93cf 0f6e 055e a0a0 L3...'.....n.^.. │ │ │ 000003f0: 2866 6965 6c64 6578 74a0 2566 6965 6c64 (fieldext.%field │ │ │ -00000400: a028 6d61 7468 636f 6d70 4090 300b cf92 .(mathcomp@.0... │ │ │ -00000410: b499 be4f 34ad 0362 ea48 93be a4a0 a028 ...O4..b.H.....( │ │ │ +00000400: a028 6d61 7468 636f 6d70 4090 3075 4e0d .(mathcomp@.0uN. │ │ │ +00000410: edd4 f83d c4a1 9ecc 9c1b 23d8 c5a0 a028 ...=......#....( │ │ │ 00000420: 6669 6e66 6965 6c64 a025 6669 656c 64a0 finfield.%field. │ │ │ -00000430: 286d 6174 6863 6f6d 7040 9030 494e 0c19 (mathcomp@.0IN.. │ │ │ -00000440: 989e 1662 b899 ecfb a721 9c10 2535 2e34 ...b.....!..%5.4 │ │ │ -00000450: 2e30 a040 40ec 1da3 38f2 c701 1128 8a89 .0.@@...8....(.. │ │ │ -00000460: dfe7 65d4 4084 95a6 be00 04c6 e000 0111 ..e.@........... │ │ │ +00000430: 286d 6174 6863 6f6d 7040 9030 2ea6 5c6e (mathcomp@.0..\n │ │ │ +00000440: 610a 2cbf e1a9 8261 5fe3 a2c8 2535 2e34 a.,....a_...%5.4 │ │ │ +00000450: 2e30 a040 400e 9632 0484 f2d3 1b1c e6e7 .0.@@..2........ │ │ │ +00000460: 33bc c1af 7184 95a6 be00 04c6 e000 0111 3...q........... │ │ │ 00000470: 1000 03d8 7900 03c5 53b0 d0a0 2671 6670 ....y...S...&qfp │ │ │ 00000480: 6f6c 79a0 2566 6965 6c64 a028 6d61 7468 oly.%field.(math │ │ │ 00000490: 636f 6d70 40e0 9004 0841 90a0 a036 6d6f comp@....A...6mo │ │ │ 000004a0: 6e69 635f 6972 7265 6475 6369 626c 655f nic_irreducible_ │ │ │ 000004b0: 706f 6c79 9008 0000 2700 40a0 8080 91b7 poly....'.@..... │ │ │ 000004c0: a090 2152 409b a0a0 90b0 a2a2 90a0 2673 ..!R@.........&s │ │ │ 000004d0: 7372 616c 67a0 2761 6c67 6562 7261 a004 sralg.'algebra.. │ │ │ @@ -4598,17 +4598,17 @@ │ │ │ 00011f50: 0a3b 8b55 170f 90b0 052c 3305 02e9 014d .;.U.....,3....M │ │ │ 00011f60: 11c0 c040 b005 02dd 42a0 0300 190a 3b8b ...@....B.....;. │ │ │ 00011f70: 5817 cc90 b005 2c39 0502 ef01 4d14 4041 X.....,9....M.@A │ │ │ 00011f80: b005 02dd 42a0 0300 190a 3b8b 5a18 4a90 ....B.....;.Z.J. │ │ │ 00011f90: b005 2c3d 0502 f301 4d16 4042 4445 4849 ..,=....M.@BDEHI │ │ │ 00011fa0: 4aa0 a0a0 2866 696e 6669 656c 64a0 2566 J...(finfield.%f │ │ │ 00011fb0: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00011fc0: 3049 4e0c 1998 9e16 62b8 99ec fba7 219c 0IN.....b.....!. │ │ │ -00011fd0: 10a0 0531 4090 3011 5e6c 2e5b 346e 1217 ...1@.0.^l.[4n.. │ │ │ -00011fe0: 2004 a59d bb65 ba90 40a0 a095 a002 1d04 ....e..@....... │ │ │ +00011fc0: 302e a65c 6e61 0a2c bfe1 a982 615f e3a2 0..\na.,....a_.. │ │ │ +00011fd0: c8a0 0531 4090 3006 291a 1f37 08e5 9c42 ...1@.0.)..7...B │ │ │ +00011fe0: 2bfe c66c acd8 b590 40a0 a095 a002 1d04 +..l....@....... │ │ │ 00011ff0: 1afc a040 a0a0 4034 7b20 706f 6c79 2025 ...@..@4{ poly % │ │ │ 00012000: 2f20 5f20 7769 7468 205f 207d c0a0 a040 / _ with _ }...@ │ │ │ 00012010: 40a0 9142 a091 4a40 a0b1 4040 a090 4240 @..B..J@..@@..B@ │ │ │ 00012020: a0b1 4040 a090 4a40 4090 a0d0 a0a0 4040 ..@@..J@@.....@@ │ │ │ 00012030: 0411 4004 16a0 a0a0 4121 7ba0 a040 2470 ..@.....A!{..@$p │ │ │ 00012040: 6f6c 79a0 a041 2225 2fa0 a1a1 4004 1890 oly..A"%/...@... │ │ │ 00012050: 0532 fea0 a041 2477 6974 68a0 a1a1 4004 .2...A$with...@. │ │ │ @@ -19631,16 +19631,16 @@ │ │ │ 0004cae0: 0501 5402 26e9 4dd1 0501 52a0 a0b0 0600 ..T.&.M...R..... │ │ │ 0004caf0: 0110 f805 012e 0226 e94d d205 012c a0a0 .......&.M...,.. │ │ │ 0004cb00: b006 0001 10fb 0501 0802 26e9 4dd3 0501 ..........&.M... │ │ │ 0004cb10: 06a0 a0b0 0600 0110 fe04 e202 26e9 4ddd ............&.M. │ │ │ 0004cb20: 04e0 a0a0 b006 0001 1101 04bc 0226 e94d .............&.M │ │ │ 0004cb30: de04 baa0 a0b0 0600 0111 0404 9602 26e9 ..............&. │ │ │ 0004cb40: 4ddf 0494 a0a0 b006 0001 1107 0470 0226 M............p.& │ │ │ -0004cb50: e94d e004 6e40 4240 406a 1349 5743 d346 .M..n@B@@j.IWC.F │ │ │ -0004cb60: a48a 611a 17de 137d f684 95a6 be00 010a ..a....}........ │ │ │ +0004cb50: e94d e004 6e40 4240 4024 a0eb b66e 665f .M..n@B@@$...nf_ │ │ │ +0004cb60: a8f1 909f 5b7d e5db 7884 95a6 be00 010a ....[}..x....... │ │ │ 0004cb70: b800 0037 a200 00b9 3500 00b5 ba08 0000 ...7....5....... │ │ │ 0004cb80: 9b00 90a0 a9b7 a090 285f 6576 6172 5f30 ........(_evar_0 │ │ │ 0004cb90: 5f40 a99b a0a0 90b0 90a0 254c 6f67 6963 _@........%Logic │ │ │ 0004cba0: a024 496e 6974 a023 436f 7140 2265 7102 .$Init.#Coq@"eq. │ │ │ 0004cbb0: 10d0 0d10 40a0 8080 b0a9 9ba0 a090 b090 ....@........... │ │ │ 0004cbc0: a024 706f 6c79 a027 616c 6765 6272 61a0 .$poly.'algebra. │ │ │ 0004cbd0: 286d 6174 6863 6f6d 7040 2a70 6f6c 796e (mathcomp@*polyn │ │ │ @@ -24420,18 +24420,18 @@ │ │ │ 0005f630: 2a2b 0201 0a37 0022 3701 213d 0303 0a1c *+...7."7.!=.... │ │ │ 0005f640: 501c fcf9 0203 2903 3f12 0303 3703 2137 P.....).?...7.!7 │ │ │ 0005f650: 0423 0a0d 0d37 0525 0408 3f4a 2904 2d00 .#...7.%..?J).-. │ │ │ 0005f660: 0513 038c 2a2b 0136 0629 0280 2728 0c28 ....*+.6.)..'(.( │ │ │ 0005f670: 240c 1848 9098 b0a0 a041 41a0 4241 4145 $..H.....AA.BAAE │ │ │ 0005f680: 2a90 1fee ee65 41da 8993 1b22 b2c1 e94e *....eA...."...N │ │ │ 0005f690: 0000 0004 0000 0007 6c69 6272 6172 7900 ........library. │ │ │ -0005f6a0: 0000 0000 0004 6500 0000 0000 04c6 f46a ......e........j │ │ │ -0005f6b0: 1349 5743 d346 a48a 611a 17de 137d f600 .IWC.F..a....}.. │ │ │ +0005f6a0: 0000 0000 0004 6500 0000 0000 04c6 f424 ......e........$ │ │ │ +0005f6b0: a0eb b66e 665f a8f1 909f 5b7d e5db 7800 ...nf_....[}..x. │ │ │ 0005f6c0: 0000 076f 7061 7175 6573 0000 0000 0004 ...opaques...... │ │ │ 0005f6d0: cb69 0000 0000 0001 0acc 22af 9652 7737 .i........"..Rw7 │ │ │ 0005f6e0: c525 d04b 86a0 78d5 fdcb 0000 0007 7375 .%.K..x.......su │ │ │ 0005f6f0: 6d6d 6172 7900 0000 0000 0000 1000 0000 mmary........... │ │ │ -0005f700: 0000 0004 45ec 1da3 38f2 c701 1128 8a89 ....E...8....(.. │ │ │ -0005f710: dfe7 65d4 4000 0000 0976 6d6c 6962 7261 ..e.@....vmlibra │ │ │ +0005f700: 0000 0004 450e 9632 0484 f2d3 1b1c e6e7 ....E..2........ │ │ │ +0005f710: 33bc c1af 7100 0000 0976 6d6c 6962 7261 3...q....vmlibra │ │ │ 0005f720: 7279 0000 0000 0005 d645 0000 0000 0000 ry.......E...... │ │ │ 0005f730: 203b 2a90 1fee ee65 41da 8993 1b22 b2c1 ;*....eA....".. │ │ │ 0005f740: e94e .N │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/separable.vo │ │ │ @@ -67,45 +67,45 @@ │ │ │ 00000420: 756f 7469 656e 74a0 2866 696e 6772 6f75 uotient.(fingrou │ │ │ 00000430: 70a0 286d 6174 6863 6f6d 7040 9030 96eb p.(mathcomp@.0.. │ │ │ 00000440: 43eb 5381 2a2a 2ca0 f732 cc81 2913 a0a0 C.S.**,..2..)... │ │ │ 00000450: 2867 7072 6f64 7563 74a0 2866 696e 6772 (gproduct.(fingr │ │ │ 00000460: 6f75 70a0 286d 6174 6863 6f6d 7040 9030 oup.(mathcomp@.0 │ │ │ 00000470: e7ef cae9 0e99 775c f48b 01a2 8876 3250 ......w\.....v2P │ │ │ 00000480: a0a0 2666 696e 616c 67a0 2761 6c67 6562 ..&finalg.'algeb │ │ │ -00000490: 7261 a028 6d61 7468 636f 6d70 4090 30aa ra.(mathcomp@.0. │ │ │ -000004a0: 86ed e696 a079 9460 5fb3 9de0 0bdd aca0 .....y.`_....... │ │ │ +00000490: 7261 a028 6d61 7468 636f 6d70 4090 30e7 ra.(mathcomp@.0. │ │ │ +000004a0: 894b 3a60 2315 c7b2 e0dd 7d1a bdb8 a5a0 .K:`#.....}..... │ │ │ 000004b0: a025 7a6d 6f64 70a0 2761 6c67 6562 7261 .%zmodp.'algebra │ │ │ -000004c0: a028 6d61 7468 636f 6d70 4090 3019 a874 .(mathcomp@.0..t │ │ │ -000004d0: 60b2 7a65 0f1b f89f a003 f2a8 05a0 a026 `.ze...........& │ │ │ +000004c0: a028 6d61 7468 636f 6d70 4090 3006 6906 .(mathcomp@.0.i. │ │ │ +000004d0: 3690 1c3b 6883 4da8 3484 f1e9 c0a0 a026 6..;h.M.4......& │ │ │ 000004e0: 6379 636c 6963 a028 736f 6c76 6162 6c65 cyclic.(solvable │ │ │ -000004f0: a028 6d61 7468 636f 6d70 4090 3054 6044 .(mathcomp@.0T`D │ │ │ -00000500: c646 f24b f2e5 257a aba1 d649 b9a0 a026 .F.K..%z...I...& │ │ │ +000004f0: a028 6d61 7468 636f 6d70 4090 3050 1004 .(mathcomp@.0P.. │ │ │ +00000500: ce97 baa1 40d0 d663 dfb2 d3d2 b9a0 a026 ....@..c.......& │ │ │ 00000510: 6d61 7472 6978 a027 616c 6765 6272 61a0 matrix.'algebra. │ │ │ -00000520: 286d 6174 6863 6f6d 7040 9030 0b6f d30e (mathcomp@.0.o.. │ │ │ -00000530: 8405 3680 af7a 31b9 0dc8 fbd0 a0a0 296d ..6..z1.......)m │ │ │ +00000520: 286d 6174 6863 6f6d 7040 9030 9467 a94c (mathcomp@.0.g.L │ │ │ +00000530: d0d8 d1a0 6b65 9a3f 0d34 5eed a0a0 296d ....ke.?.4^...)m │ │ │ 00000540: 7861 6c67 6562 7261 a027 616c 6765 6272 xalgebra.'algebr │ │ │ -00000550: 61a0 286d 6174 6863 6f6d 7040 9030 b20e a.(mathcomp@.0.. │ │ │ -00000560: 6e8d a67f 10ae 5376 7973 9da9 0f0f a0a0 n.....Svys...... │ │ │ +00000550: 61a0 286d 6174 6863 6f6d 7040 9030 ab8a a.(mathcomp@.0.. │ │ │ +00000560: 59a0 351a 6923 5f7d d8d5 6b45 29c9 a0a0 Y.5.i#_}..kE)... │ │ │ 00000570: 266d 7870 6f6c 79a0 2761 6c67 6562 7261 &mxpoly.'algebra │ │ │ -00000580: a028 6d61 7468 636f 6d70 4090 306f 6c45 .(mathcomp@.0olE │ │ │ -00000590: 8482 306e 6b5d 200a 4db1 fd2d 6ba0 a026 ..0nk] .M..-k..& │ │ │ +00000580: a028 6d61 7468 636f 6d70 4090 3064 d42d .(mathcomp@.0d.- │ │ │ +00000590: 7d5c d94a 4576 bd1f b27f 5895 b2a0 a026 }\.JEv....X....& │ │ │ 000005a0: 706f 6c79 5859 a027 616c 6765 6272 61a0 polyXY.'algebra. │ │ │ -000005b0: 286d 6174 6863 6f6d 7040 9030 f5e7 0533 (mathcomp@.0...3 │ │ │ -000005c0: 08c7 8237 987c f303 1222 01de a0a0 2676 ...7.|..."....&v │ │ │ +000005b0: 286d 6174 6863 6f6d 7040 9030 fde4 451e (mathcomp@.0..E. │ │ │ +000005c0: c185 a2a1 766e 9c86 d85e ad44 a0a0 2676 ....vn...^.D..&v │ │ │ 000005d0: 6563 746f 72a0 2761 6c67 6562 7261 a028 ector.'algebra.( │ │ │ -000005e0: 6d61 7468 636f 6d70 4090 300a 5e71 e3f0 mathcomp@.0.^q.. │ │ │ -000005f0: 4b02 5c57 e359 f554 9c03 d5a0 a028 6661 K.\W.Y.T.....(fa │ │ │ +000005e0: 6d61 7468 636f 6d70 4090 30bb ced3 b71a mathcomp@.0..... │ │ │ +000005f0: 28de e014 5443 1f24 327d d8a0 a028 6661 (...TC.$2}...(fa │ │ │ 00000600: 6c67 6562 7261 a025 6669 656c 64a0 286d lgebra.%field.(m │ │ │ -00000610: 6174 6863 6f6d 7040 9030 cfc8 c01f f6b8 athcomp@.0...... │ │ │ -00000620: 4918 9757 08ed e59d d206 a0a0 2866 6965 I..W........(fie │ │ │ +00000610: 6174 6863 6f6d 7040 9030 b239 4c33 8da0 athcomp@.0.9L3.. │ │ │ +00000620: 1827 dec5 93cf 0f6e 055e a0a0 2866 6965 .'.....n.^..(fie │ │ │ 00000630: 6c64 6578 74a0 2566 6965 6c64 a028 6d61 ldext.%field.(ma │ │ │ -00000640: 7468 636f 6d70 4090 300b cf92 b499 be4f thcomp@.0......O │ │ │ -00000650: 34ad 0362 ea48 93be a425 352e 342e 30a0 4..b.H...%5.4.0. │ │ │ -00000660: 4040 075e bcd8 f693 9056 07d8 2329 0eeb @@.^.....V..#).. │ │ │ -00000670: 5d19 8495 a6be 0003 0741 0000 ac31 0002 ]........A...1.. │ │ │ +00000640: 7468 636f 6d70 4090 3075 4e0d edd4 f83d thcomp@.0uN....= │ │ │ +00000650: c4a1 9ecc 9c1b 23d8 c525 352e 342e 30a0 ......#..%5.4.0. │ │ │ +00000660: 4040 04eb 027c e83b 7199 4686 50be adfd @@...|.;q.F.P... │ │ │ +00000670: 160c 8495 a6be 0003 0741 0000 ac31 0002 .........A...1.. │ │ │ 00000680: 6c17 0002 5d75 b0d0 a029 7365 7061 7261 l...]u...)separa │ │ │ 00000690: 626c 65a0 2566 6965 6c64 a028 6d61 7468 ble.%field.(math │ │ │ 000006a0: 636f 6d70 40e0 9004 0841 90a0 a035 7365 comp@....A...5se │ │ │ 000006b0: 7061 7261 626c 655f 706f 6c79 5f4c 6f63 parable_poly_Loc │ │ │ 000006c0: 6b65 6494 e0a2 0408 0404 4090 a0a0 2462 ked.......@...$b │ │ │ 000006d0: 6f64 7990 0800 0027 0040 a080 8090 40b6 ody....'.@....@. │ │ │ 000006e0: a090 2152 409b a0a0 90b0 a2a2 90a0 2673 ..!R@.........&s │ │ │ @@ -3885,20 +3885,20 @@ │ │ │ 0000f2c0: 9e01 0571 4041 b004 2541 0503 02c0 40b0 ...q@A..%A....@. │ │ │ 0000f2d0: 0427 4105 0144 c040 b004 2941 0502 f640 .'A..D.@..)A...@ │ │ │ 0000f2e0: 4142 4344 45b0 042a 4105 0209 c0c0 c040 ABCDE..*A......@ │ │ │ 0000f2f0: b004 2e41 0502 0740 41b0 042f 4105 01ff ...A...@A../A... │ │ │ 0000f300: 4042 b004 3041 0501 f5c0 40b0 0503 f142 @B..0A....@....B │ │ │ 0000f310: 0503 c040 4143 4648 4a4b b0a0 a026 6379 ...@ACFHJK...&cy │ │ │ 0000f320: 636c 6963 a028 736f 6c76 6162 6c65 a028 clic.(solvable.( │ │ │ -0000f330: 6d61 7468 636f 6d70 4090 3054 6044 c646 mathcomp@.0T`D.F │ │ │ -0000f340: f24b f2e5 257a aba1 d649 b9a0 052a 2990 .K..%z...I...*). │ │ │ -0000f350: 300b cf92 b499 be4f 34ad 0362 ea48 93be 0......O4..b.H.. │ │ │ -0000f360: a4a0 a026 706f 6c79 5859 a027 616c 6765 ...&polyXY.'alge │ │ │ +0000f330: 6d61 7468 636f 6d70 4090 3050 1004 ce97 mathcomp@.0P.... │ │ │ +0000f340: baa1 40d0 d663 dfb2 d3d2 b9a0 052a 2990 ..@..c.......*). │ │ │ +0000f350: 3075 4e0d edd4 f83d c4a1 9ecc 9c1b 23d8 0uN....=......#. │ │ │ +0000f360: c5a0 a026 706f 6c79 5859 a027 616c 6765 ...&polyXY.'alge │ │ │ 0000f370: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -0000f380: f5e7 0533 08c7 8237 987c f303 1222 01de ...3...7.|...".. │ │ │ +0000f380: fde4 451e c185 a2a1 766e 9c86 d85e ad44 ..E.....vn...^.D │ │ │ 0000f390: 9040 a0a0 a105 2bbd a040 9040 a0a0 0522 .@....+..@.@..." │ │ │ 0000f3a0: 88a0 40a1 0522 3cd0 4005 223d a005 2218 ..@.."<.@."=..". │ │ │ 0000f3b0: 0522 8f40 4140 40a0 a0a1 052b c8a0 4090 .".@A@@....+..@. │ │ │ 0000f3c0: a095 a002 320a 518f a005 2bc7 b090 4140 ....2.Q...+...A@ │ │ │ 0000f3d0: 40a0 95a0 020f c0a2 b8a0 90e0 4140 4040 @...........A@@@ │ │ │ 0000f3e0: 4040 a0a0 9190 b005 2bd8 052b d402 37ac @@......+..+..7. │ │ │ 0000f3f0: a36f a0a0 40a0 90c0 b005 2bd3 4140 9190 .o..@.....+.A@.. │ │ │ @@ -12502,16 +12502,16 @@ │ │ │ 00030d50: 9090 9005 4dee 4005 2000 a005 6772 9090 ....M.@. ...gr.. │ │ │ 00030d60: 9040 4040 4040 2939 3531 3432 3930 3836 .@@@@@)951429086 │ │ │ 00030d70: e005 676b 0562 0c05 6089 0538 4605 37b7 ..gk.b..`..8F.7. │ │ │ 00030d80: 0567 8805 2162 b040 4040 a095 a002 347d .g..!b.@@@....4} │ │ │ 00030d90: c1ff a027 5f45 4c50 495f 36c0 a022 6862 ...'_ELPI_6.."hb │ │ │ 00030da0: a022 6462 40a0 a0b0 05ac 2504 5c02 3752 ."db@.....%.\.7R │ │ │ 00030db0: 3720 045a a0a0 b005 ac28 0435 0237 523a 7 .Z.....(.5.7R: │ │ │ -00030dc0: ba04 3340 4240 4034 e478 41fa 9e4a 9710 ..3@B@@4.xA..J.. │ │ │ -00030dd0: 82f6 6f40 6e1d f784 95a6 be00 050e 6d00 ..o@n.........m. │ │ │ +00030dc0: ba04 3340 4240 4064 a3aa f2c9 7166 5569 ..3@B@@d....qfUi │ │ │ +00030dd0: 889b 5876 8414 1584 95a6 be00 050e 6d00 ..Xv..........m. │ │ │ 00030de0: 0100 3500 036a 3300 0361 dc08 0001 1f00 ..5..j3..a...... │ │ │ 00030df0: 90a0 a99c a0a0 a090 b090 a025 4c6f 6769 ...........%Logi │ │ │ 00030e00: 63a0 2449 6e69 74a0 2343 6f71 4022 6571 c.$Init.#Coq@"eq │ │ │ 00030e10: 0210 d00d 1040 41a0 8080 a0b6 a090 2152 .....@A.......!R │ │ │ 00030e20: 409b a0a0 90b0 a2a2 90a0 2673 7372 616c @.........&ssral │ │ │ 00030e30: 67a0 2761 6c67 6562 7261 a028 6d61 7468 g.'algebra.(math │ │ │ 00030e40: 636f 6d70 4025 4752 696e 672e 496e 7465 comp@%GRing.Inte │ │ │ @@ -33510,17 +33510,17 @@ │ │ │ 00082e50: 0c10 0c10 0c0c 1c0c 100c 100c 200c 1018 ............ ... │ │ │ 00082e60: 0c10 0c10 180c 1014 0c10 0c10 140c 1014 ................ │ │ │ 00082e70: 0c20 0c10 140c 180c 1014 0c10 0c10 140c . .............. │ │ │ 00082e80: 100c 100c 140c 100c 100c 180c 100c 100c ................ │ │ │ 00082e90: 0c0c 80c4 38fe b38e ba2f da2b d7ac dd96 ....8..../.+.... │ │ │ 00082ea0: 185a f000 0000 0400 0000 076c 6962 7261 .Z.........libra │ │ │ 00082eb0: 7279 0000 0000 0000 0672 0000 0000 0003 ry.......r...... │ │ │ -00082ec0: 0755 34e4 7841 fa9e 4a97 1082 f66f 406e .U4.xA..J....o@n │ │ │ -00082ed0: 1df7 0000 0007 6f70 6171 7565 7300 0000 ......opaques... │ │ │ +00082ec0: 0755 64a3 aaf2 c971 6655 6988 9b58 7684 .Ud....qfUi..Xv. │ │ │ +00082ed0: 1415 0000 0007 6f70 6171 7565 7300 0000 ......opaques... │ │ │ 00082ee0: 0000 030d d700 0000 0000 050e 81d2 0190 ................ │ │ │ 00082ef0: ee68 a5c8 d741 5397 1f23 70e3 9b00 0000 .h...AS..#p..... │ │ │ 00082f00: 0773 756d 6d61 7279 0000 0000 0000 0010 .summary........ │ │ │ -00082f10: 0000 0000 0000 0652 075e bcd8 f693 9056 .......R.^.....V │ │ │ -00082f20: 07d8 2329 0eeb 5d19 0000 0009 766d 6c69 ..#)..].....vmli │ │ │ +00082f10: 0000 0000 0000 0652 04eb 027c e83b 7199 .......R...|.;q. │ │ │ +00082f20: 4686 50be adfd 160c 0000 0009 766d 6c69 F.P.........vmli │ │ │ 00082f30: 6272 6172 7900 0000 0000 081c 6800 0000 brary.......h... │ │ │ 00082f40: 0000 0012 2bc4 38fe b38e ba2f da2b d7ac ....+.8..../.+.. │ │ │ 00082f50: dd96 185a f0 ...Z. │ │ ├── ./var/lib/coq/md5sums/libcoq-mathcomp-field.checksum │ │ │ @@ -1 +1 @@ │ │ │ -oheg9 │ │ │ +zw5z3