27.6 MB
/srv/reproducible-results/rbuild-debian/r-b-build.J0OPHVdx/b1/mathcomp-multinomials_2.3.0-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.J0OPHVdx/b2/mathcomp-multinomials_2.3.0-1_amd64.changes
238 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·f3e6a96b14de129339d1abbbce67012d·1867836·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb1 ·890523cecb7dc204cb197fa5f757a47a·1867152·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb
27.6 MB
libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb
452 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·····1344·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··1866300·2024-12-18·11:19:29.000000·data.tar.xz3 -rw-r--r--···0········0········0··1865612·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:·amd644 Architecture:·amd64
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-w4ej8,·libcoq-mathcomp-bigenough-6f670,·libcoq-mathcomp-finmap-ty5u0,·libcoq-mathcomp-ssreflect-eojd57 Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-w4ej8,·libcoq-mathcomp-bigenough-6f670,·libcoq-mathcomp-finmap-ty5u0,·libcoq-mathcomp-ssreflect-eojd5
8 Suggests:·ocaml-findlib8 Suggests:·ocaml-findlib
9 Provides:·libcoq-mathcomp-multinomials-aiit99 Provides:·libcoq-mathcomp-multinomials-0gbq8
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
27.6 MB
data.tar.xz
27.6 MB
data.tar
3.91 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/x86_64-linux-gnu/ocaml/5.2.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/
10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/multinomials/freeg.v
13 -rw-r--r--···0·root·········(0)·root·········(0)···515484·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/multinomials/freeg.vo13 -rw-r--r--···0·root·········(0)·root·········(0)···515470·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/multinomials/monalg.v
16 -rw-r--r--···0·root·········(0)·root·········(0)···911296·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/multinomials/monalg.vo16 -rw-r--r--···0·root·········(0)·root·········(0)···911280·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/multinomials/mpoly.v
19 -rw-r--r--···0·root·········(0)·root·········(0)··2758425·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo19 -rw-r--r--···0·root·········(0)·root·········(0)··2758439·2024-12-18·11:19:29.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/x86_64-linux-gnu/ocaml/5.2.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/
3.16 MB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.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·dcea··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0007·dcdc··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·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y.......00000060:·9030·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y.......
00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures.00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*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:·304f·9951·a74b·018b·7771·10f8·c56e·a737··0O.Q.K..wq...n.700000300:·304f·9951·a74b·018b·7771·10f8·c56e·a737··0O.Q.K..wq...n.7
00000310:·3aa0·a026·7373·7269·6e74·a027·616c·6765··:..&ssrint.'alge00000310:·3aa0·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:·62e2·0677·8f67·440d·27ad·300e·27fb·17dd··b..w.gD.'.0.'...00000330:·62e2·0677·8f67·440d·27ad·300e·27fb·17dd··b..w.gD.'.0.'...
00000340:·2535·2e32·2e30·a040·4067·b409·0b17·8e57··%5.2.0.@@g.....W00000340:·2535·2e32·2e30·a040·4067·b409·0b17·8e57··%5.2.0.@@g.....W
00000350:·aaa2·a688·9103·1a3b·8984·95a6·be00·04ee··.......;........00000350:·aaa2·a688·9103·1a3b·8984·95a6·be00·04ee··.......;........
00000360:·4800·0118·3300·03fb·4d00·03eb·1eb0·d0a0··H...3...M.......00000360:·3a00·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, 9397 lines modifiedOffset 5885, 9397 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..
Diff chunk too large, falling back to line-by-line diff (6741 lines added, 6741 lines removed)
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·3837·3636·3031··....@@@@@)87660100017030:·0790·9090·4040·4040·4028·3437·3731·3833··....@@@@@(477183
00017040:·3534·35e0·d0d0·d0d0·4025·4063·6173·74a0··545.....@%@cast.00017040:·3433·e0d0·d0d0·d040·2540·6361·7374·a0b0··43.....@%@cast..
00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T00017050:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY
00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....00017060:·0406·40b0·c391·4023·6c65·74b0·95a0·9024··..@...@#let....$
00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui00017070:·6361·7374·53e0·4030·636f·712d·6275·696c··castS.@0coq-buil
00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$..00017080:·7469·6e2e·656c·7069·0124·e801·24ee·0100··tin.elpi.$..$...
00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@......00017090:·e101·24cf·a004·2990·40a0·b0a1·9004·1704··..$...).@.......
000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$.....000170a0:·12e0·4004·0801·24ef·0124·f101·00e1·0124··..@...$..$.....$
000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@.........000170b0:·cfa0·0430·9040·a0b0·a190·041e·041f·e040··...0.@.........@
000170c0:·4004·0f01·24f2·0124·f301·00e1·0124·cfa0··@...$..$.....$..000170c0:·040f·0124·f201·24f3·0100·e101·24cf·a004··...$..$.....$...
000170d0:·0437·9040·a0b0·b490·a021·7804·2740·b0a1··.7.@.....!x.'@..000170d0:·3790·40a0·b0b4·90a0·2178·0427·40b0·a190··7.@.....!x.'@...
000170e0:·9004·2a04·04e0·4004·1b01·24f6·0124·f701··..*...@...$..$..000170e0:·042a·0404·e040·041b·0124·f601·24f7·0100··.*...@...$..$...
000170f0:·00e1·0124·cfa0·0443·9040·e040·041e·0124··...$...C.@.@...$000170f0:·e101·24cf·a004·4390·40e0·4004·1e01·24f4··..$...C.@.@...$.
00017100:·f401·24f7·0100·e101·24cf·a004·4690·4040··..$.....$...F.@@00017100:·0124·f701·00e1·0124·cfa0·0446·9040·40e0··.$.....$...F.@@.
00017110:·e040·0421·0124·e401·24f7·0100·e101·24cf··.@.!.$..$.....$.00017110:·4004·2101·24e4·0124·f701·00e1·0124·cfa0··@.!.$..$.....$..
00017120:·a004·4990·40e0·4004·2401·24dd·0124·f701··..I.@.@.$.$..$..00017120:·0449·9040·e040·0424·0124·dd01·24f7·0100··.I.@.@.$.$..$...
00017130:·00e1·0124·cfa0·044c·9040·e040·0427·0124··...$...L.@.@.'.$00017130:·e101·24cf·a004·4c90·40e0·4004·2701·24db··..$...L.@.@.'.$.
00017140:·db01·24f7·0100·e101·24cf·a004·4f90·40e0··..$.....$...O.@.00017140:·0124·f701·00e1·0124·cfa0·044f·9040·e040··.$.....$...O.@.@
00017150:·4004·2a01·24cf·0124·f801·00e1·0124·cfd0··@.*.$..$.....$..00017150:·042a·0124·cf01·24f8·0100·e101·24cf·d040··.*.$..$.....$..@
00017160:·402a·4063·6f65·7263·696f·6e21·a0b0·c391··@*@coercion!....00017160:·2a40·636f·6572·6369·6f6e·21a0·b0c3·9140··*@coercion!....@
00017170:·4022·3a3a·b0c3·9140·2863·6f65·7263·696f··@"::...@(coercio00017170:·223a·3ab0·c391·4028·636f·6572·6369·6f6e··"::...@(coercion
00017180:·6eb0·a191·402a·7265·7665·7273·6962·6c65··n...@*reversible00017180:·b0a1·9140·2a72·6576·6572·7369·626c·65e0··...@*reversible.
00017190:·e040·043a·0153·1a01·5324·0101·f201·52fc··.@.:.S..S$....R.00017190:·4004·3a01·531a·0153·2401·01f2·0152·fca0··@.:.S..S$....R..
000171a0:·a004·6290·4040·e040·043d·0153·1101·5324··..b.@@.@.=.S..S$000171a0:·0462·9040·40e0·4004·3d01·5311·0153·2401··.b.@@.@.=.S..S$.
000171b0:·0101·f201·52fc·a004·6590·40a0·b0a1·9140··....R...e.@....@000171b0:·01f2·0152·fca0·0465·9040·a0b0·a191·4022··...R...e.@....@"
000171c0:·225b·5de0·4004·4501·5324·0153·2501·01f2··"[].@.E.S$.S%...000171c0:·5b5d·e040·0445·0153·2401·5325·0101·f201··[].@.E.S$.S%....
000171d0:·0152·fca0·046d·9040·40e0·4004·4801·5310··.R...m.@@.@.H.S.000171d0:·52fc·a004·6d90·4040·e040·0448·0153·1001··R...m.@@.@.H.S..
000171e0:·0153·2501·01f2·0152·fca0·0470·9040·e040··.S%....R...p.@.@000171e0:·5325·0101·f201·52fc·a004·7090·40e0·4004··S%....R...p.@.@.
000171f0:·044b·0152·fc01·5325·0101·f201·52fc·4041··.K.R..S%....R.@A000171f0:·4b01·52fc·0153·2501·01f2·0152·fc40·4142··K.R..S%....R.@AB
00017200:·422c·4064·6570·7265·6361·7465·6421·a0b0··B,@deprecated!..00017200:·2c40·6465·7072·6563·6174·6564·21a0·b0b4··,@deprecated!...
00017210:·b490·a025·5369·6e63·6504·6240·b0b4·90a0··...%Since.b@....00017210:·90a0·2553·696e·6365·0462·40b0·b490·a023··..%Since.b@....#
00017220:·234d·7367·0467·40b0·c391·402a·6765·742d··#Msg.g@...@*get-00017220:·4d73·6704·6740·b0c3·9140·2a67·6574·2d6f··Msg.g@...@*get-o
00017230:·6f70·7469·6f6e·b095·a02e·636f·713a·6465··option....coq:de00017230:·7074·696f·6eb0·95a0·2e63·6f71·3a64·6570··ption....coq:dep
00017240:·7072·6563·6174·6564·43e0·4004·6001·5280··precatedC.@.`.R.00017240:·7265·6361·7465·6443·e040·0460·0152·8001··recatedC.@.`.R..
00017250:·0152·9001·01ed·0152·73a0·0488·9040·a0b0··.R.....Rs....@..00017250:·5290·0101·ed01·5273·a004·8890·40a0·b0c3··R.....Rs....@...
00017260:·c391·4022·7072·b0a1·9004·7a04·19e0·4004··..@"pr....z...@.00017260:·9140·2270·72b0·a190·047a·0419·e040·046b··.@"pr....z...@.k
00017270:·6b01·5295·0152·9a01·01ed·0152·73a0·0493··k.R..R.....Rs...00017270:·0152·9501·529a·0101·ed01·5273·a004·9390··.R..R.....Rs....
00017280:·9040·a0b0·a190·0481·041b·e040·0472·0152··.@.........@.r.R00017280:·40a0·b0a1·9004·8104·1be0·4004·7201·529b··@.........@.r.R.
00017290:·9b01·529e·0101·ed01·5273·a004·9a90·4040··..R.....Rs....@@00017290:·0152·9e01·01ed·0152·73a0·049a·9040·40e0··.R.....Rs....@@.
000172a0:·e040·0475·0152·9201·529e·0101·ed01·5273··.@.u.R..R.....Rs000172a0:·4004·7501·5292·0152·9e01·01ed·0152·73a0··@.u.R..R.....Rs.
000172b0:·a004·9d90·4040·e040·0478·0152·7501·529f··....@@.@.x.Ru.R.000172b0:·049d·9040·40e0·4004·7801·5275·0152·9f01··...@@.@.x.Ru.R..
000172c0:·0101·ed01·5273·a004·a090·40e0·4004·7b01··....Rs....@.@.{.000172c0:·01ed·0152·73a0·04a0·9040·e040·047b·0152··...Rs....@.@.{.R
000172d0:·526c·0152·9f01·01ed·0152·73a0·04a3·9040··Rl.R.....Rs....@000172d0:·6c01·529f·0101·ed01·5273·a004·a390·40e0··l.R.....Rs....@.
000172e0:·e040·047e·0152·6601·529f·0101·ed01·5273··.@.~.Rf.R.....Rs000172e0:·4004·7e01·5266·0152·9f01·01ed·0152·73a0··@.~.Rf.R.....Rs.
000172f0:·a004·a690·40e0·4004·8101·5253·0152·9f01··....@.@...RS.R..000172f0:·04a6·9040·e040·0481·0152·5301·529f·0101··...@.@...RS.R...
00017300:·01ec·0152·53d0·402b·4064·726f·7075·6e69··...RS.@+@dropuni00017300:·ec01·5253·d040·2b40·6472·6f70·756e·6976··..RS.@+@dropuniv
00017310:·7673·21a0·b0c3·9140·042d·b095·a02d·636f··vs!....@.-...-co00017310:·7321·a0b0·c391·4004·2db0·95a0·2d63·6f71··s!....@.-...-coq
00017320:·713a·6b65·6570·756e·6976·7343·e040·048c··q:keepunivsC.@..00017320:·3a6b·6565·7075·6e69·7673·43e0·4004·8c01··:keepunivsC.@...
00017330:·0150·c201·50d1·0101·e201·50a2·a004·b490··.P..P.....P.....00017330:·50c2·0150·d101·01e2·0150·a2a0·04b4·9040··P..P.....P.....@
00017340:·40a0·b0a1·9140·2266·66e0·4004·9401·50d2··@....@"ff.@...P.00017340:·a0b0·a191·4022·6666·e040·0494·0150·d201··....@"ff.@...P..
00017350:·0150·d401·01e2·0150·a2a0·04bc·9040·40e0··.P.....P.....@@.00017350:·50d4·0101·e201·50a2·a004·bc90·4040·e040··P.....P.....@@.@
00017360:·4004·9701·50b7·0150·d401·01e2·0150·a2a0··@...P..P.....P..00017360:·0497·0150·b701·50d4·0101·e201·50a2·a004··...P..P.....P...
00017370:·04bf·9040·e040·049a·0150·a201·50d4·0101··...@.@...P..P...00017370:·bf90·40e0·4004·9a01·50a2·0150·d401·01e2··..@.@...P..P....
00017380:·e201·50a2·4041·4328·4067·6c6f·6261·6c21··..P.@AC(@global!00017380:·0150·a240·4143·2840·676c·6f62·616c·21a0··.P.@AC(@global!.
00017390:·a0b0·c391·4004·45b0·95a0·2c63·6f71·3a6c··....@.E...,coq:l00017390:·b0c3·9140·0445·b095·a02c·636f·713a·6c6f··...@.E...,coq:lo
000173a0:·6f63·616c·6974·7943·e040·04a4·0118·0501··ocalityC.@......000173a0:·6361·6c69·7479·43e0·4004·a401·1805·0118··calityC.@.......
000173b0:·1813·0100·9501·17e6·a004·cc90·40a0·b095··............@...000173b0:·1301·0095·0117·e6a0·04cc·9040·a0b0·95a0··...........@....
000173c0:·a026·676c·6f62·616c·43e0·4004·ac01·1814··.&globalC.@.....000173c0:·2667·6c6f·6261·6c43·e040·04ac·0118·1401··&globalC.@......
000173d0:·0118·1c01·0095·0117·e6a0·04d4·9040·40e0··.............@@.000173d0:·181c·0100·9501·17e6·a004·d490·4040·e040··............@@.@
000173e0:·4004·af01·17fa·0118·1c01·0095·0117·e6a0··@...............000173e0:·04af·0117·fa01·181c·0100·9501·17e6·a004··................
000173f0:·04d7·9040·e040·04b2·0117·e601·181c·0100··...@.@..........000173f0:·d790·40e0·4004·b201·17e6·0118·1c01·0095··..@.@...........
00017400:·9501·17e6·d0d0·d040·2740·686f·6c65·7321··.......@'@holes!00017400:·0117·e6d0·d0d0·4027·4068·6f6c·6573·21a0··......@'@holes!.
00017410:·a0b0·c391·4004·60b0·95a0·2a48·4f41·533a··....@.`...*HOAS:00017410:·b0c3·9140·0460·b095·a02a·484f·4153·3a68··...@.`...*HOAS:h
00017420:·686f·6c65·7343·e040·04bf·0133·ad01·33b9··holesC.@...3..3.00017420:·6f6c·6573·43e0·4004·bf01·33ad·0133·b901··olesC.@...3..3..
00017430:·0101·4301·3391·a004·e790·40a0·b0a1·9140··..C.3.....@....@00017430:·0143·0133·91a0·04e7·9040·a0b0·a191·4022··.C.3.....@....@"
00017440:·2274·74e0·4004·c701·33ba·0133·bc01·0143··"tt.@...3..3...C00017440:·7474·e040·04c7·0133·ba01·33bc·0101·4301··tt.@...3..3...C.
00017450:·0133·91a0·04ef·9040·40e0·4004·ca01·33a2··.3.....@@.@...3.00017450:·3391·a004·ef90·4040·e040·04ca·0133·a201··3.....@@.@...3..
00017460:·0133·bc01·0143·0133·91a0·04f2·9040·e040··.3...C.3.....@.@00017460:·33bc·0101·4301·3391·a004·f290·40e0·4004··3...C.3.....@.@.
00017470:·04cd·0133·9101·33bc·0101·4301·3391·d040··...3..3...C.3..@00017470:·cd01·3391·0133·bc01·0143·0133·91d0·4028··..3..3...C.3..@(
00017480:·2840·696e·6c69·6e65·21a0·b0b4·90a0·214e··(@inline!.....!N00017480:·4069·6e6c·696e·6521·a0b0·b490·a021·4e04··@inline!.....!N.
00017490:·04e5·40b0·c391·4004·7eb0·95a0·2a63·6f71··..@...@.~...*coq00017490:·e540·b0c3·9140·047e·b095·a02a·636f·713a··.@...@.~...*coq:
000174a0:·3a69·6e6c·696e·6543·e040·04dd·0151·ac01··:inlineC.@...Q..000174a0:·696e·6c69·6e65·43e0·4004·dd01·51ac·0151··inlineC.@...Q..Q
000174b0:·51b8·0101·e701·518d·a005·0105·9040·a0b0··Q.....Q......@..000174b0:·b801·01e7·0151·8da0·0501·0590·40a0·b0a1··.....Q......@...
000174c0:·a191·4032·636f·712e·696e·6c69·6e65·2e64··..@2coq.inline.d000174c0:·9140·3263·6f71·2e69·6e6c·696e·652e·6465··.@2coq.inline.de
000174d0:·6566·6175·6c74·e040·04e5·0151·b901·51cb··efault.@...Q..Q.000174d0:·6661·756c·74e0·4004·e501·51b9·0151·cb01··fault.@...Q..Q..
000174e0:·0101·e701·518d·a005·010d·9040·40e0·4004··....Q......@@.@.000174e0:·01e7·0151·8da0·0501·0d90·4040·e040·04e8··...Q......@@.@..
000174f0:·e801·51a1·0151·cb01·01e7·0151·8da0·0501··..Q..Q.....Q....000174f0:·0151·a101·51cb·0101·e701·518d·a005·0110··.Q..Q.....Q.....
00017500:·1090·40e0·4004·eb01·519c·0151·cb01·01e7··..@.@...Q..Q....00017500:·9040·e040·04eb·0151·9c01·51cb·0101·e701··.@.@...Q..Q.....
00017510:·0151·8da0·0501·1390·40e0·4004·ee01·518d··.Q......@.@...Q.00017510:·518d·a005·0113·9040·e040·04ee·0151·8d01··Q......@.@...Q..
00017520:·0151·cb01·01e7·0151·8d40·4142·2b40·696e··.Q.....Q.@AB+@in00017520:·51cb·0101·e701·518d·4041·422b·4069·6e6c··Q.....Q.@AB+@inl
00017530:·6c69·6e65·2d61·7421·a0b0·b490·a004·2005··line-at!......·.00017530:·696e·652d·6174·21a0·b0b4·90a0·0420·0501··ine-at!......·..
00017540:·0104·40b0·c391·4004·9db0·9504·1fe0·4004··..@...@.......@.00017540:·0440·b0c3·9140·049d·b095·041f·e040·04fa··.@...@.......@..
00017550:·fa01·515c·0151·6801·01e6·0151·3aa0·0501··..Q\.Qh....Q:...00017550:·0151·5c01·5168·0101·e601·513a·a005·0122··.Q\.Qh....Q:..."
00017560:·2290·40a0·b0c3·9140·2d63·6f71·2e69·6e6c··".@....@-coq.inl00017560:·9040·a0b0·c391·402d·636f·712e·696e·6c69··.@....@-coq.inli
00017570:·696e·652e·6174·b0a1·9005·0114·0430·e040··ine.at.......0.@00017570:·6e65·2e61·74b0·a190·0501·1404·30e0·4005··ne.at.......0.@.
00017580:·0501·0501·5178·0151·7901·01e6·0151·3aa0··....Qx.Qy....Q:.00017580:·0105·0151·7801·5179·0101·e601·513a·a005··...Qx.Qy....Q:..
00017590:·0501·2d90·4040·e040·0501·0801·516a·0151··..-.@@.@....Qj.Q00017590:·012d·9040·40e0·4005·0108·0151·6a01·5179··.-.@@.@....Qj.Qy
000175a0:·7901·01e6·0151·3aa0·0501·3090·4040·e040··y....Q:...0.@@.@000175a0:·0101·e601·513a·a005·0130·9040·40e0·4005··....Q:...0.@@.@.
000175b0:·0501·0b01·5151·0151·7a01·01e6·0151·3aa0··....QQ.Qz....Q:.000175b0:·010b·0151·5101·517a·0101·e601·513a·a005··...QQ.Qz....Q:..
000175c0:·0501·3390·40e0·4005·010e·0151·4c01·517a··..3.@.@....QL.Qz000175c0:·0133·9040·e040·0501·0e01·514c·0151·7a01··.3.@.@....QL.Qz.
000175d0:·0101·e601·513a·a005·0136·9040·e040·0501··....Q:...6.@.@..000175d0:·01e6·0151·3aa0·0501·3690·40e0·4005·0111··...Q:...6.@.@...
000175e0:·1101·513a·0151·7a01·01e6·0151·3ad0·402b··..Q:.Qz....Q:.@+000175e0:·0151·3a01·517a·0101·e601·513a·d040·2b40··.Q:.Qz....Q:.@+@
000175f0:·406b·6565·7075·6e69·7673·21a0·b0c3·9140··@keepunivs!....@000175f0:·6b65·6570·756e·6976·7321·a0b0·c391·4004··keepunivs!....@.
00017600:·04bd·b095·0490·e040·0501·1a01·5076·0150··.......@....Pv.P00017600:·bdb0·9504·90e0·4005·011a·0150·7601·5085··......@....Pv.P.
Max diff block lines reached; 2385529/3318128 bytes (71.89%) of diff not shown.
5.96 MB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.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·e70e··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·000d·e6fe··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·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y......00000060:·4090·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y......
00000070:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures00000070:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*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·3062·e206·778f·6744·0d27·ad30··mp@.0b..w.gD.'.000000290:·6d70·4090·3062·e206·778f·6744·0d27·ad30··mp@.0b..w.gD.'.0
000002a0:·0e27·fb17·dda0·a027·7866·696e·6d61·70a0··.'.....'xfinmap.000002a0:·0e27·fb17·dda0·a027·7866·696e·6d61·70a0··.'.....'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·ad50·6173·3a4b··athcomp@.0.Pas:K000002c0:·6174·6863·6f6d·7040·9030·ad50·6173·3a4b··athcomp@.0.Pas:K
000002d0:·841a·421e·2cf5·1259·84da·2535·2e32·2e30··..B.,..Y..%5.2.0000002d0:·841a·421e·2cf5·1259·84da·2535·2e32·2e30··..B.,..Y..%5.2.0
000002e0:·a040·40dc·9db1·674d·d1e7·003f·c5f3·a265··.@@...gM...?...e000002e0:·a040·40dc·9db1·674d·d1e7·003f·c5f3·a265··.@@...gM...?...e
000002f0:·335d·9a84·95a6·be00·0b24·8a00·0270·a700··3].......$...p..000002f0:·335d·9a84·95a6·be00·0b24·7a00·0270·a700··3].......$z..p..
00000300:·088a·4e00·0871·d2b0·d0a0·266d·6f6e·616c··..N..q....&monal00000300:·088a·4f00·0871·d3b0·d0a0·266d·6f6e·616c··..O..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·402a·3130·3630·3239··....@@@@@*10602900025aa0:·1190·9090·4040·4040·402a·3130·3130·3034··....@@@@@*101004
00025ab0:·3931·3532·e0d0·4028·4067·6c6f·6261·6c21··9152..@(@global!00025ab0:·3235·3036·e0d0·4028·4067·6c6f·6261·6c21··2506..@(@global!
00025ac0:·a0b0·c391·402a·6765·742d·6f70·7469·6f6e··....@*get-option00025ac0:·a0b0·c391·402a·6765·742d·6f70·7469·6f6e··....@*get-option
00025ad0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality00025ad0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality
00025ae0:·43e0·4038·636f·712d·6275·696c·7469·6e2d··C.@8coq-builtin-00025ae0:·43e0·4038·636f·712d·6275·696c·7469·6e2d··C.@8coq-builtin-
00025af0:·7379·6e74·6572·702e·656c·7069·011b·0d01··synterp.elpi....00025af0:·7379·6e74·6572·702e·656c·7069·011b·0d01··synterp.elpi....
00025b00:·1b1b·0100·b001·1aee·a004·2490·40a0·b095··..........$.@...00025b00:·1b1b·0100·b001·1aee·a004·2490·40a0·b095··..........$.@...
00025b10:·a026·676c·6f62·616c·43e0·4004·0901·1b1c··.&globalC.@.....00025b10:·a026·676c·6f62·616c·43e0·4004·0901·1b1c··.&globalC.@.....
00025b20:·011b·2401·00b0·011a·eea0·042c·9040·40e0··..$........,.@@.00025b20:·011b·2401·00b0·011a·eea0·042c·9040·40e0··..$........,.@@.
Offset 11688, 45269 lines modifiedOffset 11688, 45268 lines modified
0002da70:·a601·0087·0100·9049·0100·8740·4105·0b67··.......I...@A..g0002da70:·a601·0087·0100·9049·0100·8740·4105·0b67··.......I...@A..g
0002da80:·a0a0·9040·a090·4140·e040·0520·8001·6fff··...@..A@.@.·..o.0002da80:·a0a0·9040·a090·4140·e040·0520·8001·6fff··...@..A@.@.·..o.
0002da90:·0170·3c01·00c0·016f·ffd0·4005·0b66·a0a0··.p<....o..@..f..0002da90:·0170·3c01·00c0·016f·ffd0·4005·0b66·a0a0··.p<....o..@..f..
0002daa0:·9040·a090·40a0·9040·a090·41a0·9041·40e0··.@..@..@..A..A@.0002daa0:·9040·a090·40a0·9040·a090·41a0·9041·40e0··.@..@..@..A..A@.
0002dab0:·4005·208d·016f·3301·6fb8·0100·bc01·6f33··@.·..o3.o.....o30002dab0:·4005·208d·016f·3301·6fb8·0100·bc01·6f33··@.·..o3.o.....o3
0002dac0:·d040·050b·40a0·40e0·4005·2106·0108·6001··.@..@.@.@.!...`.0002dac0:·d040·050b·40a0·40e0·4005·2106·0108·6001··.@..@.@.@.!...`.
0002dad0:·086a·0042·0108·6040·4142·4344·4546·4748··.j.B..`@ABCDEFGH0002dad0:·086a·0042·0108·6040·4142·4344·4546·4748··.j.B..`@ABCDEFGH
0002dae0:·494a·0521·380c·0000·0000·0000·e53e·4041··IJ.!8........>@A0002dae0:·494a·0521·380c·0000·0000·0000·e73e·4041··IJ.!8........>@A
0002daf0:·40a0·a005·897f·a040·90a0·a005·898d·a040··@......@.......@0002daf0:·40a0·a005·897f·a040·90a0·a005·898d·a040··@......@.......@
0002db00:·9040·40a0·94a0·a040·a2a2·0594·6005·898b··.@@....@....`...0002db00:·9040·40a0·94a0·a040·a2a2·0594·6005·898b··.@@....@....`...
0002db10:·0589·9540·a0a0·0586·b4a0·4090·40a0·94a0··...@......@.@...0002db10:·0589·9540·a0a0·0586·b4a0·4090·40a0·94a0··...@......@.@...
0002db20:·a040·a205·9469·0586·bb40·a095·a002·1b9b··.@...i...@......0002db20:·a040·a205·9469·0586·bb40·a095·a002·1b9b··.@...i...@......
0002db30:·7f79·a027·5f45·4c50·495f·32c0·a026·6578··.y.'_ELPI_2..&ex0002db30:·7f79·a027·5f45·4c50·495f·32c0·a026·6578··.y.'_ELPI_2..&ex
0002db40:·706f·7274·a022·6462·40a0·a0b0·0594·7621··port."db@.....v!0002db40:·706f·7274·a022·6462·40a0·a0b0·0594·7621··port."db@.....v!
0002db50:·3202·2ab1·cdec·d005·2162·d0e0·4040·4040··2.*.....!b..@@@@0002db50:·3202·2ab1·cdec·d005·2162·d0e0·4040·4040··2.*.....!b..@@@@
0002db60:·4005·2161·40a0·c0e0·9005·2160·2e2e·2f73··@.!a@.....!`../s0002db60:·4005·2161·40a0·c0e0·9005·2160·2e2e·2f73··@.!a@.....!`../s
0002db70:·7263·2f6d·6f6e·616c·672e·7601·0b3e·010b··rc/monalg.v..>..0002db70:·7263·2f6d·6f6e·616c·672e·7601·0b3e·010b··rc/monalg.v..>..
0002db80:·9200·4c01·0b3e·0521·5fb0·c391·4005·215e··..L..>.!_...@.!^0002db80:·9200·4c01·0b3e·0521·5fb0·c391·4005·215e··..L..>.!_...@.!^
0002db90:·b095·0521·5d04·08a0·0521·5c90·9090·0521··...!]....!\....!0002db90:·b095·0521·5d04·08a0·0521·5c90·9090·0521··...!]....!\....!
0002dba0:·5ba0·b095·a004·2e5b·0410·a005·2164·9090··[......[....!d..0002dba0:·5ba0·b095·a004·2e5b·0410·a005·2164·9090··[......[....!d..
0002dbb0:·9005·2159·4004·14a0·0521·6890·9090·4040··..!Y@....!h...@@0002dbb0:·9005·2159·4004·14a0·0521·6890·9090·4040··..!Y@....!h...@@
0002dbc0:·4040·4029·3231·3535·3931·3535·35e0·0521··@@@)215591555..!0002dbc0:·4040·4029·3937·3637·3132·3734·33e0·0521··@@@)976712743..!
0002dbd0:·5705·2125·0520·5805·0b67·050b·5a05·217d··W.!%.·X..g..Z.!}0002dbd0:·5705·2125·0520·5805·0b67·050b·5a05·217d··W.!%.·X..g..Z.!}
0002dbe0:·0c00·0000·0000·00d9·3e40·4140·a095·a002··........>@A@....0002dbe0:·0c00·0000·0000·00d9·3e40·4140·a095·a002··........>@A@....
0002dbf0:·1b9b·7f79·a027·5f45·4c50·495f·33c0·a026··...y.'_ELPI_3..&0002dbf0:·1b9b·7f79·a027·5f45·4c50·495f·33c0·a026··...y.'_ELPI_3..&
0002dc00:·6578·706f·7274·a022·6462·40a0·a0b0·0594··export."db@.....0002dc00:·6578·706f·7274·a022·6462·40a0·a0b0·0594··export."db@.....
0002dc10:·a421·3302·2ab1·cded·d005·2190·d0e0·4040··.!3.*.....!...@@0002dc10:·a421·3302·2ab1·cded·d005·2190·d0e0·4040··.!3.*.....!...@@
0002dc20:·4040·4005·218f·40a0·c004·2e05·218a·b0c3··@@@.!.@.....!...0002dc20:·4040·4005·218f·40a0·c004·2e05·218a·b0c3··@@@.!.@.....!...
0002dc30:·9140·0521·89b0·9505·2188·0433·a005·2187··.@.!....!..3..!.0002dc30:·9140·0521·89b0·9505·2188·0433·a005·2187··.@.!....!..3..!.
0002dc40:·9090·9005·2186·a0b0·95a0·044f·5b04·3ba0··....!......O[.;.0002dc40:·9090·9005·2186·a0b0·95a0·044f·5b04·3ba0··....!......O[.;.
Diff chunk too large, falling back to line-by-line diff (5162 lines added, 5162 lines removed)
0002dc50:·0521·8f90·9090·0521·8440·043f·a005·2193··.!.....!.@.?..!.0002dc50:·0521·8f90·9090·0521·8440·043f·a005·2193··.!.....!.@.?..!.
0002dc60:·9090·9040·4040·4040·2938·3333·3730·3539··...@@@@@)83370590002dc60:·9090·9040·4040·4040·2837·3032·3933·3538··...@@@@@(7029358
0002dc70:·3030·e005·2182·0521·5005·2083·050b·9205··00..!..!P.·.....0002dc70:·32e0·0521·8205·2150·0520·8305·0b92·050b··2..!..!P.·......
0002dc80:·0b85·0521·a80c·0000·0000·0000·c23e·4041··...!.........>@A0002dc80:·8505·21a8·0c00·0000·0000·00c0·3e40·4140··..!.........>@A@
0002dc90:·40a0·a005·870e·a040·9040·a094·a0a0·40a2··@......@.@....@.0002dc90:·a0a0·0587·0ea0·4090·40a0·94a0·a040·a205··......@.@....@..
0002dca0:·0594·cb05·8715·40a0·94a0·a040·0405·40a0··......@....@..@.0002dca0:·94cb·0587·1540·a094·a0a0·4004·0540·a0a0··.....@....@..@..
0002dcb0:·a005·8713·a040·90a0·a005·8a0a·a040·9040··.....@.......@.@0002dcb0:·0587·13a0·4090·a0a0·058a·0aa0·4090·4040··....@.......@.@@
0002dcc0:·40a0·94a0·a040·a2a2·0594·dd05·871f·058a··@....@..........0002dcc0:·a094·a0a0·40a2·a205·94dd·0587·1f05·8a12··....@...........
0002dcd0:·1240·a095·a002·1b9b·7f79·a027·5f45·4c50··.@.......y.'_ELP0002dcd0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI
0002dce0:·495f·34c0·a026·6578·706f·7274·a022·6462··I_4..&export."db0002dce0:·5f34·c0a0·2665·7870·6f72·74a0·2264·6240··_4..&export."db@
0002dcf0:·40a0·a0b0·0594·ea21·3402·2ab1·cdee·d005··@......!4.*.....0002dcf0:·a0a0·b005·94ea·2134·022a·b1cd·eed0·0521··......!4.*.....!
0002dd00:·21d6·d0e0·4040·4040·4005·21d5·40a0·c0e0··!...@@@@@.!.@...0002dd00:·d6d0·e040·4040·4040·0521·d540·a0c0·e090··...@@@@@.!.@....
0002dd10:·9005·21d4·2e2e·2f73·7263·2f6d·6f6e·616c··..!.../src/monal0002dd10:·0521·d42e·2e2f·7372·632f·6d6f·6e61·6c67··.!.../src/monalg
0002dd20:·672e·7601·0d94·010d·f700·5e01·0d94·0521··g.v.......^....!0002dd20:·2e76·010d·9401·0df7·005e·010d·9405·21d3··.v.......^....!.
0002dd30:·d3b0·c391·4005·21d2·b095·0521·d104·08a0··....@.!....!....0002dd30:·b0c3·9140·0521·d2b0·9505·21d1·0408·a005··...@.!....!.....
0002dd40:·0521·d090·9090·0521·cfa0·b095·a004·255b··.!.....!......%[0002dd40:·21d0·9090·9005·21cf·a0b0·95a0·0425·5b04··!.....!......%[.
0002dd50:·0410·a005·21d8·9090·9005·21cd·4004·14a0··....!.....!.@...0002dd50:·10a0·0521·d890·9090·0521·cd40·0414·a005··...!.....!.@....
0002dd60:·0521·dc90·9090·4040·4040·402a·3130·3436··.!....@@@@@*10460002dd60:·21dc·9090·9040·4040·4040·2731·3939·3732··!....@@@@@'19972
0002dd70:·3234·3937·3930·e005·21cb·0521·9905·20cc··249790..!..!..·.0002dd70:·3835·e005·21cb·0521·9905·20cc·050b·db05··85..!..!..·.....
0002dd80:·050b·db05·0bce·0521·f10c·0000·0000·0000··.......!........0002dd80:·0bce·0521·f10c·0000·0000·0000·da3e·4041··...!.........>@A
0002dd90:·d53e·4041·40a0·a005·8526·a040·90a0·a005··.>@A@....&.@....0002dd90:·40a0·a005·8526·a040·90a0·a005·8a46·a040··@....&.@.....F.@
0002dda0:·8a46·a040·9040·40a0·94a0·a040·a2a2·0595··.F.@.@@....@....0002dda0:·9040·40a0·94a0·a040·a2a2·0595·1905·8532··.@@....@.......2
0002ddb0:·1905·8532·058a·4e40·a0a0·0582·baa0·4090··...2..N@......@.0002ddb0:·058a·4e40·a0a0·0582·baa0·4090·40a0·94a0··..N@......@.@...
0002ddc0:·40a0·94a0·a040·a205·9522·0582·c140·a095··@....@..."...@..0002ddc0:·a040·a205·9522·0582·c140·a095·a002·1b9b··.@..."...@......
0002ddd0:·a002·1b9b·7f79·a027·5f45·4c50·495f·35c0··.....y.'_ELPI_5.0002ddd0:·7f79·a027·5f45·4c50·495f·35c0·a026·6578··.y.'_ELPI_5..&ex
0002dde0:·a026·6578·706f·7274·a022·6462·40a0·a0b0··.&export."db@...0002dde0:·706f·7274·a022·6462·40a0·a0b0·0595·2f21··port."db@...../!
0002ddf0:·0595·2f21·3502·2ab1·cdef·d005·221b·d0e0··../!5.*....."...0002ddf0:·3502·2ab1·cdef·d005·221b·d0e0·4040·4040··5.*....."...@@@@
0002de00:·4040·4040·4005·221a·40a0·c0e0·9005·2219··@@@@@.".@.....".0002de00:·4005·221a·40a0·c0e0·9005·2219·2e2e·2f73··@.".@.....".../s
0002de10:·2e2e·2f73·7263·2f6d·6f6e·616c·672e·7601··../src/monalg.v.0002de10:·7263·2f6d·6f6e·616c·672e·7601·0df9·010e··rc/monalg.v.....
0002de20:·0df9·010e·5700·6201·0df9·0522·18b0·c391··....W.b...."....0002de20:·5700·6201·0df9·0522·18b0·c391·4005·2217··W.b...."....@.".
0002de30:·4005·2217·b095·0522·1604·08a0·0522·1590··@."...."....."..0002de30:·b095·0522·1604·08a0·0522·1590·9090·0522··..."....."....."
0002de40:·9090·0522·14a0·b095·a004·2e5b·0410·a005··...".......[....0002de40:·14a0·b095·a004·2e5b·0410·a005·221d·9090··.......[...."...
0002de50:·221d·9090·9005·2212·4004·14a0·0522·2190··".....".@...."!.0002de50:·9005·2212·4004·14a0·0522·2190·9090·4040··..".@...."!...@@
0002de60:·9090·4040·4040·4029·3632·3232·3432·3535··..@@@@@)622242550002de60:·4040·4029·3731·3830·3939·3838·31e0·0522··@@@)718099881.."
0002de70:·35e0·0522·1005·21de·0521·1105·0c20·050c··5.."..!..!...·..0002de70:·1005·21de·0521·1105·0c20·050c·1305·2236··..!..!...·...."6
0002de80:·1305·2236·0c00·0000·0000·00dd·3e40·4140··.."6........>@A@0002de80:·0c00·0000·0000·00da·3e40·4140·a095·a002··........>@A@....
0002de90:·a095·a002·1b9b·7f79·a027·5f45·4c50·495f··.......y.'_ELPI_0002de90:·1b9b·7f79·a027·5f45·4c50·495f·36c0·a026··...y.'_ELPI_6..&
0002dea0:·36c0·a026·6578·706f·7274·a022·6462·40a0··6..&export."db@.0002dea0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@.....
0002deb0:·a0b0·0595·5d21·3602·2ab1·cdf0·d005·2249··....]!6.*....."I0002deb0:·5d21·3602·2ab1·cdf0·d005·2249·d0e0·4040··]!6.*....."I..@@
0002dec0:·d0e0·4040·4040·4005·2248·40a0·c004·2e05··..@@@@@."H@.....0002dec0:·4040·4005·2248·40a0·c004·2e05·2243·b0c3··@@@."H@....."C..
0002ded0:·2243·b0c3·9140·0522·42b0·9505·2241·0433··"C...@."B..."A.30002ded0:·9140·0522·42b0·9505·2241·0433·a005·2240··.@."B..."A.3.."@
0002dee0:·a005·2240·9090·9005·223f·a0b0·95a0·044f··.."@...."?.....O0002dee0:·9090·9005·223f·a0b0·95a0·044f·5b04·3ba0··...."?.....O[.;.
0002def0:·5b04·3ba0·0522·4890·9090·0522·3d40·043f··[.;.."H...."=@.?0002def0:·0522·4890·9090·0522·3d40·043f·a005·224c··."H...."=@.?.."L
0002df00:·a005·224c·9090·9040·4040·4040·2939·3237··.."L...@@@@@)9270002df00:·9090·9040·4040·4040·2938·3637·3033·3630··...@@@@@)8670360
0002df10:·3934·3436·3538·e005·223b·0522·0905·213c··944658..";."..!<0002df10:·3838·e005·223b·0522·0905·213c·050c·4b05··88..";."..!<..K.
0002df20:·050c·4b05·0c3e·0522·610c·0000·0000·0000··..K..>."a.......0002df20:·0c3e·0522·610c·0000·0000·0000·c03e·4041··.>."a........>@A
0002df30:·c23e·4041·40a0·a005·8314·a040·9040·a094··.>@A@......@.@..0002df30:·40a0·a005·8314·a040·9040·a094·a0a0·40a2··@......@.@....@.
0002df40:·a0a0·40a2·0595·8405·831b·40a0·94a0·a040··..@.......@....@0002df40:·0595·8405·831b·40a0·94a0·a040·0405·40a0··......@....@..@.
0002df50:·0405·40a0·a005·8abf·a040·90a0·94a0·a040··..@......@.....@0002df50:·a005·8abf·a040·90a0·94a0·a040·0522·8b40··.....@.....@.".@
0002df60:·0522·8b40·a094·a0a0·4005·0136·40a0·94a0··.".@....@..6@...0002df60:·a094·a0a0·4005·0136·40a0·94a0·a040·0501··....@..6@....@..
0002df70:·a040·0501·3040·a094·a0a0·4004·c140·a094··.@..0@....@..@..0002df70:·3040·a094·a0a0·4004·c140·a094·a0a0·4004··0@....@..@....@.
0002df80:·a0a0·4004·8940·a094·a0a0·4004·8340·40a0··..@..@....@..@@.0002df80:·8940·a094·a0a0·4004·8340·40a0·94a0·a040··.@....@..@@....@
0002df90:·94a0·a040·a205·95a9·058a·de40·a094·a0a0··...@.......@....0002df90:·a205·95a9·058a·de40·a094·a0a0·4004·0540··.......@....@..@
Max diff block lines reached; 5529453/6247352 bytes (88.51%) of diff not shown.
18.5 MB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.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·1667··Coq!..@P.....*.g00000000:·436f·7121·0001·4050·0000·0000·002a·1675··Coq!..@P.....*.u
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·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y.......00000060:·9030·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y.......
00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures.00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures.
Offset 80, 19 lines modifiedOffset 80, 19 lines modified
000004f0:·6863·6f6d·7040·9030·51d0·76d3·0eaa·6f44··hcomp@.0Q.v...oD000004f0:·6863·6f6d·7040·9030·51d0·76d3·0eaa·6f44··hcomp@.0Q.v...oD
00000500:·75d8·0e72·41eb·2bf2·a0a0·2e73·7372·636f··u..rA.+....ssrco00000500:·75d8·0e72·41eb·2bf2·a0a0·2e73·7372·636f··u..rA.+....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·db0b·d4f4·292c·e3b1·dba9·fe11··p@.0....),......00000530:·7040·9030·db0b·d4f4·292c·e3b1·dba9·fe11··p@.0....),......
00000540:·bd76·d540·a0a0·2566·7265·6567·a02c·6d75··.v.@..%freeg.,mu00000540:·bd76·d540·a0a0·2566·7265·6567·a02c·6d75··.v.@..%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·3029·1dea·5e26·0581·eb35··comp@.0)..^&...5 
00000570:·c286·3d64·1a88·0a25·352e·322e·30a0·4040··..=d...%5.2.0.@@ 
00000580:·4bc6·780a·90d8·2cd0·34da·4152·6277·7e11··K.x...,.4.ARbw~.00000560:·636f·6d70·4090·30d5·6023·8758·912d·c58c··comp@.0.`#.X.-..
 00000570:·3c44·4324·2cbe·2b25·352e·322e·30a0·4040··<DC$,.+%5.2.0.@@
 00000580:·d0cc·8c6a·3a01·152c·9ea5·c689·e5c5·952d··...j:..,.......-
00000590:·8495·a6be·0017·2bcf·0004·8208·0010·8e88··......+.........00000590:·8495·a6be·0017·2bdd·0004·8208·0010·8e98··......+.........
000005a0:·0010·6912·b0d0·a025·6d70·6f6c·79a0·2c6d··..i....%mpoly.,m000005a0:·0010·6922·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:·3051·d076·d30e·aa6f·4475·d80e·7241·eb2b··0Q.v...oDu..rA.+00056590:·3051·d076·d30e·aa6f·4475·d80e·7241·eb2b··0Q.v...oDu..rA.+
000565a0:·f2a0·05f4·0d90·3029·1dea·5e26·0581·eb35··......0)..^&...5 
000565b0:·c286·3d64·1a88·0aa0·a005·08d0·a005·08cf··..=d............000565a0:·f2a0·05f4·0d90·30d5·6023·8758·912d·c58c··......0.`#.X.-..
 000565b0:·3c44·4324·2cbe·2ba0·a005·08d0·a005·08cf··<DC$,.+.........
000565c0:·a005·08ce·4090·30db·0bd4·f429·2ce3·b1db··....@.0....),...000565c0:·a005·08ce·4090·30db·0bd4·f429·2ce3·b1db··....@.0....),...
000565d0:·a9fe·11bd·76d5·40a0·05f5·9890·30ec·663f··....v.@.....0.f?000565d0:·a9fe·11bd·76d5·40a0·05f5·9890·30ec·663f··....v.@.....0.f?
000565e0:·0b9d·0259·eeab·bdfa·937a·8bfb·4e90·40a0··...Y.....z..N.@.000565e0:·0b9d·0259·eeab·bdfa·937a·8bfb·4e90·40a0··...Y.....z..N.@.
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·4028··h@........@@@@@(00058b60:·6840·041d·a004·1190·9090·4040·4040·4028··h@........@@@@@(
00058b70:·3334·3031·3238·3835·e0d0·4028·4067·6c6f··34012885..@(@glo00058b70:·3433·3431·3235·3737·e0d0·4028·4067·6c6f··43412577..@(@glo
00058b80:·6261·6c21·a0b0·c391·402a·6765·742d·6f70··bal!....@*get-op00058b80:·6261·6c21·a0b0·c391·402a·6765·742d·6f70··bal!....@*get-op
00058b90:·7469·6f6e·b095·a02c·636f·713a·6c6f·6361··tion...,coq:loca00058b90:·7469·6f6e·b095·a02c·636f·713a·6c6f·6361··tion...,coq:loca
00058ba0:·6c69·7479·43e0·4038·636f·712d·6275·696c··lityC.@8coq-buil00058ba0:·6c69·7479·43e0·4038·636f·712d·6275·696c··lityC.@8coq-buil
00058bb0:·7469·6e2d·7379·6e74·6572·702e·656c·7069··tin-synterp.elpi00058bb0:·7469·6e2d·7379·6e74·6572·702e·656c·7069··tin-synterp.elpi
00058bc0:·011b·0d01·1b1b·0100·b001·1aee·a004·2490··..............$.00058bc0:·011b·0d01·1b1b·0100·b001·1aee·a004·2490··..............$.
00058bd0:·40a0·b095·a026·676c·6f62·616c·43e0·4004··@....&globalC.@.00058bd0:·40a0·b095·a026·676c·6f62·616c·43e0·4004··@....&globalC.@.
00058be0:·0901·1b1c·011b·2401·00b0·011a·eea0·042c··......$........,00058be0:·0901·1b1c·011b·2401·00b0·011a·eea0·042c··......$........,
Offset 24756, 43 lines modifiedOffset 24756, 43 lines modified
00060b30:·e040·0520·a601·0087·0100·9049·0100·8740··.@.·.......I...@00060b30:·e040·0520·a601·0087·0100·9049·0100·8740··.@.·.......I...@
00060b40:·4105·0b67·a0a0·9040·a090·4140·e040·0520··A..g...@..A@.@.·00060b40:·4105·0b67·a0a0·9040·a090·4140·e040·0520··A..g...@..A@.@.·
00060b50:·8001·6fff·0170·3c01·00c0·016f·ffd0·4005··..o..p<....o..@.00060b50:·8001·6fff·0170·3c01·00c0·016f·ffd0·4005··..o..p<....o..@.
00060b60:·0b66·a0a0·9040·a090·40a0·9040·a090·41a0··.f...@..@..@..A.00060b60:·0b66·a0a0·9040·a090·40a0·9040·a090·41a0··.f...@..@..@..A.
00060b70:·9041·40e0·4005·208d·016f·3301·6fb8·0100··.A@.@.·..o3.o...00060b70:·9041·40e0·4005·208d·016f·3301·6fb8·0100··.A@.@.·..o3.o...
00060b80:·bc01·6f33·d040·050b·40a0·40e0·4005·2106··..o3.@..@.@.@.!.00060b80:·bc01·6f33·d040·050b·40a0·40e0·4005·2106··..o3.@..@.@.@.!.
00060b90:·0108·6001·086a·0042·0108·6040·4142·4344··..`..j.B..`@ABCD00060b90:·0108·6001·086a·0042·0108·6040·4142·4344··..`..j.B..`@ABCD
00060ba0:·4546·4748·494a·0521·380c·0000·0000·0080··EFGHIJ.!8.......00060ba0:·4546·4748·494a·0521·380c·0000·0000·0000··EFGHIJ.!8.......
00060bb0:·e03e·4041·40a0·a005·ec7a·a040·90a0·a006··.>@A@....z.@....00060bb0:·e53e·4041·40a0·a005·ec7a·a040·90a0·a006··.>@A@....z.@....
00060bc0:·0001·06ae·a040·9040·40a0·94a0·a040·a2a2··.....@.@@....@..00060bc0:·0001·06ae·a040·9040·40a0·94a0·a040·a2a2··.....@.@@....@..
00060bd0:·0600·0127·7d05·ec86·0600·0106·b640·a0a0··...'}........@..00060bd0:·0600·0127·7d05·ec86·0600·0106·b640·a0a0··...'}........@..
00060be0:·05ea·c9a0·4090·40a0·94a0·a040·a206·0001··....@.@....@....00060be0:·05ea·c9a0·4090·40a0·94a0·a040·a206·0001··....@.@....@....
00060bf0:·2786·05ea·d040·a095·a002·1b9b·7f79·a027··'....@.......y.'00060bf0:·2786·05ea·d040·a095·a002·1b9b·7f79·a027··'....@.......y.'
00060c00:·5f45·4c50·495f·32c0·a026·6578·706f·7274··_ELPI_2..&export00060c00:·5f45·4c50·495f·32c0·a026·6578·706f·7274··_ELPI_2..&export
00060c10:·a022·6462·40a0·a0b0·0600·0127·9321·3202··."db@......'.!2.00060c10:·a022·6462·40a0·a0b0·0600·0127·9321·3202··."db@......'.!2.
00060c20:·1144·4a29·d005·2162·d0e0·4040·4040·4005··.DJ)..!b..@@@@@.00060c20:·1144·4a29·d005·2162·d0e0·4040·4040·4005··.DJ)..!b..@@@@@.
00060c30:·2161·40a0·c0e0·9005·2160·2d2e·2f73·7263··!a@.....!`-./src00060c30:·2161·40a0·c0e0·9005·2160·2d2e·2f73·7263··!a@.....!`-./src
00060c40:·2f6d·706f·6c79·2e76·0200·008e·8a02·0000··/mpoly.v........00060c40:·2f6d·706f·6c79·2e76·0200·008e·8a02·0000··/mpoly.v........
00060c50:·8ee7·0103·c102·0000·8e8a·0521·5fb0·c391··...........!_...00060c50:·8ee7·0103·c102·0000·8e8a·0521·5fb0·c391··...........!_...
00060c60:·4005·215e·b095·0521·5d04·08a0·0521·5c90··@.!^...!]....!\.00060c60:·4005·215e·b095·0521·5d04·08a0·0521·5c90··@.!^...!]....!\.
00060c70:·9090·0521·5ba0·b095·a004·2e5b·0410·a005··...![......[....00060c70:·9090·0521·5ba0·b095·a004·2e5b·0410·a005··...![......[....
00060c80:·2164·9090·9005·2159·4004·14a0·0521·6890··!d....!Y@....!h.00060c80:·2164·9090·9005·2159·4004·14a0·0521·6890··!d....!Y@....!h.
00060c90:·9090·4040·4040·4029·3932·3130·3539·3730··..@@@@@)9210597000060c90:·9090·4040·4040·4029·3938·3136·3933·3037··..@@@@@)98169307
00060ca0:·33e0·0521·5705·2125·0520·5805·0b67·050b··3..!W.!%.·X..g..00060ca0:·39e0·0521·5705·2125·0520·5805·0b67·050b··9..!W.!%.·X..g..
00060cb0:·5a05·217d·0c00·0000·0000·00d1·3e40·4140··Z.!}........>@A@00060cb0:·5a05·217d·0c00·0000·0000·00d0·3e40·4140··Z.!}........>@A@
00060cc0:·a095·a002·1b9b·7f79·a027·5f45·4c50·495f··.......y.'_ELPI_00060cc0:·a095·a002·1b9b·7f79·a027·5f45·4c50·495f··.......y.'_ELPI_
00060cd0:·33c0·a026·6578·706f·7274·a022·6462·40a0··3..&export."db@.00060cd0:·33c0·a026·6578·706f·7274·a022·6462·40a0··3..&export."db@.
00060ce0:·a0b0·0600·0127·c121·3302·1144·4a2a·d005··.....'.!3..DJ*..00060ce0:·a0b0·0600·0127·c121·3302·1144·4a2a·d005··.....'.!3..DJ*..
00060cf0:·2190·d0e0·4040·4040·4005·218f·40a0·c004··!...@@@@@.!.@...00060cf0:·2190·d0e0·4040·4040·4005·218f·40a0·c004··!...@@@@@.!.@...
00060d00:·2e05·218a·b0c3·9140·0521·89b0·9505·2188··..!....@.!....!.00060d00:·2e05·218a·b0c3·9140·0521·89b0·9505·2188··..!....@.!....!.
00060d10:·0433·a005·2187·9090·9005·2186·a0b0·95a0··.3..!.....!.....00060d10:·0433·a005·2187·9090·9005·2186·a0b0·95a0··.3..!.....!.....
00060d20:·044f·5b04·3ba0·0521·8f90·9090·0521·8440··.O[.;..!.....!.@00060d20:·044f·5b04·3ba0·0521·8f90·9090·0521·8440··.O[.;..!.....!.@
00060d30:·043f·a005·2193·9090·9040·4040·4040·2931··.?..!....@@@@@)100060d30:·043f·a005·2193·9090·9040·4040·4040·2939··.?..!....@@@@@)9
00060d40:·3536·3030·3037·3732·e005·2182·0521·5005··56000772..!..!P.00060d40:·3531·3937·3139·3535·e005·2182·0521·5005··51971955..!..!P.
00060d50:·2083·050b·9205·0b85·0521·a80c·0000·0000···........!......00060d50:·2083·050b·9205·0b85·0521·a80c·0000·0000···........!......
00060d60:·0000·b03e·4041·40a0·95a0·021d·041a·fca0··...>@A@.........00060d60:·0000·ca3e·4041·40a0·95a0·021d·041a·fca0··...>@A@.........
00060d70:·40a0·a040·305b·206d·6561·7375·7265·206f··@..@0[·measure·o00060d70:·40a0·a040·305b·206d·6561·7375·7265·206f··@..@0[·measure·o
00060d80:·6620·5f20·5dc0·a0a0·4040·a040·40a0·b140··f·_·]...@@.@@..@00060d80:·6620·5f20·5dc0·a0a0·4040·a040·40a0·b140··f·_·]...@@.@@..@
00060d90:·40a0·4140·4090·a0d0·a0a0·4040·0409·4004··@.A@@.....@@..@.00060d90:·40a0·4140·4090·a0d0·a0a0·4040·0409·4004··@.A@@.....@@..@.
00060da0:·0ea0·a0a0·4121·5ba0·a040·276d·6561·7375··....A![..@'measu00060da0:·0ea0·a0a0·4121·5ba0·a040·276d·6561·7375··....A![..@'measu
00060db0:·7265·a0a0·4122·6f66·a0a1·a140·0413·9005··re..A"of...@....00060db0:·7265·a0a0·4122·6f66·a0a1·a140·0413·9005··re..A"of...@....
00060dc0:·fdd8·a0a0·4121·5d40·40a0·0419·4040·90a0··....A!]@@...@@..00060dc0:·fdd8·a0a0·4121·5d40·40a0·0419·4040·90a0··....A!]@@...@@..
00060dd0:·40a0·a094·225b·20a0·9428·6d65·6173·7572··@..."[·..(measur00060dd0:·40a0·a094·225b·20a0·9428·6d65·6173·7572··@..."[·..(measur
Offset 25166, 16 lines modifiedOffset 25166, 16 lines modified
000624d0:·2802·0211·444a·28d0·0528·01d0·e040·4040··(...DJ(..(...@@@000624d0:·2802·0211·444a·28d0·0528·01d0·e040·4040··(...DJ(..(...@@@
000624e0:·4040·a040·4040·a0c0·e090·0528·002d·2e2f··@@.@@@.....(.-./000624e0:·4040·a040·4040·a0c0·e090·0528·002d·2e2f··@@.@@@.....(.-./
000624f0:·7372·632f·6d70·6f6c·792e·7601·26dc·0127··src/mpoly.v.&..'000624f0:·7372·632f·6d70·6f6c·792e·7601·26dc·0127··src/mpoly.v.&..'
00062500:·1101·00b8·0126·dc05·27ff·b0c3·9140·2f6c··.....&..'....@/l00062500:·1101·00b8·0126·dc05·27ff·b0c3·9140·2f6c··.....&..'....@/l
00062510:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical..00062510:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical..
00062520:·a091·0600·0124·1458·040b·a005·27ff·9090··.....$.X....'...00062520:·a091·0600·0124·1458·040b·a005·27ff·9090··.....$.X....'...
00062530:·9090·2863·6f6e·7374·616e·7440·0411·a005··..(constant@....00062530:·9090·2863·6f6e·7374·616e·7440·0411·a005··..(constant@....
00062540:·2805·9090·9040·4040·4040·2935·3933·3230··(....@@@@@)5932000062540:·2805·9090·9040·4040·4040·2931·3739·3132··(....@@@@@)17912
00062550:·3539·3930·e0d0·d0d0·d040·2540·6361·7374··5990.....@%@cast00062550:·3532·3937·e0d0·d0d0·d040·2540·6361·7374··5297.....@%@cast
00062560:·a0b0·b490·a021·5422·6c70·40b0·b490·a022··.....!T"lp@...."00062560:·a0b0·b490·a021·5422·6c70·40b0·b490·a022··.....!T"lp@...."
00062570:·5459·0406·40b0·c391·4023·6c65·74b0·95a0··TY..@...@#let...00062570:·5459·0406·40b0·c391·4023·6c65·74b0·95a0··TY..@...@#let...
00062580:·9024·6361·7374·53e0·4030·636f·712d·6275··.$castS.@0coq-bu00062580:·9024·6361·7374·53e0·4030·636f·712d·6275··.$castS.@0coq-bu
00062590:·696c·7469·6e2e·656c·7069·0124·e801·24ee··iltin.elpi.$..$.00062590:·696c·7469·6e2e·656c·7069·0124·e801·24ee··iltin.elpi.$..$.
000625a0:·0100·e101·24cf·a005·2827·9040·a0b0·a190··....$...('.@....000625a0:·0100·e101·24cf·a005·2827·9040·a0b0·a190··....$...('.@....
000625b0:·0417·0412·e040·0408·0124·ef01·24f1·0100··.....@...$..$...000625b0:·0417·0412·e040·0408·0124·ef01·24f1·0100··.....@...$..$...
000625c0:·e101·24cf·a005·282e·9040·a0b0·a190·041e··..$...(..@......000625c0:·e101·24cf·a005·282e·9040·a0b0·a190·041e··..$...(..@......
Offset 29616, 4724 lines modifiedOffset 29616, 4724 lines modified
00073af0:·0558·d040·0517·07a0·a090·40a0·9040·a090··.X.@......@..@..00073af0:·0558·d040·0517·07a0·a090·40a0·9040·a090··.X.@......@..@..
Max diff block lines reached; 19344591/19354283 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 aiit91 0gbq8