⊟
28.8 MB
/srv/reproducible-results/rbuild-debian/r-b-build.NKPrQoM7/b1/mathcomp-multinomials_2.3.0-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.NKPrQoM7/b2/mathcomp-multinomials_2.3.0-1_amd64.changes
⊟
238 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·a06d4962821e1195ba0dddea7a360a6a·1865696·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb1 ·f17d790bd439d258b156c1661f0c029f·1868076·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb
⊟
28.8 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··1864160·2024-12-18·11:19:29.000000·data.tar.xz3 -rw-r--r--···0········0········0··1866536·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-fvoy4,·libcoq-mathcomp-bigenough-l69h1,·libcoq-mathcomp-finmap-nnn31,·libcoq-mathcomp-ssreflect-vk1c97 Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-fvoy4,·libcoq-mathcomp-bigenough-l69h1,·libcoq-mathcomp-finmap-nnn31,·libcoq-mathcomp-ssreflect-vk1c9
8 Suggests:·ocaml-findlib8 Suggests:·ocaml-findlib
9 Provides:·libcoq-mathcomp-multinomials-o30i39 Provides:·libcoq-mathcomp-multinomials-hcmj5
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
⊟
28.8 MB
data.tar.xz
⊟
28.8 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)···515481·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)···515494·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)···911279·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)···911294·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)··2758436·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)··2758490·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.47 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·dce7··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0007·dcf4··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:·30ec·588a·7a8f·7d8a·078a·e07d·87b2·9bed··0.X.z.}....}....00000300:·30ec·588a·7a8f·7d8a·078a·e07d·87b2·9bed··0.X.z.}....}....
00000310:·e7a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge00000310:·e7a0·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:·261d·4895·98e2·09bf·4d13·1f14·5999·3cbd··&.H.....M...Y.<.00000330:·261d·4895·98e2·09bf·4d13·1f14·5999·3cbd··&.H.....M...Y.<.
00000340:·2535·2e32·2e30·a040·40ca·a4e1·f920·8c7b··%5.2.0.@@....·.{00000340:·2535·2e32·2e30·a040·40ca·a4e1·f920·8c7b··%5.2.0.@@....·.{
00000350:·02f5·f91b·033b·d17b·7684·95a6·be00·04ee··.....;.{v.......00000350:·02f5·f91b·033b·d17b·7684·95a6·be00·04ee··.....;.{v.......
00000360:·4500·0118·3300·03fb·4e00·03eb·1fb0·d0a0··E...3...N.......00000360:·5200·0118·3300·03fb·4e00·03eb·1fb0·d0a0··R...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, 26334 lines modifiedOffset 5885, 26335 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 (4761 lines added, 4761 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·4028·3234·3233·3936··....@@@@@(24239600017030:·0790·9090·4040·4040·4029·3639·3136·3233··....@@@@@)691623
00017040:·3134·e0d0·d0d0·d040·2540·6361·7374·a0b0··14.....@%@cast..00017040:·3836·38e0·d0d0·d0d0·4025·4063·6173·74a0··868.....@%@cast.
00017050:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T
00017060:·0406·40b0·c391·4023·6c65·74b0·95a0·9024··..@...@#let....$00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....
00017070:·6361·7374·53e0·4030·636f·712d·6275·696c··castS.@0coq-buil00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui
00017080:·7469·6e2e·656c·7069·0124·e801·24ee·0100··tin.elpi.$..$...00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$..
00017090:·e101·24cf·a004·2990·40a0·b0a1·9004·1704··..$...).@.......00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@......
000170a0:·12e0·4004·0801·24ef·0124·f101·00e1·0124··..@...$..$.....$000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$.....
000170b0:·cfa0·0430·9040·a0b0·a190·041e·041f·e040··...0.@.........@000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@.........
000170c0:·040f·0124·f201·24f3·0100·e101·24cf·a004··...$..$.....$...000170c0:·4004·0f01·24f2·0124·f301·00e1·0124·cfa0··@...$..$.....$..
000170d0:·3790·40a0·b0b4·90a0·2178·0427·40b0·a190··7.@.....!x.'@...000170d0:·0437·9040·a0b0·b490·a021·7804·2740·b0a1··.7.@.....!x.'@..
000170e0:·042a·0404·e040·041b·0124·f601·24f7·0100··.*...@...$..$...000170e0:·9004·2a04·04e0·4004·1b01·24f6·0124·f701··..*...@...$..$..
000170f0:·e101·24cf·a004·4390·40e0·4004·1e01·24f4··..$...C.@.@...$.000170f0:·00e1·0124·cfa0·0443·9040·e040·041e·0124··...$...C.@.@...$
00017100:·0124·f701·00e1·0124·cfa0·0446·9040·40e0··.$.....$...F.@@.00017100:·f401·24f7·0100·e101·24cf·a004·4690·4040··..$.....$...F.@@
00017110:·4004·2101·24e4·0124·f701·00e1·0124·cfa0··@.!.$..$.....$..00017110:·e040·0421·0124·e401·24f7·0100·e101·24cf··.@.!.$..$.....$.
00017120:·0449·9040·e040·0424·0124·dd01·24f7·0100··.I.@.@.$.$..$...00017120:·a004·4990·40e0·4004·2401·24dd·0124·f701··..I.@.@.$.$..$..
00017130:·e101·24cf·a004·4c90·40e0·4004·2701·24db··..$...L.@.@.'.$.00017130:·00e1·0124·cfa0·044c·9040·e040·0427·0124··...$...L.@.@.'.$
00017140:·0124·f701·00e1·0124·cfa0·044f·9040·e040··.$.....$...O.@.@00017140:·db01·24f7·0100·e101·24cf·a004·4f90·40e0··..$.....$...O.@.
00017150:·042a·0124·cf01·24f8·0100·e101·24cf·d040··.*.$..$.....$..@00017150:·4004·2a01·24cf·0124·f801·00e1·0124·cfd0··@.*.$..$.....$..
00017160:·2a40·636f·6572·6369·6f6e·21a0·b0c3·9140··*@coercion!....@00017160:·402a·4063·6f65·7263·696f·6e21·a0b0·c391··@*@coercion!....
00017170:·223a·3ab0·c391·4028·636f·6572·6369·6f6e··"::...@(coercion00017170:·4022·3a3a·b0c3·9140·2863·6f65·7263·696f··@"::...@(coercio
00017180:·b0a1·9140·2a72·6576·6572·7369·626c·65e0··...@*reversible.00017180:·6eb0·a191·402a·7265·7665·7273·6962·6c65··n...@*reversible
00017190:·4004·3a01·531a·0153·2401·01f2·0152·fca0··@.:.S..S$....R..00017190:·e040·043a·0153·1a01·5324·0101·f201·52fc··.@.:.S..S$....R.
000171a0:·0462·9040·40e0·4004·3d01·5311·0153·2401··.b.@@.@.=.S..S$.000171a0:·a004·6290·4040·e040·043d·0153·1101·5324··..b.@@.@.=.S..S$
000171b0:·01f2·0152·fca0·0465·9040·a0b0·a191·4022··...R...e.@....@"000171b0:·0101·f201·52fc·a004·6590·40a0·b0a1·9140··....R...e.@....@
000171c0:·5b5d·e040·0445·0153·2401·5325·0101·f201··[].@.E.S$.S%....000171c0:·225b·5de0·4004·4501·5324·0153·2501·01f2··"[].@.E.S$.S%...
000171d0:·52fc·a004·6d90·4040·e040·0448·0153·1001··R...m.@@.@.H.S..000171d0:·0152·fca0·046d·9040·40e0·4004·4801·5310··.R...m.@@.@.H.S.
000171e0:·5325·0101·f201·52fc·a004·7090·40e0·4004··S%....R...p.@.@.000171e0:·0153·2501·01f2·0152·fca0·0470·9040·e040··.S%....R...p.@.@
000171f0:·4b01·52fc·0153·2501·01f2·0152·fc40·4142··K.R..S%....R.@AB000171f0:·044b·0152·fc01·5325·0101·f201·52fc·4041··.K.R..S%....R.@A
00017200:·2c40·6465·7072·6563·6174·6564·21a0·b0b4··,@deprecated!...00017200:·422c·4064·6570·7265·6361·7465·6421·a0b0··B,@deprecated!..
00017210:·90a0·2553·696e·6365·0462·40b0·b490·a023··..%Since.b@....#00017210:·b490·a025·5369·6e63·6504·6240·b0b4·90a0··...%Since.b@....
00017220:·4d73·6704·6740·b0c3·9140·2a67·6574·2d6f··Msg.g@...@*get-o00017220:·234d·7367·0467·40b0·c391·402a·6765·742d··#Msg.g@...@*get-
00017230:·7074·696f·6eb0·95a0·2e63·6f71·3a64·6570··ption....coq:dep00017230:·6f70·7469·6f6e·b095·a02e·636f·713a·6465··option....coq:de
00017240:·7265·6361·7465·6443·e040·0460·0152·8001··recatedC.@.`.R..00017240:·7072·6563·6174·6564·43e0·4004·6001·5280··precatedC.@.`.R.
00017250:·5290·0101·ed01·5273·a004·8890·40a0·b0c3··R.....Rs....@...00017250:·0152·9001·01ed·0152·73a0·0488·9040·a0b0··.R.....Rs....@..
00017260:·9140·2270·72b0·a190·047a·0419·e040·046b··.@"pr....z...@.k00017260:·c391·4022·7072·b0a1·9004·7a04·19e0·4004··..@"pr....z...@.
00017270:·0152·9501·529a·0101·ed01·5273·a004·9390··.R..R.....Rs....00017270:·6b01·5295·0152·9a01·01ed·0152·73a0·0493··k.R..R.....Rs...
00017280:·40a0·b0a1·9004·8104·1be0·4004·7201·529b··@.........@.r.R.00017280:·9040·a0b0·a190·0481·041b·e040·0472·0152··.@.........@.r.R
00017290:·0152·9e01·01ed·0152·73a0·049a·9040·40e0··.R.....Rs....@@.00017290:·9b01·529e·0101·ed01·5273·a004·9a90·4040··..R.....Rs....@@
000172a0:·4004·7501·5292·0152·9e01·01ed·0152·73a0··@.u.R..R.....Rs.000172a0:·e040·0475·0152·9201·529e·0101·ed01·5273··.@.u.R..R.....Rs
000172b0:·049d·9040·40e0·4004·7801·5275·0152·9f01··...@@.@.x.Ru.R..000172b0:·a004·9d90·4040·e040·0478·0152·7501·529f··....@@.@.x.Ru.R.
000172c0:·01ed·0152·73a0·04a0·9040·e040·047b·0152··...Rs....@.@.{.R000172c0:·0101·ed01·5273·a004·a090·40e0·4004·7b01··....Rs....@.@.{.
000172d0:·6c01·529f·0101·ed01·5273·a004·a390·40e0··l.R.....Rs....@.000172d0:·526c·0152·9f01·01ed·0152·73a0·04a3·9040··Rl.R.....Rs....@
000172e0:·4004·7e01·5266·0152·9f01·01ed·0152·73a0··@.~.Rf.R.....Rs.000172e0:·e040·047e·0152·6601·529f·0101·ed01·5273··.@.~.Rf.R.....Rs
000172f0:·04a6·9040·e040·0481·0152·5301·529f·0101··...@.@...RS.R...000172f0:·a004·a690·40e0·4004·8101·5253·0152·9f01··....@.@...RS.R..
00017300:·ec01·5253·d040·2b40·6472·6f70·756e·6976··..RS.@+@dropuniv00017300:·01ec·0152·53d0·402b·4064·726f·7075·6e69··...RS.@+@dropuni
00017310:·7321·a0b0·c391·4004·2db0·95a0·2d63·6f71··s!....@.-...-coq00017310:·7673·21a0·b0c3·9140·042d·b095·a02d·636f··vs!....@.-...-co
00017320:·3a6b·6565·7075·6e69·7673·43e0·4004·8c01··:keepunivsC.@...00017320:·713a·6b65·6570·756e·6976·7343·e040·048c··q:keepunivsC.@..
00017330:·50c2·0150·d101·01e2·0150·a2a0·04b4·9040··P..P.....P.....@00017330:·0150·c201·50d1·0101·e201·50a2·a004·b490··.P..P.....P.....
00017340:·a0b0·a191·4022·6666·e040·0494·0150·d201··....@"ff.@...P..00017340:·40a0·b0a1·9140·2266·66e0·4004·9401·50d2··@....@"ff.@...P.
00017350:·50d4·0101·e201·50a2·a004·bc90·4040·e040··P.....P.....@@.@00017350:·0150·d401·01e2·0150·a2a0·04bc·9040·40e0··.P.....P.....@@.
00017360:·0497·0150·b701·50d4·0101·e201·50a2·a004··...P..P.....P...00017360:·4004·9701·50b7·0150·d401·01e2·0150·a2a0··@...P..P.....P..
00017370:·bf90·40e0·4004·9a01·50a2·0150·d401·01e2··..@.@...P..P....00017370:·04bf·9040·e040·049a·0150·a201·50d4·0101··...@.@...P..P...
00017380:·0150·a240·4143·2840·676c·6f62·616c·21a0··.P.@AC(@global!.00017380:·e201·50a2·4041·4328·4067·6c6f·6261·6c21··..P.@AC(@global!
00017390:·b0c3·9140·0445·b095·a02c·636f·713a·6c6f··...@.E...,coq:lo00017390:·a0b0·c391·4004·45b0·95a0·2c63·6f71·3a6c··....@.E...,coq:l
000173a0:·6361·6c69·7479·43e0·4004·a401·1805·0118··calityC.@.......000173a0:·6f63·616c·6974·7943·e040·04a4·0118·0501··ocalityC.@......
000173b0:·1301·0095·0117·e6a0·04cc·9040·a0b0·95a0··...........@....000173b0:·1813·0100·9501·17e6·a004·cc90·40a0·b095··............@...
000173c0:·2667·6c6f·6261·6c43·e040·04ac·0118·1401··&globalC.@......000173c0:·a026·676c·6f62·616c·43e0·4004·ac01·1814··.&globalC.@.....
000173d0:·181c·0100·9501·17e6·a004·d490·4040·e040··............@@.@000173d0:·0118·1c01·0095·0117·e6a0·04d4·9040·40e0··.............@@.
000173e0:·04af·0117·fa01·181c·0100·9501·17e6·a004··................000173e0:·4004·af01·17fa·0118·1c01·0095·0117·e6a0··@...............
000173f0:·d790·40e0·4004·b201·17e6·0118·1c01·0095··..@.@...........000173f0:·04d7·9040·e040·04b2·0117·e601·181c·0100··...@.@..........
00017400:·0117·e6d0·d0d0·4027·4068·6f6c·6573·21a0··......@'@holes!.00017400:·9501·17e6·d0d0·d040·2740·686f·6c65·7321··.......@'@holes!
00017410:·b0c3·9140·0460·b095·a02a·484f·4153·3a68··...@.`...*HOAS:h00017410:·a0b0·c391·4004·60b0·95a0·2a48·4f41·533a··....@.`...*HOAS:
00017420:·6f6c·6573·43e0·4004·bf01·33ad·0133·b901··olesC.@...3..3..00017420:·686f·6c65·7343·e040·04bf·0133·ad01·33b9··holesC.@...3..3.
00017430:·0143·0133·91a0·04e7·9040·a0b0·a191·4022··.C.3.....@....@"00017430:·0101·4301·3391·a004·e790·40a0·b0a1·9140··..C.3.....@....@
00017440:·7474·e040·04c7·0133·ba01·33bc·0101·4301··tt.@...3..3...C.00017440:·2274·74e0·4004·c701·33ba·0133·bc01·0143··"tt.@...3..3...C
00017450:·3391·a004·ef90·4040·e040·04ca·0133·a201··3.....@@.@...3..00017450:·0133·91a0·04ef·9040·40e0·4004·ca01·33a2··.3.....@@.@...3.
00017460:·33bc·0101·4301·3391·a004·f290·40e0·4004··3...C.3.....@.@.00017460:·0133·bc01·0143·0133·91a0·04f2·9040·e040··.3...C.3.....@.@
00017470:·cd01·3391·0133·bc01·0143·0133·91d0·4028··..3..3...C.3..@(00017470:·04cd·0133·9101·33bc·0101·4301·3391·d040··...3..3...C.3..@
00017480:·4069·6e6c·696e·6521·a0b0·b490·a021·4e04··@inline!.....!N.00017480:·2840·696e·6c69·6e65·21a0·b0b4·90a0·214e··(@inline!.....!N
00017490:·e540·b0c3·9140·047e·b095·a02a·636f·713a··.@...@.~...*coq:00017490:·04e5·40b0·c391·4004·7eb0·95a0·2a63·6f71··..@...@.~...*coq
000174a0:·696e·6c69·6e65·43e0·4004·dd01·51ac·0151··inlineC.@...Q..Q000174a0:·3a69·6e6c·696e·6543·e040·04dd·0151·ac01··:inlineC.@...Q..
000174b0:·b801·01e7·0151·8da0·0501·0590·40a0·b0a1··.....Q......@...000174b0:·51b8·0101·e701·518d·a005·0105·9040·a0b0··Q.....Q......@..
000174c0:·9140·3263·6f71·2e69·6e6c·696e·652e·6465··.@2coq.inline.de000174c0:·a191·4032·636f·712e·696e·6c69·6e65·2e64··..@2coq.inline.d
000174d0:·6661·756c·74e0·4004·e501·51b9·0151·cb01··fault.@...Q..Q..000174d0:·6566·6175·6c74·e040·04e5·0151·b901·51cb··efault.@...Q..Q.
000174e0:·01e7·0151·8da0·0501·0d90·4040·e040·04e8··...Q......@@.@..000174e0:·0101·e701·518d·a005·010d·9040·40e0·4004··....Q......@@.@.
000174f0:·0151·a101·51cb·0101·e701·518d·a005·0110··.Q..Q.....Q.....000174f0:·e801·51a1·0151·cb01·01e7·0151·8da0·0501··..Q..Q.....Q....
00017500:·9040·e040·04eb·0151·9c01·51cb·0101·e701··.@.@...Q..Q.....00017500:·1090·40e0·4004·eb01·519c·0151·cb01·01e7··..@.@...Q..Q....
00017510:·518d·a005·0113·9040·e040·04ee·0151·8d01··Q......@.@...Q..00017510:·0151·8da0·0501·1390·40e0·4004·ee01·518d··.Q......@.@...Q.
00017520:·51cb·0101·e701·518d·4041·422b·4069·6e6c··Q.....Q.@AB+@inl00017520:·0151·cb01·01e7·0151·8d40·4142·2b40·696e··.Q.....Q.@AB+@in
00017530:·696e·652d·6174·21a0·b0b4·90a0·0420·0501··ine-at!......·..00017530:·6c69·6e65·2d61·7421·a0b0·b490·a004·2005··line-at!......·.
00017540:·0440·b0c3·9140·049d·b095·041f·e040·04fa··.@...@.......@..00017540:·0104·40b0·c391·4004·9db0·9504·1fe0·4004··..@...@.......@.
00017550:·0151·5c01·5168·0101·e601·513a·a005·0122··.Q\.Qh....Q:..."00017550:·fa01·515c·0151·6801·01e6·0151·3aa0·0501··..Q\.Qh....Q:...
00017560:·9040·a0b0·c391·402d·636f·712e·696e·6c69··.@....@-coq.inli00017560:·2290·40a0·b0c3·9140·2d63·6f71·2e69·6e6c··".@....@-coq.inl
00017570:·6e65·2e61·74b0·a190·0501·1404·30e0·4005··ne.at.......0.@.00017570:·696e·652e·6174·b0a1·9005·0114·0430·e040··ine.at.......0.@
00017580:·0105·0151·7801·5179·0101·e601·513a·a005··...Qx.Qy....Q:..00017580:·0501·0501·5178·0151·7901·01e6·0151·3aa0··....Qx.Qy....Q:.
00017590:·012d·9040·40e0·4005·0108·0151·6a01·5179··.-.@@.@....Qj.Qy00017590:·0501·2d90·4040·e040·0501·0801·516a·0151··..-.@@.@....Qj.Q
000175a0:·0101·e601·513a·a005·0130·9040·40e0·4005··....Q:...0.@@.@.000175a0:·7901·01e6·0151·3aa0·0501·3090·4040·e040··y....Q:...0.@@.@
000175b0:·010b·0151·5101·517a·0101·e601·513a·a005··...QQ.Qz....Q:..000175b0:·0501·0b01·5151·0151·7a01·01e6·0151·3aa0··....QQ.Qz....Q:.
000175c0:·0133·9040·e040·0501·0e01·514c·0151·7a01··.3.@.@....QL.Qz.000175c0:·0501·3390·40e0·4005·010e·0151·4c01·517a··..3.@.@....QL.Qz
000175d0:·01e6·0151·3aa0·0501·3690·40e0·4005·0111··...Q:...6.@.@...000175d0:·0101·e601·513a·a005·0136·9040·e040·0501··....Q:...6.@.@..
000175e0:·0151·3a01·517a·0101·e601·513a·d040·2b40··.Q:.Qz....Q:.@+@000175e0:·1101·513a·0151·7a01·01e6·0151·3ad0·402b··..Q:.Qz....Q:.@+
000175f0:·6b65·6570·756e·6976·7321·a0b0·c391·4004··keepunivs!....@.000175f0:·406b·6565·7075·6e69·7673·21a0·b0c3·9140··@keepunivs!....@
00017600:·bdb0·9504·90e0·4005·011a·0150·7601·5085··......@....Pv.P.00017600:·04bd·b095·0490·e040·0501·1a01·5076·0150··.......@....Pv.P
Max diff block lines reached; 2975056/3634417 bytes (81.86%) of diff not shown.
⊟
5.64 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·e6fd··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·000d·e70c··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·3026·1d48·9598·e209·bf4d·131f··mp@.0&.H.....M..00000290:·6d70·4090·3026·1d48·9598·e209·bf4d·131f··mp@.0&.H.....M..
000002a0:·1459·993c·bda0·a027·7866·696e·6d61·70a0··.Y.<...'xfinmap.000002a0:·1459·993c·bda0·a027·7866·696e·6d61·70a0··.Y.<...'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·134c·f8c8·8ac9··athcomp@.0.L....000002c0:·6174·6863·6f6d·7040·9030·134c·f8c8·8ac9··athcomp@.0.L....
000002d0:·cee9·5e54·d320·f6fd·60c2·2535·2e32·2e30··..^T.·..`.%5.2.0000002d0:·cee9·5e54·d320·f6fd·60c2·2535·2e32·2e30··..^T.·..`.%5.2.0
000002e0:·a040·4012·6d2a·9387·125f·77f4·0b96·0b7c··.@@.m*..._w....|000002e0:·a040·4012·6d2a·9387·125f·77f4·0b96·0b7c··.@@.m*..._w....|
000002f0:·8305·0584·95a6·be00·0b24·7900·0270·a700··.........$y..p..000002f0:·8305·0584·95a6·be00·0b24·8800·0270·a700··.........$...p..
00000300:·088a·4400·0871·c8b0·d0a0·266d·6f6e·616c··..D..q....&monal00000300:·088a·5000·0871·d4b0·d0a0·266d·6f6e·616c··..P..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, 2449 lines modifiedOffset 9636, 2449 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......[......
Diff chunk too large, falling back to line-by-line diff (2079 lines added, 2079 lines removed)
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·3333·3838··....@@@@@*10338800025aa0:·1190·9090·4040·4040·4029·3433·3631·3333··....@@@@@)436133
00025ab0:·3332·3735·e0d0·4028·4067·6c6f·6261·6c21··3275..@(@global!00025ab0:·3731·39e0·d040·2840·676c·6f62·616c·21a0··719..@(@global!.
00025ac0:·a0b0·c391·402a·6765·742d·6f70·7469·6f6e··....@*get-option00025ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option.
00025ad0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality00025ad0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC
00025ae0:·43e0·4038·636f·712d·6275·696c·7469·6e2d··C.@8coq-builtin-00025ae0:·e040·3863·6f71·2d62·7569·6c74·696e·2d73··.@8coq-builtin-s
00025af0:·7379·6e74·6572·702e·656c·7069·011b·0d01··synterp.elpi....00025af0:·796e·7465·7270·2e65·6c70·6901·1b0d·011b··ynterp.elpi.....
00025b00:·1b1b·0100·b001·1aee·a004·2490·40a0·b095··..........$.@...00025b00:·1b01·00b0·011a·eea0·0424·9040·a0b0·95a0··.........$.@....
00025b10:·a026·676c·6f62·616c·43e0·4004·0901·1b1c··.&globalC.@.....00025b10:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@......
00025b20:·011b·2401·00b0·011a·eea0·042c·9040·40e0··..$........,.@@.00025b20:·1b24·0100·b001·1aee·a004·2c90·4040·e040··.$........,.@@.@
00025b30:·4004·0c01·1b02·011b·2401·00b0·011a·eea0··@.......$.......00025b30:·040c·011b·0201·1b24·0100·b001·1aee·a004··.......$........
00025b40:·042f·9040·e040·040f·011a·ee01·1b24·0100··./.@.@.......$..00025b40:·2f90·40e0·4004·0f01·1aee·011b·2401·00b0··/.@.@.......$...
00025b50:·b001·1aee·d040·2740·6c6f·6361·6c21·a0b0··.....@'@local!..00025b50:·011a·eed0·4027·406c·6f63·616c·21a0·b0c3··....@'@local!...
00025b60:·c391·4004·1bb0·9504·1ae0·4004·1801·1b45··..@.......@....E00025b60:·9140·041b·b095·041a·e040·0418·011b·4501··.@.......@....E.
00025b70:·011b·5301·00b1·011b·26a0·043b·9040·a0b0··..S.....&..;.@..00025b70:·1b53·0100·b101·1b26·a004·3b90·40a0·b095··.S.....&..;.@...
00025b80:·95a0·256c·6f63·616c·43e0·4004·2001·1b54··..%localC.@.·..T00025b80:·a025·6c6f·6361·6c43·e040·0420·011b·5401··.%localC.@.·..T.
00025b90:·011b·5b01·00b1·011b·26a0·0443·9040·40e0··..[.....&..C.@@.00025b90:·1b5b·0100·b101·1b26·a004·4390·4040·e040··.[.....&..C.@@.@
00025ba0:·4004·2301·1b3a·011b·5b01·00b1·011b·26a0··@.#..:..[.....&.00025ba0:·0423·011b·3a01·1b5b·0100·b101·1b26·a004··.#..:..[.....&..
00025bb0:·0446·9040·e040·0426·011b·2601·1b5b·0100··.F.@.@.&..&..[..00025bb0:·4690·40e0·4004·2601·1b26·011b·5b01·00b1··F.@.@.&..&..[...
00025bc0:·b101·1b26·4041·42d0·d0d0·d0d0·d040·2861··...&@AB......@(a00025bc0:·011b·2640·4142·d0d0·d0d0·d0d0·4028·6172··..&@AB......@(ar
00025bd0:·7267·756d·656e·74a0·40e0·4004·2f01·0935··rgument.@.@./..500025bd0:·6775·6d65·6e74·a040·e040·042f·0109·3501··gument.@.@./..5.
00025be0:·0109·4700·4901·0935·4041·2561·7269·7479··..G.I..5@A%arity00025be0:·0947·0049·0109·3540·4125·6172·6974·79a0··.G.I..5@A%arity.
00025bf0:·a040·e040·0432·0111·9301·11a2·0077·0111··.@.@.2.......w..00025bf0:·40e0·4004·3201·1193·0111·a200·7701·1193··@.@.2.......w...
00025c00:·93d0·d040·2961·7474·7269·6275·7465·a040··...@)attribute.@00025c00:·d0d0·4029·6174·7472·6962·7574·65a0·40e0··..@)attribute.@.
00025c10:·e040·0437·0139·bb01·39ce·0101·8f01·39bb··.@.7.9..9.....9.00025c10:·4004·3701·39bb·0139·ce01·018f·0139·bb40··@.7.9..9.....9.@
00025c20:·4041·3161·7474·7269·6275·7465·2d6d·6170··@A1attribute-map00025c20:·4131·6174·7472·6962·7574·652d·6d61·7070··A1attribute-mapp
00025c30:·7069·6e67·a040·e040·0940·2f62·7569·6c64··ping.@.@.@/build00025c30:·696e·67a0·40e0·4009·402f·6275·696c·642f··ing.@.@.@/build/
00025c40:·2f72·6570·726f·6475·6369·626c·652d·7061··/reproducible-pa00025c40:·7265·7072·6f64·7563·6962·6c65·2d70·6174··reproducible-pat
00025c50:·7468·2f63·6f71·2d65·6c70·692d·322e·332e··th/coq-elpi-2.3.00025c50:·682f·636f·712d·656c·7069·2d32·2e33·2e30··h/coq-elpi-2.3.0
00025c60:·302f·656c·7069·2f63·6f71·2d6c·6962·2d63··0/elpi/coq-lib-c00025c60:·2f65·6c70·692f·636f·712d·6c69·622d·636f··/elpi/coq-lib-co
00025c70:·6f6d·6d6f·6e2e·656c·7069·010a·3f01·0a5a··ommon.elpi..?..Z00025c70:·6d6d·6f6e·2e65·6c70·6901·0a3f·010a·5a00··mmon.elpi..?..Z.
00025c80:·004b·010a·3f40·4243·3361·7474·7269·6275··.K..?@BC3attribu00025c80:·4b01·0a3f·4042·4333·6174·7472·6962·7574··K..?@BC3attribut
00025c90:·7465·2d73·6967·6e61·7475·7265·a040·e040··te-signature.@.@00025c90:·652d·7369·676e·6174·7572·65a0·40e0·4004··e-signature.@.@.
00025ca0:·0404·0107·9701·07b4·7901·0797·d0d0·402e··........y.....@.00025ca0:·0401·0797·0107·b479·0107·97d0·d040·2e61··.......y.....@.a
00025cb0:·6174·7472·6962·7574·652d·7479·7065·a040··attribute-type.@00025cb0:·7474·7269·6275·7465·2d74·7970·65a0·40e0··ttribute-type.@.
00025cc0:·e040·0409·0108·c301·08db·0041·0108·c3d0··.@.........A....00025cc0:·4004·0901·08c3·0108·db00·4101·08c3·d040··@.........A....@
00025cd0:·402f·6174·7472·6962·7574·652d·7661·6c75··@/attribute-valu00025cd0:·2f61·7474·7269·6275·7465·2d76·616c·7565··/attribute-value
00025ce0:·65a0·40e0·4004·4701·390f·0139·2801·0189··e.@.@.G.9..9(...00025ce0:·a040·e040·0447·0139·0f01·3928·0101·8901··.@.@.G.9..9(....
00025cf0:·0139·0f40·4142·2462·6f6f·6ca0·40e0·4031··.9.@AB$bool.@.@100025cf0:·390f·4041·4224·626f·6f6c·a040·e040·3165··9.@AB$bool.@.@1e
00025d00:·656c·7069·2d62·7569·6c74·696e·2e65·6c70··elpi-builtin.elp00025d00:·6c70·692d·6275·696c·7469·6e2e·656c·7069··lpi-builtin.elpi
00025d10:·6901·0f41·010f·4f01·00ee·010f·41d0·4026··i..A..O.....A.@&00025d10:·010f·4101·0f4f·0100·ee01·0f41·d040·2663··..A..O.....A.@&c
00025d20:·636c·6175·7365·a040·e040·044f·012e·2001··clause.@.@.O..·.00025d20:·6c61·7573·65a0·40e0·4004·4f01·2e20·012e··lause.@.@.O..·..
00025d30:·2e30·0101·3f01·2e20·4041·4344·2363·6d70··.0..?..·@ACD#cmp00025d30:·3001·013f·012e·2040·4143·4423·636d·70a0··0..?..·@ACD#cmp.
00025d40:·a040·e040·0408·0111·d501·11e2·0101·1301··.@.@............00025d40:·40e0·4004·0801·11d5·0111·e201·0113·0111··@.@.............
00025d50:·11d5·d0d0·d040·2c63·6f6e·7465·7874·2d64··.....@,context-d00025d50:·d5d0·d0d0·402c·636f·6e74·6578·742d·6465··....@,context-de
00025d60:·6563·6ca0·40e0·4004·5801·19d2·0119·e801··ecl.@.@.X.......00025d60:·636c·a040·e040·0458·0119·d201·19e8·0100··cl.@.@.X........
00025d70:·00a9·0119·d2d0·402a·636f·712e·696e·6c69··......@*coq.inli00025d70:·a901·19d2·d040·2a63·6f71·2e69·6e6c·696e··.....@*coq.inlin
00025d80:·6e65·a040·e040·045c·011f·4d01·1f61·0100··ne.@.@.\..M..a..00025d80:·65a0·40e0·4004·5c01·1f4d·011f·6101·00db··e.@.@.\..M..a...
00025d90:·db01·1f4d·4041·422a·6469·6167·6e6f·7374··...M@AB*diagnost00025d90:·011f·4d40·4142·2a64·6961·676e·6f73·7469··..M@AB*diagnosti
00025da0:·6963·a040·e040·0415·0112·5301·1267·0101··ic.@.@....S..g..00025da0:·63a0·40e0·4004·1501·1253·0112·6701·0119··c.@.@....S..g...
00025db0:·1901·1253·d040·2f66·6965·6c64·2d61·7474··...S.@/field-att00025db0:·0112·53d0·402f·6669·656c·642d·6174·7472··..S.@/field-attr
00025dc0:·7269·6275·7465·a040·e040·0463·5c75·455c··ribute.@.@.c\uE\00025dc0:·6962·7574·65a0·40e0·4004·635c·7545·5c40··ibute.@.@.c\uE\@
00025dd0:·4041·4325·666c·6f61·74a0·40e0·4004·1c01··@AC%float.@.@...00025dd0:·4143·2566·6c6f·6174·a040·e040·041c·0101··AC%float.@.@....
00025de0:·0148·0101·575d·0101·48d0·d0d0·4028·6772··.H..W]..H...@(gr00025de0:·4801·0157·5d01·0148·d0d0·d040·2867·7261··H..W]..H...@(gra
00025df0:·6166·7469·6e67·a040·e040·046c·012e·bd01··afting.@.@.l....00025df0:·6674·696e·67a0·40e0·4004·6c01·2ebd·012e··fting.@.@.l.....
00025e00:·2ecf·0101·4401·2ebd·d040·2567·726f·7570··....D....@%group00025e00:·cf01·0144·012e·bdd0·4025·6772·6f75·70a0··...D....@%group.
00025e10:·a040·e040·0470·0136·f201·3701·0101·7901··.@.@.p.6..7...y.00025e10:·40e0·4004·7001·36f2·0137·0101·0179·0136··@.@.p.6..7...y.6
00025e20:·36f2·4041·422d·696d·706c·6963·6974·5f6b··6.@AB-implicit_k00025e20:·f240·4142·2d69·6d70·6c69·6369·745f·6b69··.@AB-implicit_ki
00025e30:·696e·64a0·40e0·4004·7343·5a44·4340·4329··ind.@.@.sCZDC@C)00025e30:·6e64·a040·e040·0473·435a·4443·4043·2969··nd.@.@.sCZDC@C)i
00025e40:·696e·5f73·7472·6561·6da0·40e0·4030·6275··in_stream.@.@0bu00025e40:·6e5f·7374·7265·616d·a040·e040·3062·7569··n_stream.@.@0bui
00025e50:·696c·7469·6e5f·7365·742e·656c·7069·0167··iltin_set.elpi.g00025e50:·6c74·696e·5f73·6574·2e65·6c70·6901·673d··ltin_set.elpi.g=
00025e60:·3d01·6750·007c·0167·3dd0·d040·2969·6e64··=.gP.|.g=..@)ind00025e60:·0167·5000·7c01·673d·d0d0·4029·696e·6463··.gP.|.g=..@)indc
00025e70:·632d·6465·636c·a040·e040·047c·010d·3101··c-decl.@.@.|..1.00025e70:·2d64·6563·6ca0·40e0·4004·7c01·0d31·010d··-decl.@.@.|..1..
00025e80:·0d44·0061·010d·3140·4129·696e·6474·2d64··.D.a..1@A)indt-d00025e80:·4400·6101·0d31·4041·2969·6e64·742d·6465··D.a..1@A)indt-de
00025e90:·6563·6ca0·40e0·4004·7f01·0d1c·010d·2f00··ecl.@.@......./.00025e90:·636c·a040·e040·047f·010d·1c01·0d2f·0060··cl.@.@......./.`
00025ea0:·6001·0d1c·4042·4445·4623·696e·74a0·40e0··`...@BDEF#int.@.00025ea0:·010d·1c40·4244·4546·2369·6e74·a040·e040··...@BDEF#int.@.@
00025eb0:·4004·3801·0123·0101·3057·0101·23d0·d0d0··@.8..#..0W..#...00025eb0:·0438·0101·2301·0130·5701·0123·d0d0·d040··.8..#..0W..#...@
00025ec0:·4024·6c69·7374·a041·e040·043e·010e·b301··@$list.A.@.>....00025ec0:·246c·6973·74a0·41e0·4004·3e01·0eb3·010e··$list.A.@.>.....
00025ed0:·0ec9·0100·e701·0eb3·4041·236c·6f63·a040··........@A#loc.@00025ed0:·c901·00e7·010e·b340·4123·6c6f·63a0·40e0··.......@A#loc.@.
00025ee0:·e040·0441·0113·e601·13f3·0101·2901·13e6··.@.A........)...00025ee0:·4004·4101·13e6·0113·f301·0129·0113·e6d0··@.A........)....
00025ef0:·d0d0·4027·6c6f·6361·7465·64a0·40e0·4004··..@'located.@.@.00025ef0:·d040·276c·6f63·6174·6564·a040·e040·0490··.@'located.@.@..
00025f00:·9001·1e3e·011e·4f01·00d1·011e·3e40·4127··...>..O.....>@A'00025f00:·011e·3e01·1e4f·0100·d101·1e3e·4041·276d··..>..O.....>@A'm
00025f10:·6d6f·6470·6174·68a0·40e0·4004·9301·1ca3··modpath.@.@.....00025f10:·6f64·7061·7468·a040·e040·0493·011c·a301··odpath.@.@......
00025f20:·011c·b401·00c1·011c·a3d0·4029·6d6f·6474··..........@)modt00025f20:·1cb4·0100·c101·1ca3·d040·296d·6f64·7479··.........@)modty
00025f30:·7970·6174·68a0·40e0·4004·9701·1cd6·011c··ypath.@.@.......00025f30:·7061·7468·a040·e040·0497·011c·d601·1ce9··path.@.@........
00025f40:·e901·00c5·011c·d640·4142·4326·6f70·7469··.......@ABC&opti00025f40:·0100·c501·1cd6·4041·4243·266f·7074·696f··......@ABC&optio
00025f50:·6f6e·a041·e040·0450·0111·7401·118c·0101··on.A.@.P..t.....00025f50:·6ea0·41e0·4004·5001·1174·0111·8c01·010e··n.A.@.P..t......
00025f60:·0e01·1174·d040·2a6f·7574·5f73·7472·6561··...t.@*out_strea00025f60:·0111·74d0·402a·6f75·745f·7374·7265·616d··..t.@*out_stream
00025f70:·6da0·40e0·4004·2801·676b·0167·7f01·0080··m.@.@.(.gk.g....00025f70:·a040·e040·0428·0167·6b01·677f·0100·8001··.@.@.(.gk.g.....
00025f80:·0167·6b40·4144·4724·7061·6972·a042·e040··.gk@ADG$pair.B.@00025f80:·676b·4041·4447·2470·6169·72a0·42e0·4004··gk@ADG$pair.B.@.
00025f90:·0457·010f·aa01·0fc8·0100·f301·0faa·d0d0··.W..............00025f90:·5701·0faa·010f·c801·00f3·010f·aad0·d0d0··W...............
00025fa0:·d0d0·d040·2b72·6563·6f72·642d·6465·636c··...@+record-decl00025fa0:·d0d0·402b·7265·636f·7264·2d64·6563·6ca0··..@+record-decl.
00025fb0:·a040·e040·04a9·010d·4601·0d5b·0062·010d··.@.@....F..[.b..00025fb0:·40e0·4004·a901·0d46·010d·5b00·6201·0d46··@.@....F..[.b..F
00025fc0:·4640·4124·7361·6665·a040·e040·0462·0123··F@A$safe.@.@.b.#00025fc0:·4041·2473·6166·65a0·40e0·4004·6201·2394··@A$safe.@.@.b.#.
00025fd0:·9401·23a2·0101·9601·2394·d040·2573·636f··..#.....#..@%sco00025fd0:·0123·a201·0196·0123·94d0·4025·7363·6f70··.#.....#..@%scop
00025fe0:·7065·a040·e040·04b0·012f·7d01·2f8c·0101··pe.@.@.../}./...00025fe0:·65a0·40e0·4004·b001·2f7d·012f·8c01·014b··e.@.@.../}./...K
00025ff0:·4b01·2f7d·4041·422b·7374·642e·696e·742e··K./}@AB+std.int.00025ff0:·012f·7d40·4142·2b73·7464·2e69·6e74·2e6d··./}@AB+std.int.m
00026000:·6d61·70a0·41e0·4033·6275·696c·7469·6e5f··map.A.@3builtin_00026000:·6170·a041·e040·3362·7569·6c74·696e·5f73··ap.A.@3builtin_s
00026010:·7374·646c·6962·2e65·6c70·6901·2eeb·012f··stdlib.elpi..../00026010:·7464·6c69·622e·656c·7069·012e·eb01·2f08··tdlib.elpi..../.
00026020:·0801·0163·012e·ebd0·402b·7374·642e·696e··...c....@+std.in00026020:·0101·6301·2eeb·d040·2b73·7464·2e69·6e74··..c....@+std.int
00026030:·742e·7365·74a0·40e0·4004·0501·44c0·0144··t.set.@.@...D..D00026030:·2e73·6574·a040·e040·0405·0144·c001·44d5··.set.@.@...D..D.
00026040:·d501·01eb·0144·c040·4143·2b73·7464·2e6c··.....D.@AC+std.l00026040:·0101·eb01·44c0·4041·432b·7374·642e·6c6f··....D.@AC+std.lo
00026050:·6f63·2e6d·6170·a041·e040·0408·0134·6201··oc.map.A.@...4b.00026050:·632e·6d61·70a0·41e0·4004·0801·3462·0134··c.map.A.@...4b.4
00026060:·347f·0101·8601·3462·d0d0·d040·2b73·7464··4.....4b...@+std00026060:·7f01·0186·0134·62d0·d0d0·402b·7374·642e··.....4b...@+std.
Max diff block lines reached; 5621692/5911073 bytes (95.10%) of diff not shown.
⊟
19.7 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·1672··Coq!..@P.....*.r00000000:·436f·7121·0001·4050·0000·0000·002a·16a8··Coq!..@P.....*..
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·3c53·2b14·6b35·c493··hcomp@.0<S+.k5..000004f0:·6863·6f6d·7040·9030·3c53·2b14·6b35·c493··hcomp@.0<S+.k5..
00000500:·0e11·23fd·e7c8·0242·a0a0·2e73·7372·636f··..#....B...ssrco00000500:·0e11·23fd·e7c8·0242·a0a0·2e73·7372·636f··..#....B...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·199b·9581·f6bc·5967·2204·475e··p@.0......Yg".G^00000530:·7040·9030·199b·9581·f6bc·5967·2204·475e··p@.0......Yg".G^
00000540:·e1e7·53d2·a0a0·2566·7265·6567·a02c·6d75··..S...%freeg.,mu00000540:·e1e7·53d2·a0a0·2566·7265·6567·a02c·6d75··..S...%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·304a·6aae·a103·e6e7·b762··comp@.0Jj......b 
00000570:·94fb·355d·f930·b725·352e·322e·30a0·4040··..5].0.%5.2.0.@@ 
00000580:·9e5e·1670·c63c·1665·7556·11f7·c4ce·644a··.^.p.<.euV....dJ00000560:·636f·6d70·4090·30a9·4d2f·3800·24dc·6ddb··comp@.0.M/8.$.m.
 00000570:·fd5f·d1c2·c7bc·4b25·352e·322e·30a0·4040··._....K%5.2.0.@@
 00000580:·9783·a836·ffbe·6d07·44eb·bd04·0ef4·9147··...6..m.D......G
00000590:·8495·a6be·0017·2bda·0004·8208·0010·8e90··......+.........00000590:·8495·a6be·0017·2c10·0004·8208·0010·8e9b··......,.........
000005a0:·0010·691a·b0d0·a025·6d70·6f6c·79a0·2c6d··..i....%mpoly.,m000005a0:·0010·6925·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:·303c·532b·146b·35c4·930e·1123·fde7·c802··0<S+.k5....#....00056590:·303c·532b·146b·35c4·930e·1123·fde7·c802··0<S+.k5....#....
000565a0:·42a0·05f4·0d90·304a·6aae·a103·e6e7·b762··B.....0Jj......b 
000565b0:·94fb·355d·f930·b7a0·a005·08d0·a005·08cf··..5].0..........000565a0:·42a0·05f4·0d90·30a9·4d2f·3800·24dc·6ddb··B.....0.M/8.$.m.
 000565b0:·fd5f·d1c2·c7bc·4ba0·a005·08d0·a005·08cf··._....K.........
000565c0:·a005·08ce·4090·3019·9b95·81f6·bc59·6722··....@.0......Yg"000565c0:·a005·08ce·4090·3019·9b95·81f6·bc59·6722··....@.0......Yg"
000565d0:·0447·5ee1·e753·d2a0·05f5·9890·3069·ba9c··.G^..S......0i..000565d0:·0447·5ee1·e753·d2a0·05f5·9890·3069·ba9c··.G^..S......0i..
000565e0:·bd59·5e82·659b·3c9f·3ac0·d24f·4790·40a0··.Y^.e.<.:..OG.@.000565e0:·bd59·5e82·659b·3c9f·3ac0·d24f·4790·40a0··.Y^.e.<.:..OG.@.
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 22704, 12132 lines modifiedOffset 22704, 12132 lines modified
00058af0:·6c73·2e6d·706f·6c79·2d2e·2f73·7263·2f6d··ls.mpoly-./src/m00058af0:·6c73·2e6d·706f·6c79·2d2e·2f73·7263·2f6d··ls.mpoly-./src/m
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......[
Diff chunk too large, falling back to line-by-line diff (5567 lines added, 5567 lines removed)
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·402a··h@........@@@@@*00058b60:·6840·041d·a004·1190·9090·4040·4040·4029··h@........@@@@@)
00058b70:·3130·3130·3135·3036·3634·e0d0·4028·4067··1010150664..@(@g00058b70:·3230·3339·3439·3932·36e0·d040·2840·676c··203949926..@(@gl
00058b80:·6c6f·6261·6c21·a0b0·c391·402a·6765·742d··lobal!....@*get-00058b80:·6f62·616c·21a0·b0c3·9140·2a67·6574·2d6f··obal!....@*get-o
00058b90:·6f70·7469·6f6e·b095·a02c·636f·713a·6c6f··option...,coq:lo00058b90:·7074·696f·6eb0·95a0·2c63·6f71·3a6c·6f63··ption...,coq:loc
00058ba0:·6361·6c69·7479·43e0·4038·636f·712d·6275··calityC.@8coq-bu00058ba0:·616c·6974·7943·e040·3863·6f71·2d62·7569··alityC.@8coq-bui
00058bb0:·696c·7469·6e2d·7379·6e74·6572·702e·656c··iltin-synterp.el00058bb0:·6c74·696e·2d73·796e·7465·7270·2e65·6c70··ltin-synterp.elp
00058bc0:·7069·011b·0d01·1b1b·0100·b001·1aee·a004··pi..............00058bc0:·6901·1b0d·011b·1b01·00b0·011a·eea0·0424··i..............$
00058bd0:·2490·40a0·b095·a026·676c·6f62·616c·43e0··$.@....&globalC.00058bd0:·9040·a0b0·95a0·2667·6c6f·6261·6c43·e040··.@....&globalC.@
00058be0:·4004·0901·1b1c·011b·2401·00b0·011a·eea0··@.......$.......00058be0:·0409·011b·1c01·1b24·0100·b001·1aee·a004··.......$........
00058bf0:·042c·9040·40e0·4004·0c01·1b02·011b·2401··.,.@@.@.......$.00058bf0:·2c90·4040·e040·040c·011b·0201·1b24·0100··,.@@.@.......$..
00058c00:·00b0·011a·eea0·042f·9040·e040·040f·011a··......./.@.@....00058c00:·b001·1aee·a004·2f90·40e0·4004·0f01·1aee··....../.@.@.....
00058c10:·ee01·1b24·0100·b001·1aee·d040·2740·6c6f··...$.......@'@lo00058c10:·011b·2401·00b0·011a·eed0·4027·406c·6f63··..$.......@'@loc
00058c20:·6361·6c21·a0b0·c391·4004·1bb0·9504·1ae0··cal!....@.......00058c20:·616c·21a0·b0c3·9140·041b·b095·041a·e040··al!....@.......@
00058c30:·4004·1801·1b45·011b·5301·00b1·011b·26a0··@....E..S.....&.00058c30:·0418·011b·4501·1b53·0100·b101·1b26·a004··....E..S.....&..
00058c40:·043b·9040·a0b0·95a0·256c·6f63·616c·43e0··.;.@....%localC.00058c40:·3b90·40a0·b095·a025·6c6f·6361·6c43·e040··;.@....%localC.@
00058c50:·4004·2001·1b54·011b·5b01·00b1·011b·26a0··@.·..T..[.....&.00058c50:·0420·011b·5401·1b5b·0100·b101·1b26·a004··.·..T..[.....&..
00058c60:·0443·9040·40e0·4004·2301·1b3a·011b·5b01··.C.@@.@.#..:..[.00058c60:·4390·4040·e040·0423·011b·3a01·1b5b·0100··C.@@.@.#..:..[..
00058c70:·00b1·011b·26a0·0446·9040·e040·0426·011b··....&..F.@.@.&..00058c70:·b101·1b26·a004·4690·40e0·4004·2601·1b26··...&..F.@.@.&..&
00058c80:·2601·1b5b·0100·b101·1b26·4041·42d0·d0d0··&..[.....&@AB...00058c80:·011b·5b01·00b1·011b·2640·4142·d0d0·d0d0··..[.....&@AB....
00058c90:·d0d0·d040·2861·7267·756d·656e·74a0·40e0··...@(argument.@.00058c90:·d0d0·4028·6172·6775·6d65·6e74·a040·e040··..@(argument.@.@
00058ca0:·4004·2f01·0935·0109·4700·4901·0935·4041··@./..5..G.I..5@A00058ca0:·042f·0109·3501·0947·0049·0109·3540·4125··./..5..G.I..5@A%
00058cb0:·2561·7269·7479·a040·e040·0432·0111·9301··%arity.@.@.2....00058cb0:·6172·6974·79a0·40e0·4004·3201·1193·0111··arity.@.@.2.....
00058cc0:·11a2·0077·0111·93d0·d040·2961·7474·7269··...w.....@)attri00058cc0:·a200·7701·1193·d0d0·4029·6174·7472·6962··..w.....@)attrib
00058cd0:·6275·7465·a040·e040·0437·0139·bb01·39ce··bute.@.@.7.9..9.00058cd0:·7574·65a0·40e0·4004·3701·39bb·0139·ce01··ute.@.@.7.9..9..
00058ce0:·0101·8f01·39bb·4041·3161·7474·7269·6275··....9.@A1attribu00058ce0:·018f·0139·bb40·4131·6174·7472·6962·7574··...9.@A1attribut
00058cf0:·7465·2d6d·6170·7069·6e67·a040·e040·0940··te-mapping.@.@.@00058cf0:·652d·6d61·7070·696e·67a0·40e0·4009·402f··e-mapping.@.@.@/
00058d00:·2f62·7569·6c64·2f72·6570·726f·6475·6369··/build/reproduci00058d00:·6275·696c·642f·7265·7072·6f64·7563·6962··build/reproducib
00058d10:·626c·652d·7061·7468·2f63·6f71·2d65·6c70··ble-path/coq-elp00058d10:·6c65·2d70·6174·682f·636f·712d·656c·7069··le-path/coq-elpi
00058d20:·692d·322e·332e·302f·656c·7069·2f63·6f71··i-2.3.0/elpi/coq00058d20:·2d32·2e33·2e30·2f65·6c70·692f·636f·712d··-2.3.0/elpi/coq-
00058d30:·2d6c·6962·2d63·6f6d·6d6f·6e2e·656c·7069··-lib-common.elpi00058d30:·6c69·622d·636f·6d6d·6f6e·2e65·6c70·6901··lib-common.elpi.
00058d40:·010a·3f01·0a5a·004b·010a·3f40·4243·3361··..?..Z.K..?@BC3a00058d40:·0a3f·010a·5a00·4b01·0a3f·4042·4333·6174··.?..Z.K..?@BC3at
00058d50:·7474·7269·6275·7465·2d73·6967·6e61·7475··ttribute-signatu00058d50:·7472·6962·7574·652d·7369·676e·6174·7572··tribute-signatur
00058d60:·7265·a040·e040·0404·0107·9701·07b4·7901··re.@.@........y.00058d60:·65a0·40e0·4004·0401·0797·0107·b479·0107··e.@.@........y..
00058d70:·0797·d0d0·402e·6174·7472·6962·7574·652d··....@.attribute-00058d70:·97d0·d040·2e61·7474·7269·6275·7465·2d74··...@.attribute-t
00058d80:·7479·7065·a040·e040·0409·0108·c301·08db··type.@.@........00058d80:·7970·65a0·40e0·4004·0901·08c3·0108·db00··ype.@.@.........
00058d90:·0041·0108·c3d0·402f·6174·7472·6962·7574··.A....@/attribut00058d90:·4101·08c3·d040·2f61·7474·7269·6275·7465··A....@/attribute
00058da0:·652d·7661·6c75·65a0·40e0·4004·4701·390f··e-value.@.@.G.9.00058da0:·2d76·616c·7565·a040·e040·0447·0139·0f01··-value.@.@.G.9..
00058db0:·0139·2801·0189·0139·0f40·4142·2462·6f6f··.9(....9.@AB$boo00058db0:·3928·0101·8901·390f·4041·4224·626f·6f6c··9(....9.@AB$bool
00058dc0:·6ca0·40e0·4031·656c·7069·2d62·7569·6c74··l.@.@1elpi-built00058dc0:·a040·e040·3165·6c70·692d·6275·696c·7469··.@.@1elpi-builti
00058dd0:·696e·2e65·6c70·6901·0f41·010f·4f01·00ee··in.elpi..A..O...00058dd0:·6e2e·656c·7069·010f·4101·0f4f·0100·ee01··n.elpi..A..O....
00058de0:·010f·41d0·4026·636c·6175·7365·a040·e040··..A.@&clause.@.@00058de0:·0f41·d040·2663·6c61·7573·65a0·40e0·4004··.A.@&clause.@.@.
00058df0:·044f·012e·2001·2e30·0101·3f01·2e20·4041··.O..·..0..?..·@A00058df0:·4f01·2e20·012e·3001·013f·012e·2040·4143··O..·..0..?..·@AC
00058e00:·4344·2363·6d70·a040·e040·0408·0111·d501··CD#cmp.@.@......00058e00:·4423·636d·70a0·40e0·4004·0801·11d5·0111··D#cmp.@.@.......
00058e10:·11e2·0101·1301·11d5·d0d0·d040·2c63·6f6e··...........@,con00058e10:·e201·0113·0111·d5d0·d0d0·402c·636f·6e74··..........@,cont
00058e20:·7465·7874·2d64·6563·6ca0·40e0·4004·5801··text-decl.@.@.X.00058e20:·6578·742d·6465·636c·a040·e040·0458·0119··ext-decl.@.@.X..
00058e30:·19d2·0119·e801·00a9·0119·d2d0·402a·636f··............@*co00058e30:·d201·19e8·0100·a901·19d2·d040·2a63·6f71··...........@*coq
00058e40:·712e·696e·6c69·6e65·a040·e040·045c·011f··q.inline.@.@.\..00058e40:·2e69·6e6c·696e·65a0·40e0·4004·5c01·1f4d··.inline.@.@.\..M
00058e50:·4d01·1f61·0100·db01·1f4d·4041·422a·6469··M..a.....M@AB*di00058e50:·011f·6101·00db·011f·4d40·4142·2a64·6961··..a.....M@AB*dia
00058e60:·6167·6e6f·7374·6963·a040·e040·0415·0112··agnostic.@.@....00058e60:·676e·6f73·7469·63a0·40e0·4004·1501·1253··gnostic.@.@....S
00058e70:·5301·1267·0101·1901·1253·d040·2f66·6965··S..g.....S.@/fie00058e70:·0112·6701·0119·0112·53d0·402f·6669·656c··..g.....S.@/fiel
00058e80:·6c64·2d61·7474·7269·6275·7465·a040·e040··ld-attribute.@.@00058e80:·642d·6174·7472·6962·7574·65a0·40e0·4004··d-attribute.@.@.
00058e90:·0463·5c75·455c·4041·4325·666c·6f61·74a0··.c\uE\@AC%float.00058e90:·635c·7545·5c40·4143·2566·6c6f·6174·a040··c\uE\@AC%float.@
00058ea0:·40e0·4004·1c01·0148·0101·575d·0101·48d0··@.@....H..W]..H.00058ea0:·e040·041c·0101·4801·0157·5d01·0148·d0d0··.@....H..W]..H..
00058eb0:·d0d0·4028·6772·6166·7469·6e67·a040·e040··..@(grafting.@.@00058eb0:·d040·2867·7261·6674·696e·67a0·40e0·4004··.@(grafting.@.@.
00058ec0:·046c·012e·bd01·2ecf·0101·4401·2ebd·d040··.l........D....@00058ec0:·6c01·2ebd·012e·cf01·0144·012e·bdd0·4025··l........D....@%
00058ed0:·2567·726f·7570·a040·e040·0470·0136·f201··%group.@.@.p.6..00058ed0:·6772·6f75·70a0·40e0·4004·7001·36f2·0137··group.@.@.p.6..7
00058ee0:·3701·0101·7901·36f2·4041·422d·696d·706c··7...y.6.@AB-impl00058ee0:·0101·0179·0136·f240·4142·2d69·6d70·6c69··...y.6.@AB-impli
00058ef0:·6963·6974·5f6b·696e·64a0·40e0·4004·7343··icit_kind.@.@.sC00058ef0:·6369·745f·6b69·6e64·a040·e040·0473·435a··cit_kind.@.@.sCZ
00058f00:·5a44·4340·4329·696e·5f73·7472·6561·6da0··ZDC@C)in_stream.00058f00:·4443·4043·2969·6e5f·7374·7265·616d·a040··DC@C)in_stream.@
00058f10:·40e0·4030·6275·696c·7469·6e5f·7365·742e··@.@0builtin_set.00058f10:·e040·3062·7569·6c74·696e·5f73·6574·2e65··.@0builtin_set.e
00058f20:·656c·7069·0167·3d01·6750·007c·0167·3dd0··elpi.g=.gP.|.g=.00058f20:·6c70·6901·673d·0167·5000·7c01·673d·d0d0··lpi.g=.gP.|.g=..
00058f30:·d040·2969·6e64·632d·6465·636c·a040·e040··.@)indc-decl.@.@00058f30:·4029·696e·6463·2d64·6563·6ca0·40e0·4004··@)indc-decl.@.@.
00058f40:·047c·010d·3101·0d44·0061·010d·3140·4129··.|..1..D.a..1@A)00058f40:·7c01·0d31·010d·4400·6101·0d31·4041·2969··|..1..D.a..1@A)i
00058f50:·696e·6474·2d64·6563·6ca0·40e0·4004·7f01··indt-decl.@.@...00058f50:·6e64·742d·6465·636c·a040·e040·047f·010d··ndt-decl.@.@....
00058f60:·0d1c·010d·2f00·6001·0d1c·4042·4445·4623··..../.`...@BDEF#00058f60:·1c01·0d2f·0060·010d·1c40·4244·4546·2369··.../.`...@BDEF#i
00058f70:·696e·74a0·40e0·4004·3801·0123·0101·3057··int.@.@.8..#..0W00058f70:·6e74·a040·e040·0438·0101·2301·0130·5701··nt.@.@.8..#..0W.
00058f80:·0101·23d0·d0d0·4024·6c69·7374·a041·e040··..#...@$list.A.@00058f80:·0123·d0d0·d040·246c·6973·74a0·41e0·4004··.#...@$list.A.@.
00058f90:·043e·010e·b301·0ec9·0100·e701·0eb3·4041··.>............@A00058f90:·3e01·0eb3·010e·c901·00e7·010e·b340·4123··>............@A#
00058fa0:·236c·6f63·a040·e040·0441·0113·e601·13f3··#loc.@.@.A......00058fa0:·6c6f·63a0·40e0·4004·4101·13e6·0113·f301··loc.@.@.A.......
00058fb0:·0101·2901·13e6·d0d0·4027·6c6f·6361·7465··..).....@'locate00058fb0:·0129·0113·e6d0·d040·276c·6f63·6174·6564··.).....@'located
Max diff block lines reached; 19864102/20636513 bytes (96.26%) of diff not shown.
⊟
144 B
./var/lib/coq/md5sums/libcoq-mathcomp-multinomials.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 o30i31 hcmj5
Generated by diffoscope 284