--- /srv/rebuilderd/tmp/rebuilderdIjkhxO/inputs/libcoq-mathcomp-field_2.3.0-1+b15_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdIjkhxO/out/libcoq-mathcomp-field_2.3.0-1+b15_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 05:10:54.000000 debian-binary │ --rw-r--r-- 0 0 0 2220 2025-12-28 05:10:54.000000 control.tar.xz │ --rw-r--r-- 0 0 0 3404072 2025-12-28 05:10:54.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 2216 2025-12-28 05:10:54.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 3403712 2025-12-28 05:10:54.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -3,15 +3,15 @@ │ │ │ Version: 2.3.0-1+b15 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 11817 │ │ │ Depends: libcoq-mathcomp-solvable (= 2.3.0-1+b15), libcoq-hierarchy-builder-zvtm8, libcoq-stdlib-vm656 │ │ │ Breaks: libssreflect-coq (<= 2.3.0-1+b15) │ │ │ Replaces: libssreflect-coq │ │ │ -Provides: libcoq-mathcomp-field-i0o11 │ │ │ +Provides: libcoq-mathcomp-field-vtjk7 │ │ │ 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 30cc f686 219f 7ccf thcomp@.0...!.|. │ │ │ 000002f0: 848b 2811 a19f 8634 93a0 a027 706f 6c79 ..(....4...'poly │ │ │ 00000300: 6469 76a0 2761 6c67 6562 7261 a028 6d61 div.'algebra.(ma │ │ │ 00000310: 7468 636f 6d70 4090 300e 78c1 ddb7 7a80 thcomp@.0.x...z. │ │ │ 00000320: ef27 d132 a407 49bb 76a0 a026 6d78 706f .'.2..I.v..&mxpo │ │ │ 00000330: 6c79 a027 616c 6765 6272 61a0 286d 6174 ly.'algebra.(mat │ │ │ -00000340: 6863 6f6d 7040 9030 3b81 7a18 b3ce 2396 hcomp@.0;.z...#. │ │ │ -00000350: 5923 8adc 2f27 379a a0a0 3067 656e 6572 Y#../'7...0gener │ │ │ +00000340: 6863 6f6d 7040 9030 fc8c 98e8 fb8b ad56 hcomp@.0.......V │ │ │ +00000350: ef97 cc6d 513a 231b a0a0 3067 656e 6572 ...mQ:#...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 3053 0675 3338 6c72 5774 a601 0440 @.0S.u38lrWt...@ │ │ │ 00000390: 5133 5aa0 a026 7373 726e 756d a027 616c Q3Z..&ssrnum.'al │ │ │ 000003a0: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 000003b0: 9030 dfac 5516 47d9 dc42 e295 3ff6 96c5 .0..U.G..B..?... │ │ │ 000003c0: d752 a0a0 2c63 6c6f 7365 645f 6669 656c .R..,closed_fiel │ │ │ 000003d0: 64a0 2566 6965 6c64 a028 6d61 7468 636f d.%field.(mathco │ │ │ -000003e0: 6d70 4090 3085 9a90 4500 e49d d203 bb2a mp@.0...E......* │ │ │ -000003f0: be15 8950 44a0 a026 7373 7269 6e74 a027 ...PD..&ssrint.' │ │ │ +000003e0: 6d70 4090 307d c615 828d f15e 74bc cb59 mp@.0}.....^t..Y │ │ │ +000003f0: 5d7d ba84 dea0 a026 7373 7269 6e74 a027 ]}.....&ssrint.' │ │ │ 00000400: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 00000410: 7040 9030 62dc 790f 3232 efc0 653d 7f16 p@.0b.y.22..e=.. │ │ │ 00000420: 90b0 359e a0a0 2b61 7263 6869 6d65 6465 ..5...+archimede │ │ │ 00000430: 616e a027 616c 6765 6272 61a0 286d 6174 an.'algebra.(mat │ │ │ 00000440: 6863 6f6d 7040 9030 5cfb 7184 96b7 4615 hcomp@.0\.q...F. │ │ │ 00000450: f223 2e9c ba04 a602 a0a0 2372 6174 a027 .#........#rat.' │ │ │ 00000460: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 00000470: 7040 9030 7a9f 6219 7981 7a20 6441 33c3 p@.0z.b.y.z dA3. │ │ │ 00000480: 1683 07a8 a0a0 2669 6e74 6469 76a0 2761 ......&intdiv.'a │ │ │ 00000490: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000004a0: 4090 307f e7ae 1543 2379 19b5 063d 64b9 @.0....C#y...=d. │ │ │ -000004b0: 280c 19a0 a037 616c 6765 6272 6169 6373 (....7algebraics │ │ │ +000004a0: 4090 30ea d674 af1b 8dd7 3a64 685d 2c77 @.0..t....:dh],w │ │ │ +000004b0: 7376 a4a0 a037 616c 6765 6272 6169 6373 sv...7algebraics │ │ │ 000004c0: 5f66 756e 6461 6d65 6e74 616c 73a0 2566 _fundamentals.%f │ │ │ 000004d0: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -000004e0: 30ea 7ba5 1934 9dfe fd86 242b f417 074f 0.{..4....$+...O │ │ │ -000004f0: 0325 352e 342e 30a0 4040 b851 e843 b974 .%5.4.0.@@.Q.C.t │ │ │ -00000500: 9c21 ade2 26a9 0040 638f 8495 a6be 0007 .!..&..@c....... │ │ │ +000004e0: 309b 8aa5 919a e26f 023c 2991 7677 27d2 0......o.<).vw'. │ │ │ +000004f0: 5225 352e 342e 30a0 4040 d38b 7711 a2ae R%5.4.0.@@..w... │ │ │ +00000500: badc f4c7 b6ea 9013 093d 8495 a6be 0007 .........=...... │ │ │ 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 c1b1 f18d c94b 3a54 f588 ee03 @B@@.....K:T.... │ │ │ -00074f40: 40c5 a3b3 8495 a6be 0002 9adc 0000 8464 @..............d │ │ │ +00074f30: 4042 4040 ba1e 565d f513 031c aa40 00df @B@@..V].....@.. │ │ │ +00074f40: 1eca 5a61 8495 a6be 0002 9adc 0000 8464 ..Za...........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 c1b1 f18d c94b ........J*.....K │ │ │ -000a1bf0: 3a54 f588 ee03 40c5 a3b3 0000 0007 6f70 :T....@.......op │ │ │ +000a1be0: 050a 0000 0000 0007 4a2a ba1e 565d f513 ........J*..V].. │ │ │ +000a1bf0: 031c aa40 00df 1eca 5a61 0000 0007 6f70 ...@....Za....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: b851 e843 b974 9c21 ade2 26a9 0040 638f .Q.C.t.!..&..@c. │ │ │ +000a1c40: d38b 7711 a2ae badc f4c7 b6ea 9013 093d ..w............= │ │ │ 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 ccf6 8621 (mathcomp@.0...! │ │ │ 00000330: 9f7c cf84 8b28 11a1 9f86 3493 a0a0 2770 .|...(....4...'p │ │ │ 00000340: 6f6c 7964 6976 a027 616c 6765 6272 61a0 olydiv.'algebra. │ │ │ 00000350: 286d 6174 6863 6f6d 7040 9030 0e78 c1dd (mathcomp@.0.x.. │ │ │ 00000360: b77a 80ef 27d1 32a4 0749 bb76 a0a0 266d .z..'.2..I.v..&m │ │ │ 00000370: 7870 6f6c 79a0 2761 6c67 6562 7261 a028 xpoly.'algebra.( │ │ │ -00000380: 6d61 7468 636f 6d70 4090 303b 817a 18b3 mathcomp@.0;.z.. │ │ │ -00000390: ce23 9659 238a dc2f 2737 9aa0 a02c 636c .#.Y#../'7...,cl │ │ │ +00000380: 6d61 7468 636f 6d70 4090 30fc 8c98 e8fb mathcomp@.0..... │ │ │ +00000390: 8bad 56ef 97cc 6d51 3a23 1ba0 a02c 636c ..V...mQ:#...,cl │ │ │ 000003a0: 6f73 6564 5f66 6965 6c64 a025 6669 656c osed_field.%fiel │ │ │ -000003b0: 64a0 286d 6174 6863 6f6d 7040 9030 859a d.(mathcomp@.0.. │ │ │ -000003c0: 9045 00e4 9dd2 03bb 2abe 1589 5044 a0a0 .E......*...PD.. │ │ │ +000003b0: 64a0 286d 6174 6863 6f6d 7040 9030 7dc6 d.(mathcomp@.0}. │ │ │ +000003c0: 1582 8df1 5e74 bccb 595d 7dba 84de a0a0 ....^t..Y]}..... │ │ │ 000003d0: 2673 7372 6e75 6da0 2761 6c67 6562 7261 &ssrnum.'algebra │ │ │ 000003e0: a028 6d61 7468 636f 6d70 4090 30df ac55 .(mathcomp@.0..U │ │ │ 000003f0: 1647 d9dc 42e2 953f f696 c5d7 52a0 a026 .G..B..?....R..& │ │ │ 00000400: 7373 7269 6e74 a027 616c 6765 6272 61a0 ssrint.'algebra. │ │ │ 00000410: 286d 6174 6863 6f6d 7040 9030 62dc 790f (mathcomp@.0b.y. │ │ │ 00000420: 3232 efc0 653d 7f16 90b0 359e a0a0 2b61 22..e=....5...+a │ │ │ 00000430: 7263 6869 6d65 6465 616e a027 616c 6765 rchimedean.'alge │ │ │ 00000440: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ 00000450: 5cfb 7184 96b7 4615 f223 2e9c ba04 a602 \.q...F..#...... │ │ │ 00000460: a0a0 2372 6174 a027 616c 6765 6272 61a0 ..#rat.'algebra. │ │ │ 00000470: 286d 6174 6863 6f6d 7040 9030 7a9f 6219 (mathcomp@.0z.b. │ │ │ 00000480: 7981 7a20 6441 33c3 1683 07a8 a0a0 2669 y.z dA3.......&i │ │ │ 00000490: 6e74 6469 76a0 2761 6c67 6562 7261 a028 ntdiv.'algebra.( │ │ │ -000004a0: 6d61 7468 636f 6d70 4090 307f e7ae 1543 mathcomp@.0....C │ │ │ -000004b0: 2379 19b5 063d 64b9 280c 19a0 a026 6379 #y...=d.(....&cy │ │ │ +000004a0: 6d61 7468 636f 6d70 4090 30ea d674 af1b mathcomp@.0..t.. │ │ │ +000004b0: 8dd7 3a64 685d 2c77 7376 a4a0 a026 6379 ..:dh],wsv...&cy │ │ │ 000004c0: 636c 6963 a028 736f 6c76 6162 6c65 a028 clic.(solvable.( │ │ │ -000004d0: 6d61 7468 636f 6d70 4090 3005 b6cd 9538 mathcomp@.0....8 │ │ │ -000004e0: ce65 91b0 959b d9ee 0530 24a0 a026 7067 .e.......0$..&pg │ │ │ +000004d0: 6d61 7468 636f 6d70 4090 3059 f3c5 5e5d mathcomp@.0Y..^] │ │ │ +000004e0: bb95 148e 7093 4cd3 34f4 f0a0 a026 7067 ....p.L.4....&pg │ │ │ 000004f0: 726f 7570 a028 736f 6c76 6162 6c65 a028 roup.(solvable.( │ │ │ -00000500: 6d61 7468 636f 6d70 4090 3058 967d 1f31 mathcomp@.0X.}.1 │ │ │ -00000510: 7d2b 9a64 dbe1 3f3e 588a 89a0 a025 7379 }+.d..?>X....%sy │ │ │ +00000500: 6d61 7468 636f 6d70 4090 30dc 4b93 26c6 mathcomp@.0.K.&. │ │ │ +00000510: 7e5d 5983 280a 9999 425e 18a0 a025 7379 ~]Y.(...B^...%sy │ │ │ 00000520: 6c6f 77a0 2873 6f6c 7661 626c 65a0 286d low.(solvable.(m │ │ │ -00000530: 6174 6863 6f6d 7040 9030 2235 6f81 050f athcomp@.0"5o... │ │ │ -00000540: 808b d48b b309 027b cfca a0a0 2866 616c .......{....(fal │ │ │ +00000530: 6174 6863 6f6d 7040 9030 dfc5 fd8c 41bd athcomp@.0....A. │ │ │ +00000540: b437 d786 ddf9 0862 f851 a0a0 2866 616c .7.....b.Q..(fal │ │ │ 00000550: 6765 6272 61a0 2566 6965 6c64 a028 6d61 gebra.%field.(ma │ │ │ -00000560: 7468 636f 6d70 4090 3039 54cd 7ed2 c0aa thcomp@.09T.~... │ │ │ -00000570: 8f1b 2510 f7c9 96dd 16a0 a028 6669 656c ..%........(fiel │ │ │ +00000560: 7468 636f 6d70 4090 3007 e44b d06d e2b7 thcomp@.0..K.m.. │ │ │ +00000570: ea1c e1d8 7678 03c2 0ea0 a028 6669 656c ....vx.....(fiel │ │ │ 00000580: 6465 7874 a025 6669 656c 64a0 286d 6174 dext.%field.(mat │ │ │ -00000590: 6863 6f6d 7040 9030 4563 486f 43ff 739c hcomp@.0EcHoC.s. │ │ │ -000005a0: 3b7b 362f 4c32 b9ea a0a0 2973 6570 6172 ;{6/L2....)separ │ │ │ +00000590: 6863 6f6d 7040 9030 4058 a9d2 00c8 87d4 hcomp@.0@X...... │ │ │ +000005a0: 2a83 069f 029c cc11 a0a0 2973 6570 6172 *.........)separ │ │ │ 000005b0: 6162 6c65 a025 6669 656c 64a0 286d 6174 able.%field.(mat │ │ │ -000005c0: 6863 6f6d 7040 9030 21de 42ef 36a9 29c9 hcomp@.0!.B.6.). │ │ │ -000005d0: 324c 33db 1191 21c9 a0a0 2667 616c 6f69 2L3...!...&galoi │ │ │ +000005c0: 6863 6f6d 7040 9030 5922 2888 7610 455b hcomp@.0Y"(.v.E[ │ │ │ +000005d0: 5648 4f0b b03b 2df8 a0a0 2667 616c 6f69 VHO..;-...&galoi │ │ │ 000005e0: 73a0 2566 6965 6c64 a028 6d61 7468 636f s.%field.(mathco │ │ │ -000005f0: 6d70 4090 30c1 d953 86c9 c2d4 fc96 bbb4 mp@.0..S........ │ │ │ -00000600: 110e 3067 f325 352e 342e 30a0 4040 16c4 ..0g.%5.4.0.@@.. │ │ │ -00000610: eb57 c13c b865 9b49 ad03 48ef ff91 8495 .W.<.e.I..H..... │ │ │ +000005f0: 6d70 4090 3064 0750 5dd9 7ffa 200e 3856 mp@.0d.P]... .8V │ │ │ +00000600: 9fac 6b11 e725 352e 342e 30a0 4040 85f2 ..k..%5.4.0.@@.. │ │ │ +00000610: ce50 98bf a7cd 524b 0275 66c4 6928 8495 .P....RK.uf.i(.. │ │ │ 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 859a 9045 00e4 9dd2 03bb 2abe p@.0...E......*. │ │ │ -00008b40: 1589 5044 a005 1447 9030 c1d9 5386 c9c2 ..PD...G.0..S... │ │ │ -00008b50: d4fc 96bb b411 0e30 67f3 a0a0 0507 d0a0 .......0g....... │ │ │ -00008b60: 0507 cfa0 0507 ce40 9030 7fe7 ae15 4323 .......@.0....C# │ │ │ -00008b70: 7919 b506 3d64 b928 0c19 a0a0 2573 796c y...=d.(....%syl │ │ │ +00008b30: 7040 9030 7dc6 1582 8df1 5e74 bccb 595d p@.0}.....^t..Y] │ │ │ +00008b40: 7dba 84de a005 1447 9030 6407 505d d97f }......G.0d.P].. │ │ │ +00008b50: fa20 0e38 569f ac6b 11e7 a0a0 0507 d0a0 . .8V..k........ │ │ │ +00008b60: 0507 cfa0 0507 ce40 9030 ead6 74af 1b8d .......@.0..t... │ │ │ +00008b70: d73a 6468 5d2c 7773 76a4 a0a0 2573 796c .:dh],wsv...%syl │ │ │ 00008b80: 6f77 a028 736f 6c76 6162 6c65 a028 6d61 ow.(solvable.(ma │ │ │ -00008b90: 7468 636f 6d70 4090 3022 356f 8105 0f80 thcomp@.0"5o.... │ │ │ -00008ba0: 8bd4 8bb3 0902 7bcf ca90 40a0 4040 a0a0 ......{...@.@@.. │ │ │ +00008b90: 7468 636f 6d70 4090 30df c5fd 8c41 bdb4 thcomp@.0....A.. │ │ │ +00008ba0: 37d7 86dd f908 62f8 5190 40a0 4040 a0a0 7.....b.Q.@.@@.. │ │ │ 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 40ea 7ba5 1934 9dfe fd86 @@...@@.{..4.... │ │ │ -00009a70: 242b f417 074f 0384 95a6 be00 0a60 3900 $+...O.......`9. │ │ │ +00009a60: 4040 0503 cd40 409b 8aa5 919a e26f 023c @@...@@......o.< │ │ │ +00009a70: 2991 7677 27d2 5284 95a6 be00 0a60 3900 ).vw'.R......`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 ea7b a519 349d fefd 8624 .....I.{..4....$ │ │ │ -000afb80: 2bf4 1707 4f03 0000 0007 6f70 6171 7565 +...O.....opaque │ │ │ +000afb70: 0000 0000 9449 9b8a a591 9ae2 6f02 3c29 .....I......o.<) │ │ │ +000afb80: 9176 7727 d252 0000 0007 6f70 6171 7565 .vw'.R....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 16c4 eb57 ...............W │ │ │ -000afbd0: c13c b865 9b49 ad03 48ef ff91 0000 0009 .<.e.I..H....... │ │ │ +000afbc0: 0000 0010 0000 0000 0000 05fe 85f2 ce50 ...............P │ │ │ +000afbd0: 98bf a7cd 524b 0275 66c4 6928 0000 0009 ....RK.uf.i(.... │ │ │ 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 305c fb71 .(mathcomp@.0\.q │ │ │ 00000410: 8496 b746 15f2 232e 9cba 04a6 02a0 a023 ...F..#........# │ │ │ 00000420: 7261 74a0 2761 6c67 6562 7261 a028 6d61 rat.'algebra.(ma │ │ │ 00000430: 7468 636f 6d70 4090 307a 9f62 1979 817a thcomp@.0z.b.y.z │ │ │ 00000440: 2064 4133 c316 8307 a8a0 a026 6669 6e61 dA3.......&fina │ │ │ 00000450: 6c67 a027 616c 6765 6272 61a0 286d 6174 lg.'algebra.(mat │ │ │ -00000460: 6863 6f6d 7040 9030 8e88 2bdb 69af 6edf hcomp@.0..+.i.n. │ │ │ -00000470: f204 36cc 6cb3 83c4 a0a0 257a 6d6f 6470 ..6.l.....%zmodp │ │ │ +00000460: 6863 6f6d 7040 9030 fcc2 781b 8cd5 0394 hcomp@.0..x..... │ │ │ +00000470: fabd 8ed3 2996 c3b9 a0a0 257a 6d6f 6470 ....).....%zmodp │ │ │ 00000480: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000490: 6f6d 7040 9030 d07c 5667 3527 8400 e24e omp@.0.|Vg5'...N │ │ │ -000004a0: 2119 72f4 2324 a0a0 266d 6174 7269 78a0 !.r.#$..&matrix. │ │ │ +00000490: 6f6d 7040 9030 b67c 8e60 ef18 a2ef f470 omp@.0.|.`.....p │ │ │ +000004a0: 114e 807d 6f75 a0a0 266d 6174 7269 78a0 .N.}ou..&matrix. │ │ │ 000004b0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004c0: 6d70 4090 3016 4c49 220e 3b41 5fe5 93e7 mp@.0.LI".;A_... │ │ │ -000004d0: 7a03 79b6 11a0 a029 6d78 616c 6765 6272 z.y....)mxalgebr │ │ │ +000004c0: 6d70 4090 30f8 eeeb 4a49 8103 7343 2e40 mp@.0...JI..sC.@ │ │ │ +000004d0: f69c e34d 83a0 a029 6d78 616c 6765 6272 ...M...)mxalgebr │ │ │ 000004e0: 61a0 2761 6c67 6562 7261 a028 6d61 7468 a.'algebra.(math │ │ │ -000004f0: 636f 6d70 4090 302b cb30 9cab 6d00 3ebd comp@.0+.0..m.>. │ │ │ -00000500: 856f 1a70 44d3 01a0 a026 6d78 706f 6c79 .o.pD....&mxpoly │ │ │ +000004f0: 636f 6d70 4090 309d 142b 173b 9bb9 c62a comp@.0..+.;...* │ │ │ +00000500: 8636 9ff3 de50 74a0 a026 6d78 706f 6c79 .6...Pt..&mxpoly │ │ │ 00000510: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000520: 6f6d 7040 9030 3b81 7a18 b3ce 2396 5923 omp@.0;.z...#.Y# │ │ │ -00000530: 8adc 2f27 379a a0a0 2676 6563 746f 72a0 ../'7...&vector. │ │ │ +00000520: 6f6d 7040 9030 fc8c 98e8 fb8b ad56 ef97 omp@.0.......V.. │ │ │ +00000530: cc6d 513a 231b a0a0 2676 6563 746f 72a0 .mQ:#...&vector. │ │ │ 00000540: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -00000550: 6d70 4090 301b 535e b945 b063 bc97 4863 mp@.0.S^.E.c..Hc │ │ │ -00000560: 6e02 8a8a 5ca0 a026 696e 7464 6976 a027 n...\..&intdiv.' │ │ │ +00000550: 6d70 4090 3083 059a 094b 2e74 47c8 0b49 mp@.0....K.tG..I │ │ │ +00000560: c142 eb3d e2a0 a026 696e 7464 6976 a027 .B.=...&intdiv.' │ │ │ 00000570: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000580: 7040 9030 7fe7 ae15 4323 7919 b506 3d64 p@.0....C#y...=d │ │ │ -00000590: b928 0c19 a0a0 2866 616c 6765 6272 61a0 .(....(falgebra. │ │ │ +00000580: 7040 9030 ead6 74af 1b8d d73a 6468 5d2c p@.0..t....:dh], │ │ │ +00000590: 7773 76a4 a0a0 2866 616c 6765 6272 61a0 wsv...(falgebra. │ │ │ 000005a0: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -000005b0: 4090 3039 54cd 7ed2 c0aa 8f1b 2510 f7c9 @.09T.~.....%... │ │ │ -000005c0: 96dd 16a0 a028 6669 656c 6465 7874 a025 .....(fieldext.% │ │ │ +000005b0: 4090 3007 e44b d06d e2b7 ea1c e1d8 7678 @.0..K.m......vx │ │ │ +000005c0: 03c2 0ea0 a028 6669 656c 6465 7874 a025 .....(fieldext.% │ │ │ 000005d0: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -000005e0: 9030 4563 486f 43ff 739c 3b7b 362f 4c32 .0EcHoC.s.;{6/L2 │ │ │ -000005f0: b9ea a0a0 2973 6570 6172 6162 6c65 a025 ....)separable.% │ │ │ +000005e0: 9030 4058 a9d2 00c8 87d4 2a83 069f 029c .0@X......*..... │ │ │ +000005f0: cc11 a0a0 2973 6570 6172 6162 6c65 a025 ....)separable.% │ │ │ 00000600: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000610: 9030 21de 42ef 36a9 29c9 324c 33db 1191 .0!.B.6.).2L3... │ │ │ -00000620: 21c9 a0a0 2667 616c 6f69 73a0 2566 6965 !...&galois.%fie │ │ │ -00000630: 6c64 a028 6d61 7468 636f 6d70 4090 30c1 ld.(mathcomp@.0. │ │ │ -00000640: d953 86c9 c2d4 fc96 bbb4 110e 3067 f3a0 .S..........0g.. │ │ │ +00000610: 9030 5922 2888 7610 455b 5648 4f0b b03b .0Y"(.v.E[VHO..; │ │ │ +00000620: 2df8 a0a0 2667 616c 6f69 73a0 2566 6965 -...&galois.%fie │ │ │ +00000630: 6c64 a028 6d61 7468 636f 6d70 4090 3064 ld.(mathcomp@.0d │ │ │ +00000640: 0750 5dd9 7ffa 200e 3856 9fac 6b11 e7a0 .P]... .8V..k... │ │ │ 00000650: a024 616c 6743 a025 6669 656c 64a0 286d .$algC.%field.(m │ │ │ -00000660: 6174 6863 6f6d 7040 9030 c1b1 f18d c94b athcomp@.0.....K │ │ │ -00000670: 3a54 f588 ee03 40c5 a3b3 a0a0 2a63 7963 :T....@.....*cyc │ │ │ +00000660: 6174 6863 6f6d 7040 9030 ba1e 565d f513 athcomp@.0..V].. │ │ │ +00000670: 031c aa40 00df 1eca 5a61 a0a0 2a63 7963 ...@....Za..*cyc │ │ │ 00000680: 6c6f 746f 6d69 63a0 2566 6965 6c64 a028 lotomic.%field.( │ │ │ -00000690: 6d61 7468 636f 6d70 4090 30a1 bc35 bb90 mathcomp@.0..5.. │ │ │ -000006a0: e17f a058 6f2f f404 0716 f325 352e 342e ...Xo/.....%5.4. │ │ │ -000006b0: 30a0 4040 32a2 2ce3 2726 ace5 a4ab ceeb 0.@@2.,.'&...... │ │ │ -000006c0: 9b8c a1fc 8495 a6be 0003 0dc4 0000 ab56 ...............V │ │ │ +00000690: 6d61 7468 636f 6d70 4090 30f3 ede3 aba7 mathcomp@.0..... │ │ │ +000006a0: 3a53 d5f8 c7f8 5085 fa71 a025 352e 342e :S....P..q.%5.4. │ │ │ +000006b0: 30a0 4040 8103 1b60 71e0 ea56 0946 d701 0.@@...`q..V.F.. │ │ │ +000006c0: 52bb 40c6 8495 a6be 0003 0dc4 0000 ab56 R.@............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 30a1 bc35 bb90 e17f a058 6f2f f404 ..0..5.....Xo/.. │ │ │ -00010480: 0716 f390 40a0 a095 a002 1d04 1afc a040 ....@..........@ │ │ │ +00010470: f290 30f3 ede3 aba7 3a53 d5f8 c7f8 5085 ..0.....:S....P. │ │ │ +00010480: fa71 a090 40a0 a095 a002 1d04 1afc a040 .q..@..........@ │ │ │ 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 47be b3ab I.(..].G@B@@G... │ │ │ -000314a0: b9ce f2f0 1d27 30de 3d71 53c8 8495 a6be .....'0.=qS..... │ │ │ +00031490: 4902 28cd eb5d 0447 4042 4040 e871 3788 I.(..].G@B@@.q7. │ │ │ +000314a0: 5ee2 8efb 658a 541a f02d 49f9 8495 a6be ^...e.T..-I..... │ │ │ 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 d847 beb3 abb9 cef2 f01d 2730 de3d ...G........'0.= │ │ │ -0009caf0: 7153 c800 0000 076f 7061 7175 6573 0000 qS.....opaques.. │ │ │ +0009cae0: 030d d8e8 7137 885e e28e fb65 8a54 1af0 ....q7.^...e.T.. │ │ │ +0009caf0: 2d49 f900 0000 076f 7061 7175 6573 0000 -I.....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 a432 a22c e327 26ac .........2.,.'&. │ │ │ -0009cb40: e5a4 abce eb9b 8ca1 fc00 0000 0976 6d6c .............vml │ │ │ +0009cb30: 1000 0000 0000 0006 a481 031b 6071 e0ea ............`q.. │ │ │ +0009cb40: 5609 46d7 0152 bb40 c600 0000 0976 6d6c V.F..R.@.....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 3088 2d00 7939 nit.#Coq@.0.-.y9 │ │ │ 00000060: 19c0 98cf c327 24e3 883a 76a0 a024 616c .....'$..:v..$al │ │ │ 00000070: 6743 a025 6669 656c 64a0 286d 6174 6863 gC.%field.(mathc │ │ │ -00000080: 6f6d 7040 9030 c1b1 f18d c94b 3a54 f588 omp@.0.....K:T.. │ │ │ -00000090: ee03 40c5 a3b3 a0a0 2661 6c67 6e75 6da0 ..@.....&algnum. │ │ │ +00000080: 6f6d 7040 9030 ba1e 565d f513 031c aa40 omp@.0..V].....@ │ │ │ +00000090: 00df 1eca 5a61 a0a0 2661 6c67 6e75 6da0 ....Za..&algnum. │ │ │ 000000a0: 2566 6965 6c64 a028 6d61 7468 636f 6d70 %field.(mathcomp │ │ │ -000000b0: 4090 3047 beb3 abb9 cef2 f01d 2730 de3d @.0G........'0.= │ │ │ -000000c0: 7153 c8a0 a028 6669 6e66 6965 6c64 a025 qS...(finfield.% │ │ │ +000000b0: 4090 30e8 7137 885e e28e fb65 8a54 1af0 @.0.q7.^...e.T.. │ │ │ +000000c0: 2d49 f9a0 a028 6669 6e66 6965 6c64 a025 -I...(finfield.% │ │ │ 000000d0: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -000000e0: 9030 5d8f 92ac 659a 0891 3ed4 5a9a 1f9b .0]...e...>.Z... │ │ │ -000000f0: 24ee a0a0 2671 6670 6f6c 79a0 2566 6965 $...&qfpoly.%fie │ │ │ -00000100: 6c64 a028 6d61 7468 636f 6d70 4090 30b3 ld.(mathcomp@.0. │ │ │ -00000110: c889 1cbd 8bb0 3d11 28eb e5ac 1eff 7d25 ......=.(.....}% │ │ │ -00000120: 352e 342e 30a0 4040 eb83 7cd9 8986 1cda 5.4.0.@@..|..... │ │ │ -00000130: 193f 59b6 e976 4612 8495 a6be 0000 022a .?Y..vF........* │ │ │ +000000e0: 9030 43c1 97a1 70ef d043 1b9a 23ae aa5e .0C...p..C..#..^ │ │ │ +000000f0: 819d a0a0 2671 6670 6f6c 79a0 2566 6965 ....&qfpoly.%fie │ │ │ +00000100: 6c64 a028 6d61 7468 636f 6d70 4090 30fa ld.(mathcomp@.0. │ │ │ +00000110: 340e e30c 7901 c7ec 4c4c 409a 0a80 e725 4...y...LL@....% │ │ │ +00000120: 352e 342e 30a0 4040 5e9a 6e9d 5d86 579c 5.4.0.@@^.n.].W. │ │ │ +00000130: 47dc b485 d88c 9782 8495 a6be 0000 022a G..............* │ │ │ 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 3047 beb3 abb9 cef2 thcomp@.0G...... │ │ │ -000001a0: f01d 2730 de3d 7153 c8a0 a026 7166 706f ..'0.=qS...&qfpo │ │ │ +00000190: 7468 636f 6d70 4090 30e8 7137 885e e28e thcomp@.0.q7.^.. │ │ │ +000001a0: fb65 8a54 1af0 2d49 f9a0 a026 7166 706f .e.T..-I...&qfpo │ │ │ 000001b0: 6c79 a025 6669 656c 64a0 286d 6174 6863 ly.%field.(mathc │ │ │ -000001c0: 6f6d 7040 9030 b3c8 891c bd8b b03d 1128 omp@.0.......=.( │ │ │ -000001d0: ebe5 ac1e ff7d 9040 a0a0 94a0 a040 90a0 .....}.@.....@.. │ │ │ +000001c0: 6f6d 7040 9030 fa34 0ee3 0c79 01c7 ec4c omp@.0.4...y...L │ │ │ +000001d0: 4c40 9a0a 80e7 9040 a0a0 94a0 a040 90a0 L@.....@.....@.. │ │ │ 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 8d75 73c4 a7a0 462f 45c5 @..@@@.us...F/E. │ │ │ -00000380: f2d2 41ac 11a2 8495 a6be 0000 0001 0000 ..A............. │ │ │ +00000370: 4004 2e40 4040 41b0 2b7a 51bd aa30 e388 @..@@@A.+zQ..0.. │ │ │ +00000380: 2925 d5ae 010f 8495 a6be 0000 0001 0000 )%.............. │ │ │ 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 3e8d 7573 ....8.......>.us │ │ │ -00000410: c4a7 a046 2f45 c5f2 d241 ac11 a200 0000 ...F/E...A...... │ │ │ +00000400: 0000 0001 3800 0000 0000 0002 3e41 b02b ....8.......>A.+ │ │ │ +00000410: 7a51 bdaa 30e3 8829 25d5 ae01 0f00 0000 zQ..0..)%....... │ │ │ 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 18eb 837c d989 861c da19 3f59 b6e9 .....|......?Y.. │ │ │ -00000470: 7646 1200 0000 0976 6d6c 6962 7261 7279 vF.....vmlibrary │ │ │ +00000460: 0001 185e 9a6e 9d5d 8657 9c47 dcb4 85d8 ...^.n.].W.G.... │ │ │ +00000470: 8c97 8200 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: 8da5 faa0 a024 706f 6c79 a027 616c 6765 .....$poly.'alge │ │ │ 00000260: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ 00000270: ccf6 8621 9f7c cf84 8b28 11a1 9f86 3493 ...!.|...(....4. │ │ │ 00000280: a0a0 2770 6f6c 7964 6976 a027 616c 6765 ..'polydiv.'alge │ │ │ 00000290: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ 000002a0: 0e78 c1dd b77a 80ef 27d1 32a4 0749 bb76 .x...z..'.2..I.v │ │ │ 000002b0: a0a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ -000002c0: 7261 a028 6d61 7468 636f 6d70 4090 3016 ra.(mathcomp@.0. │ │ │ -000002d0: 4c49 220e 3b41 5fe5 93e7 7a03 79b6 11a0 LI".;A_...z.y... │ │ │ +000002c0: 7261 a028 6d61 7468 636f 6d70 4090 30f8 ra.(mathcomp@.0. │ │ │ +000002d0: eeeb 4a49 8103 7343 2e40 f69c e34d 83a0 ..JI..sC.@...M.. │ │ │ 000002e0: a026 6d78 706f 6c79 a027 616c 6765 6272 .&mxpoly.'algebr │ │ │ -000002f0: 61a0 286d 6174 6863 6f6d 7040 9030 3b81 a.(mathcomp@.0;. │ │ │ -00000300: 7a18 b3ce 2396 5923 8adc 2f27 379a a0a0 z...#.Y#../'7... │ │ │ +000002f0: 61a0 286d 6174 6863 6f6d 7040 9030 fc8c a.(mathcomp@.0.. │ │ │ +00000300: 98e8 fb8b ad56 ef97 cc6d 513a 231b a0a0 .....V...mQ:#... │ │ │ 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 6533 e93b 4397 a6ec 5568 1329 p@.0e3.;C...Uh.) │ │ │ -00000340: 696d 1e3d 2535 2e34 2e30 a040 400e 7a02 im.=%5.4.0.@@.z. │ │ │ -00000350: c10d 3e71 cff8 88cf a8b9 8ded d884 95a6 ..>q............ │ │ │ +00000340: 696d 1e3d 2535 2e34 2e30 a040 40b7 3050 im.=%5.4.0.@@.0P │ │ │ +00000350: 593f f39c 5aa7 a255 00cb 6f89 9284 95a6 Y?..Z..U..o..... │ │ │ 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 3b81 7a18 b3ce 2396 5923 omp@.0;.z...#.Y# │ │ │ -00012240: 8adc 2f27 379a a0a0 0508 80a0 0508 7fa0 ../'7........... │ │ │ +00012230: 6f6d 7040 9030 fc8c 98e8 fb8b ad56 ef97 omp@.0.......V.. │ │ │ +00012240: cc6d 513a 231b a0a0 0508 80a0 0508 7fa0 .mQ:#........... │ │ │ 00012250: 0508 7e40 9030 6533 e93b 4397 a6ec 5568 ..~@.0e3.;C...Uh │ │ │ 00012260: 1329 696d 1e3d 9040 a0a0 a005 33c3 a040 .)im.=.@....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 859a 9045 00e4 9dd2 ....@@@@...E.... │ │ │ -000420a0: 03bb 2abe 1589 5044 8495 a6be 0004 d440 ..*...PD.......@ │ │ │ +00042090: 050e b4b0 4040 4040 7dc6 1582 8df1 5e74 ....@@@@}.....^t │ │ │ +000420a0: bccb 595d 7dba 84de 8495 a6be 0004 d440 ..Y]}..........@ │ │ │ 000420b0: 0001 00f2 0003 5b0f 0003 54e4 0800 00cf ......[...T..... │ │ │ 000420c0: 0090 a0b7 a090 2166 40a9 9ba0 a090 b0a2 ......!f@....... │ │ │ 000420d0: 90a0 2673 7372 616c 67a0 2761 6c67 6562 ..&ssralg.'algeb │ │ │ 000420e0: 7261 a028 6d61 7468 636f 6d70 4025 4752 ra.(mathcomp@%GR │ │ │ 000420f0: 696e 6727 666f 726d 756c 6102 16c6 fa04 ing'formula..... │ │ │ 00042100: 40a0 8080 90a9 9aa0 90b0 a2a2 9004 1204 @............... │ │ │ 00042110: 0c25 4669 656c 6424 736f 7274 0232 fce1 .%Field$sort.2.. │ │ │ @@ -37085,17 +37085,17 @@ │ │ │ 00090dc0: 4a4a 4a37 0125 3e49 8026 5400 0000 0104 JJJ7.%>I.&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 3b85 9a90 4500 e49d ].......;...E... │ │ │ -00090e40: d203 bb2a be15 8950 4400 0000 076f 7061 ...*...PD....opa │ │ │ +00090e30: 5d00 0000 0000 041d 3b7d c615 828d f15e ].......;}.....^ │ │ │ +00090e40: 74bc cb59 5d7d ba84 de00 0000 076f 7061 t..Y]}.......opa │ │ │ 00090e50: 7175 6573 0000 0000 0004 20a8 0000 0000 ques...... ..... │ │ │ 00090e60: 0004 d454 b042 1ec3 0b19 3729 14fd 11d4 ...T.B....7).... │ │ │ 00090e70: b75b 9c4e 0000 0007 7375 6d6d 6172 7900 .[.N....summary. │ │ │ -00090e80: 0000 0000 0000 1000 0000 0000 0003 3d0e ..............=. │ │ │ -00090e90: 7a02 c10d 3e71 cff8 88cf a8b9 8ded d800 z...>q.......... │ │ │ +00090e80: 0000 0000 0000 1000 0000 0000 0003 3db7 ..............=. │ │ │ +00090e90: 3050 593f f39c 5aa7 a255 00cb 6f89 9200 0PY?..Z..U..o... │ │ │ 00090ea0: 0000 0976 6d6c 6962 7261 7279 0000 0000 ...vmlibrary.... │ │ │ 00090eb0: 0008 f50c 0000 0000 0000 18fe fb90 d797 ................ │ │ │ 00090ec0: 8872 e8ac fac4 b3da 9728 9cf6 .r.......(.. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/field/cyclotomic.vo │ │ │ @@ -50,56 +50,56 @@ │ │ │ 00000310: 2470 6f6c 79a0 2761 6c67 6562 7261 a028 $poly.'algebra.( │ │ │ 00000320: 6d61 7468 636f 6d70 4090 30cc f686 219f mathcomp@.0...!. │ │ │ 00000330: 7ccf 848b 2811 a19f 8634 93a0 a028 6669 |...(....4...(fi │ │ │ 00000340: 6e67 726f 7570 a004 02a0 286d 6174 6863 ngroup....(mathc │ │ │ 00000350: 6f6d 7040 9030 0fab dcb1 efc0 721f 222a omp@.0......r."* │ │ │ 00000360: 3abf 441d 1391 a0a0 2666 696e 616c 67a0 :.D.....&finalg. │ │ │ 00000370: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -00000380: 6d70 4090 308e 882b db69 af6e dff2 0436 mp@.0..+.i.n...6 │ │ │ -00000390: cc6c b383 c4a0 a025 7a6d 6f64 70a0 2761 .l.....%zmodp.'a │ │ │ +00000380: 6d70 4090 30fc c278 1b8c d503 94fa bd8e mp@.0..x........ │ │ │ +00000390: d329 96c3 b9a0 a025 7a6d 6f64 70a0 2761 .).....%zmodp.'a │ │ │ 000003a0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000003b0: 4090 30d0 7c56 6735 2784 00e2 4e21 1972 @.0.|Vg5'...N!.r │ │ │ -000003c0: f423 24a0 a026 6379 636c 6963 a028 736f .#$..&cyclic.(so │ │ │ +000003b0: 4090 30b6 7c8e 60ef 18a2 eff4 7011 4e80 @.0.|.`.....p.N. │ │ │ +000003c0: 7d6f 75a0 a026 6379 636c 6963 a028 736f }ou..&cyclic.(so │ │ │ 000003d0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000003e0: 4090 3005 b6cd 9538 ce65 91b0 959b d9ee @.0....8.e...... │ │ │ -000003f0: 0530 24a0 a026 7373 726e 756d a027 616c .0$..&ssrnum.'al │ │ │ +000003e0: 4090 3059 f3c5 5e5d bb95 148e 7093 4cd3 @.0Y..^]....p.L. │ │ │ +000003f0: 34f4 f0a0 a026 7373 726e 756d a027 616c 4....&ssrnum.'al │ │ │ 00000400: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 00000410: 9030 dfac 5516 47d9 dc42 e295 3ff6 96c5 .0..U.G..B..?... │ │ │ 00000420: d752 a0a0 2673 7372 696e 74a0 2761 6c67 .R..&ssrint.'alg │ │ │ 00000430: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000440: 3062 dc79 0f32 32ef c065 3d7f 1690 b035 0b.y.22..e=....5 │ │ │ 00000450: 9ea0 a02b 6172 6368 696d 6564 6561 6ea0 ...+archimedean. │ │ │ 00000460: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ 00000470: 6d70 4090 305c fb71 8496 b746 15f2 232e mp@.0\.q...F..#. │ │ │ 00000480: 9cba 04a6 02a0 a027 706f 6c79 6469 76a0 .......'polydiv. │ │ │ 00000490: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ 000004a0: 6d70 4090 300e 78c1 ddb7 7a80 ef27 d132 mp@.0.x...z..'.2 │ │ │ 000004b0: a407 49bb 76a0 a026 696e 7464 6976 a027 ..I.v..&intdiv.' │ │ │ 000004c0: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -000004d0: 7040 9030 7fe7 ae15 4323 7919 b506 3d64 p@.0....C#y...=d │ │ │ -000004e0: b928 0c19 a0a0 266d 7870 6f6c 79a0 2761 .(....&mxpoly.'a │ │ │ +000004d0: 7040 9030 ead6 74af 1b8d d73a 6468 5d2c p@.0..t....:dh], │ │ │ +000004e0: 7773 76a4 a0a0 266d 7870 6f6c 79a0 2761 wsv...&mxpoly.'a │ │ │ 000004f0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -00000500: 4090 303b 817a 18b3 ce23 9659 238a dc2f @.0;.z...#.Y#../ │ │ │ -00000510: 2737 9aa0 a028 6661 6c67 6562 7261 a025 '7...(falgebra.% │ │ │ +00000500: 4090 30fc 8c98 e8fb 8bad 56ef 97cc 6d51 @.0.......V...mQ │ │ │ +00000510: 3a23 1ba0 a028 6661 6c67 6562 7261 a025 :#...(falgebra.% │ │ │ 00000520: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000530: 9030 3954 cd7e d2c0 aa8f 1b25 10f7 c996 .09T.~.....%.... │ │ │ -00000540: dd16 a0a0 2866 6965 6c64 6578 74a0 2566 ....(fieldext.%f │ │ │ +00000530: 9030 07e4 4bd0 6de2 b7ea 1ce1 d876 7803 .0..K.m......vx. │ │ │ +00000540: c20e a0a0 2866 6965 6c64 6578 74a0 2566 ....(fieldext.%f │ │ │ 00000550: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00000560: 3045 6348 6f43 ff73 9c3b 7b36 2f4c 32b9 0EcHoC.s.;{6/L2. │ │ │ -00000570: eaa0 a029 7365 7061 7261 626c 65a0 2566 ...)separable.%f │ │ │ +00000560: 3040 58a9 d200 c887 d42a 8306 9f02 9ccc 0@X......*...... │ │ │ +00000570: 11a0 a029 7365 7061 7261 626c 65a0 2566 ...)separable.%f │ │ │ 00000580: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00000590: 3021 de42 ef36 a929 c932 4c33 db11 9121 0!.B.6.).2L3...! │ │ │ -000005a0: c9a0 a026 6761 6c6f 6973 a025 6669 656c ...&galois.%fiel │ │ │ -000005b0: 64a0 286d 6174 6863 6f6d 7040 9030 c1d9 d.(mathcomp@.0.. │ │ │ -000005c0: 5386 c9c2 d4fc 96bb b411 0e30 67f3 a0a0 S..........0g... │ │ │ +00000590: 3059 2228 8876 1045 5b56 484f 0bb0 3b2d 0Y"(.v.E[VHO..;- │ │ │ +000005a0: f8a0 a026 6761 6c6f 6973 a025 6669 656c ...&galois.%fiel │ │ │ +000005b0: 64a0 286d 6174 6863 6f6d 7040 9030 6407 d.(mathcomp@.0d. │ │ │ +000005c0: 505d d97f fa20 0e38 569f ac6b 11e7 a0a0 P]... .8V..k.... │ │ │ 000005d0: 2461 6c67 43a0 2566 6965 6c64 a028 6d61 $algC.%field.(ma │ │ │ -000005e0: 7468 636f 6d70 4090 30c1 b1f1 8dc9 4b3a thcomp@.0.....K: │ │ │ -000005f0: 54f5 88ee 0340 c5a3 b325 352e 342e 30a0 T....@...%5.4.0. │ │ │ -00000600: 4040 654b cf2a 21c8 ebd9 a161 ade9 5ddd @@eK.*!....a..]. │ │ │ -00000610: 605f 8495 a6be 0000 97d5 0000 1bbf 0000 `_.............. │ │ │ +000005e0: 7468 636f 6d70 4090 30ba 1e56 5df5 1303 thcomp@.0..V]... │ │ │ +000005f0: 1caa 4000 df1e ca5a 6125 352e 342e 30a0 ..@....Za%5.4.0. │ │ │ +00000600: 4040 ab49 af0b c91a 58fb 422a 9a6a 442c @@.I....X.B*.jD, │ │ │ +00000610: d4ee 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 30c1 b1f1 8dc9 4b3a 54f5 88ee 0340 ..0.....K:T....@ │ │ │ -00007d20: c5a3 b390 40a0 a095 a002 1d04 1afc a040 ....@..........@ │ │ │ +00007d10: 1d90 30ba 1e56 5df5 1303 1caa 4000 df1e ..0..V].....@... │ │ │ +00007d20: ca5a 6190 40a0 a095 a002 1d04 1afc a040 .Za.@..........@ │ │ │ 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 40a1 bc35 bb90 ....&@...@@..5.. │ │ │ -00009e00: e17f a058 6f2f f404 0716 f384 95a6 be00 ...Xo/.......... │ │ │ +00009df0: 9091 0510 2640 0501 ee40 40f3 ede3 aba7 ....&@...@@..... │ │ │ +00009e00: 3a53 d5f8 c7f8 5085 fa71 a084 95a6 be00 :S....P..q...... │ │ │ 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 e9a1 bc35 bb90 e17f ...........5.... │ │ │ -00026bd0: a058 6f2f f404 0716 f300 0000 076f 7061 .Xo/.........opa │ │ │ +00026bc0: 1200 0000 0000 0097 e9f3 ede3 aba7 3a53 ..............:S │ │ │ +00026bd0: d5f8 c7f8 5085 fa71 a000 0000 076f 7061 ....P..q.....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 f265 ...............e │ │ │ -00026c20: 4bcf 2a21 c8eb d9a1 61ad e95d dd60 5f00 K.*!....a..].`_. │ │ │ +00026c10: 0000 0000 0000 1000 0000 0000 0005 f2ab ................ │ │ │ +00026c20: 49af 0bc9 1a58 fb42 2a9a 6a44 2cd4 ee00 I....X.B*.jD,... │ │ │ 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 824f 8d8b 8df1 6734 db24 4657 p@.0.O....g4.$FW │ │ │ 000002d0: d6a5 3b87 a0a0 2673 7372 616c 67a0 2761 ..;...&ssralg.'a │ │ │ 000002e0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ 000002f0: 4090 30d4 98e4 a84b 1567 2b3d cdd2 d243 @.0....K.g+=...C │ │ │ 00000300: 8da5 faa0 a026 6669 6e61 6c67 a027 616c .....&finalg.'al │ │ │ 00000310: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ -00000320: 9030 8e88 2bdb 69af 6edf f204 36cc 6cb3 .0..+.i.n...6.l. │ │ │ -00000330: 83c4 a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ +00000320: 9030 fcc2 781b 8cd5 0394 fabd 8ed3 2996 .0..x.........). │ │ │ +00000330: c3b9 a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ 00000340: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -00000350: d07c 5667 3527 8400 e24e 2119 72f4 2324 .|Vg5'...N!.r.#$ │ │ │ +00000350: b67c 8e60 ef18 a2ef f470 114e 807d 6f75 .|.`.....p.N.}ou │ │ │ 00000360: a0a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ -00000370: 7261 a028 6d61 7468 636f 6d70 4090 3016 ra.(mathcomp@.0. │ │ │ -00000380: 4c49 220e 3b41 5fe5 93e7 7a03 79b6 11a0 LI".;A_...z.y... │ │ │ +00000370: 7261 a028 6d61 7468 636f 6d70 4090 30f8 ra.(mathcomp@.0. │ │ │ +00000380: eeeb 4a49 8103 7343 2e40 f69c e34d 83a0 ..JI..sC.@...M.. │ │ │ 00000390: a026 7665 6374 6f72 a027 616c 6765 6272 .&vector.'algebr │ │ │ -000003a0: 61a0 286d 6174 6863 6f6d 7040 9030 1b53 a.(mathcomp@.0.S │ │ │ -000003b0: 5eb9 45b0 63bc 9748 636e 028a 8a5c a0a0 ^.E.c..Hcn...\.. │ │ │ +000003a0: 61a0 286d 6174 6863 6f6d 7040 9030 8305 a.(mathcomp@.0.. │ │ │ +000003b0: 9a09 4b2e 7447 c80b 49c1 42eb 3de2 a0a0 ..K.tG..I.B.=... │ │ │ 000003c0: 2470 6f6c 79a0 2761 6c67 6562 7261 a028 $poly.'algebra.( │ │ │ 000003d0: 6d61 7468 636f 6d70 4090 30cc f686 219f mathcomp@.0...!. │ │ │ 000003e0: 7ccf 848b 2811 a19f 8634 9325 352e 342e |...(....4.%5.4. │ │ │ -000003f0: 30a0 4040 e3ec 5aae 9f38 874b e75d 3a15 0.@@..Z..8.K.]:. │ │ │ -00000400: d9e1 086b 8495 a6be 0008 91c5 0001 ed4a ...k...........J │ │ │ +000003f0: 30a0 4040 5ce0 79cd b9e3 598f 82e9 835a 0.@@\.y...Y....Z │ │ │ +00000400: d045 b8a3 8495 a6be 0008 91c5 0001 ed4a .E.............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 30cc f686 219f 7ccf KL...b..0...!.|. │ │ │ -00023b20: 848b 2811 a19f 8634 93a0 0562 cf90 301b ..(....4...b..0. │ │ │ -00023b30: 535e b945 b063 bc97 4863 6e02 8a8a 5c90 S^.E.c..Hcn...\. │ │ │ +00023b20: 848b 2811 a19f 8634 93a0 0562 cf90 3083 ..(....4...b..0. │ │ │ +00023b30: 059a 094b 2e74 47c8 0b49 c142 eb3d e290 ...K.tG..I.B.=.. │ │ │ 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 4039 54cd .A.+@...?@B@@9T. │ │ │ -000895e0: 7ed2 c0aa 8f1b 2510 f7c9 96dd 1684 95a6 ~.....%......... │ │ │ +000895d0: 0441 022b 4015 8304 3f40 4240 4007 e44b .A.+@...?@B@@..K │ │ │ +000895e0: d06d e2b7 ea1c e1d8 7678 03c2 0e84 95a6 .m......vx...... │ │ │ 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 d939 54cd 7ed2 c0aa 8f1b 2510 f7c9 ...9T.~.....%... │ │ │ -000bfbb0: 96dd 1600 0000 076f 7061 7175 6573 0000 .......opaques.. │ │ │ +000bfba0: 0891 d907 e44b d06d e2b7 ea1c e1d8 7678 .....K.m......vx │ │ │ +000bfbb0: 03c2 0e00 0000 076f 7061 7175 6573 0000 .......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 e4e3 ec5a ae9f 3887 ...........Z..8. │ │ │ -000bfc00: 4be7 5d3a 15d9 e108 6b00 0000 0976 6d6c K.]:....k....vml │ │ │ +000bfbf0: 1000 0000 0000 0003 e45c e079 cdb9 e359 .........\.y...Y │ │ │ +000bfc00: 8f82 e983 5ad0 45b8 a300 0000 0976 6d6c ....Z.E......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 d498 e4a8 4b15 672b 3dcd d2d2 438d .0....K.g+=...C. │ │ │ 00000300: a5fa a0a0 2863 6f75 6e74 616c 67a0 2761 ....(countalg.'a │ │ │ 00000310: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ 00000320: 4090 30c7 cfd2 2320 9cf6 cb94 88dc 1bc0 @.0...# ........ │ │ │ 00000330: b6de 82a0 a026 6669 6e61 6c67 a027 616c .....&finalg.'al │ │ │ 00000340: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ -00000350: 9030 8e88 2bdb 69af 6edf f204 36cc 6cb3 .0..+.i.n...6.l. │ │ │ -00000360: 83c4 a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ +00000350: 9030 fcc2 781b 8cd5 0394 fabd 8ed3 2996 .0..x.........). │ │ │ +00000360: c3b9 a0a0 257a 6d6f 6470 a027 616c 6765 ....%zmodp.'alge │ │ │ 00000370: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -00000380: d07c 5667 3527 8400 e24e 2119 72f4 2324 .|Vg5'...N!.r.#$ │ │ │ +00000380: b67c 8e60 ef18 a2ef f470 114e 807d 6f75 .|.`.....p.N.}ou │ │ │ 00000390: a0a0 266d 6174 7269 78a0 2761 6c67 6562 ..&matrix.'algeb │ │ │ -000003a0: 7261 a028 6d61 7468 636f 6d70 4090 3016 ra.(mathcomp@.0. │ │ │ -000003b0: 4c49 220e 3b41 5fe5 93e7 7a03 79b6 11a0 LI".;A_...z.y... │ │ │ +000003a0: 7261 a028 6d61 7468 636f 6d70 4090 30f8 ra.(mathcomp@.0. │ │ │ +000003b0: eeeb 4a49 8103 7343 2e40 f69c e34d 83a0 ..JI..sC.@...M.. │ │ │ 000003c0: a026 7665 6374 6f72 a027 616c 6765 6272 .&vector.'algebr │ │ │ -000003d0: 61a0 286d 6174 6863 6f6d 7040 9030 1b53 a.(mathcomp@.0.S │ │ │ -000003e0: 5eb9 45b0 63bc 9748 636e 028a 8a5c a0a0 ^.E.c..Hcn...\.. │ │ │ +000003d0: 61a0 286d 6174 6863 6f6d 7040 9030 8305 a.(mathcomp@.0.. │ │ │ +000003e0: 9a09 4b2e 7447 c80b 49c1 42eb 3de2 a0a0 ..K.tG..I.B.=... │ │ │ 000003f0: 2866 616c 6765 6272 61a0 2566 6965 6c64 (falgebra.%field │ │ │ -00000400: a028 6d61 7468 636f 6d70 4090 3039 54cd .(mathcomp@.09T. │ │ │ -00000410: 7ed2 c0aa 8f1b 2510 f7c9 96dd 16a0 a027 ~.....%........' │ │ │ +00000400: a028 6d61 7468 636f 6d70 4090 3007 e44b .(mathcomp@.0..K │ │ │ +00000410: d06d e2b7 ea1c e1d8 7678 03c2 0ea0 a027 .m......vx.....' │ │ │ 00000420: 706f 6c79 6469 76a0 2761 6c67 6562 7261 polydiv.'algebra │ │ │ 00000430: a028 6d61 7468 636f 6d70 4090 300e 78c1 .(mathcomp@.0.x. │ │ │ 00000440: ddb7 7a80 ef27 d132 a407 49bb 76a0 a026 ..z..'.2..I.v..& │ │ │ 00000450: 6d78 706f 6c79 a027 616c 6765 6272 61a0 mxpoly.'algebra. │ │ │ -00000460: 286d 6174 6863 6f6d 7040 9030 3b81 7a18 (mathcomp@.0;.z. │ │ │ -00000470: b3ce 2396 5923 8adc 2f27 379a a0a0 3067 ..#.Y#../'7...0g │ │ │ +00000460: 286d 6174 6863 6f6d 7040 9030 fc8c 98e8 (mathcomp@.0.... │ │ │ +00000470: fb8b ad56 ef97 cc6d 513a 231b a0a0 3067 ...V...mQ:#...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 3053 0675 3338 6c72 5774 comp@.0S.u38lrWt │ │ │ 000004b0: a601 0440 5133 5a25 352e 342e 30a0 4040 ...@Q3Z%5.4.0.@@ │ │ │ -000004c0: f1f3 732d 697d ff5a 6abc b7f4 f964 aca1 ..s-i}.Zj....d.. │ │ │ +000004c0: 2199 9c3e 89f3 6316 ef0e 1044 a1b3 b049 !..>..c....D...I │ │ │ 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 3039 54cd HJKLMN....@.09T. │ │ │ -000392d0: 7ed2 c0aa 8f1b 2510 f7c9 96dd 16a0 0543 ~.....%........C │ │ │ +000392c0: 484a 4b4c 4d4e b0a0 059e 4090 3007 e44b HJKLMN....@.0..K │ │ │ +000392d0: d06d e2b7 ea1c e1d8 7678 03c2 0ea0 0543 .m......vx.....C │ │ │ 000392e0: 2a90 3053 0675 3338 6c72 5774 a601 0440 *.0S.u38lrWt...@ │ │ │ 000392f0: 5133 5aa0 a005 0dc7 a005 32f5 a005 32f4 Q3Z.......2...2. │ │ │ -00039300: 4090 303b 817a 18b3 ce23 9659 238a dc2f @.0;.z...#.Y#../ │ │ │ -00039310: 2737 9a90 40a0 a0a0 05a3 34a0 4090 a0a0 '7..@.....4.@... │ │ │ +00039300: 4090 30fc 8c98 e8fb 8bad 56ef 97cc 6d51 @.0.......V...mQ │ │ │ +00039310: 3a23 1b90 40a0 a0a0 05a3 34a0 4090 a0a0 :#..@.....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 4045 .3.8..%. .6@B@@E │ │ │ -000c06a0: 6348 6f43 ff73 9c3b 7b36 2f4c 32b9 ea84 cHoC.s.;{6/L2... │ │ │ +000c0690: 8d33 0438 0219 2593 2004 3640 4240 4040 .3.8..%. .6@B@@@ │ │ │ +000c06a0: 58a9 d200 c887 d42a 8306 9f02 9ccc 1184 X......*........ │ │ │ 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: cf45 6348 6f43 ff73 9c3b 7b36 2f4c 32b9 .EcHoC.s.;{6/L2. │ │ │ -0011c2a0: ea00 0000 076f 7061 7175 6573 0000 0000 .....opaques.... │ │ │ +0011c290: cf40 58a9 d200 c887 d42a 8306 9f02 9ccc .@X......*...... │ │ │ +0011c2a0: 1100 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 b0f1 f373 2d69 7dff 5a6a .........s-i}.Zj │ │ │ -0011c2f0: bcb7 f4f9 64ac a100 0000 0976 6d6c 6962 ....d......vmlib │ │ │ +0011c2e0: 0000 0000 0004 b021 999c 3e89 f363 16ef .......!..>..c.. │ │ │ +0011c2f0: 0e10 44a1 b3b0 4900 0000 0976 6d6c 6962 ..D...I....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 2c69 p.(mathcomp@.0,i │ │ │ 000003b0: 1da6 1d93 33dd 87de 6abe 2713 41cb a0a0 ....3...j.'.A... │ │ │ 000003c0: 2661 6374 696f 6ea0 2866 696e 6772 6f75 &action.(fingrou │ │ │ 000003d0: 70a0 286d 6174 6863 6f6d 7040 9030 0eec p.(mathcomp@.0.. │ │ │ 000003e0: 1079 18de ea22 c506 b9d4 eede 252b a0a0 .y..."......%+.. │ │ │ 000003f0: 2666 696e 616c 67a0 2761 6c67 6562 7261 &finalg.'algebra │ │ │ -00000400: a028 6d61 7468 636f 6d70 4090 308e 882b .(mathcomp@.0..+ │ │ │ -00000410: db69 af6e dff2 0436 cc6c b383 c4a0 a025 .i.n...6.l.....% │ │ │ +00000400: a028 6d61 7468 636f 6d70 4090 30fc c278 .(mathcomp@.0..x │ │ │ +00000410: 1b8c d503 94fa bd8e d329 96c3 b9a0 a025 .........).....% │ │ │ 00000420: 7a6d 6f64 70a0 2761 6c67 6562 7261 a028 zmodp.'algebra.( │ │ │ -00000430: 6d61 7468 636f 6d70 4090 30d0 7c56 6735 mathcomp@.0.|Vg5 │ │ │ -00000440: 2784 00e2 4e21 1972 f423 24a0 a026 6379 '...N!.r.#$..&cy │ │ │ +00000430: 6d61 7468 636f 6d70 4090 30b6 7c8e 60ef mathcomp@.0.|.`. │ │ │ +00000440: 18a2 eff4 7011 4e80 7d6f 75a0 a026 6379 ....p.N.}ou..&cy │ │ │ 00000450: 636c 6963 a028 736f 6c76 6162 6c65 a028 clic.(solvable.( │ │ │ -00000460: 6d61 7468 636f 6d70 4090 3005 b6cd 9538 mathcomp@.0....8 │ │ │ -00000470: ce65 91b0 959b d9ee 0530 24a0 a026 6365 .e.......0$..&ce │ │ │ +00000460: 6d61 7468 636f 6d70 4090 3059 f3c5 5e5d mathcomp@.0Y..^] │ │ │ +00000470: bb95 148e 7093 4cd3 34f4 f0a0 a026 6365 ....p.L.4....&ce │ │ │ 00000480: 6e74 6572 a028 736f 6c76 6162 6c65 a028 nter.(solvable.( │ │ │ -00000490: 6d61 7468 636f 6d70 4090 3024 4488 7a19 mathcomp@.0$D.z. │ │ │ -000004a0: c053 ae27 b80a a1b3 66c4 3ca0 a026 7067 .S.'....f.<..&pg │ │ │ +00000490: 6d61 7468 636f 6d70 4090 308f 8d32 f96d mathcomp@.0..2.m │ │ │ +000004a0: 6eae d667 c379 d563 4fe0 f8a0 a026 7067 n..g.y.cO....&pg │ │ │ 000004b0: 726f 7570 a028 736f 6c76 6162 6c65 a028 roup.(solvable.( │ │ │ -000004c0: 6d61 7468 636f 6d70 4090 3058 967d 1f31 mathcomp@.0X.}.1 │ │ │ -000004d0: 7d2b 9a64 dbe1 3f3e 588a 89a0 a027 6162 }+.d..?>X....'ab │ │ │ +000004c0: 6d61 7468 636f 6d70 4090 30dc 4b93 26c6 mathcomp@.0.K.&. │ │ │ +000004d0: 7e5d 5983 280a 9999 425e 18a0 a027 6162 ~]Y.(...B^...'ab │ │ │ 000004e0: 656c 6961 6ea0 2873 6f6c 7661 626c 65a0 elian.(solvable. │ │ │ -000004f0: 286d 6174 6863 6f6d 7040 9030 6a30 3081 (mathcomp@.0j00. │ │ │ -00000500: 04e4 86ce 2839 faea 98a0 ade0 a0a0 266d ....(9........&m │ │ │ +000004f0: 286d 6174 6863 6f6d 7040 9030 45e9 5364 (mathcomp@.0E.Sd │ │ │ +00000500: e34e 4164 f51f 8576 c3a3 d12d a0a0 266d .NAd...v...-..&m │ │ │ 00000510: 6174 7269 78a0 2761 6c67 6562 7261 a028 atrix.'algebra.( │ │ │ -00000520: 6d61 7468 636f 6d70 4090 3016 4c49 220e mathcomp@.0.LI". │ │ │ -00000530: 3b41 5fe5 93e7 7a03 79b6 11a0 a026 6d78 ;A_...z.y....&mx │ │ │ +00000520: 6d61 7468 636f 6d70 4090 30f8 eeeb 4a49 mathcomp@.0...JI │ │ │ +00000530: 8103 7343 2e40 f69c e34d 83a0 a026 6d78 ..sC.@...M...&mx │ │ │ 00000540: 706f 6c79 a027 616c 6765 6272 61a0 286d poly.'algebra.(m │ │ │ -00000550: 6174 6863 6f6d 7040 9030 3b81 7a18 b3ce athcomp@.0;.z... │ │ │ -00000560: 2396 5923 8adc 2f27 379a a0a0 2676 6563 #.Y#../'7...&vec │ │ │ +00000550: 6174 6863 6f6d 7040 9030 fc8c 98e8 fb8b athcomp@.0...... │ │ │ +00000560: ad56 ef97 cc6d 513a 231b a0a0 2676 6563 .V...mQ:#...&vec │ │ │ 00000570: 746f 72a0 2761 6c67 6562 7261 a028 6d61 tor.'algebra.(ma │ │ │ -00000580: 7468 636f 6d70 4090 301b 535e b945 b063 thcomp@.0.S^.E.c │ │ │ -00000590: bc97 4863 6e02 8a8a 5ca0 a028 6661 6c67 ..Hcn...\..(falg │ │ │ +00000580: 7468 636f 6d70 4090 3083 059a 094b 2e74 thcomp@.0....K.t │ │ │ +00000590: 47c8 0b49 c142 eb3d e2a0 a028 6661 6c67 G..I.B.=...(falg │ │ │ 000005a0: 6562 7261 a025 6669 656c 64a0 286d 6174 ebra.%field.(mat │ │ │ -000005b0: 6863 6f6d 7040 9030 3954 cd7e d2c0 aa8f hcomp@.09T.~.... │ │ │ -000005c0: 1b25 10f7 c996 dd16 a0a0 2866 6965 6c64 .%........(field │ │ │ +000005b0: 6863 6f6d 7040 9030 07e4 4bd0 6de2 b7ea hcomp@.0..K.m... │ │ │ +000005c0: 1ce1 d876 7803 c20e a0a0 2866 6965 6c64 ...vx.....(field │ │ │ 000005d0: 6578 74a0 2566 6965 6c64 a028 6d61 7468 ext.%field.(math │ │ │ -000005e0: 636f 6d70 4090 3045 6348 6f43 ff73 9c3b comp@.0EcHoC.s.; │ │ │ -000005f0: 7b36 2f4c 32b9 eaa0 a029 7365 7061 7261 {6/L2....)separa │ │ │ +000005e0: 636f 6d70 4090 3040 58a9 d200 c887 d42a comp@.0@X......* │ │ │ +000005f0: 8306 9f02 9ccc 11a0 a029 7365 7061 7261 .........)separa │ │ │ 00000600: 626c 65a0 2566 6965 6c64 a028 6d61 7468 ble.%field.(math │ │ │ -00000610: 636f 6d70 4090 3021 de42 ef36 a929 c932 comp@.0!.B.6.).2 │ │ │ -00000620: 4c33 db11 9121 c9a0 a026 6761 6c6f 6973 L3...!...&galois │ │ │ +00000610: 636f 6d70 4090 3059 2228 8876 1045 5b56 comp@.0Y"(.v.E[V │ │ │ +00000620: 484f 0bb0 3b2d f8a0 a026 6761 6c6f 6973 HO..;-...&galois │ │ │ 00000630: a025 6669 656c 64a0 286d 6174 6863 6f6d .%field.(mathcom │ │ │ -00000640: 7040 9030 c1d9 5386 c9c2 d4fc 96bb b411 p@.0..S......... │ │ │ -00000650: 0e30 67f3 a0a0 2673 7372 6e75 6da0 2761 .0g...&ssrnum.'a │ │ │ +00000640: 7040 9030 6407 505d d97f fa20 0e38 569f p@.0d.P]... .8V. │ │ │ +00000650: ac6b 11e7 a0a0 2673 7372 6e75 6da0 2761 .k....&ssrnum.'a │ │ │ 00000660: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ 00000670: 4090 30df ac55 1647 d9dc 42e2 953f f696 @.0..U.G..B..?.. │ │ │ 00000680: c5d7 52a0 a026 7373 7269 6e74 a027 616c ..R..&ssrint.'al │ │ │ 00000690: 6765 6272 61a0 286d 6174 6863 6f6d 7040 gebra.(mathcomp@ │ │ │ 000006a0: 9030 62dc 790f 3232 efc0 653d 7f16 90b0 .0b.y.22..e=.... │ │ │ 000006b0: 359e a0a0 2b61 7263 6869 6d65 6465 616e 5...+archimedean │ │ │ 000006c0: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ 000006d0: 6f6d 7040 9030 5cfb 7184 96b7 4615 f223 omp@.0\.q...F..# │ │ │ 000006e0: 2e9c ba04 a602 a0a0 2461 6c67 43a0 2566 ........$algC.%f │ │ │ 000006f0: 6965 6c64 a028 6d61 7468 636f 6d70 4090 ield.(mathcomp@. │ │ │ -00000700: 30c1 b1f1 8dc9 4b3a 54f5 88ee 0340 c5a3 0.....K:T....@.. │ │ │ -00000710: b3a0 a02a 6379 636c 6f74 6f6d 6963 a025 ...*cyclotomic.% │ │ │ +00000700: 30ba 1e56 5df5 1303 1caa 4000 df1e ca5a 0..V].....@....Z │ │ │ +00000710: 61a0 a02a 6379 636c 6f74 6f6d 6963 a025 a..*cyclotomic.% │ │ │ 00000720: 6669 656c 64a0 286d 6174 6863 6f6d 7040 field.(mathcomp@ │ │ │ -00000730: 9030 a1bc 35bb 90e1 7fa0 586f 2ff4 0407 .0..5.....Xo/... │ │ │ -00000740: 16f3 2535 2e34 2e30 a040 40c7 d501 dc34 ..%5.4.0.@@....4 │ │ │ -00000750: 1731 4e5a 1d58 bff7 cbf9 ea84 95a6 be00 .1NZ.X.......... │ │ │ +00000730: 9030 f3ed e3ab a73a 53d5 f8c7 f850 85fa .0.....:S....P.. │ │ │ +00000740: 71a0 2535 2e34 2e30 a040 409f 52a3 65d5 q.%5.4.0.@@.R.e. │ │ │ +00000750: 77f8 528d 209c 8ef9 0117 8a84 95a6 be00 w.R. ........... │ │ │ 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 306a 3030 8104 mathcomp@.0j00.. │ │ │ -0001fed0: e486 ce28 39fa ea98 a0ad e0a0 a02a 6379 ...(9........*cy │ │ │ +0001fec0: 6d61 7468 636f 6d70 4090 3045 e953 64e3 mathcomp@.0E.Sd. │ │ │ +0001fed0: 4e41 64f5 1f85 76c3 a3d1 2da0 a02a 6379 NAd...v...-..*cy │ │ │ 0001fee0: 636c 6f74 6f6d 6963 a025 6669 656c 64a0 clotomic.%field. │ │ │ -0001fef0: 286d 6174 6863 6f6d 7040 9030 a1bc 35bb (mathcomp@.0..5. │ │ │ -0001ff00: 90e1 7fa0 586f 2ff4 0407 16f3 9040 a040 ....Xo/......@.@ │ │ │ +0001fef0: 286d 6174 6863 6f6d 7040 9030 f3ed e3ab (mathcomp@.0.... │ │ │ +0001ff00: a73a 53d5 f8c7 f850 85fa 71a0 9040 a040 .:S....P..q..@.@ │ │ │ 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 5d8f 92ac 659a 0891 7..b@B@@]...e... │ │ │ -0008b3c0: 3ed4 5a9a 1f9b 24ee 8495 a6be 0003 1b1f >.Z...$......... │ │ │ +0008b3b0: 37d2 0462 4042 4040 43c1 97a1 70ef d043 7..b@B@@C...p..C │ │ │ +0008b3c0: 1b9a 23ae aa5e 819d 8495 a6be 0003 1b1f ..#..^.......... │ │ │ 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 5d8f 92ac 659a 0891 .......]]...e... │ │ │ -000c1110: 3ed4 5a9a 1f9b 24ee 0000 0007 6f70 6171 >.Z...$.....opaq │ │ │ +000c1100: 0000 0000 0008 ac5d 43c1 97a1 70ef d043 .......]C...p..C │ │ │ +000c1110: 1b9a 23ae aa5e 819d 0000 0007 6f70 6171 ..#..^......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 c7d5 .............;.. │ │ │ -000c1160: 01dc 3417 314e 5a1d 58bf f7cb f9ea 0000 ..4.1NZ.X....... │ │ │ +000c1150: 0000 0000 0010 0000 0000 0000 073b 9f52 .............;.R │ │ │ +000c1160: a365 d577 f852 8d20 9c8e f901 178a 0000 .e.w.R. ........ │ │ │ 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 3003 6c1a 40c4 mathcomp@.0.l.@. │ │ │ 000003b0: baec acac 6b2f a437 6590 cda0 a026 6163 ....k/.7e....&ac │ │ │ 000003c0: 7469 6f6e a028 6669 6e67 726f 7570 a028 tion.(fingroup.( │ │ │ 000003d0: 6d61 7468 636f 6d70 4090 300e ec10 7918 mathcomp@.0...y. │ │ │ 000003e0: deea 22c5 06b9 d4ee de25 2ba0 a025 7a6d .."......%+..%zm │ │ │ 000003f0: 6f64 70a0 2761 6c67 6562 7261 a028 6d61 odp.'algebra.(ma │ │ │ -00000400: 7468 636f 6d70 4090 30d0 7c56 6735 2784 thcomp@.0.|Vg5'. │ │ │ -00000410: 00e2 4e21 1972 f423 24a0 a026 6379 636c ..N!.r.#$..&cycl │ │ │ +00000400: 7468 636f 6d70 4090 30b6 7c8e 60ef 18a2 thcomp@.0.|.`... │ │ │ +00000410: eff4 7011 4e80 7d6f 75a0 a026 6379 636c ..p.N.}ou..&cycl │ │ │ 00000420: 6963 a028 736f 6c76 6162 6c65 a028 6d61 ic.(solvable.(ma │ │ │ -00000430: 7468 636f 6d70 4090 3005 b6cd 9538 ce65 thcomp@.0....8.e │ │ │ -00000440: 91b0 959b d9ee 0530 24a0 a026 6d61 7472 .......0$..&matr │ │ │ +00000430: 7468 636f 6d70 4090 3059 f3c5 5e5d bb95 thcomp@.0Y..^].. │ │ │ +00000440: 148e 7093 4cd3 34f4 f0a0 a026 6d61 7472 ..p.L.4....&matr │ │ │ 00000450: 6978 a027 616c 6765 6272 61a0 286d 6174 ix.'algebra.(mat │ │ │ -00000460: 6863 6f6d 7040 9030 164c 4922 0e3b 415f hcomp@.0.LI".;A_ │ │ │ -00000470: e593 e77a 0379 b611 a0a0 296d 7861 6c67 ...z.y....)mxalg │ │ │ +00000460: 6863 6f6d 7040 9030 f8ee eb4a 4981 0373 hcomp@.0...JI..s │ │ │ +00000470: 432e 40f6 9ce3 4d83 a0a0 296d 7861 6c67 C.@...M...)mxalg │ │ │ 00000480: 6562 7261 a027 616c 6765 6272 61a0 286d ebra.'algebra.(m │ │ │ -00000490: 6174 6863 6f6d 7040 9030 2bcb 309c ab6d athcomp@.0+.0..m │ │ │ -000004a0: 003e bd85 6f1a 7044 d301 a0a0 2676 6563 .>..o.pD....&vec │ │ │ +00000490: 6174 6863 6f6d 7040 9030 9d14 2b17 3b9b athcomp@.0..+.;. │ │ │ +000004a0: b9c6 2a86 369f f3de 5074 a0a0 2676 6563 ..*.6...Pt..&vec │ │ │ 000004b0: 746f 72a0 2761 6c67 6562 7261 a028 6d61 tor.'algebra.(ma │ │ │ -000004c0: 7468 636f 6d70 4090 301b 535e b945 b063 thcomp@.0.S^.E.c │ │ │ -000004d0: bc97 4863 6e02 8a8a 5ca0 a028 6661 6c67 ..Hcn...\..(falg │ │ │ +000004c0: 7468 636f 6d70 4090 3083 059a 094b 2e74 thcomp@.0....K.t │ │ │ +000004d0: 47c8 0b49 c142 eb3d e2a0 a028 6661 6c67 G..I.B.=...(falg │ │ │ 000004e0: 6562 7261 a025 6669 656c 64a0 286d 6174 ebra.%field.(mat │ │ │ -000004f0: 6863 6f6d 7040 9030 3954 cd7e d2c0 aa8f hcomp@.09T.~.... │ │ │ -00000500: 1b25 10f7 c996 dd16 a0a0 2866 6965 6c64 .%........(field │ │ │ +000004f0: 6863 6f6d 7040 9030 07e4 4bd0 6de2 b7ea hcomp@.0..K.m... │ │ │ +00000500: 1ce1 d876 7803 c20e a0a0 2866 6965 6c64 ...vx.....(field │ │ │ 00000510: 6578 74a0 2566 6965 6c64 a028 6d61 7468 ext.%field.(math │ │ │ -00000520: 636f 6d70 4090 3045 6348 6f43 ff73 9c3b comp@.0EcHoC.s.; │ │ │ -00000530: 7b36 2f4c 32b9 eaa0 a029 7365 7061 7261 {6/L2....)separa │ │ │ +00000520: 636f 6d70 4090 3040 58a9 d200 c887 d42a comp@.0@X......* │ │ │ +00000530: 8306 9f02 9ccc 11a0 a029 7365 7061 7261 .........)separa │ │ │ 00000540: 626c 65a0 2566 6965 6c64 a028 6d61 7468 ble.%field.(math │ │ │ -00000550: 636f 6d70 4090 3021 de42 ef36 a929 c932 comp@.0!.B.6.).2 │ │ │ -00000560: 4c33 db11 9121 c925 352e 342e 30a0 4040 L3...!.%5.4.0.@@ │ │ │ -00000570: f556 8c55 0f5e fb9c d794 ce35 edd5 e198 .V.U.^.....5.... │ │ │ +00000550: 636f 6d70 4090 3059 2228 8876 1045 5b56 comp@.0Y"(.v.E[V │ │ │ +00000560: 484f 0bb0 3b2d f825 352e 342e 30a0 4040 HO..;-.%5.4.0.@@ │ │ │ +00000570: 8f9b ad6b f08a c266 2a43 5730 ea62 0e89 ...k...f*CW0.b.. │ │ │ 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 3021 de42 .(mathcomp@.0!.B │ │ │ -0002ed20: ef36 a929 c932 4c33 db11 9121 c990 40a0 .6.).2L3...!..@. │ │ │ +0002ed10: a028 6d61 7468 636f 6d70 4090 3059 2228 .(mathcomp@.0Y"( │ │ │ +0002ed20: 8876 1045 5b56 484f 0bb0 3b2d f890 40a0 .v.E[VHO..;-..@. │ │ │ 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 c1d9 5386 c9c2 d4fc 96bb .;@B@@..S....... │ │ │ -000b8610: b411 0e30 67f3 8495 a6be 0009 2f01 0001 ...0g......./... │ │ │ +000b8600: 043b 4042 4040 6407 505d d97f fa20 0e38 .;@B@@d.P]... .8 │ │ │ +000b8610: 569f ac6b 11e7 8495 a6be 0009 2f01 0001 V..k......../... │ │ │ 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 86c1 ................ │ │ │ -0014ef40: d953 86c9 c2d4 fc96 bbb4 110e 3067 f300 .S..........0g.. │ │ │ +0014ef30: 0000 0000 0005 8000 0000 0000 0b80 8664 ...............d │ │ │ +0014ef40: 0750 5dd9 7ffa 200e 3856 9fac 6b11 e700 .P]... .8V..k... │ │ │ 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 60f5 568c 550f 5efb 9cd7 94ce ....`.V.U.^..... │ │ │ -0014efa0: 35ed d5e1 9800 0000 0976 6d6c 6962 7261 5........vmlibra │ │ │ +0014ef90: 0000 0005 608f 9bad 6bf0 8ac2 662a 4357 ....`...k...f*CW │ │ │ +0014efa0: 30ea 620e 8900 0000 0976 6d6c 6962 7261 0.b......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 d498 e4a8 4b15 672b 3dcd d2d2 p@.0....K.g+=... │ │ │ 000002d0: 438d a5fa a0a0 2863 6f75 6e74 616c 67a0 C.....(countalg. │ │ │ 000002e0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ 000002f0: 6d70 4090 30c7 cfd2 2320 9cf6 cb94 88dc mp@.0...# ...... │ │ │ 00000300: 1bc0 b6de 82a0 a026 6669 6e61 6c67 a027 .......&finalg.' │ │ │ 00000310: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000320: 7040 9030 8e88 2bdb 69af 6edf f204 36cc p@.0..+.i.n...6. │ │ │ -00000330: 6cb3 83c4 a0a0 2470 6f6c 79a0 2761 6c67 l.....$poly.'alg │ │ │ +00000320: 7040 9030 fcc2 781b 8cd5 0394 fabd 8ed3 p@.0..x......... │ │ │ +00000330: 2996 c3b9 a0a0 2470 6f6c 79a0 2761 6c67 ).....$poly.'alg │ │ │ 00000340: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000350: 30cc f686 219f 7ccf 848b 2811 a19f 8634 0...!.|...(....4 │ │ │ 00000360: 93a0 a027 706f 6c79 6469 76a0 2761 6c67 ...'polydiv.'alg │ │ │ 00000370: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000380: 300e 78c1 ddb7 7a80 ef27 d132 a407 49bb 0.x...z..'.2..I. │ │ │ 00000390: 76a0 a025 7170 6f6c 79a0 2761 6c67 6562 v..%qpoly.'algeb │ │ │ -000003a0: 7261 a028 6d61 7468 636f 6d70 4090 30fe ra.(mathcomp@.0. │ │ │ -000003b0: a173 f530 0f09 fe11 3211 df85 b3bd 28a0 .s.0....2.....(. │ │ │ +000003a0: 7261 a028 6d61 7468 636f 6d70 4090 30c6 ra.(mathcomp@.0. │ │ │ +000003b0: 9718 324e d042 bfb3 cc8b 123f 5790 aea0 ..2N.B.....?W... │ │ │ 000003c0: a028 6661 6c67 6562 7261 a025 6669 656c .(falgebra.%fiel │ │ │ -000003d0: 64a0 286d 6174 6863 6f6d 7040 9030 3954 d.(mathcomp@.09T │ │ │ -000003e0: cd7e d2c0 aa8f 1b25 10f7 c996 dd16 a0a0 .~.....%........ │ │ │ +000003d0: 64a0 286d 6174 6863 6f6d 7040 9030 07e4 d.(mathcomp@.0.. │ │ │ +000003e0: 4bd0 6de2 b7ea 1ce1 d876 7803 c20e a0a0 K.m......vx..... │ │ │ 000003f0: 2866 6965 6c64 6578 74a0 2566 6965 6c64 (fieldext.%field │ │ │ -00000400: a028 6d61 7468 636f 6d70 4090 3045 6348 .(mathcomp@.0EcH │ │ │ -00000410: 6f43 ff73 9c3b 7b36 2f4c 32b9 eaa0 a028 oC.s.;{6/L2....( │ │ │ +00000400: a028 6d61 7468 636f 6d70 4090 3040 58a9 .(mathcomp@.0@X. │ │ │ +00000410: d200 c887 d42a 8306 9f02 9ccc 11a0 a028 .....*.........( │ │ │ 00000420: 6669 6e66 6965 6c64 a025 6669 656c 64a0 finfield.%field. │ │ │ -00000430: 286d 6174 6863 6f6d 7040 9030 5d8f 92ac (mathcomp@.0]... │ │ │ -00000440: 659a 0891 3ed4 5a9a 1f9b 24ee 2535 2e34 e...>.Z...$.%5.4 │ │ │ -00000450: 2e30 a040 402a 0fe6 9747 10ad f4a8 e2b9 .0.@@*...G...... │ │ │ -00000460: c18a a4d9 8e84 95a6 be00 04c6 e000 0111 ................ │ │ │ +00000430: 286d 6174 6863 6f6d 7040 9030 43c1 97a1 (mathcomp@.0C... │ │ │ +00000440: 70ef d043 1b9a 23ae aa5e 819d 2535 2e34 p..C..#..^..%5.4 │ │ │ +00000450: 2e30 a040 4055 b1c6 4de6 d248 e220 a5c0 .0.@@U..M..H. .. │ │ │ +00000460: b674 33c8 8784 95a6 be00 04c6 e000 0111 .t3............. │ │ │ 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: 305d 8f92 ac65 9a08 913e d45a 9a1f 9b24 0]...e...>.Z...$ │ │ │ -00011fd0: eea0 0531 4090 30fe a173 f530 0f09 fe11 ...1@.0..s.0.... │ │ │ -00011fe0: 3211 df85 b3bd 2890 40a0 a095 a002 1d04 2.....(.@....... │ │ │ +00011fc0: 3043 c197 a170 efd0 431b 9a23 aeaa 5e81 0C...p..C..#..^. │ │ │ +00011fd0: 9da0 0531 4090 30c6 9718 324e d042 bfb3 ...1@.0...2N.B.. │ │ │ +00011fe0: cc8b 123f 5790 ae90 40a0 a095 a002 1d04 ...?W...@....... │ │ │ 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 40b3 c889 1cbd 8bb0 .M..n@B@@....... │ │ │ -0004cb60: 3d11 28eb e5ac 1eff 7d84 95a6 be00 010a =.(.....}....... │ │ │ +0004cb50: e94d e004 6e40 4240 40fa 340e e30c 7901 .M..n@B@@.4...y. │ │ │ +0004cb60: c7ec 4c4c 409a 0a80 e784 95a6 be00 010a ..LL@........... │ │ │ 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 f4b3 ......e......... │ │ │ -0005f6b0: c889 1cbd 8bb0 3d11 28eb e5ac 1eff 7d00 ......=.(.....}. │ │ │ +0005f6a0: 0000 0000 0004 6500 0000 0000 04c6 f4fa ......e......... │ │ │ +0005f6b0: 340e e30c 7901 c7ec 4c4c 409a 0a80 e700 4...y...LL@..... │ │ │ 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 452a 0fe6 9747 10ad f4a8 e2b9 ....E*...G...... │ │ │ -0005f710: c18a a4d9 8e00 0000 0976 6d6c 6962 7261 .........vmlibra │ │ │ +0005f700: 0000 0004 4555 b1c6 4de6 d248 e220 a5c0 ....EU..M..H. .. │ │ │ +0005f710: b674 33c8 8700 0000 0976 6d6c 6962 7261 .t3......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 036c p.(mathcomp@.0.l │ │ │ 00000440: 1a40 c4ba ecac ac6b 2fa4 3765 90cd a0a0 .@.....k/.7e.... │ │ │ 00000450: 2867 7072 6f64 7563 74a0 2866 696e 6772 (gproduct.(fingr │ │ │ 00000460: 6f75 70a0 286d 6174 6863 6f6d 7040 9030 oup.(mathcomp@.0 │ │ │ 00000470: 2265 4a4c fd62 4cf1 b47e 42f6 4666 27ed "eJL.bL..~B.Ff'. │ │ │ 00000480: a0a0 2666 696e 616c 67a0 2761 6c67 6562 ..&finalg.'algeb │ │ │ -00000490: 7261 a028 6d61 7468 636f 6d70 4090 308e ra.(mathcomp@.0. │ │ │ -000004a0: 882b db69 af6e dff2 0436 cc6c b383 c4a0 .+.i.n...6.l.... │ │ │ +00000490: 7261 a028 6d61 7468 636f 6d70 4090 30fc ra.(mathcomp@.0. │ │ │ +000004a0: c278 1b8c d503 94fa bd8e d329 96c3 b9a0 .x.........).... │ │ │ 000004b0: a025 7a6d 6f64 70a0 2761 6c67 6562 7261 .%zmodp.'algebra │ │ │ -000004c0: a028 6d61 7468 636f 6d70 4090 30d0 7c56 .(mathcomp@.0.|V │ │ │ -000004d0: 6735 2784 00e2 4e21 1972 f423 24a0 a026 g5'...N!.r.#$..& │ │ │ +000004c0: a028 6d61 7468 636f 6d70 4090 30b6 7c8e .(mathcomp@.0.|. │ │ │ +000004d0: 60ef 18a2 eff4 7011 4e80 7d6f 75a0 a026 `.....p.N.}ou..& │ │ │ 000004e0: 6379 636c 6963 a028 736f 6c76 6162 6c65 cyclic.(solvable │ │ │ -000004f0: a028 6d61 7468 636f 6d70 4090 3005 b6cd .(mathcomp@.0... │ │ │ -00000500: 9538 ce65 91b0 959b d9ee 0530 24a0 a026 .8.e.......0$..& │ │ │ +000004f0: a028 6d61 7468 636f 6d70 4090 3059 f3c5 .(mathcomp@.0Y.. │ │ │ +00000500: 5e5d bb95 148e 7093 4cd3 34f4 f0a0 a026 ^]....p.L.4....& │ │ │ 00000510: 6d61 7472 6978 a027 616c 6765 6272 61a0 matrix.'algebra. │ │ │ -00000520: 286d 6174 6863 6f6d 7040 9030 164c 4922 (mathcomp@.0.LI" │ │ │ -00000530: 0e3b 415f e593 e77a 0379 b611 a0a0 296d .;A_...z.y....)m │ │ │ +00000520: 286d 6174 6863 6f6d 7040 9030 f8ee eb4a (mathcomp@.0...J │ │ │ +00000530: 4981 0373 432e 40f6 9ce3 4d83 a0a0 296d I..sC.@...M...)m │ │ │ 00000540: 7861 6c67 6562 7261 a027 616c 6765 6272 xalgebra.'algebr │ │ │ -00000550: 61a0 286d 6174 6863 6f6d 7040 9030 2bcb a.(mathcomp@.0+. │ │ │ -00000560: 309c ab6d 003e bd85 6f1a 7044 d301 a0a0 0..m.>..o.pD.... │ │ │ +00000550: 61a0 286d 6174 6863 6f6d 7040 9030 9d14 a.(mathcomp@.0.. │ │ │ +00000560: 2b17 3b9b b9c6 2a86 369f f3de 5074 a0a0 +.;...*.6...Pt.. │ │ │ 00000570: 266d 7870 6f6c 79a0 2761 6c67 6562 7261 &mxpoly.'algebra │ │ │ -00000580: a028 6d61 7468 636f 6d70 4090 303b 817a .(mathcomp@.0;.z │ │ │ -00000590: 18b3 ce23 9659 238a dc2f 2737 9aa0 a026 ...#.Y#../'7...& │ │ │ +00000580: a028 6d61 7468 636f 6d70 4090 30fc 8c98 .(mathcomp@.0... │ │ │ +00000590: e8fb 8bad 56ef 97cc 6d51 3a23 1ba0 a026 ....V...mQ:#...& │ │ │ 000005a0: 706f 6c79 5859 a027 616c 6765 6272 61a0 polyXY.'algebra. │ │ │ -000005b0: 286d 6174 6863 6f6d 7040 9030 0d0a 4c32 (mathcomp@.0..L2 │ │ │ -000005c0: f8dd 527d c3f1 4159 2d46 bf0b a0a0 2676 ..R}..AY-F....&v │ │ │ +000005b0: 286d 6174 6863 6f6d 7040 9030 58c1 2c32 (mathcomp@.0X.,2 │ │ │ +000005c0: 3f1e 52de d549 898c b910 c7ca a0a0 2676 ?.R..I........&v │ │ │ 000005d0: 6563 746f 72a0 2761 6c67 6562 7261 a028 ector.'algebra.( │ │ │ -000005e0: 6d61 7468 636f 6d70 4090 301b 535e b945 mathcomp@.0.S^.E │ │ │ -000005f0: b063 bc97 4863 6e02 8a8a 5ca0 a028 6661 .c..Hcn...\..(fa │ │ │ +000005e0: 6d61 7468 636f 6d70 4090 3083 059a 094b mathcomp@.0....K │ │ │ +000005f0: 2e74 47c8 0b49 c142 eb3d e2a0 a028 6661 .tG..I.B.=...(fa │ │ │ 00000600: 6c67 6562 7261 a025 6669 656c 64a0 286d lgebra.%field.(m │ │ │ -00000610: 6174 6863 6f6d 7040 9030 3954 cd7e d2c0 athcomp@.09T.~.. │ │ │ -00000620: aa8f 1b25 10f7 c996 dd16 a0a0 2866 6965 ...%........(fie │ │ │ +00000610: 6174 6863 6f6d 7040 9030 07e4 4bd0 6de2 athcomp@.0..K.m. │ │ │ +00000620: b7ea 1ce1 d876 7803 c20e a0a0 2866 6965 .....vx.....(fie │ │ │ 00000630: 6c64 6578 74a0 2566 6965 6c64 a028 6d61 ldext.%field.(ma │ │ │ -00000640: 7468 636f 6d70 4090 3045 6348 6f43 ff73 thcomp@.0EcHoC.s │ │ │ -00000650: 9c3b 7b36 2f4c 32b9 ea25 352e 342e 30a0 .;{6/L2..%5.4.0. │ │ │ -00000660: 4040 9f4a 9781 906c 0e75 6ed0 6fe0 ac16 @@.J...l.un.o... │ │ │ -00000670: ffb2 8495 a6be 0003 0741 0000 ac31 0002 .........A...1.. │ │ │ +00000640: 7468 636f 6d70 4090 3040 58a9 d200 c887 thcomp@.0@X..... │ │ │ +00000650: d42a 8306 9f02 9ccc 1125 352e 342e 30a0 .*.......%5.4.0. │ │ │ +00000660: 4040 eb8e 7ef9 06a5 e107 6d5a 9181 bd70 @@..~.....mZ...p │ │ │ +00000670: 677d 8495 a6be 0003 0741 0000 ac31 0002 g}.......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 3005 b6cd 9538 mathcomp@.0....8 │ │ │ -0000f340: ce65 91b0 959b d9ee 0530 24a0 052a 2990 .e.......0$..*). │ │ │ -0000f350: 3045 6348 6f43 ff73 9c3b 7b36 2f4c 32b9 0EcHoC.s.;{6/L2. │ │ │ -0000f360: eaa0 a026 706f 6c79 5859 a027 616c 6765 ...&polyXY.'alge │ │ │ +0000f330: 6d61 7468 636f 6d70 4090 3059 f3c5 5e5d mathcomp@.0Y..^] │ │ │ +0000f340: bb95 148e 7093 4cd3 34f4 f0a0 052a 2990 ....p.L.4....*). │ │ │ +0000f350: 3040 58a9 d200 c887 d42a 8306 9f02 9ccc 0@X......*...... │ │ │ +0000f360: 11a0 a026 706f 6c79 5859 a027 616c 6765 ...&polyXY.'alge │ │ │ 0000f370: 6272 61a0 286d 6174 6863 6f6d 7040 9030 bra.(mathcomp@.0 │ │ │ -0000f380: 0d0a 4c32 f8dd 527d c3f1 4159 2d46 bf0b ..L2..R}..AY-F.. │ │ │ +0000f380: 58c1 2c32 3f1e 52de d549 898c b910 c7ca X.,2?.R..I...... │ │ │ 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 4021 de42 ef36 a929 c932 ..3@B@@!.B.6.).2 │ │ │ -00030dd0: 4c33 db11 9121 c984 95a6 be00 050e 6d00 L3...!........m. │ │ │ +00030dc0: ba04 3340 4240 4059 2228 8876 1045 5b56 ..3@B@@Y"(.v.E[V │ │ │ +00030dd0: 484f 0bb0 3b2d f884 95a6 be00 050e 6d00 HO..;-........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 21de 42ef 36a9 29c9 324c 33db 1191 .U!.B.6.).2L3... │ │ │ -00082ed0: 21c9 0000 0007 6f70 6171 7565 7300 0000 !.....opaques... │ │ │ +00082ec0: 0755 5922 2888 7610 455b 5648 4f0b b03b .UY"(.v.E[VHO..; │ │ │ +00082ed0: 2df8 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 9f4a 9781 906c 0e75 .......R.J...l.u │ │ │ -00082f20: 6ed0 6fe0 ac16 ffb2 0000 0009 766d 6c69 n.o.........vmli │ │ │ +00082f10: 0000 0000 0000 0652 eb8e 7ef9 06a5 e107 .......R..~..... │ │ │ +00082f20: 6d5a 9181 bd70 677d 0000 0009 766d 6c69 mZ...pg}....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 @@ │ │ │ -i0o11 │ │ │ +vtjk7