26.8 MB
/srv/reproducible-results/rbuild-debian/r-b-build.mKcMAUfX/b1/mathcomp-multinomials_2.3.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.mKcMAUfX/b2/mathcomp-multinomials_2.3.0-1_arm64.changes
238 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·aa03ae79bfc882d28a7fece4e0365f8e·1868344·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_arm64.deb1 ·bb7c602a06b0dd58d0e8e1710360fc47·1867864·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_arm64.deb
26.8 MB
libcoq-mathcomp-multinomials_2.3.0-1_arm64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-18·11:19:29.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-12-18·11:19:29.000000·debian-binary
2 -rw-r--r--···0········0········0·····1348·2024-12-18·11:19:29.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1348·2024-12-18·11:19:29.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1866804·2024-12-18·11:19:29.000000·data.tar.xz3 -rw-r--r--···0········0········0··1866324·2024-12-18·11:19:29.000000·data.tar.xz
915 B
control.tar.xz
887 B
control.tar
817 B
./control
    
Offset 2, 15 lines modifiedOffset 2, 15 lines modified
2 Source:·mathcomp-multinomials2 Source:·mathcomp-multinomials
3 Version:·2.3.0-13 Version:·2.3.0-1
4 Architecture:·arm644 Architecture:·arm64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·70406 Installed-Size:·7040
7 Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-u7wy7,·libcoq-mathcomp-bigenough-mwow8,·libcoq-mathcomp-finmap-seuz3,·libcoq-mathcomp-ssreflect-5btc57 Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-u7wy7,·libcoq-mathcomp-bigenough-mwow8,·libcoq-mathcomp-finmap-seuz3,·libcoq-mathcomp-ssreflect-5btc5
8 Suggests:·ocaml-findlib8 Suggests:·ocaml-findlib
9 Provides:·libcoq-mathcomp-multinomials-fss429 Provides:·libcoq-mathcomp-multinomials-oy5z0
10 Section:·ocaml10 Section:·ocaml
11 Priority:·optional11 Priority:·optional
12 Homepage:·https://github.com/math-comp/multinomials12 Homepage:·https://github.com/math-comp/multinomials
13 Description:·Multivariate·polynomials·for·Mathematical·Components13 Description:·Multivariate·polynomials·for·Mathematical·Components
14 ·This·package·provides·an·extension·to·Mathematical·Components14 ·This·package·provides·an·extension·to·Mathematical·Components
15 ·for·monomial·algebra,·multivariate·polynomials·over·ring15 ·for·monomial·algebra,·multivariate·polynomials·over·ring
16 ·structures·and·an·extended·theory·for·polynomials·whose16 ·structures·and·an·extended·theory·for·polynomials·whose
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
26.8 MB
data.tar.xz
26.8 MB
data.tar
3.94 KB
file list
    
Offset 6, 21 lines modifiedOffset 6, 21 lines modified
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/
10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/
11 -rw-r--r--···0·root·········(0)·root·········(0)···368782·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.glob11 -rw-r--r--···0·root·········(0)·root·········(0)···368782·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.glob
12 -rw-r--r--···0·root·········(0)·root·········(0)····44654·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.v12 -rw-r--r--···0·root·········(0)·root·········(0)····44654·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.v
13 -rw-r--r--···0·root·········(0)·root·········(0)···515450·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.vo13 -rw-r--r--···0·root·········(0)·root·········(0)···515452·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.vo
14 -rw-r--r--···0·root·········(0)·root·········(0)···419737·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.glob14 -rw-r--r--···0·root·········(0)·root·········(0)···419737·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.glob
15 -rw-r--r--···0·root·········(0)·root·········(0)····52505·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.v15 -rw-r--r--···0·root·········(0)·root·········(0)····52505·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.v
16 -rw-r--r--···0·root·········(0)·root·········(0)···911230·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.vo16 -rw-r--r--···0·root·········(0)·root·········(0)···911254·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.vo
17 -rw-r--r--···0·root·········(0)·root·········(0)··1662693·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.glob17 -rw-r--r--···0·root·········(0)·root·········(0)··1662693·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.glob
18 -rw-r--r--···0·root·········(0)·root·········(0)···180646·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.v18 -rw-r--r--···0·root·········(0)·root·········(0)···180646·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.v
19 -rw-r--r--···0·root·········(0)·root·········(0)··2758457·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo19 -rw-r--r--···0·root·········(0)·root·········(0)··2758422·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo
20 -rw-r--r--···0·root·········(0)·root·········(0)···104932·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.glob20 -rw-r--r--···0·root·········(0)·root·········(0)···104932·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.glob
21 -rw-r--r--···0·root·········(0)·root·········(0)····11781·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v21 -rw-r--r--···0·root·········(0)·root·········(0)····11781·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v
22 -rw-r--r--···0·root·········(0)·root·········(0)···107949·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo22 -rw-r--r--···0·root·········(0)·root·········(0)···107949·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo
23 -rw-r--r--···0·root·········(0)·root·········(0)·····4388·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.glob23 -rw-r--r--···0·root·········(0)·root·········(0)·····4388·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.glob
24 -rw-r--r--···0·root·········(0)·root·········(0)·····1304·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.v24 -rw-r--r--···0·root·········(0)·root·········(0)·····1304·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.v
25 -rw-r--r--···0·root·········(0)·root·········(0)····11403·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.vo25 -rw-r--r--···0·root·········(0)·root·········(0)····11403·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.vo
26 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/share/26 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/share/
2.36 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0007·dcc8··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0007·dcca··Coq!..@P........
00000010:·8495·a6be·0000·0325·0000·0097·0000·0212··.......%........00000010:·8495·a6be·0000·0325·0000·0097·0000·0212··.......%........
00000020:·0000·01c1·c0a0·2566·7265·6567·a02c·6d75··......%freeg.,mu00000020:·0000·01c1·c0a0·2566·7265·6567·a02c·6d75··......%freeg.,mu
00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math
00000040:·636f·6d70·4008·0000·4300·a0a0·2750·7265··comp@...C...'Pre00000040:·636f·6d70·4008·0000·4300·a0a0·2750·7265··comp@...C...'Pre
00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@
00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p
00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures.00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures.
Offset 48, 15 lines modifiedOffset 48, 15 lines modified
000002f0:·6562·7261·a028·6d61·7468·636f·6d70·4090··ebra.(mathcomp@.000002f0:·6562·7261·a028·6d61·7468·636f·6d70·4090··ebra.(mathcomp@.
00000300:·30bd·1cc8·f47c·29fd·ad63·bbf0·a673·a140··0....|)..c...s.@00000300:·30bd·1cc8·f47c·29fd·ad63·bbf0·a673·a140··0....|)..c...s.@
00000310:·d5a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge00000310:·d5a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge
00000320:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.000000320:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0
00000330:·f706·528f·64a5·d051·bcf9·0c77·2cd7·2e1b··..R.d..Q...w,...00000330:·f706·528f·64a5·d051·bcf9·0c77·2cd7·2e1b··..R.d..Q...w,...
00000340:·2535·2e33·2e30·a040·40d2·9a96·d992·d007··%5.3.0.@@.......00000340:·2535·2e33·2e30·a040·40d2·9a96·d992·d007··%5.3.0.@@.......
00000350:·a8f1·c1db·6255·6bdc·2b84·95a6·be00·04ee··....bUk.+.......00000350:·a8f1·c1db·6255·6bdc·2b84·95a6·be00·04ee··....bUk.+.......
00000360:·2600·0118·3300·03fb·4500·03eb·16b0·d0a0··&...3...E.......00000360:·2800·0118·3300·03fb·4e00·03eb·1fb0·d0a0··(...3...N.......
00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom
00000380:·6961·6c73·a028·6d61·7468·636f·6d70·40e0··ials.(mathcomp@.00000380:·6961·6c73·a028·6d61·7468·636f·6d70·40e0··ials.(mathcomp@.
00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef
000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red
000003b0:·7563·6564·9008·0000·2700·40a0·8080·91b7··uced....'.@.....000003b0:·7563·6564·9008·0000·2700·40a0·8080·91b7··uced....'.@.....
000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s
000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra..000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra..
Offset 5885, 16 lines modifiedOffset 5885, 16 lines modified
00016fc0:·e090·3b6d·6174·6863·6f6d·702e·6d75·6c74··..;mathcomp.mult00016fc0:·e090·3b6d·6174·6863·6f6d·702e·6d75·6c74··..;mathcomp.mult
00016fd0:·696e·6f6d·6961·6c73·2e66·7265·6567·2d2e··inomials.freeg-.00016fd0:·696e·6f6d·6961·6c73·2e66·7265·6567·2d2e··inomials.freeg-.
00016fe0:·2f73·7263·2f66·7265·6567·2e76·010d·0301··/src/freeg.v....00016fe0:·2f73·7263·2f66·7265·6567·2e76·010d·0301··/src/freeg.v....
00016ff0:·0d45·004a·010c·ffc0·4040·4041·b0c3·9140··.E.J....@@@A...@00016ff0:·0d45·004a·010c·ffc0·4040·4041·b0c3·9140··.E.J....@@@A...@
00017000:·2f6c·6f63·616c·2d63·616e·6f6e·6963·616c··/local-canonical00017000:·2f6c·6f63·616c·2d63·616e·6f6e·6963·616c··/local-canonical
00017010:·b095·a091·053c·fe58·040d·a022·5479·9090··.....<.X..."Ty..00017010:·b095·a091·053c·fe58·040d·a022·5479·9090··.....<.X..."Ty..
00017020:·9090·2863·6f6e·7374·616e·7440·0414·a004··..(constant@....00017020:·9090·2863·6f6e·7374·616e·7440·0414·a004··..(constant@....
00017030:·0790·9090·4040·4040·4029·3136·3437·3732··....@@@@@)16477200017030:·0790·9090·4040·4040·4029·3637·3936·3833··....@@@@@)679683
00017040:·3136·38e0·d0d0·d0d0·4025·4063·6173·74a0··168.....@%@cast.00017040:·3232·38e0·d0d0·d0d0·4025·4063·6173·74a0··228.....@%@cast.
00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T
00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....
00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui
00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$..00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$..
00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@......00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@......
000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$.....000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$.....
000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@.........000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@.........
Offset 10632, 55 lines modifiedOffset 10632, 55 lines modified
00029870:·0105·5801·0562·6701·0558·d040·0517·08a0··..X..bg..X.@....00029870:·0105·5801·0562·6701·0558·d040·0517·08a0··..X..bg..X.@....
00029880:·a090·40a0·9040·a090·41a0·9041·40e0·4005··..@..@..A..A@.@.00029880:·a090·40a0·9040·a090·41a0·9041·40e0·4005··..@..@..A..A@.@.
00029890:·1669·0101·ac01·01d5·4c01·01ac·d040·0517··.i......L....@..00029890:·1669·0101·ac01·01d5·4c01·01ac·d040·0517··.i......L....@..
000298a0:·07a0·a090·40a0·9041·a090·4140·e040·0516··....@..A..A@.@..000298a0:·07a0·a090·40a0·9041·a090·4140·e040·0516··....@..A..A@.@..
000298b0:·7201·01d7·0102·034d·0101·d7d0·4005·1705··r......M....@...000298b0:·7201·01d7·0102·034d·0101·d7d0·4005·1705··r......M....@...
000298c0:·a0a0·9040·a090·4140·e040·0516·7901·022a··...@..A@.@..y..*000298c0:·a0a0·9040·a090·4140·e040·0516·7901·022a··...@..A@.@..y..*
000298d0:·0102·424f·0102·2a40·4142·4344·4546·4748··..BO..*@ABCDEFGH000298d0:·0102·424f·0102·2a40·4142·4344·4546·4748··..BO..*@ABCDEFGH
000298e0:·494b·4c05·4614·0c00·0000·0000·00e5·3e40··IKL.F.........>@000298e0:·494b·4c05·4614·0c00·0000·0000·80e9·3e40··IKL.F.........>@
000298f0:·4140·a095·a002·347d·c1ff·a027·5f45·4c50··A@....4}...'_ELP000298f0:·4140·a095·a002·347d·c1ff·a027·5f45·4c50··A@....4}...'_ELP
00029900:·495f·32c0·a022·6862·a022·6462·40a0·a0b0··I_2.."hb."db@...00029900:·495f·32c0·a022·6862·a022·6462·40a0·a0b0··I_2.."hb."db@...
00029910:·0583·a621·3202·2f1d·56cb·d005·4627·d0e0··...!2./.V...F'..00029910:·0583·a621·3202·2f1d·56cb·d005·4627·d0e0··...!2./.V...F'..
00029920:·4040·4040·4005·4626·40a0·c005·4625·0546··@@@@@.F&@...F%.F00029920:·4040·4040·4005·4626·40a0·c005·4625·0546··@@@@@.F&@...F%.F
00029930:·21b0·c391·4005·2939·b095·a005·4628·4305··!...@.)9....F(C.00029930:·21b0·c391·4005·2939·b095·a005·4628·4305··!...@.)9....F(C.
00029940:·462b·a005·461e·9090·9005·293b·a0b0·95a0··F+..F.....);....00029940:·462b·a005·461e·9090·9005·293b·a0b0·95a0··F+..F.....);....
00029950:·092d·4672·6565·6744·6566·735f·7072·6566··.-FreegDefs_pref00029950:·092d·4672·6565·6744·6566·735f·7072·6566··.-FreegDefs_pref
00029960:·7265·6567·5f5f·6361·6e6f·6e69·6361·6c5f··reeg__canonical_00029960:·7265·6567·5f5f·6361·6e6f·6e69·6361·6c5f··reeg__canonical_
00029970:·5f65·7174·7970·655f·5375·6254·7970·6543··_eqtype_SubTypeC00029970:·5f65·7174·7970·655f·5375·6254·7970·6543··_eqtype_SubTypeC
00029980:·0546·34a0·0546·2790·9090·0529·42a0·b095··.F4..F'....)B...00029980:·0546·34a0·0546·2790·9090·0529·42a0·b095··.F4..F'....)B...
00029990:·0546·3005·463b·a005·462e·9090·9005·2947··.F0.F;..F.....)G00029990:·0546·3005·463b·a005·462e·9090·9005·2947··.F0.F;..F.....)G
000299a0:·4005·463f·a005·4632·9090·9040·4040·4040··@.F?..F2...@@@@@000299a0:·4005·463f·a005·4632·9090·9040·4040·4040··@.F?..F2...@@@@@
000299b0:·2932·3939·3636·3232·3233·e005·462b·0540··)299662223..F+.@000299b0:·2938·3031·3936·3831·3832·e005·462b·0540··)801968182..F+.@
000299c0:·cd05·3f4a·0517·1105·1682·0546·480c·0000··..?J.......FH...000299c0:·cd05·3f4a·0517·1105·1682·0546·480c·0000··..?J.......FH...
000299d0:·0000·00c0·f13e·a0a0·b005·83d0·2133·022f··.....>......!3./000299d0:·0000·0080·ef3e·a0a0·b005·83d0·2133·022f··.....>......!3./
000299e0:·1d56·ccd0·0546·51d0·e040·4040·4040·0546··.V...FQ..@@@@@.F000299e0:·1d56·ccd0·0546·51d0·e040·4040·4040·0546··.V...FQ..@@@@@.F
000299f0:·5040·a0c0·0546·4f05·464b·b0c3·9140·0529··P@...FO.FK...@.)000299f0:·5040·a0c0·0546·4f05·464b·b0c3·9140·0529··P@...FO.FK...@.)
00029a00:·63b0·9504·2a05·4654·a005·4647·9090·9005··c...*.FT..FG....00029a00:·63b0·9504·2a05·4654·a005·4647·9090·9005··c...*.FT..FG....
00029a10:·2964·a0b0·95a0·215f·4305·465d·a005·4650··)d....!_C.F]..FP00029a10:·2964·a0b0·95a0·215f·4305·465d·a005·4650··)d....!_C.F]..FP
00029a20:·9090·9005·296b·a0b0·95a0·9105·83c0·5805··....)k........X.00029a20:·9090·9005·296b·a0b0·95a0·9105·83c0·5805··....)k........X.
00029a30:·4666·a005·4659·9090·9005·2972·4005·466a··Ff..FY....)r@.Fj00029a30:·4666·a005·4659·9090·9005·2972·4005·466a··Ff..FY....)r@.Fj
00029a40:·a005·465d·9090·9040·4040·4040·2932·3939··..F]...@@@@@)29900029a40:·a005·465d·9090·9040·4040·4040·2938·3031··..F]...@@@@@)801
00029a50:·3636·3232·3233·e005·4656·0540·f805·3f75··662223..FV.@..?u00029a50:·3936·3831·3832·e005·4656·0540·f805·3f75··968182..FV.@..?u
00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs.......00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs.......
00029a70:·d13e·a0a0·b005·83fb·2134·022f·1d56·cdd0··.>......!4./.V..00029a70:·c83e·a0a0·b005·83fb·2134·022f·1d56·cdd0··.>......!4./.V..
00029a80:·0546·7cd0·e040·4040·4040·0546·7b40·a0c0··.F|..@@@@@.F{@..00029a80:·0546·7cd0·e040·4040·4040·0546·7b40·a0c0··.F|..@@@@@.F{@..
00029a90:·0546·7a05·4676·b0c3·9140·052a·6eb0·c391··.Fz.Fv...@.*n...00029a90:·0546·7a05·4676·b0c3·9140·052a·6eb0·c391··.Fz.Fv...@.*n...
00029aa0:·4005·2d3f·b0c3·9140·0529·c8b0·95a0·0583··@.-?...@.)......00029aa0:·4005·2d3f·b0c3·9140·0529·c8b0·95a0·0583··@.-?...@.)......
00029ab0:·dd57·0546·86a0·0546·7990·9090·0529·ca40··.W.F...Fy....).@00029ab0:·dd57·0546·86a0·0546·7990·9090·0529·ca40··.W.F...Fy....).@
00029ac0:·0546·8aa0·0546·7d90·9090·052d·4840·0546··.F...F}....-H@.F00029ac0:·0546·8aa0·0546·7d90·9090·052d·4840·0546··.F...F}....-H@.F
00029ad0:·8ea0·0546·8190·9090·052a·7ea0·b0c3·9140··...F.....*~....@00029ad0:·8ea0·0546·8190·9090·052a·7ea0·b0c3·9140··...F.....*~....@
00029ae0:·0529·dbb0·95a0·0547·2657·0546·99a0·0546··.).....G&W.F...F00029ae0:·0529·dbb0·95a0·0547·2657·0546·99a0·0546··.).....G&W.F...F
00029af0:·8c90·9090·0529·dd40·0546·9da0·0546·9090··.....).@.F...F..00029af0:·8c90·9090·0529·dd40·0546·9da0·0546·9090··.....).@.F...F..
00029b00:·9090·052a·8aa0·b0c3·9140·053d·5db0·9504··...*.....@.=]...00029b00:·9090·052a·8aa0·b0c3·9140·053d·5db0·9504··...*.....@.=]...
00029b10:·4305·46a7·a005·469a·9090·9005·3d5e·4005··C.F...F.....=^@.00029b10:·4305·46a7·a005·469a·9090·9005·3d5e·4005··C.F...F.....=^@.
00029b20:·46ab·a005·469e·9090·9005·2a96·4005·46af··F...F.....*.@.F.00029b20:·46ab·a005·469e·9090·9005·2a96·4005·46af··F...F.....*.@.F.
00029b30:·a005·46a2·9090·9040·4040·4040·2932·3939··..F....@@@@@)29900029b30:·a005·46a2·9090·9040·4040·4040·2938·3031··..F....@@@@@)801
00029b40:·3636·3232·3233·e005·469b·0541·3d05·3fba··662223..F..A=.?.00029b40:·3936·3831·3832·e005·469b·0541·3d05·3fba··968182..F..A=.?.
00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0000··.......F........00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0000··.......F........
00029b60:·e73e·4041·40a0·95a0·021b·8322·9db0·9005··.>@A@......"....00029b60:·e33e·4041·40a0·95a0·021b·8322·9db0·9005··.>@A@......"....
00029b70:·8402·40a0·0583·caa0·0583·cea0·0583·c440··..@............@00029b70:·8402·40a0·0583·caa0·0583·cea0·0583·c440··..@............@
00029b80:·a095·a002·320a·518f·a005·8409·b005·47b2··....2.Q.......G.00029b80:·a095·a002·320a·518f·a005·8409·b005·47b2··....2.Q.......G.
00029b90:·4040·a095·a002·0fc0·a2b8·a090·0548·23a0··@@...........H#.00029b90:·4040·a095·a002·0fc0·a2b8·a090·0548·23a0··@@...........H#.
00029ba0:·a091·0583·74a0·a040·a040·a040·4040·40a0··....t..@.@.@@@@.00029ba0:·a091·0583·74a0·a040·a040·a040·4040·40a0··....t..@.@.@@@@.
00029bb0:·95a0·0227·60a0·6fd0·4091·0583·7da0·40a0··...'`.o.@...}.@.00029bb0:·95a0·0227·60a0·6fd0·4091·0583·7da0·40a0··...'`.o.@...}.@.
00029bc0:·4040·a090·9205·8d5e·a090·9205·8d4d·40d0··@@.....^.....M@.00029bc0:·4040·a090·9205·8d5e·a090·9205·8d4d·40d0··@@.....^.....M@.
00029bd0:·d0d0·d0d0·4040·a005·4bb0·4040·4141·a005··....@@..K.@@AA..00029bd0:·d0d0·d0d0·4040·a005·4bb0·4040·4141·a005··....@@..K.@@AA..
Offset 10827, 18 lines modifiedOffset 10827, 18 lines modified
0002a4a0:·c1ff·a027·5f45·4c50·495f·34c0·a022·6862··...'_ELPI_4.."hb0002a4a0:·c1ff·a027·5f45·4c50·495f·34c0·a022·6862··...'_ELPI_4.."hb
0002a4b0:·a022·6462·40a0·a0b0·0586·5921·3702·2f1d··."db@.....Y!7./.0002a4b0:·a022·6462·40a0·a0b0·0586·5921·3702·2f1d··."db@.....Y!7./.
0002a4c0:·56d0·d005·48da·d0e0·4040·4040·4005·48d9··V...H...@@@@@.H.0002a4c0:·56d0·d005·48da·d0e0·4040·4040·4005·48d9··V...H...@@@@@.H.
0002a4d0:·40a0·c0e0·9005·48d8·2d2e·2f73·7263·2f66··@.....H.-./src/f0002a4d0:·40a0·c0e0·9005·48d8·2d2e·2f73·7263·2f66··@.....H.-./src/f
0002a4e0:·7265·6567·2e76·010d·4a01·0d8b·004b·010d··reeg.v..J....K..0002a4e0:·7265·6567·2e76·010d·4a01·0d8b·004b·010d··reeg.v..J....K..
0002a4f0:·4605·48d7·b0c3·9140·0548·d6b0·95a0·9104··F.H....@.H......0002a4f0:·4605·48d7·b0c3·9140·0548·d6b0·95a0·9104··F.H....@.H......
0002a500:·7c58·040a·a005·48d5·9090·9005·48d4·4004··|X....H.....H.@.0002a500:·7c58·040a·a005·48d5·9090·9005·48d4·4004··|X....H.....H.@.
0002a510:·0ea0·0548·d990·9090·4040·4040·4029·3939··...H....@@@@@)990002a510:·0ea0·0548·d990·9090·4040·4040·4029·3639··...H....@@@@@)69
0002a520:·3138·3935·3831·30e0·0548·d205·4374·0541··1895810..H..Ct.A0002a520:·3134·3434·3532·31e0·0548·d205·4374·0541··1444521..H..Ct.A
0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·0000··......).H.......0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·00c0··......).H.......
0002a540:·00e5·3e40·4140·a095·a002·0b7b·4f44·a040··..>@A@.....{OD.@0002a540:·9570·3f40·4140·a095·a002·0b7b·4f44·a040··.p?@A@.....{OD.@
0002a550:·a0a0·0584·eea0·9105·8543·4040·a095·a002··.........C@@....0002a550:·a0a0·0584·eea0·9105·8543·4040·a095·a002··.........C@@....
0002a560:·0b7b·4f44·a040·a0a0·0585·02a0·9105·8657··.{OD.@.........W0002a560:·0b7b·4f44·a040·a0a0·0585·02a0·9105·8657··.{OD.@.........W
0002a570:·4040·a095·a002·320a·518f·a005·8539·b005··@@....2.Q....9..0002a570:·4040·a095·a002·320a·518f·a005·8539·b005··@@....2.Q....9..
0002a580:·49f1·4040·a095·a002·0fc0·a2b8·a090·054a··I.@@...........J0002a580:·49f1·4040·a095·a002·0fc0·a2b8·a090·054a··I.@@...........J
0002a590:·62a0·a091·90b0·058f·a005·8544·0226·29cc··b..........D.&).0002a590:·62a0·a091·90b0·058f·a005·8544·0226·29cc··b..........D.&).
0002a5a0:·0ca0·a040·a040·a040·4040·40a0·95a0·0227··...@.@.@@@@....'0002a5a0:·0ca0·a040·a040·a040·4040·40a0·95a0·0227··...@.@.@@@@....'
0002a5b0:·60a0·6fd0·4091·040b·a040·a040·40a0·9092··`.o.@....@.@@...0002a5b0:·60a0·6fd0·4091·040b·a040·a040·40a0·9092··`.o.@....@.@@...
Offset 10869, 1126 lines modifiedOffset 10869, 1126 lines modified
0002a740:·90b0·a205·8d75·0585·9205·497f·0202·71a2··.....u....I...q.0002a740:·90b0·a205·8d75·0585·9205·497f·0202·71a2··.....u....I...q.
0002a750:·a840·40a0·95a0·0234·7dc1·ffa0·275f·454c··.@@....4}...'_EL0002a750:·a840·40a0·95a0·0234·7dc1·ffa0·275f·454c··.@@....4}...'_EL
0002a760:·5049·5f35·c0a0·2268·62a0·2264·6240·a0a0··PI_5.."hb."db@..0002a760:·5049·5f35·c0a0·2268·62a0·2264·6240·a0a0··PI_5.."hb."db@..
0002a770:·b005·86fd·2138·022f·1d56·d1d0·0549·7ed0··....!8./.V...I~.0002a770:·b005·86fd·2138·022f·1d56·d1d0·0549·7ed0··....!8./.V...I~.
0002a780:·e040·4040·4040·0549·7d40·a0c0·04a4·0549··.@@@@@.I}@.....I0002a780:·e040·4040·4040·0549·7d40·a0c0·04a4·0549··.@@@@@.I}@.....I
0002a790:·78b0·c391·4005·4977·b095·a091·0479·5804··x...@.Iw.....yX.0002a790:·78b0·c391·4005·4977·b095·a091·0479·5804··x...@.Iw.....yX.
Diff chunk too large, falling back to line-by-line diff (1024 lines added, 1024 lines removed)
0002a7a0:·aba0·0549·7690·9090·0549·7540·04af·a005··...Iv....Iu@....0002a7a0:·aba0·0549·7690·9090·0549·7540·04af·a005··...Iv....Iu@....
0002a7b0:·497a·9090·9040·4040·4040·2833·3939·3832··Iz...@@@@@(399820002a7b0:·497a·9090·9040·4040·4040·2937·3930·3238··Iz...@@@@@)79028
0002a7c0:·3332·34e0·0549·7305·4415·0542·9205·1a59··324..Is.D..B...Y0002a7c0:·3835·3437·e005·4973·0544·1505·4292·051a··8547..Is.D..B...
Max diff block lines reached; 2326006/2476913 bytes (93.91%) of diff not shown.
5.94 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·000d·e6cc··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·000d·e6e4··Coq!..@P........
00000010:·8495·a6be·0000·02bf·0000·0085·0000·01d1··................00000010:·8495·a6be·0000·02bf·0000·0085·0000·01d1··................
00000020:·0000·018a·c0a0·266d·6f6e·616c·67a0·2c6d··......&monalg.,m00000020:·0000·018a·c0a0·266d·6f6e·616c·67a0·2c6d··......&monalg.,m
00000030:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat00000030:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat
00000040:·6863·6f6d·7040·0800·003b·00a0·a027·5072··hcomp@...;...'Pr00000040:·6863·6f6d·7040·0800·003b·00a0·a027·5072··hcomp@...;...'Pr
00000050:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq00000050:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq
00000060:·4090·30a0·2ded·4296·34d0·a3cc·902c·1b5f··@.0.-.B.4....,._00000060:·4090·30a0·2ded·4296·34d0·a3cc·902c·1b5f··@.0.-.B.4....,._
00000070:·7070·fea0·a02a·7374·7275·6374·7572·6573··pp...*structures00000070:·7070·fea0·a02a·7374·7275·6374·7572·6573··pp...*structures
Offset 41, 16 lines modifiedOffset 41, 16 lines modified
00000280:·2761·6c67·6562·7261·a028·6d61·7468·636f··'algebra.(mathco00000280:·2761·6c67·6562·7261·a028·6d61·7468·636f··'algebra.(mathco
00000290:·6d70·4090·30f7·0652·8f64·a5d0·51bc·f90c··mp@.0..R.d..Q...00000290:·6d70·4090·30f7·0652·8f64·a5d0·51bc·f90c··mp@.0..R.d..Q...
000002a0:·772c·d72e·1ba0·a027·7866·696e·6d61·70a0··w,.....'xfinmap.000002a0:·772c·d72e·1ba0·a027·7866·696e·6d61·70a0··w,.....'xfinmap.
000002b0:·2c6d·756c·7469·6e6f·6d69·616c·73a0·286d··,multinomials.(m000002b0:·2c6d·756c·7469·6e6f·6d69·616c·73a0·286d··,multinomials.(m
000002c0:·6174·6863·6f6d·7040·9030·f06d·f946·3e8a··athcomp@.0.m.F>.000002c0:·6174·6863·6f6d·7040·9030·f06d·f946·3e8a··athcomp@.0.m.F>.
000002d0:·704f·2315·20b8·7b82·d17d·2535·2e33·2e30··pO#.·.{..}%5.3.0000002d0:·704f·2315·20b8·7b82·d17d·2535·2e33·2e30··pO#.·.{..}%5.3.0
000002e0:·a040·40e3·3c49·73f3·2d84·fc51·f177·cfb4··.@@.<Is.-..Q.w..000002e0:·a040·40e3·3c49·73f3·2d84·fc51·f177·cfb4··.@@.<Is.-..Q.w..
000002f0:·6478·1584·95a6·be00·0b24·4800·0270·a700··dx.......$H..p..000002f0:·6478·1584·95a6·be00·0b24·6000·0270·a700··dx.......$`..p..
00000300:·088a·3500·0871·b9b0·d0a0·266d·6f6e·616c··..5..q....&monal00000300:·088a·4e00·0871·d2b0·d0a0·266d·6f6e·616c··..N..q....&monal
00000310:·67a0·2c6d·756c·7469·6e6f·6d69·616c·73a0··g.,multinomials.00000310:·67a0·2c6d·756c·7469·6e6f·6d69·616c·73a0··g.,multinomials.
00000320:·286d·6174·6863·6f6d·7040·e090·0408·4190··(mathcomp@....A.00000320:·286d·6174·6863·6f6d·7040·e090·0408·4190··(mathcomp@....A.
00000330:·a0a0·3443·686f·6963·655f·6973·4d6f·6e6f··..4Choice_isMono00000330:·a0a0·3443·686f·6963·655f·6973·4d6f·6e6f··..4Choice_isMono
00000340:·6d69·616c·4465·6693·e0a2·0408·0404·4190··mialDef.......A.00000340:·6d69·616c·4465·6693·e0a2·0408·0404·4190··mialDef.......A.
00000350:·a0a0·0932·4368·6f69·6365·5f69·734d·6f6e··...2Choice_isMon00000350:·a0a0·0932·4368·6f69·6365·5f69·734d·6f6e··...2Choice_isMon
00000360:·6f6d·6961·6c44·6566·5f56·5f5f·6361·6e6f··omialDef_V__cano00000360:·6f6d·6961·6c44·6566·5f56·5f5f·6361·6e6f··omialDef_V__cano
00000370:·6e69·6361·6c5f·5f65·7174·7970·655f·4571··nical__eqtype_Eq00000370:·6e69·6361·6c5f·5f65·7174·7970·655f·4571··nical__eqtype_Eq
Offset 9636, 16 lines modifiedOffset 9636, 16 lines modified
00025a30:·732e·6d6f·6e61·6c67·2e2e·2f73·7263·2f6d··s.monalg../src/m00025a30:·732e·6d6f·6e61·6c67·2e2e·2f73·7263·2f6d··s.monalg../src/m
00025a40:·6f6e·616c·672e·7601·0a56·010b·3c00·4301··onalg.v..V..<.C.00025a40:·6f6e·616c·672e·7601·0a56·010b·3c00·4301··onalg.v..V..<.C.
00025a50:·0a56·c040·4040·41b0·c391·4030·6d6f·6475··.V.@@@A...@0modu00025a50:·0a56·c040·4040·41b0·c391·4030·6d6f·6475··.V.@@@A...@0modu
00025a60:·6c65·2d74·6f2d·6578·706f·7274·b095·a004··le-to-export....00025a60:·6c65·2d74·6f2d·6578·706f·7274·b095·a004··le-to-export....
00025a70:·0943·040c·a022·5479·9090·9090·2673·7472··.C..."Ty....&str00025a70:·0943·040c·a022·5479·9090·9090·2673·7472··.C..."Ty....&str
00025a80:·696e·67a0·b095·a004·2e5b·0417·a004·0b90··ing......[......00025a80:·696e·67a0·b095·a004·2e5b·0417·a004·0b90··ing......[......
00025a90:·9090·9027·6d6f·6470·6174·6840·041d·a004··...'modpath@....00025a90:·9090·9027·6d6f·6470·6174·6840·041d·a004··...'modpath@....
00025aa0:·1190·9090·4040·4040·4029·3234·3735·3936··....@@@@@)24759600025aa0:·1190·9090·4040·4040·4029·3431·3734·3532··....@@@@@)417452
00025ab0:·3730·38e0·d040·2840·676c·6f62·616c·21a0··708..@(@global!.00025ab0:·3433·39e0·d040·2840·676c·6f62·616c·21a0··439..@(@global!.
00025ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option.00025ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option.
00025ad0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC00025ad0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC
00025ae0:·e040·3863·6f71·2d62·7569·6c74·696e·2d73··.@8coq-builtin-s00025ae0:·e040·3863·6f71·2d62·7569·6c74·696e·2d73··.@8coq-builtin-s
00025af0:·796e·7465·7270·2e65·6c70·6901·1b0d·011b··ynterp.elpi.....00025af0:·796e·7465·7270·2e65·6c70·6901·1b0d·011b··ynterp.elpi.....
00025b00:·1b01·00b0·011a·eea0·0424·9040·a0b0·95a0··.........$.@....00025b00:·1b01·00b0·011a·eea0·0424·9040·a0b0·95a0··.........$.@....
00025b10:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@......00025b10:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@......
00025b20:·1b24·0100·b001·1aee·a004·2c90·4040·e040··.$........,.@@.@00025b20:·1b24·0100·b001·1aee·a004·2c90·4040·e040··.$........,.@@.@
Offset 11688, 131 lines modifiedOffset 11688, 131 lines modified
0002da70:·0100·8701·0090·4901·0087·4041·050b·67a0··......I...@A..g.0002da70:·0100·8701·0090·4901·0087·4041·050b·67a0··......I...@A..g.
0002da80:·a090·40a0·9041·40e0·4005·2080·016f·ff01··..@..A@.@.·..o..0002da80:·a090·40a0·9041·40e0·4005·2080·016f·ff01··..@..A@.@.·..o..
0002da90:·703c·0100·c001·6fff·d040·050b·66a0·a090··p<....o..@..f...0002da90:·703c·0100·c001·6fff·d040·050b·66a0·a090··p<....o..@..f...
0002daa0:·40a0·9040·a090·40a0·9041·a090·4140·e040··@..@..@..A..A@.@0002daa0:·40a0·9040·a090·40a0·9041·a090·4140·e040··@..@..@..A..A@.@
0002dab0:·0520·8d01·6f33·016f·b801·00bc·016f·33d0··.·..o3.o.....o3.0002dab0:·0520·8d01·6f33·016f·b801·00bc·016f·33d0··.·..o3.o.....o3.
0002dac0:·4005·0b40·a040·e040·0521·0601·0860·0108··@..@.@.@.!...`..0002dac0:·4005·0b40·a040·e040·0521·0601·0860·0108··@..@.@.@.!...`..
0002dad0:·6a00·4201·0860·4041·4243·4445·4647·4849··j.B..`@ABCDEFGHI0002dad0:·6a00·4201·0860·4041·4243·4445·4647·4849··j.B..`@ABCDEFGHI
0002dae0:·4a05·2138·0c00·0000·0000·80e2·3e40·4140··J.!8........>@A@0002dae0:·4a05·2138·0c00·0000·0000·00e3·3e40·4140··J.!8........>@A@
0002daf0:·a0a0·0589·7fa0·4090·a0a0·0589·8da0·4090··......@.......@.0002daf0:·a0a0·0589·7fa0·4090·a0a0·0589·8da0·4090··......@.......@.
0002db00:·4040·a094·a0a0·40a2·a205·9460·0589·8b05··@@....@....`....0002db00:·4040·a094·a0a0·40a2·a205·9460·0589·8b05··@@....@....`....
0002db10:·8995·40a0·a005·86b4·a040·9040·a094·a0a0··..@......@.@....0002db10:·8995·40a0·a005·86b4·a040·9040·a094·a0a0··..@......@.@....
0002db20:·40a2·0594·6905·86bb·40a0·95a0·021b·9b7f··@...i...@.......0002db20:·40a2·0594·6905·86bb·40a0·95a0·021b·9b7f··@...i...@.......
0002db30:·79a0·275f·454c·5049·5f32·c0a0·2665·7870··y.'_ELPI_2..&exp0002db30:·79a0·275f·454c·5049·5f32·c0a0·2665·7870··y.'_ELPI_2..&exp
0002db40:·6f72·74a0·2264·6240·a0a0·b005·9476·2132··ort."db@.....v!20002db40:·6f72·74a0·2264·6240·a0a0·b005·9476·2132··ort."db@.....v!2
0002db50:·022a·b1cd·ecd0·0521·62d0·e040·4040·4040··.*.....!b..@@@@@0002db50:·022a·b1cd·ecd0·0521·62d0·e040·4040·4040··.*.....!b..@@@@@
0002db60:·0521·6140·a0c0·e090·0521·602e·2e2f·7372··.!a@.....!`../sr0002db60:·0521·6140·a0c0·e090·0521·602e·2e2f·7372··.!a@.....!`../sr
0002db70:·632f·6d6f·6e61·6c67·2e76·010b·3e01·0b92··c/monalg.v..>...0002db70:·632f·6d6f·6e61·6c67·2e76·010b·3e01·0b92··c/monalg.v..>...
0002db80:·004c·010b·3e05·215f·b0c3·9140·0521·5eb0··.L..>.!_...@.!^.0002db80:·004c·010b·3e05·215f·b0c3·9140·0521·5eb0··.L..>.!_...@.!^.
0002db90:·9505·215d·0408·a005·215c·9090·9005·215b··..!]....!\....![0002db90:·9505·215d·0408·a005·215c·9090·9005·215b··..!]....!\....![
0002dba0:·a0b0·95a0·042e·5b04·10a0·0521·6490·9090··......[....!d...0002dba0:·a0b0·95a0·042e·5b04·10a0·0521·6490·9090··......[....!d...
0002dbb0:·0521·5940·0414·a005·2168·9090·9040·4040··.!Y@....!h...@@@0002dbb0:·0521·5940·0414·a005·2168·9090·9040·4040··.!Y@....!h...@@@
0002dbc0:·4040·2737·3333·3836·3333·e005·2157·0521··@@'7338633..!W.!0002dbc0:·4040·2937·3138·3337·3238·3239·e005·2157··@@)718372829..!W
0002dbd0:·2505·2058·050b·6705·0b5a·0521·7d0c·0000··%.·X..g..Z.!}...0002dbd0:·0521·2505·2058·050b·6705·0b5a·0521·7d0c··.!%.·X..g..Z.!}.
0002dbe0:·0000·0000·e73e·4041·40a0·95a0·021b·9b7f··.....>@A@.......0002dbe0:·0000·0000·0000·e93e·4041·40a0·95a0·021b··.......>@A@.....
0002dbf0:·79a0·275f·454c·5049·5f33·c0a0·2665·7870··y.'_ELPI_3..&exp0002dbf0:·9b7f·79a0·275f·454c·5049·5f33·c0a0·2665··..y.'_ELPI_3..&e
0002dc00:·6f72·74a0·2264·6240·a0a0·b005·94a4·2133··ort."db@......!30002dc00:·7870·6f72·74a0·2264·6240·a0a0·b005·94a4··xport."db@......
0002dc10:·022a·b1cd·edd0·0521·90d0·e040·4040·4040··.*.....!...@@@@@0002dc10:·2133·022a·b1cd·edd0·0521·90d0·e040·4040··!3.*.....!...@@@
0002dc20:·0521·8f40·a0c0·042e·0521·8ab0·c391·4005··.!.@.....!....@.0002dc20:·4040·0521·8f40·a0c0·042e·0521·8ab0·c391··@@.!.@.....!....
0002dc30:·2189·b095·0521·8804·33a0·0521·8790·9090··!....!..3..!....0002dc30:·4005·2189·b095·0521·8804·33a0·0521·8790··@.!....!..3..!..
0002dc40:·0521·86a0·b095·a004·4f5b·043b·a005·218f··.!......O[.;..!.0002dc40:·9090·0521·86a0·b095·a004·4f5b·043b·a005··...!......O[.;..
0002dc50:·9090·9005·2184·4004·3fa0·0521·9390·9090··....!.@.?..!....0002dc50:·218f·9090·9005·2184·4004·3fa0·0521·9390··!.....!.@.?..!..
0002dc60:·4040·4040·4029·3738·3337·3439·3337·34e0··@@@@@)783749374.0002dc60:·9090·4040·4040·4029·3239·3033·3734·3837··..@@@@@)29037487
0002dc70:·0521·8205·2150·0520·8305·0b92·050b·8505··.!..!P.·........0002dc70:·34e0·0521·8205·2150·0520·8305·0b92·050b··4..!..!P.·......
0002dc80:·21a8·0c00·0000·0000·00ca·3e40·4140·a0a0··!.........>@A@..0002dc80:·8505·21a8·0c00·0000·0000·00ca·3e40·4140··..!.........>@A@
0002dc90:·0587·0ea0·4090·40a0·94a0·a040·a205·94cb··....@.@....@....0002dc90:·a0a0·0587·0ea0·4090·40a0·94a0·a040·a205··......@.@....@..
0002dca0:·0587·1540·a094·a0a0·4004·0540·a0a0·0587··...@....@..@....0002dca0:·94cb·0587·1540·a094·a0a0·4004·0540·a0a0··.....@....@..@..
0002dcb0:·13a0·4090·a0a0·058a·0aa0·4090·4040·a094··..@.......@.@@..0002dcb0:·0587·13a0·4090·a0a0·058a·0aa0·4090·4040··....@.......@.@@
0002dcc0:·a0a0·40a2·a205·94dd·0587·1f05·8a12·40a0··..@...........@.0002dcc0:·a094·a0a0·40a2·a205·94dd·0587·1f05·8a12··....@...........
0002dcd0:·95a0·021b·9b7f·79a0·275f·454c·5049·5f34··......y.'_ELPI_40002dcd0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI
0002dce0:·c0a0·2665·7870·6f72·74a0·2264·6240·a0a0··..&export."db@..0002dce0:·5f34·c0a0·2665·7870·6f72·74a0·2264·6240··_4..&export."db@
0002dcf0:·b005·94ea·2134·022a·b1cd·eed0·0521·d6d0··....!4.*.....!..0002dcf0:·a0a0·b005·94ea·2134·022a·b1cd·eed0·0521··......!4.*.....!
0002dd00:·e040·4040·4040·0521·d540·a0c0·e090·0521··.@@@@@.!.@.....!0002dd00:·d6d0·e040·4040·4040·0521·d540·a0c0·e090··...@@@@@.!.@....
0002dd10:·d42e·2e2f·7372·632f·6d6f·6e61·6c67·2e76··.../src/monalg.v0002dd10:·0521·d42e·2e2f·7372·632f·6d6f·6e61·6c67··.!.../src/monalg
0002dd20:·010d·9401·0df7·005e·010d·9405·21d3·b0c3··.......^....!...0002dd20:·2e76·010d·9401·0df7·005e·010d·9405·21d3··.v.......^....!.
0002dd30:·9140·0521·d2b0·9505·21d1·0408·a005·21d0··.@.!....!.....!.0002dd30:·b0c3·9140·0521·d2b0·9505·21d1·0408·a005··...@.!....!.....
0002dd40:·9090·9005·21cf·a0b0·95a0·0425·5b04·10a0··....!......%[...0002dd40:·21d0·9090·9005·21cf·a0b0·95a0·0425·5b04··!.....!......%[.
0002dd50:·0521·d890·9090·0521·cd40·0414·a005·21dc··.!.....!.@....!.0002dd50:·10a0·0521·d890·9090·0521·cd40·0414·a005··...!.....!.@....
0002dd60:·9090·9040·4040·4040·2931·3930·3531·3532··...@@@@@)19051520002dd60:·21dc·9090·9040·4040·4040·2938·3534·3233··!....@@@@@)85423
0002dd70:·3833·e005·21cb·0521·9905·20cc·050b·db05··83..!..!..·.....0002dd70:·3838·3933·e005·21cb·0521·9905·20cc·050b··8893..!..!..·...
0002dd80:·0bce·0521·f10c·0000·0000·0000·e53e·4041··...!.........>@A0002dd80:·db05·0bce·0521·f10c·0000·0000·0000·e93e··.....!.........>
0002dd90:·40a0·a005·8526·a040·90a0·a005·8a46·a040··@....&.@.....F.@0002dd90:·4041·40a0·a005·8526·a040·90a0·a005·8a46··@A@....&.@.....F
0002dda0:·9040·40a0·94a0·a040·a2a2·0595·1905·8532··.@@....@.......20002dda0:·a040·9040·40a0·94a0·a040·a2a2·0595·1905··.@.@@....@......
0002ddb0:·058a·4e40·a0a0·0582·baa0·4090·40a0·94a0··..N@......@.@...0002ddb0:·8532·058a·4e40·a0a0·0582·baa0·4090·40a0··.2..N@......@.@.
0002ddc0:·a040·a205·9522·0582·c140·a095·a002·1b9b··.@..."...@......0002ddc0:·94a0·a040·a205·9522·0582·c140·a095·a002··...@..."...@....
0002ddd0:·7f79·a027·5f45·4c50·495f·35c0·a026·6578··.y.'_ELPI_5..&ex 
0002dde0:·706f·7274·a022·6462·40a0·a0b0·0595·2f21··port."db@...../! 
0002ddf0:·3502·2ab1·cdef·d005·221b·d0e0·4040·4040··5.*....."...@@@@ 
0002de00:·4005·221a·40a0·c0e0·9005·2219·2e2e·2f73··@.".@.....".../s 
0002de10:·7263·2f6d·6f6e·616c·672e·7601·0df9·010e··rc/monalg.v..... 
0002de20:·5700·6201·0df9·0522·18b0·c391·4005·2217··W.b...."....@.". 
0002de30:·b095·0522·1604·08a0·0522·1590·9090·0522··..."....."....." 
0002de40:·14a0·b095·a004·2e5b·0410·a005·221d·9090··.......[...."... 
0002de50:·9005·2212·4004·14a0·0522·2190·9090·4040··..".@...."!...@@ 
0002de60:·4040·4029·3934·3534·3139·3932·37e0·0522··@@@)945419927.." 
0002de70:·1005·21de·0521·1105·0c20·050c·1305·2236··..!..!...·...."6 
0002de80:·0c00·0000·0000·00e5·3e40·4140·a095·a002··........>@A@.... 
0002de90:·1b9b·7f79·a027·5f45·4c50·495f·36c0·a026··...y.'_ELPI_6..&0002ddd0:·1b9b·7f79·a027·5f45·4c50·495f·35c0·a026··...y.'_ELPI_5..&
0002dea0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@.....0002dde0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@.....
 0002ddf0:·2f21·3502·2ab1·cdef·d005·221b·d0e0·4040··/!5.*....."...@@
 0002de00:·4040·4005·221a·40a0·c0e0·9005·2219·2e2e··@@@.".@....."...
 0002de10:·2f73·7263·2f6d·6f6e·616c·672e·7601·0df9··/src/monalg.v...
 0002de20:·010e·5700·6201·0df9·0522·18b0·c391·4005··..W.b...."....@.
 0002de30:·2217·b095·0522·1604·08a0·0522·1590·9090··"...."....."....
 0002de40:·0522·14a0·b095·a004·2e5b·0410·a005·221d··.".......[....".
 0002de50:·9090·9005·2212·4004·14a0·0522·2190·9090··....".@...."!...
 0002de60:·4040·4040·4029·3531·3435·3337·3131·38e0··@@@@@)514537118.
 0002de70:·0522·1005·21de·0521·1105·0c20·050c·1305··."..!..!...·....
 0002de80:·2236·0c00·0000·0000·00e7·3e40·4140·a095··"6........>@A@..
 0002de90:·a002·1b9b·7f79·a027·5f45·4c50·495f·36c0··.....y.'_ELPI_6.
 0002dea0:·a026·6578·706f·7274·a022·6462·40a0·a0b0··.&export."db@...
0002deb0:·5d21·3602·2ab1·cdf0·d005·2249·d0e0·4040··]!6.*....."I..@@0002deb0:·0595·5d21·3602·2ab1·cdf0·d005·2249·d0e0··..]!6.*....."I..
0002dec0:·4040·4005·2248·40a0·c004·2e05·2243·b0c3··@@@."H@....."C..0002dec0:·4040·4040·4005·2248·40a0·c004·2e05·2243··@@@@@."H@....."C
0002ded0:·9140·0522·42b0·9505·2241·0433·a005·2240··.@."B..."A.3.."@0002ded0:·b0c3·9140·0522·42b0·9505·2241·0433·a005··...@."B..."A.3..
0002dee0:·9090·9005·223f·a0b0·95a0·044f·5b04·3ba0··...."?.....O[.;.0002dee0:·2240·9090·9005·223f·a0b0·95a0·044f·5b04··"@...."?.....O[.
Max diff block lines reached; 6218464/6233594 bytes (99.76%) of diff not shown.
18.4 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·002a·1687··Coq!..@P.....*..00000000:·436f·7121·0001·4050·0000·0000·002a·1664··Coq!..@P.....*.d
00000010:·8495·a6be·0000·055c·0000·0101·0000·038b··.......\........00000010:·8495·a6be·0000·055c·0000·0101·0000·038b··.......\........
00000020:·0000·02fe·c0a0·256d·706f·6c79·a02c·6d75··......%mpoly.,mu00000020:·0000·02fe·c0a0·256d·706f·6c79·a02c·6d75··......%mpoly.,mu
00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math
00000040:·636f·6d70·4008·0000·7300·a0a0·2750·7265··comp@...s...'Pre00000040:·636f·6d70·4008·0000·7300·a0a0·2750·7265··comp@...s...'Pre
00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@
00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p
00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures.00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures.
Offset 80, 19 lines modifiedOffset 80, 19 lines modified
000004f0:·6863·6f6d·7040·9030·01a4·0b8e·683a·3a09··hcomp@.0....h::.000004f0:·6863·6f6d·7040·9030·01a4·0b8e·683a·3a09··hcomp@.0....h::.
00000500:·b01a·3a20·a6de·b4aa·a0a0·2e73·7372·636f··..:·.......ssrco00000500:·b01a·3a20·a6de·b4aa·a0a0·2e73·7372·636f··..:·.......ssrco
00000510:·6d70·6c65·6d65·6e74·73a0·2c6d·756c·7469··mplements.,multi00000510:·6d70·6c65·6d65·6e74·73a0·2c6d·756c·7469··mplements.,multi
00000520:·6e6f·6d69·616c·73a0·286d·6174·6863·6f6d··nomials.(mathcom00000520:·6e6f·6d69·616c·73a0·286d·6174·6863·6f6d··nomials.(mathcom
00000530:·7040·9030·ccf5·4ae7·c0c3·592b·53d9·ca9e··p@.0..J...Y+S...00000530:·7040·9030·ccf5·4ae7·c0c3·592b·53d9·ca9e··p@.0..J...Y+S...
00000540:·d3f4·40f8·a0a0·2566·7265·6567·a02c·6d75··..@...%freeg.,mu00000540:·d3f4·40f8·a0a0·2566·7265·6567·a02c·6d75··..@...%freeg.,mu
00000550:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math00000550:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math
00000560:·636f·6d70·4090·30f7·515f·99ef·a8f6·2969··comp@.0.Q_....)i 
00000570:·f65d·53fe·9f94·6925·352e·332e·30a0·4040··.]S...i%5.3.0.@@ 
00000580:·724c·d6c3·8347·2577·0078·e8e7·160f·e873··rL...G%w.x.....s00000560:·636f·6d70·4090·30b1·7e6c·49fb·fefd·e7c5··comp@.0.~lI.....
 00000570:·3931·8555·bc9d·6525·352e·332e·30a0·4040··91.U..e%5.3.0.@@
 00000580:·9f1b·0a87·5a2e·be37·4f5d·bfe1·ff6a·ffb4··....Z..7O]...j..
00000590:·8495·a6be·0017·2bef·0004·8208·0010·8e9e··......+.........00000590:·8495·a6be·0017·2bcc·0004·8208·0010·8e97··......+.........
000005a0:·0010·6928·b0d0·a025·6d70·6f6c·79a0·2c6d··..i(...%mpoly.,m000005a0:·0010·6921·b0d0·a025·6d70·6f6c·79a0·2c6d··..i!...%mpoly.,m
000005b0:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat000005b0:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat
000005c0:·6863·6f6d·7040·e090·0408·4190·a0a0·286d··hcomp@....A...(m000005c0:·6863·6f6d·7040·e090·0408·4190·a0a0·286d··hcomp@....A...(m
000005d0:·756c·7469·6e6f·6d91·0800·003f·0090·0800··ultinom....?....000005d0:·756c·7469·6e6f·6d91·0800·003f·0090·0800··ultinom....?....
000005e0:·0043·0004·05a0·a0a0·9021·6e40·9ba0·a090··.C.......!n@....000005e0:·0043·0004·05a0·a0a0·9021·6e40·9ba0·a090··.C.......!n@....
000005f0:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I000005f0:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I
00000600:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat...00000600:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat...
00000610:·1606·40a0·8080·4090·a0b6·a004·1440·0412··..@...@......@..00000610:·1606·40a0·8080·4090·a0b6·a004·1440·0412··..@...@......@..
Offset 22100, 16 lines modifiedOffset 22100, 16 lines modified
00056530:·7a87·8d90·b005·f1c6·050d·a502·0000·dd13··z...............00056530:·7a87·8d90·b005·f1c6·050d·a502·0000·dd13··z...............
00056540:·4042·b005·0cc0·42a0·0301·f84b·2dde·ae78··@B....B....K-..x00056540:·4042·b005·0cc0·42a0·0301·f84b·2dde·ae78··@B....B....K-..x
00056550:·ad90·b005·de0c·050e·0102·0000·dd1a·c040··...............@00056550:·ad90·b005·de0c·050e·0102·0000·dd1a·c040··...............@
00056560:·b005·0cc1·4205·03e3·4041·4344·4546·4748··....B...@ACDEFGH00056560:·b005·0cc1·4205·03e3·4041·4344·4546·4748··....B...@ACDEFGH
00056570:·4b4c·4d4e·c0a0·a029·6269·6765·6e6f·7567··KLMN...)bigenoug00056570:·4b4c·4d4e·c0a0·a029·6269·6765·6e6f·7567··KLMN...)bigenoug
00056580:·68a0·0402·a028·6d61·7468·636f·6d70·4090··h....(mathcomp@.00056580:·68a0·0402·a028·6d61·7468·636f·6d70·4090··h....(mathcomp@.
00056590:·3001·a40b·8e68·3a3a·09b0·1a3a·20a6·deb4··0....h::...:·...00056590:·3001·a40b·8e68·3a3a·09b0·1a3a·20a6·deb4··0....h::...:·...
000565a0:·aaa0·05f4·0d90·30f7·515f·99ef·a8f6·2969··......0.Q_....)i 
000565b0:·f65d·53fe·9f94·69a0·a005·08d0·a005·08cf··.]S...i.........000565a0:·aaa0·05f4·0d90·30b1·7e6c·49fb·fefd·e7c5··......0.~lI.....
 000565b0:·3931·8555·bc9d·65a0·a005·08d0·a005·08cf··91.U..e.........
000565c0:·a005·08ce·4090·30cc·f54a·e7c0·c359·2b53··....@.0..J...Y+S000565c0:·a005·08ce·4090·30cc·f54a·e7c0·c359·2b53··....@.0..J...Y+S
000565d0:·d9ca·9ed3·f440·f8a0·05f5·9890·30e9·e309··.....@......0...000565d0:·d9ca·9ed3·f440·f8a0·05f5·9890·30e9·e309··.....@......0...
000565e0:·46f4·691a·1c9b·71a2·79de·f98b·5790·40a0··F.i...q.y...W.@.000565e0:·46f4·691a·1c9b·71a2·79de·f98b·5790·40a0··F.i...q.y...W.@.
000565f0:·a095·a002·1d04·1afc·a040·a0a0·402b·2758··.........@..@+'X000565f0:·a095·a002·1d04·1afc·a040·a0a0·402b·2758··.........@..@+'X
00056600:·5f7b·312e·2e20·5f20·7dc0·a0a0·4040·a091··_{1..·_·}...@@..00056600:·5f7b·312e·2e20·5f20·7dc0·a0a0·4040·a091··_{1..·_·}...@@..
00056610:·4240·a0b1·4040·a090·4240·4090·a0d0·a0a0··B@..@@..B@@.....00056610:·4240·a0b1·4040·a090·4240·4090·a0d0·a0a0··B@..@@..B@@.....
00056620:·4040·040b·4004·10a0·a0a0·4127·2758·5f7b··@@..@.....A''X_{00056620:·4040·040b·4004·10a0·a0a0·4127·2758·5f7b··@@..@.....A''X_{
Offset 22705, 15 lines modifiedOffset 22705, 15 lines modified
00058b00:·706f·6c79·2e76·0200·008d·f302·0000·8e88··poly.v..........00058b00:·706f·6c79·2e76·0200·008d·f302·0000·8e88··poly.v..........
00058b10:·0103·bc02·0000·8df3·c040·4040·41b0·c391··.........@@@A...00058b10:·0103·bc02·0000·8df3·c040·4040·41b0·c391··.........@@@A...
00058b20:·4030·6d6f·6475·6c65·2d74·6f2d·6578·706f··@0module-to-expo00058b20:·4030·6d6f·6475·6c65·2d74·6f2d·6578·706f··@0module-to-expo
00058b30:·7274·b095·a004·0943·040c·a022·5479·9090··rt.....C..."Ty..00058b30:·7274·b095·a004·0943·040c·a022·5479·9090··rt.....C..."Ty..
00058b40:·9090·2673·7472·696e·67a0·b095·a004·2e5b··..&string......[00058b40:·9090·2673·7472·696e·67a0·b095·a004·2e5b··..&string......[
00058b50:·0417·a004·0b90·9090·9027·6d6f·6470·6174··.........'modpat00058b50:·0417·a004·0b90·9090·9027·6d6f·6470·6174··.........'modpat
00058b60:·6840·041d·a004·1190·9090·4040·4040·4029··h@........@@@@@)00058b60:·6840·041d·a004·1190·9090·4040·4040·4029··h@........@@@@@)
00058b70:·3830·3230·3331·3839·31e0·d040·2840·676c··802031891..@(@gl00058b70:·3731·3136·3433·3838·39e0·d040·2840·676c··711643889..@(@gl
00058b80:·6f62·616c·21a0·b0c3·9140·2a67·6574·2d6f··obal!....@*get-o00058b80:·6f62·616c·21a0·b0c3·9140·2a67·6574·2d6f··obal!....@*get-o
00058b90:·7074·696f·6eb0·95a0·2c63·6f71·3a6c·6f63··ption...,coq:loc00058b90:·7074·696f·6eb0·95a0·2c63·6f71·3a6c·6f63··ption...,coq:loc
00058ba0:·616c·6974·7943·e040·3863·6f71·2d62·7569··alityC.@8coq-bui00058ba0:·616c·6974·7943·e040·3863·6f71·2d62·7569··alityC.@8coq-bui
00058bb0:·6c74·696e·2d73·796e·7465·7270·2e65·6c70··ltin-synterp.elp00058bb0:·6c74·696e·2d73·796e·7465·7270·2e65·6c70··ltin-synterp.elp
00058bc0:·6901·1b0d·011b·1b01·00b0·011a·eea0·0424··i..............$00058bc0:·6901·1b0d·011b·1b01·00b0·011a·eea0·0424··i..............$
00058bd0:·9040·a0b0·95a0·2667·6c6f·6261·6c43·e040··.@....&globalC.@00058bd0:·9040·a0b0·95a0·2667·6c6f·6261·6c43·e040··.@....&globalC.@
00058be0:·0409·011b·1c01·1b24·0100·b001·1aee·a004··.......$........00058be0:·0409·011b·1c01·1b24·0100·b001·1aee·a004··.......$........
Offset 24757, 42 lines modifiedOffset 24757, 42 lines modified
00060b40:·4041·050b·67a0·a090·40a0·9041·40e0·4005··@A..g...@..A@.@.00060b40:·4041·050b·67a0·a090·40a0·9041·40e0·4005··@A..g...@..A@.@.
00060b50:·2080·016f·ff01·703c·0100·c001·6fff·d040···..o..p<....o..@00060b50:·2080·016f·ff01·703c·0100·c001·6fff·d040···..o..p<....o..@
00060b60:·050b·66a0·a090·40a0·9040·a090·40a0·9041··..f...@..@..@..A00060b60:·050b·66a0·a090·40a0·9040·a090·40a0·9041··..f...@..@..@..A
00060b70:·a090·4140·e040·0520·8d01·6f33·016f·b801··..A@.@.·..o3.o..00060b70:·a090·4140·e040·0520·8d01·6f33·016f·b801··..A@.@.·..o3.o..
00060b80:·00bc·016f·33d0·4005·0b40·a040·e040·0521··...o3.@..@.@.@.!00060b80:·00bc·016f·33d0·4005·0b40·a040·e040·0521··...o3.@..@.@.@.!
00060b90:·0601·0860·0108·6a00·4201·0860·4041·4243··...`..j.B..`@ABC00060b90:·0601·0860·0108·6a00·4201·0860·4041·4243··...`..j.B..`@ABC
00060ba0:·4445·4647·4849·4a05·2138·0c00·0000·0000··DEFGHIJ.!8......00060ba0:·4445·4647·4849·4a05·2138·0c00·0000·0000··DEFGHIJ.!8......
00060bb0:·00e3·3e40·4140·a0a0·05ec·7aa0·4090·a0a0··..>@A@....z.@...00060bb0:·00e1·3e40·4140·a0a0·05ec·7aa0·4090·a0a0··..>@A@....z.@...
00060bc0:·0600·0106·aea0·4090·4040·a094·a0a0·40a2··......@.@@....@.00060bc0:·0600·0106·aea0·4090·4040·a094·a0a0·40a2··......@.@@....@.
00060bd0:·a206·0001·277d·05ec·8606·0001·06b6·40a0··....'}........@.00060bd0:·a206·0001·277d·05ec·8606·0001·06b6·40a0··....'}........@.
00060be0:·a005·eac9·a040·9040·a094·a0a0·40a2·0600··.....@.@....@...00060be0:·a005·eac9·a040·9040·a094·a0a0·40a2·0600··.....@.@....@...
00060bf0:·0127·8605·ead0·40a0·95a0·021b·9b7f·79a0··.'....@.......y.00060bf0:·0127·8605·ead0·40a0·95a0·021b·9b7f·79a0··.'....@.......y.
00060c00:·275f·454c·5049·5f32·c0a0·2665·7870·6f72··'_ELPI_2..&expor00060c00:·275f·454c·5049·5f32·c0a0·2665·7870·6f72··'_ELPI_2..&expor
00060c10:·74a0·2264·6240·a0a0·b006·0001·2793·2132··t."db@......'.!200060c10:·74a0·2264·6240·a0a0·b006·0001·2793·2132··t."db@......'.!2
00060c20:·0211·444a·29d0·0521·62d0·e040·4040·4040··..DJ)..!b..@@@@@00060c20:·0211·444a·29d0·0521·62d0·e040·4040·4040··..DJ)..!b..@@@@@
00060c30:·0521·6140·a0c0·e090·0521·602d·2e2f·7372··.!a@.....!`-./sr00060c30:·0521·6140·a0c0·e090·0521·602d·2e2f·7372··.!a@.....!`-./sr
00060c40:·632f·6d70·6f6c·792e·7602·0000·8e8a·0200··c/mpoly.v.......00060c40:·632f·6d70·6f6c·792e·7602·0000·8e8a·0200··c/mpoly.v.......
00060c50:·008e·e701·03c1·0200·008e·8a05·215f·b0c3··............!_..00060c50:·008e·e701·03c1·0200·008e·8a05·215f·b0c3··............!_..
00060c60:·9140·0521·5eb0·9505·215d·0408·a005·215c··.@.!^...!]....!\00060c60:·9140·0521·5eb0·9505·215d·0408·a005·215c··.@.!^...!]....!\
00060c70:·9090·9005·215b·a0b0·95a0·042e·5b04·10a0··....![......[...00060c70:·9090·9005·215b·a0b0·95a0·042e·5b04·10a0··....![......[...
00060c80:·0521·6490·9090·0521·5940·0414·a005·2168··.!d....!Y@....!h00060c80:·0521·6490·9090·0521·5940·0414·a005·2168··.!d....!Y@....!h
00060c90:·9090·9040·4040·4040·2939·3638·3631·3133··...@@@@@)968611300060c90:·9090·9040·4040·4040·2936·3338·3933·3430··...@@@@@)6389340
00060ca0:·3830·e005·2157·0521·2505·2058·050b·6705··80..!W.!%.·X..g.00060ca0:·3534·e005·2157·0521·2505·2058·050b·6705··54..!W.!%.·X..g.
00060cb0:·0b5a·0521·7d0c·0000·0000·0000·e53e·4041··.Z.!}........>@A00060cb0:·0b5a·0521·7d0c·0000·0000·0000·e53e·4041··.Z.!}........>@A
00060cc0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI00060cc0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI
00060cd0:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@00060cd0:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@
00060ce0:·a0a0·b006·0001·27c1·2133·0211·444a·2ad0··......'.!3..DJ*.00060ce0:·a0a0·b006·0001·27c1·2133·0211·444a·2ad0··......'.!3..DJ*.
00060cf0:·0521·90d0·e040·4040·4040·0521·8f40·a0c0··.!...@@@@@.!.@..00060cf0:·0521·90d0·e040·4040·4040·0521·8f40·a0c0··.!...@@@@@.!.@..
00060d00:·042e·0521·8ab0·c391·4005·2189·b095·0521··...!....@.!....!00060d00:·042e·0521·8ab0·c391·4005·2189·b095·0521··...!....@.!....!
00060d10:·8804·33a0·0521·8790·9090·0521·86a0·b095··..3..!.....!....00060d10:·8804·33a0·0521·8790·9090·0521·86a0·b095··..3..!.....!....
00060d20:·a004·4f5b·043b·a005·218f·9090·9005·2184··..O[.;..!.....!.00060d20:·a004·4f5b·043b·a005·218f·9090·9005·2184··..O[.;..!.....!.
00060d30:·4004·3fa0·0521·9390·9090·4040·4040·4029··@.?..!....@@@@@)00060d30:·4004·3fa0·0521·9390·9090·4040·4040·4029··@.?..!....@@@@@)
00060d40:·3332·3330·3835·3133·31e0·0521·8205·2150··323085131..!..!P00060d40:·3135·3937·3335·3137·39e0·0521·8205·2150··159735179..!..!P
00060d50:·0520·8305·0b92·050b·8505·21a8·0c00·0000··.·........!.....00060d50:·0520·8305·0b92·050b·8505·21a8·0c00·0000··.·........!.....
00060d60:·0000·00c0·3e40·4140·a095·a002·1d04·1afc··....>@A@........00060d60:·0000·00ca·3e40·4140·a095·a002·1d04·1afc··....>@A@........
00060d70:·a040·a0a0·4030·5b20·6d65·6173·7572·6520··.@..@0[·measure·00060d70:·a040·a0a0·4030·5b20·6d65·6173·7572·6520··.@..@0[·measure·
00060d80:·6f66·205f·205d·c0a0·a040·40a0·4040·a0b1··of·_·]...@@.@@..00060d80:·6f66·205f·205d·c0a0·a040·40a0·4040·a0b1··of·_·]...@@.@@..
00060d90:·4040·a041·4040·90a0·d0a0·a040·4004·0940··@@.A@@.....@@..@00060d90:·4040·a041·4040·90a0·d0a0·a040·4004·0940··@@.A@@.....@@..@
00060da0:·040e·a0a0·a041·215b·a0a0·4027·6d65·6173··.....A![..@'meas00060da0:·040e·a0a0·a041·215b·a0a0·4027·6d65·6173··.....A![..@'meas
00060db0:·7572·65a0·a041·226f·66a0·a1a1·4004·1390··ure..A"of...@...00060db0:·7572·65a0·a041·226f·66a0·a1a1·4004·1390··ure..A"of...@...
00060dc0:·05fd·d8a0·a041·215d·4040·a004·1940·4090··.....A!]@@...@@.00060dc0:·05fd·d8a0·a041·215d·4040·a004·1940·4090··.....A!]@@...@@.
00060dd0:·a040·a0a0·9422·5b20·a094·286d·6561·7375··.@..."[·..(measu00060dd0:·a040·a0a0·9422·5b20·a094·286d·6561·7375··.@..."[·..(measu
Offset 25166, 16 lines modifiedOffset 25166, 16 lines modified
000624d0:·0528·0202·1144·4a28·d005·2801·d0e0·4040··.(...DJ(..(...@@000624d0:·0528·0202·1144·4a28·d005·2801·d0e0·4040··.(...DJ(..(...@@
000624e0:·4040·40a0·4040·40a0·c0e0·9005·2800·2d2e··@@@.@@@.....(.-.000624e0:·4040·40a0·4040·40a0·c0e0·9005·2800·2d2e··@@@.@@@.....(.-.
000624f0:·2f73·7263·2f6d·706f·6c79·2e76·0126·dc01··/src/mpoly.v.&..000624f0:·2f73·7263·2f6d·706f·6c79·2e76·0126·dc01··/src/mpoly.v.&..
00062500:·2711·0100·b801·26dc·0527·ffb0·c391·402f··'.....&..'....@/00062500:·2711·0100·b801·26dc·0527·ffb0·c391·402f··'.....&..'....@/
00062510:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical.00062510:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical.
00062520:·95a0·9106·0001·2414·5804·0ba0·0527·ff90··......$.X....'..00062520:·95a0·9106·0001·2414·5804·0ba0·0527·ff90··......$.X....'..
00062530:·9090·9028·636f·6e73·7461·6e74·4004·11a0··...(constant@...00062530:·9090·9028·636f·6e73·7461·6e74·4004·11a0··...(constant@...
00062540:·0528·0590·9090·4040·4040·4029·3833·3234··.(....@@@@@)832400062540:·0528·0590·9090·4040·4040·4029·3330·3237··.(....@@@@@)3027
00062550:·3234·3234·36e0·d0d0·d0d0·4025·4063·6173··24246.....@%@cas00062550:·3837·3539·30e0·d0d0·d0d0·4025·4063·6173··87590.....@%@cas
00062560:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@....00062560:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@....
00062570:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let..00062570:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let..
00062580:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b00062580:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b
00062590:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$00062590:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$
000625a0:·ee01·00e1·0124·cfa0·0528·2790·40a0·b0a1··.....$...('.@...000625a0:·ee01·00e1·0124·cfa0·0528·2790·40a0·b0a1··.....$...('.@...
000625b0:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$..000625b0:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$..
000625c0:·00e1·0124·cfa0·0528·2e90·40a0·b0a1·9004··...$...(..@.....000625c0:·00e1·0124·cfa0·0528·2e90·40a0·b0a1·9004··...$...(..@.....
Offset 29616, 32 lines modifiedOffset 29616, 32 lines modified
00073af0:·0105·58d0·4005·1707·a0a0·9040·a090·40a0··..X.@......@..@.00073af0:·0105·58d0·4005·1707·a0a0·9040·a090·40a0··..X.@......@..@.
00073b00:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i.....00073b00:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i.....
Max diff block lines reached; 19335443/19344924 bytes (99.95%) of diff not shown.
144 B
./var/lib/coq/md5sums/libcoq-mathcomp-multinomials.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 fss421 oy5z0