| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·aa1bde928b485ca5bde18c677dec44f1·1867808·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:19:29.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:19:29.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1348·2024-12-18·11:19:29.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1348·2024-12-18·11:19:29.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0··186 | 3 | -rw-r--r--···0········0········0··1866268·2024-12-18·11:19:29.000000·data.tar.xz |
| Offset 2, 15 lines modified | Offset 2, 15 lines modified | ||
| 2 | Source:·mathcomp-multinomials | 2 | Source:·mathcomp-multinomials |
| 3 | Version:·2.3.0-1 | 3 | Version:·2.3.0-1 |
| 4 | Architecture:·amd64 | 4 | 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:·7040 | 6 | Installed-Size:·7040 |
| 7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-fvoy4,·libcoq-mathcomp-bigenough-l69h1,·libcoq-mathcomp-finmap-nnn31,·libcoq-mathcomp-ssreflect-vk1c9 | 7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-fvoy4,·libcoq-mathcomp-bigenough-l69h1,·libcoq-mathcomp-finmap-nnn31,·libcoq-mathcomp-ssreflect-vk1c9 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-multinomials- | 9 | Provides:·libcoq-mathcomp-multinomials-9gah5 |
| 10 | Section:·ocaml | 10 | Section:·ocaml |
| 11 | Priority:·optional | 11 | Priority:·optional |
| 12 | Homepage:·https://github.com/math-comp/multinomials | 12 | Homepage:·https://github.com/math-comp/multinomials |
| 13 | Description:·Multivariate·polynomials·for·Mathematical·Components | 13 | Description:·Multivariate·polynomials·for·Mathematical·Components |
| 14 | ·This·package·provides·an·extension·to·Mathematical·Components | 14 | ·This·package·provides·an·extension·to·Mathematical·Components |
| 15 | ·for·monomial·algebra,·multivariate·polynomials·over·ring | 15 | ·for·monomial·algebra,·multivariate·polynomials·over·ring |
| 16 | ·structures·and·an·extended·theory·for·polynomials·whose | 16 | ·structures·and·an·extended·theory·for·polynomials·whose |
| Offset 6, 21 lines modified | Offset 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.glob | 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.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.v | 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.v |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···5154 | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···515467·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.glob | 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.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.v | 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.v |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)···9112 | 16 | -rw-r--r--···0·root·········(0)·root·········(0)···911285·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.glob | 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.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.v | 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.v |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)··27584 | 19 | -rw-r--r--···0·root·········(0)·root·········(0)··2758470·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.glob | 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.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.v | 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.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.vo | 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.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.glob | 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.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.v | 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.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.vo | 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.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/ |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0007·dc | 00000000:·436f·7121·0001·4050·0000·0000·0007·dcd9··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.,mu | 00000020:·0000·01c1·c0a0·2566·7265·6567·a02c·6d75··......%freeg.,mu | ||
| 00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | 00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | ||
| 00000040:·636f·6d70·4008·0000·4300·a0a0·2750·7265··comp@...C...'Pre | 00000040:·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 modified | Offset 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.'alge | 00000310:·e7a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge | ||
| 00000320:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0 | 00000320:·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:·3 | 00000360:·3700·0118·3300·03fb·4e00·03eb·1fb0·d0a0··7...3...N....... | ||
| 00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom | 00000370:·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...)FreegDef | 00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef | ||
| 000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red | 000003a0:·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@.........&s | 000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s | ||
| 000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra.. | 000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra.. | ||
| Offset 5885, 16 lines modified | Offset 5885, 16 lines modified | ||
| 00016fc0:·e090·3b6d·6174·6863·6f6d·702e·6d75·6c74··..;mathcomp.mult | 00016fc0:·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-canonical | 00017000:·2f6c·6f63·616c·2d63·616e·6f6e·6963·616c··/local-canonical | ||
| 00017010:·b095·a091·053c·fe58·040d·a022·5479·9090··.....<.X..."Ty.. | 00017010:·b095·a091·053c·fe58·040d·a022·5479·9090··.....<.X..."Ty.. | ||
| 00017020:·9090·2863·6f6e·7374·616e·7440·0414·a004··..(constant@.... | 00017020:·9090·2863·6f6e·7374·616e·7440·0414·a004··..(constant@.... | ||
| 00017030:·0790·9090·4040·4040·4029·3 | 00017030:·0790·9090·4040·4040·4029·3638·3636·3437··....@@@@@)686647 | ||
| 00017040:·3933·3 | 00017040:·3933·37e0·d0d0·d0d0·4025·4063·6173·74a0··937.....@%@cast. | ||
| 00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T | 00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T | ||
| 00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let.... | 00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let.... | ||
| 00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui | 00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui | ||
| 00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$.. | 00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$.. | ||
| 00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@...... | 00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@...... | ||
| 000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$..... | 000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$..... | ||
| 000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@......... | 000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@......... | ||
| Offset 10632, 55 lines modified | Offset 10632, 55 lines modified | ||
| 00029870:·0105·5801·0562·6701·0558·d040·0517·08a0··..X..bg..X.@.... | 00029870:·0105·5801·0562·6701·0558·d040·0517·08a0··..X..bg..X.@.... | ||
| 00029880:·a090·40a0·9040·a090·41a0·9041·40e0·4005··..@..@..A..A@.@. | 00029880:·a090·40a0·9040·a090·41a0·9041·40e0·4005··..@..@..A..A@.@. | ||
| 00029890:·1669·0101·ac01·01d5·4c01·01ac·d040·0517··.i......L....@.. | 00029890:·1669·0101·ac01·01d5·4c01·01ac·d040·0517··.i......L....@.. | ||
| 000298a0:·07a0·a090·40a0·9041·a090·4140·e040·0516··....@..A..A@.@.. | 000298a0:·07a0·a090·40a0·9041·a090·4140·e040·0516··....@..A..A@.@.. | ||
| 000298b0:·7201·01d7·0102·034d·0101·d7d0·4005·1705··r......M....@... | 000298b0:·7201·01d7·0102·034d·0101·d7d0·4005·1705··r......M....@... | ||
| 000298c0:·a0a0·9040·a090·4140·e040·0516·7901·022a··...@..A@.@..y..* | 000298c0:·a0a0·9040·a090·4140·e040·0516·7901·022a··...@..A@.@..y..* | ||
| 000298d0:·0102·424f·0102·2a40·4142·4344·4546·4748··..BO..*@ABCDEFGH | 000298d0:·0102·424f·0102·2a40·4142·4344·4546·4748··..BO..*@ABCDEFGH | ||
| 000298e0:·494b·4c05·4614·0c00·0000·0000·00 | 000298e0:·494b·4c05·4614·0c00·0000·0000·00e9·3e40··IKL.F.........>@ | ||
| 000298f0:·4140·a095·a002·347d·c1ff·a027·5f45·4c50··A@....4}...'_ELP | 000298f0:·4140·a095·a002·347d·c1ff·a027·5f45·4c50··A@....4}...'_ELP | ||
| 00029900:·495f·32c0·a022·6862·a022·6462·40a0·a0b0··I_2.."hb."db@... | 00029900:·495f·32c0·a022·6862·a022·6462·40a0·a0b0··I_2.."hb."db@... | ||
| 00029910:·0583·a621·3202·2f1d·56cb·d005·4627·d0e0··...!2./.V...F'.. | 00029910:·0583·a621·3202·2f1d·56cb·d005·4627·d0e0··...!2./.V...F'.. | ||
| 00029920:·4040·4040·4005·4626·40a0·c005·4625·0546··@@@@@.F&@...F%.F | 00029920:·4040·4040·4005·4626·40a0·c005·4625·0546··@@@@@.F&@...F%.F | ||
| 00029930:·21b0·c391·4005·2939·b095·a005·4628·4305··!...@.)9....F(C. | 00029930:·21b0·c391·4005·2939·b095·a005·4628·4305··!...@.)9....F(C. | ||
| 00029940:·462b·a005·461e·9090·9005·293b·a0b0·95a0··F+..F.....);.... | 00029940:·462b·a005·461e·9090·9005·293b·a0b0·95a0··F+..F.....);.... | ||
| 00029950:·092d·4672·6565·6744·6566·735f·7072·6566··.-FreegDefs_pref | 00029950:·092d·4672·6565·6744·6566·735f·7072·6566··.-FreegDefs_pref | ||
| 00029960:·7265·6567·5f5f·6361·6e6f·6e69·6361·6c5f··reeg__canonical_ | 00029960:·7265·6567·5f5f·6361·6e6f·6e69·6361·6c5f··reeg__canonical_ | ||
| 00029970:·5f65·7174·7970·655f·5375·6254·7970·6543··_eqtype_SubTypeC | 00029970:·5f65·7174·7970·655f·5375·6254·7970·6543··_eqtype_SubTypeC | ||
| 00029980:·0546·34a0·0546·2790·9090·0529·42a0·b095··.F4..F'....)B... | 00029980:·0546·34a0·0546·2790·9090·0529·42a0·b095··.F4..F'....)B... | ||
| 00029990:·0546·3005·463b·a005·462e·9090·9005·2947··.F0.F;..F.....)G | 00029990:·0546·3005·463b·a005·462e·9090·9005·2947··.F0.F;..F.....)G | ||
| 000299a0:·4005·463f·a005·4632·9090·9040·4040·4040··@.F?..F2...@@@@@ | 000299a0:·4005·463f·a005·4632·9090·9040·4040·4040··@.F?..F2...@@@@@ | ||
| 000299b0:·293 | 000299b0:·2938·3736·3037·3031·3330·e005·462b·0540··)876070130..F+.@ | ||
| 000299c0:·cd05·3f4a·0517·1105·1682·0546·480c·0000··..?J.......FH... | 000299c0:·cd05·3f4a·0517·1105·1682·0546·480c·0000··..?J.......FH... | ||
| 000299d0:·0000·00 | 000299d0:·0000·0000·eb3e·a0a0·b005·83d0·2133·022f··.....>......!3./ | ||
| 000299e0:·1d56·ccd0·0546·51d0·e040·4040·4040·0546··.V...FQ..@@@@@.F | 000299e0:·1d56·ccd0·0546·51d0·e040·4040·4040·0546··.V...FQ..@@@@@.F | ||
| 000299f0:·5040·a0c0·0546·4f05·464b·b0c3·9140·0529··P@...FO.FK...@.) | 000299f0:·5040·a0c0·0546·4f05·464b·b0c3·9140·0529··P@...FO.FK...@.) | ||
| 00029a00:·63b0·9504·2a05·4654·a005·4647·9090·9005··c...*.FT..FG.... | 00029a00:·63b0·9504·2a05·4654·a005·4647·9090·9005··c...*.FT..FG.... | ||
| 00029a10:·2964·a0b0·95a0·215f·4305·465d·a005·4650··)d....!_C.F]..FP | 00029a10:·2964·a0b0·95a0·215f·4305·465d·a005·4650··)d....!_C.F]..FP | ||
| 00029a20:·9090·9005·296b·a0b0·95a0·9105·83c0·5805··....)k........X. | 00029a20:·9090·9005·296b·a0b0·95a0·9105·83c0·5805··....)k........X. | ||
| 00029a30:·4666·a005·4659·9090·9005·2972·4005·466a··Ff..FY....)r@.Fj | 00029a30:·4666·a005·4659·9090·9005·2972·4005·466a··Ff..FY....)r@.Fj | ||
| 00029a40:·a005·465d·9090·9040·4040·4040·293 | 00029a40:·a005·465d·9090·9040·4040·4040·2938·3736··..F]...@@@@@)876 | ||
| 00029a50:·3 | 00029a50:·3037·3031·3330·e005·4656·0540·f805·3f75··070130..FV.@..?u | ||
| 00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs....... | 00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs....... | ||
| 00029a70:· | 00029a70:·ca3e·a0a0·b005·83fb·2134·022f·1d56·cdd0··.>......!4./.V.. | ||
| 00029a80:·0546·7cd0·e040·4040·4040·0546·7b40·a0c0··.F|..@@@@@.F{@.. | 00029a80:·0546·7cd0·e040·4040·4040·0546·7b40·a0c0··.F|..@@@@@.F{@.. | ||
| 00029a90:·0546·7a05·4676·b0c3·9140·052a·6eb0·c391··.Fz.Fv...@.*n... | 00029a90:·0546·7a05·4676·b0c3·9140·052a·6eb0·c391··.Fz.Fv...@.*n... | ||
| 00029aa0:·4005·2d3f·b0c3·9140·0529·c8b0·95a0·0583··@.-?...@.)...... | 00029aa0:·4005·2d3f·b0c3·9140·0529·c8b0·95a0·0583··@.-?...@.)...... | ||
| 00029ab0:·dd57·0546·86a0·0546·7990·9090·0529·ca40··.W.F...Fy....).@ | 00029ab0:·dd57·0546·86a0·0546·7990·9090·0529·ca40··.W.F...Fy....).@ | ||
| 00029ac0:·0546·8aa0·0546·7d90·9090·052d·4840·0546··.F...F}....-H@.F | 00029ac0:·0546·8aa0·0546·7d90·9090·052d·4840·0546··.F...F}....-H@.F | ||
| 00029ad0:·8ea0·0546·8190·9090·052a·7ea0·b0c3·9140··...F.....*~....@ | 00029ad0:·8ea0·0546·8190·9090·052a·7ea0·b0c3·9140··...F.....*~....@ | ||
| 00029ae0:·0529·dbb0·95a0·0547·2657·0546·99a0·0546··.).....G&W.F...F | 00029ae0:·0529·dbb0·95a0·0547·2657·0546·99a0·0546··.).....G&W.F...F | ||
| 00029af0:·8c90·9090·0529·dd40·0546·9da0·0546·9090··.....).@.F...F.. | 00029af0:·8c90·9090·0529·dd40·0546·9da0·0546·9090··.....).@.F...F.. | ||
| 00029b00:·9090·052a·8aa0·b0c3·9140·053d·5db0·9504··...*.....@.=]... | 00029b00:·9090·052a·8aa0·b0c3·9140·053d·5db0·9504··...*.....@.=]... | ||
| 00029b10:·4305·46a7·a005·469a·9090·9005·3d5e·4005··C.F...F.....=^@. | 00029b10:·4305·46a7·a005·469a·9090·9005·3d5e·4005··C.F...F.....=^@. | ||
| 00029b20:·46ab·a005·469e·9090·9005·2a96·4005·46af··F...F.....*.@.F. | 00029b20:·46ab·a005·469e·9090·9005·2a96·4005·46af··F...F.....*.@.F. | ||
| 00029b30:·a005·46a2·9090·9040·4040·4040·293 | 00029b30:·a005·46a2·9090·9040·4040·4040·2938·3736··..F....@@@@@)876 | ||
| 00029b40:·3 | 00029b40:·3037·3031·3330·e005·469b·0541·3d05·3fba··070130..F..A=.?. | ||
| 00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0000··.......F........ | 00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0000··.......F........ | ||
| 00029b60:· | 00029b60:·e93e·4041·40a0·95a0·021b·8322·9db0·9005··.>@A@......".... | ||
| 00029b70:·8402·40a0·0583·caa0·0583·cea0·0583·c440··..@............@ | 00029b70:·8402·40a0·0583·caa0·0583·cea0·0583·c440··..@............@ | ||
| 00029b80:·a095·a002·320a·518f·a005·8409·b005·47b2··....2.Q.......G. | 00029b80:·a095·a002·320a·518f·a005·8409·b005·47b2··....2.Q.......G. | ||
| 00029b90:·4040·a095·a002·0fc0·a2b8·a090·0548·23a0··@@...........H#. | 00029b90:·4040·a095·a002·0fc0·a2b8·a090·0548·23a0··@@...........H#. | ||
| 00029ba0:·a091·0583·74a0·a040·a040·a040·4040·40a0··....t..@.@.@@@@. | 00029ba0:·a091·0583·74a0·a040·a040·a040·4040·40a0··....t..@.@.@@@@. | ||
| 00029bb0:·95a0·0227·60a0·6fd0·4091·0583·7da0·40a0··...'`.o.@...}.@. | 00029bb0:·95a0·0227·60a0·6fd0·4091·0583·7da0·40a0··...'`.o.@...}.@. | ||
| 00029bc0:·4040·a090·9205·8d5e·a090·9205·8d4d·40d0··@@.....^.....M@. | 00029bc0:·4040·a090·9205·8d5e·a090·9205·8d4d·40d0··@@.....^.....M@. | ||
| 00029bd0:·d0d0·d0d0·4040·a005·4bb0·4040·4141·a005··....@@..K.@@AA.. | 00029bd0:·d0d0·d0d0·4040·a005·4bb0·4040·4141·a005··....@@..K.@@AA.. | ||
| Offset 10827, 18 lines modified | Offset 10827, 18 lines modified | ||
| 0002a4a0:·c1ff·a027·5f45·4c50·495f·34c0·a022·6862··...'_ELPI_4.."hb | 0002a4a0:·c1ff·a027·5f45·4c50·495f·34c0·a022·6862··...'_ELPI_4.."hb | ||
| 0002a4b0:·a022·6462·40a0·a0b0·0586·5921·3702·2f1d··."db@.....Y!7./. | 0002a4b0:·a022·6462·40a0·a0b0·0586·5921·3702·2f1d··."db@.....Y!7./. | ||
| 0002a4c0:·56d0·d005·48da·d0e0·4040·4040·4005·48d9··V...H...@@@@@.H. | 0002a4c0:·56d0·d005·48da·d0e0·4040·4040·4005·48d9··V...H...@@@@@.H. | ||
| 0002a4d0:·40a0·c0e0·9005·48d8·2d2e·2f73·7263·2f66··@.....H.-./src/f | 0002a4d0:·40a0·c0e0·9005·48d8·2d2e·2f73·7263·2f66··@.....H.-./src/f | ||
| 0002a4e0:·7265·6567·2e76·010d·4a01·0d8b·004b·010d··reeg.v..J....K.. | 0002a4e0:·7265·6567·2e76·010d·4a01·0d8b·004b·010d··reeg.v..J....K.. | ||
| 0002a4f0:·4605·48d7·b0c3·9140·0548·d6b0·95a0·9104··F.H....@.H...... | 0002a4f0:·4605·48d7·b0c3·9140·0548·d6b0·95a0·9104··F.H....@.H...... | ||
| 0002a500:·7c58·040a·a005·48d5·9090·9005·48d4·4004··|X....H.....H.@. | 0002a500:·7c58·040a·a005·48d5·9090·9005·48d4·4004··|X....H.....H.@. | ||
| 0002a510:·0ea0·0548·d990·9090·4040·4040·4029·3 | 0002a510:·0ea0·0548·d990·9090·4040·4040·4029·3735··...H....@@@@@)75 | ||
| 0002a520:·3 | 0002a520:·3636·3538·3530·36e0·0548·d205·4374·0541··6658506..H..Ct.A | ||
| 0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·0000··......).H....... | 0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·0000··......).H....... | ||
| 0002a540:· | 0002a540:·00e9·3e40·4140·a095·a002·0b7b·4f44·a040··..>@A@.....{OD.@ | ||
| 0002a550:·a0a0·0584·eea0·9105·8543·4040·a095·a002··.........C@@.... | 0002a550:·a0a0·0584·eea0·9105·8543·4040·a095·a002··.........C@@.... | ||
| 0002a560:·0b7b·4f44·a040·a0a0·0585·02a0·9105·8657··.{OD.@.........W | 0002a560:·0b7b·4f44·a040·a0a0·0585·02a0·9105·8657··.{OD.@.........W | ||
| 0002a570:·4040·a095·a002·320a·518f·a005·8539·b005··@@....2.Q....9.. | 0002a570:·4040·a095·a002·320a·518f·a005·8539·b005··@@....2.Q....9.. | ||
| 0002a580:·49f1·4040·a095·a002·0fc0·a2b8·a090·054a··I.@@...........J | 0002a580:·49f1·4040·a095·a002·0fc0·a2b8·a090·054a··I.@@...........J | ||
| 0002a590:·62a0·a091·90b0·058f·a005·8544·0226·29cc··b..........D.&). | 0002a590:·62a0·a091·90b0·058f·a005·8544·0226·29cc··b..........D.&). | ||
| 0002a5a0:·0ca0·a040·a040·a040·4040·40a0·95a0·0227··...@.@.@@@@....' | 0002a5a0:·0ca0·a040·a040·a040·4040·40a0·95a0·0227··...@.@.@@@@....' | ||
| 0002a5b0:·60a0·6fd0·4091·040b·a040·a040·40a0·9092··`.o.@....@.@@... | 0002a5b0:·60a0·6fd0·4091·040b·a040·a040·40a0·9092··`.o.@....@.@@... | ||
| Offset 10869, 21350 lines modified | Offset 10869, 21349 lines modified | ||
| 0002a740:·90b0·a205·8d75·0585·9205·497f·0202·71a2··.....u....I...q. | 0002a740:·90b0·a205·8d75·0585·9205·497f·0202·71a2··.....u....I...q. | ||
| 0002a750:·a840·40a0·95a0·0234·7dc1·ffa0·275f·454c··.@@....4}...'_EL | 0002a750:·a840·40a0·95a0·0234·7dc1·ffa0·275f·454c··.@@....4}...'_EL | ||
| 0002a760:·5049·5f35·c0a0·2268·62a0·2264·6240·a0a0··PI_5.."hb."db@.. | 0002a760:·5049·5f35·c0a0·2268·62a0·2264·6240·a0a0··PI_5.."hb."db@.. | ||
| 0002a770:·b005·86fd·2138·022f·1d56·d1d0·0549·7ed0··....!8./.V...I~. | 0002a770:·b005·86fd·2138·022f·1d56·d1d0·0549·7ed0··....!8./.V...I~. | ||
| 0002a780:·e040·4040·4040·0549·7d40·a0c0·04a4·0549··.@@@@@.I}@.....I | 0002a780:·e040·4040·4040·0549·7d40·a0c0·04a4·0549··.@@@@@.I}@.....I | ||
| 0002a790:·78b0·c391·4005·4977·b095·a091·0479·5804··x...@.Iw.....yX. | 0002a790:·78b0·c391·4005·4977·b095·a091·0479·5804··x...@.Iw.....yX. | Diff chunk too large, falling back to line-by-line diff (21342 lines added, 21343 lines removed) | |
| 0002a7a0:·aba0·0549·7690·9090·0549·7540·04af·a005··...Iv....Iu@.... | 0002a7a0:·aba0·0549·7690·9090·0549·7540·04af·a005··...Iv....Iu@.... | ||
| 0002a7b0:·497a·9090·9040·4040·4040·2 | 0002a7b0:·497a·9090·9040·4040·4040·2836·3638·3432··Iz...@@@@@(66842 | ||
| 0002a7c0:·3 | 0002a7c0:·3538·37e0·0549·7305·4415·0542·9205·1a59··587..Is.D..B...Y | ||
| Max diff block lines reached; -1/2954705 bytes (-0.00%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·000d·e | 00000000:·436f·7121·0001·4050·0000·0000·000d·e703··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.,m | 00000020:·0000·018a·c0a0·266d·6f6e·616c·67a0·2c6d··......&monalg.,m | ||
| 00000030:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | 00000030:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | ||
| 00000040:·6863·6f6d·7040·0800·003b·00a0·a027·5072··hcomp@...;...'Pr | 00000040:·6863·6f6d·7040·0800·003b·00a0·a027·5072··hcomp@...;...'Pr | ||
| 00000050:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq | 00000050:·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··.....*structures | 00000070:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures | ||
| Offset 41, 16 lines modified | Offset 41, 16 lines modified | ||
| 00000280:·2761·6c67·6562·7261·a028·6d61·7468·636f··'algebra.(mathco | 00000280:·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.(m | 000002b0:·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.0 | 000002d0:·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· | 000002f0:·8305·0584·95a6·be00·0b24·7f00·0270·a700··.........$...p.. | ||
| 00000300:·088a·4 | 00000300:·088a·4700·0871·cbb0·d0a0·266d·6f6e·616c··..G..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_isMono | 00000330:·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_isMon | 00000350:·a0a0·0932·4368·6f69·6365·5f69·734d·6f6e··...2Choice_isMon | ||
| 00000360:·6f6d·6961·6c44·6566·5f56·5f5f·6361·6e6f··omialDef_V__cano | 00000360:·6f6d·6961·6c44·6566·5f56·5f5f·6361·6e6f··omialDef_V__cano | ||
| 00000370:·6e69·6361·6c5f·5f65·7174·7970·655f·4571··nical__eqtype_Eq | 00000370:·6e69·6361·6c5f·5f65·7174·7970·655f·4571··nical__eqtype_Eq | ||
| Offset 9636, 2183 lines modified | Offset 9636, 2183 lines modified | ||
| 00025a30:·732e·6d6f·6e61·6c67·2e2e·2f73·7263·2f6d··s.monalg../src/m | 00025a30:·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...@0modu | 00025a50:·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....&str | 00025a70:·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 (2141 lines added, 2141 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·402 | 00025aa0:·1190·9090·4040·4040·4029·3431·3938·3238··....@@@@@)419828 | ||
| 00025ab0:·3 | 00025ab0:·3634·31e0·d040·2840·676c·6f62·616c·21a0··641..@(@global!. | ||
| 00025ac0:·c391 | 00025ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option. | ||
| 00025ad0:·a02c | 00025ad0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC | ||
| 00025ae0:·4038 | 00025ae0:·e040·3863·6f71·2d62·7569·6c74·696e·2d73··.@8coq-builtin-s | ||
| 00025af0:·6e74 | 00025af0:·796e·7465·7270·2e65·6c70·6901·1b0d·011b··ynterp.elpi..... | ||
| 00025b00:·01 | 00025b00:·1b01·00b0·011a·eea0·0424·9040·a0b0·95a0··.........$.@.... | ||
| 00025b10:·676c | 00025b10:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@...... | ||
| 00025b20:·2401 | 00025b20:·1b24·0100·b001·1aee·a004·2c90·4040·e040··.$........,.@@.@ | ||
| 00025b30:·0c01 | 00025b30:·040c·011b·0201·1b24·0100·b001·1aee·a004··.......$........ | ||
| 00025b40:·9040 | 00025b40:·2f90·40e0·4004·0f01·1aee·011b·2401·00b0··/.@.@.......$... | ||
| 00025b50:·1a | 00025b50:·011a·eed0·4027·406c·6f63·616c·21a0·b0c3··....@'@local!... | ||
| 00025b60:·4004 | 00025b60:·9140·041b·b095·041a·e040·0418·011b·4501··.@.......@....E. | ||
| 00025b70:·5301 | 00025b70:·1b53·0100·b101·1b26·a004·3b90·40a0·b095··.S.....&..;.@... | ||
| 00025b80:·256c | 00025b80:·a025·6c6f·6361·6c43·e040·0420·011b·5401··.%localC.@.·..T. | ||
| 00025b90:·5b01 | 00025b90:·1b5b·0100·b101·1b26·a004·4390·4040·e040··.[.....&..C.@@.@ | ||
| 00025ba0:·2301 | 00025ba0:·0423·011b·3a01·1b5b·0100·b101·1b26·a004··.#..:..[.....&.. | ||
| 00025bb0:·9040 | 00025bb0:·4690·40e0·4004·2601·1b26·011b·5b01·00b1··F.@.@.&..&..[... | ||
| 00025bc0:·1b26 | 00025bc0:·011b·2640·4142·d0d0·d0d0·d0d0·4028·6172··..&@AB......@(ar | ||
| 00025bd0:·756d | 00025bd0:·6775·6d65·6e74·a040·e040·042f·0109·3501··gument.@.@./..5. | ||
| 00025be0:·47 | 00025be0:·0947·0049·0109·3540·4125·6172·6974·79a0··.G.I..5@A%arity. | ||
| 00025bf0:·e040 | 00025bf0:·40e0·4004·3201·1193·0111·a200·7701·1193··@.@.2.......w... | ||
| 00025c00:·d0 | 00025c00:·d0d0·4029·6174·7472·6962·7574·65a0·40e0··..@)attribute.@. | ||
| 00025c10:·0437 | 00025c10:·4004·3701·39bb·0139·ce01·018f·0139·bb40··@.7.9..9.....9.@ | ||
| 00025c20:·3161 | 00025c20:·4131·6174·7472·6962·7574·652d·6d61·7070··A1attribute-mapp | ||
| 00025c30:·6e67 | 00025c30:·696e·67a0·40e0·4009·402f·6275·696c·642f··ing.@.@.@/build/ | ||
| 00025c40:·6570 | 00025c40:·7265·7072·6f64·7563·6962·6c65·2d70·6174··reproducible-pat | ||
| 00025c50:·2f63 | 00025c50:·682f·636f·712d·656c·7069·2d32·2e33·2e30··h/coq-elpi-2.3.0 | ||
| 00025c60:·656c | 00025c60:·2f65·6c70·692f·636f·712d·6c69·622d·636f··/elpi/coq-lib-co | ||
| 00025c70:·6d6 | 00025c70:·6d6d·6f6e·2e65·6c70·6901·0a3f·010a·5a00··mmon.elpi..?..Z. | ||
| 00025c80:·010a | 00025c80:·4b01·0a3f·4042·4333·6174·7472·6962·7574··K..?@BC3attribut | ||
| 00025c90:·2d73 | 00025c90:·652d·7369·676e·6174·7572·65a0·40e0·4004··e-signature.@.@. | ||
| 00025ca0:·0107 | 00025ca0:·0401·0797·0107·b479·0107·97d0·d040·2e61··.......y.....@.a | ||
| 00025cb0:·747 | 00025cb0:·7474·7269·6275·7465·2d74·7970·65a0·40e0··ttribute-type.@. | ||
| 00025cc0:·0409 | 00025cc0:·4004·0901·08c3·0108·db00·4101·08c3·d040··@.........A....@ | ||
| 00025cd0:·6174 | 00025cd0:·2f61·7474·7269·6275·7465·2d76·616c·7565··/attribute-value | ||
| 00025ce0:·40e0 | 00025ce0:·a040·e040·0447·0139·0f01·3928·0101·8901··.@.@.G.9..9(.... | ||
| 00025cf0:·0f40 | 00025cf0:·390f·4041·4224·626f·6f6c·a040·e040·3165··9.@AB$bool.@.@1e | ||
| 00025d00:·7069 | 00025d00:·6c70·692d·6275·696c·7469·6e2e·656c·7069··lpi-builtin.elpi | ||
| 00025d10:·0f41 | 00025d10:·010f·4101·0f4f·0100·ee01·0f41·d040·2663··..A..O.....A.@&c | ||
| 00025d20:·6175 | 00025d20:·6c61·7573·65a0·40e0·4004·4f01·2e20·012e··lause.@.@.O..·.. | ||
| 00025d30:·0101 | 00025d30:·3001·013f·012e·2040·4143·4423·636d·70a0··0..?..·@ACD#cmp. | ||
| 00025d40:·e040 | 00025d40:·40e0·4004·0801·11d5·0111·e201·0113·0111··@.@............. | ||
| 00025d50:·d | 00025d50:·d5d0·d0d0·402c·636f·6e74·6578·742d·6465··....@,context-de | ||
| 00025d60:·6ca0 | 00025d60:·636c·a040·e040·0458·0119·d201·19e8·0100··cl.@.@.X........ | ||
| 00025d70:·0119 | 00025d70:·a901·19d2·d040·2a63·6f71·2e69·6e6c·696e··.....@*coq.inlin | ||
| 00025d80:·a040 | 00025d80:·65a0·40e0·4004·5c01·1f4d·011f·6101·00db··e.@.@.\..M..a... | ||
| 00025d90:·1f4d | 00025d90:·011f·4d40·4142·2a64·6961·676e·6f73·7469··..M@AB*diagnosti | ||
| 00025da0:·a040 | 00025da0:·63a0·40e0·4004·1501·1253·0112·6701·0119··c.@.@....S..g... | ||
| 00025db0:·1253 | 00025db0:·0112·53d0·402f·6669·656c·642d·6174·7472··..S.@/field-attr | ||
| 00025dc0:·6275 | 00025dc0:·6962·7574·65a0·40e0·4004·635c·7545·5c40··ibute.@.@.c\uE\@ | ||
| 00025dd0:·4325 | 00025dd0:·4143·2566·6c6f·6174·a040·e040·041c·0101··AC%float.@.@.... | ||
| 00025de0:·0101 | 00025de0:·4801·0157·5d01·0148·d0d0·d040·2867·7261··H..W]..H...@(gra | ||
| 00025df0:·7469 | 00025df0:·6674·696e·67a0·40e0·4004·6c01·2ebd·012e··fting.@.@.l..... | ||
| 00025e00:·0101 | 00025e00:·cf01·0144·012e·bdd0·4025·6772·6f75·70a0··...D....@%group. | ||
| 00025e10:·e040 | 00025e10:·40e0·4004·7001·36f2·0137·0101·0179·0136··@.@.p.6..7...y.6 | ||
| 00025e20:·4041 | 00025e20:·f240·4142·2d69·6d70·6c69·6369·745f·6b69··.@AB-implicit_ki | ||
| 00025e30:·64a0 | 00025e30:·6e64·a040·e040·0473·435a·4443·4043·2969··nd.@.@.sCZDC@C)i | ||
| 00025e40:·5f73 | 00025e40:·6e5f·7374·7265·616d·a040·e040·3062·7569··n_stream.@.@0bui | ||
| 00025e50:·7469 | 00025e50:·6c74·696e·5f73·6574·2e65·6c70·6901·673d··ltin_set.elpi.g= | ||
| 00025e60:·6750 | 00025e60:·0167·5000·7c01·673d·d0d0·4029·696e·6463··.gP.|.g=..@)indc | ||
| 00025e70:·6465 | 00025e70:·2d64·6563·6ca0·40e0·4004·7c01·0d31·010d··-decl.@.@.|..1.. | ||
| 00025e80:·0061 | 00025e80:·4400·6101·0d31·4041·2969·6e64·742d·6465··D.a..1@A)indt-de | ||
| 00025e90:·6ca0 | 00025e90:·636c·a040·e040·047f·010d·1c01·0d2f·0060··cl.@.@......./.` | ||
| 00025ea0:·0d1c | 00025ea0:·010d·1c40·4244·4546·2369·6e74·a040·e040··...@BDEF#int.@.@ | ||
| 00025eb0:·3801 | 00025eb0:·0438·0101·2301·0130·5701·0123·d0d0·d040··.8..#..0W..#...@ | ||
| 00025ec0:·6c69 | 00025ec0:·246c·6973·74a0·41e0·4004·3e01·0eb3·010e··$list.A.@.>..... | ||
| 00025ed0:·01 | 00025ed0:·c901·00e7·010e·b340·4123·6c6f·63a0·40e0··.......@A#loc.@. | ||
| 00025ee0:·0441 | 00025ee0:·4004·4101·13e6·0113·f301·0129·0113·e6d0··@.A........).... | ||
| 00025ef0:·4027 | 00025ef0:·d040·276c·6f63·6174·6564·a040·e040·0490··.@'located.@.@.. | ||
| 00025f00:·1e3e | 00025f00:·011e·3e01·1e4f·0100·d101·1e3e·4041·276d··..>..O.....>@A'm | ||
| 00025f10:·6470 | 00025f10:·6f64·7061·7468·a040·e040·0493·011c·a301··odpath.@.@...... | ||
| 00025f20:·b401 | 00025f20:·1cb4·0100·c101·1ca3·d040·296d·6f64·7479··.........@)modty | ||
| 00025f30:·6174 | 00025f30:·7061·7468·a040·e040·0497·011c·d601·1ce9··path.@.@........ | ||
| 00025f40:·00c5 | 00025f40:·0100·c501·1cd6·4041·4243·266f·7074·696f··......@ABC&optio | ||
| 00025f50:·a041 | 00025f50:·6ea0·41e0·4004·5001·1174·0111·8c01·010e··n.A.@.P..t...... | ||
| 00025f60:·1174 | 00025f60:·0111·74d0·402a·6f75·745f·7374·7265·616d··..t.@*out_stream | ||
| 00025f70:·40e0 | 00025f70:·a040·e040·0428·0167·6b01·677f·0100·8001··.@.@.(.gk.g..... | ||
| 00025f80:·6b40 | 00025f80:·676b·4041·4447·2470·6169·72a0·42e0·4004··gk@ADG$pair.B.@. | ||
| 00025f90:·010f | 00025f90:·5701·0faa·010f·c801·00f3·010f·aad0·d0d0··W............... | ||
| 00025fa0:·d0 | 00025fa0:·d0d0·402b·7265·636f·7264·2d64·6563·6ca0··..@+record-decl. | ||
| 00025fb0:·e040 | 00025fb0:·40e0·4004·a901·0d46·010d·5b00·6201·0d46··@.@....F..[.b..F | ||
| 00025fc0:·4124 | 00025fc0:·4041·2473·6166·65a0·40e0·4004·6201·2394··@A$safe.@.@.b.#. | ||
| 00025fd0:·23a2 | 00025fd0:·0123·a201·0196·0123·94d0·4025·7363·6f70··.#.....#..@%scop | ||
| 00025fe0:·a040 | 00025fe0:·65a0·40e0·4004·b001·2f7d·012f·8c01·014b··e.@.@.../}./...K | ||
| 00025ff0:·2f7d | 00025ff0:·012f·7d40·4142·2b73·7464·2e69·6e74·2e6d··./}@AB+std.int.m | ||
| 00026000:·70a0 | 00026000:·6170·a041·e040·3362·7569·6c74·696e·5f73··ap.A.@3builtin_s | ||
| 00026010:·646c | 00026010:·7464·6c69·622e·656c·7069·012e·eb01·2f08··tdlib.elpi..../. | ||
| 00026020:·0163 | 00026020:·0101·6301·2eeb·d040·2b73·7464·2e69·6e74··..c....@+std.int | ||
| 00026030:·7365 | 00026030:·2e73·6574·a040·e040·0405·0144·c001·44d5··.set.@.@...D..D. | ||
| 00026040:·01eb | 00026040:·0101·eb01·44c0·4041·432b·7374·642e·6c6f··....D.@AC+std.lo | ||
| 00026050:·2e6d | 00026050:·632e·6d61·70a0·41e0·4004·0801·3462·0134··c.map.A.@...4b.4 | ||
| 00026060:·0101 | 00026060:·7f01·0186·0134·62d0·d0d0·402b·7374·642e··.....4b...@+std. | ||
| Max diff block lines reached; 5410410/5708347 bytes (94.78%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·002a·16 | 00000000:·436f·7121·0001·4050·0000·0000·002a·1694··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.,mu | 00000020:·0000·02fe·c0a0·256d·706f·6c79·a02c·6d75··......%mpoly.,mu | ||
| 00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | 00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | ||
| 00000040:·636f·6d70·4008·0000·7300·a0a0·2750·7265··comp@...s...'Pre | 00000040:·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 modified | Offset 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...ssrco | 00000500:·0e11·23fd·e7c8·0242·a0a0·2e73·7372·636f··..#....B...ssrco | ||
| 00000510:·6d70·6c65·6d65·6e74·73a0·2c6d·756c·7469··mplements.,multi | 00000510:·6d70·6c65·6d65·6e74·73a0·2c6d·756c·7469··mplements.,multi | ||
| 00000520:·6e6f·6d69·616c·73a0·286d·6174·6863·6f6d··nomials.(mathcom | 00000520:·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.,mu | 00000540:·e1e7·53d2·a0a0·2566·7265·6567·a02c·6d75··..S...%freeg.,mu | ||
| 00000550:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | 00000550:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | ||
| 00000560:·636f·6d70·4090·30 | 00000560:·636f·6d70·4090·3008·5183·7d39·b43b·deb6··comp@.0.Q.}9.;.. | ||
| 00000570:· | 00000570:·1944·87b0·ea9c·9825·352e·322e·30a0·4040··.D.....%5.2.0.@@ | ||
| 00000580:· | 00000580:·01f4·099f·fbb5·9367·e114·a82b·3605·4894··.......g...+6.H. | ||
| 00000590:·8495·a6be·0017·2b | 00000590:·8495·a6be·0017·2bfc·0004·8208·0010·8e8e··......+......... | ||
| 000005a0:·0010·691 | 000005a0:·0010·6918·b0d0·a025·6d70·6f6c·79a0·2c6d··..i....%mpoly.,m | ||
| 000005b0:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | 000005b0:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | ||
| 000005c0:·6863·6f6d·7040·e090·0408·4190·a0a0·286d··hcomp@....A...(m | 000005c0:·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.$I | 000005f0:·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 modified | Offset 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-..x | 00056540:·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...@ACDEFGH | 00056560:·b005·0cc1·4205·03e3·4041·4344·4546·4748··....B...@ACDEFGH | ||
| 00056570:·4b4c·4d4e·c0a0·a029·6269·6765·6e6f·7567··KLMN...)bigenoug | 00056570:·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·30e3·2c0c·8fa4·d15c·9644··B.....0.,....\.D | |||
| 000565 | 000565a0:·42a0·05f4·0d90·3008·5183·7d39·b43b·deb6··B.....0.Q.}9.;.. | ||
| 000565b0:·1944·87b0·ea9c·98a0·a005·08d0·a005·08cf··.D.............. | |||
| 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··.........@..@+'X | 000565f0:·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, 7431 lines modified | Offset 22704, 7431 lines modified | ||
| 00058af0:·6c73·2e6d·706f·6c79·2d2e·2f73·7263·2f6d··ls.mpoly-./src/m | 00058af0:·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-expo | 00058b20:·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 (7415 lines added, 7415 lines removed) | |
| 00058b50:·0417·a004·0b90·9090·9027·6d6f·6470·6174··.........'modpat | 00058b50:·0417·a004·0b90·9090·9027·6d6f·6470·6174··.........'modpat | ||
| 00058b60:·6840·041d·a004·1190·9090·4040·4040·402 | 00058b60:·6840·041d·a004·1190·9090·4040·4040·4029··h@........@@@@@) | ||
| 00058b70:·3 | 00058b70:·3932·3239·3237·3237·37e0·d040·2840·676c··922927277..@(@gl | ||
| 00058b80:·6261 | 00058b80:·6f62·616c·21a0·b0c3·9140·2a67·6574·2d6f··obal!....@*get-o | ||
| 00058b90:·7469 | 00058b90:·7074·696f·6eb0·95a0·2c63·6f71·3a6c·6f63··ption...,coq:loc | ||
| 00058ba0:·6c69 | 00058ba0:·616c·6974·7943·e040·3863·6f71·2d62·7569··alityC.@8coq-bui | ||
| 00058bb0:·7469 | 00058bb0:·6c74·696e·2d73·796e·7465·7270·2e65·6c70··ltin-synterp.elp | ||
| 00058bc0:·011b | 00058bc0:·6901·1b0d·011b·1b01·00b0·011a·eea0·0424··i..............$ | ||
| 00058bd0:·40a0 | 00058bd0:·9040·a0b0·95a0·2667·6c6f·6261·6c43·e040··.@....&globalC.@ | ||
| 00058be0:·0901 | 00058be0:·0409·011b·1c01·1b24·0100·b001·1aee·a004··.......$........ | ||
| 00058bf0:·9040 | 00058bf0:·2c90·4040·e040·040c·011b·0201·1b24·0100··,.@@.@.......$.. | ||
| 00058c00:·011a | 00058c00:·b001·1aee·a004·2f90·40e0·4004·0f01·1aee··....../.@.@..... | ||
| 00058c10:·1b24 | 00058c10:·011b·2401·00b0·011a·eed0·4027·406c·6f63··..$.......@'@loc | ||
| 00058c20:·6c21 | 00058c20:·616c·21a0·b0c3·9140·041b·b095·041a·e040··al!....@.......@ | ||
| 00058c30:·1801 | 00058c30:·0418·011b·4501·1b53·0100·b101·1b26·a004··....E..S.....&.. | ||
| 00058c40:·9040 | 00058c40:·3b90·40a0·b095·a025·6c6f·6361·6c43·e040··;.@....%localC.@ | ||
| 00058c50:·2001 | 00058c50:·0420·011b·5401·1b5b·0100·b101·1b26·a004··.·..T..[.....&.. | ||
| 00058c60:·9040 | 00058c60:·4390·4040·e040·0423·011b·3a01·1b5b·0100··C.@@.@.#..:..[.. | ||
| 00058c70:·011b | 00058c70:·b101·1b26·a004·4690·40e0·4004·2601·1b26··...&..F.@.@.&..& | ||
| 00058c80:·1b5b | 00058c80:·011b·5b01·00b1·011b·2640·4142·d0d0·d0d0··..[.....&@AB.... | ||
| 00058c90:·d0 | 00058c90:·d0d0·4028·6172·6775·6d65·6e74·a040·e040··..@(argument.@.@ | ||
| 00058ca0:·2f01 | 00058ca0:·042f·0109·3501·0947·0049·0109·3540·4125··./..5..G.I..5@A% | ||
| 00058cb0:·7269 | 00058cb0:·6172·6974·79a0·40e0·4004·3201·1193·0111··arity.@.@.2..... | ||
| 00058cc0:·00 | 00058cc0:·a200·7701·1193·d0d0·4029·6174·7472·6962··..w.....@)attrib | ||
| 00058cd0:·7465 | 00058cd0:·7574·65a0·40e0·4004·3701·39bb·0139·ce01··ute.@.@.7.9..9.. | ||
| 00058ce0:·8f01 | 00058ce0:·018f·0139·bb40·4131·6174·7472·6962·7574··...9.@A1attribut | ||
| 00058cf0:·2d6d | 00058cf0:·652d·6d61·7070·696e·67a0·40e0·4009·402f··e-mapping.@.@.@/ | ||
| 00058d00:·7569 | 00058d00:·6275·696c·642f·7265·7072·6f64·7563·6962··build/reproducib | ||
| 00058d10:·652d | 00058d10:·6c65·2d70·6174·682f·636f·712d·656c·7069··le-path/coq-elpi | ||
| 00058d20:·322e | 00058d20:·2d32·2e33·2e30·2f65·6c70·692f·636f·712d··-2.3.0/elpi/coq- | ||
| 00058d30:·6962 | 00058d30:·6c69·622d·636f·6d6d·6f6e·2e65·6c70·6901··lib-common.elpi. | ||
| 00058d40:·3f01 | 00058d40:·0a3f·010a·5a00·4b01·0a3f·4042·4333·6174··.?..Z.K..?@BC3at | ||
| 00058d50:·7269 | 00058d50:·7472·6962·7574·652d·7369·676e·6174·7572··tribute-signatur | ||
| 00058d60:·a040 | 00058d60:·65a0·40e0·4004·0401·0797·0107·b479·0107··e.@.@........y.. | ||
| 00058d70:·d0d0 | 00058d70:·97d0·d040·2e61·7474·7269·6275·7465·2d74··...@.attribute-t | ||
| 00058d80:·7065 | 00058d80:·7970·65a0·40e0·4004·0901·08c3·0108·db00··ype.@.@......... | ||
| 00058d90:·0108 | 00058d90:·4101·08c3·d040·2f61·7474·7269·6275·7465··A....@/attribute | ||
| 00058da0:·7661 | 00058da0:·2d76·616c·7565·a040·e040·0447·0139·0f01··-value.@.@.G.9.. | ||
| 00058db0:·2801 | 00058db0:·3928·0101·8901·390f·4041·4224·626f·6f6c··9(....9.@AB$bool | ||
| 00058dc0:·40e0 | 00058dc0:·a040·e040·3165·6c70·692d·6275·696c·7469··.@.@1elpi-builti | ||
| 00058dd0:·2e65 | 00058dd0:·6e2e·656c·7069·010f·4101·0f4f·0100·ee01··n.elpi..A..O.... | ||
| 00058de0:·41d0 | 00058de0:·0f41·d040·2663·6c61·7573·65a0·40e0·4004··.A.@&clause.@.@. | ||
| 00058df0:·012e | 00058df0:·4f01·2e20·012e·3001·013f·012e·2040·4143··O..·..0..?..·@AC | ||
| 00058e00:·2363 | 00058e00:·4423·636d·70a0·40e0·4004·0801·11d5·0111··D#cmp.@.@....... | ||
| 00058e10:·0101 | 00058e10:·e201·0113·0111·d5d0·d0d0·402c·636f·6e74··..........@,cont | ||
| 00058e20:·7874 | 00058e20:·6578·742d·6465·636c·a040·e040·0458·0119··ext-decl.@.@.X.. | ||
| 00058e30:·0119 | 00058e30:·d201·19e8·0100·a901·19d2·d040·2a63·6f71··...........@*coq | ||
| 00058e40:·696e | 00058e40:·2e69·6e6c·696e·65a0·40e0·4004·5c01·1f4d··.inline.@.@.\..M | ||
| 00058e50:·1f61 | 00058e50:·011f·6101·00db·011f·4d40·4142·2a64·6961··..a.....M@AB*dia | ||
| 00058e60:·6e6f | 00058e60:·676e·6f73·7469·63a0·40e0·4004·1501·1253··gnostic.@.@....S | ||
| 00058e70:·1267 | 00058e70:·0112·6701·0119·0112·53d0·402f·6669·656c··..g.....S.@/fiel | ||
| 00058e80:·2d61 | 00058e80:·642d·6174·7472·6962·7574·65a0·40e0·4004··d-attribute.@.@. | ||
| 00058e90:·5c75 | 00058e90:·635c·7545·5c40·4143·2566·6c6f·6174·a040··c\uE\@AC%float.@ | ||
| 00058ea0:·4004 | 00058ea0:·e040·041c·0101·4801·0157·5d01·0148·d0d0··.@....H..W]..H.. | ||
| 00058eb0:·4028 | 00058eb0:·d040·2867·7261·6674·696e·67a0·40e0·4004··.@(grafting.@.@. | ||
| 00058ec0:·012e | 00058ec0:·6c01·2ebd·012e·cf01·0144·012e·bdd0·4025··l........D....@% | ||
| 00058ed0:·726f | 00058ed0:·6772·6f75·70a0·40e0·4004·7001·36f2·0137··group.@.@.p.6..7 | ||
| 00058ee0:·0101·7901 | 00058ee0:·0101·0179·0136·f240·4142·2d69·6d70·6c69··...y.6.@AB-impli | ||
| 00058ef0:·6974 | 00058ef0:·6369·745f·6b69·6e64·a040·e040·0473·435a··cit_kind.@.@.sCZ | ||
| 00058f00:·4340 | 00058f00:·4443·4043·2969·6e5f·7374·7265·616d·a040··DC@C)in_stream.@ | ||
| 00058f10:·4030 | 00058f10:·e040·3062·7569·6c74·696e·5f73·6574·2e65··.@0builtin_set.e | ||
| 00058f20:·7069 | 00058f20:·6c70·6901·673d·0167·5000·7c01·673d·d0d0··lpi.g=.gP.|.g=.. | ||
| 00058f30:·2969 | 00058f30:·4029·696e·6463·2d64·6563·6ca0·40e0·4004··@)indc-decl.@.@. | ||
| 00058f40:·010d | 00058f40:·7c01·0d31·010d·4400·6101·0d31·4041·2969··|..1..D.a..1@A)i | ||
| 00058f50:·6474 | 00058f50:·6e64·742d·6465·636c·a040·e040·047f·010d··ndt-decl.@.@.... | ||
| 00058f60:·010d | 00058f60:·1c01·0d2f·0060·010d·1c40·4244·4546·2369··.../.`...@BDEF#i | ||
| 00058f70:·74a0 | 00058f70:·6e74·a040·e040·0438·0101·2301·0130·5701··nt.@.@.8..#..0W. | ||
| 00058f80:·23d0 | 00058f80:·0123·d0d0·d040·246c·6973·74a0·41e0·4004··.#...@$list.A.@. | ||
| 00058f90:·010e | 00058f90:·3e01·0eb3·010e·c901·00e7·010e·b340·4123··>............@A# | ||
| 00058fa0:·6f63 | 00058fa0:·6c6f·63a0·40e0·4004·4101·13e6·0113·f301··loc.@.@.A....... | ||
| 00058fb0:·2901 | 00058fb0:·0129·0113·e6d0·d040·276c·6f63·6174·6564··.).....@'located | ||
| 00058fc0:·40e0 | 00058fc0:·a040·e040·0490·011e·3e01·1e4f·0100·d101··.@.@....>..O.... | ||
| 00058fd0:·3e40 | 00058fd0:·1e3e·4041·276d·6f64·7061·7468·a040·e040··.>@A'modpath.@.@ | ||
| Max diff block lines reached; 18463818/19491251 bytes (94.73%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | 9gah5 | |