| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·0d860955c1ccc0c73a36e9c8e5233e53·747624·ocaml·optional·libcoq-extructures_0.5.0-1_arm64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:18:51.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:18:51.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····117 | 2 | -rw-r--r--···0········0········0·····1172·2024-12-18·11:18:51.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···746 | 3 | -rw-r--r--···0········0········0···746260·2024-12-18·11:18:51.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-extructures | 1 | Package:·libcoq-extructures |
| 2 | Source:·coq-extructures | 2 | Source:·coq-extructures |
| 3 | Version:·0.5.0-1 | 3 | Version:·0.5.0-1 |
| 4 | Architecture:·arm64 | 4 | Architecture:·arm64 |
| 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> | 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> |
| 6 | Installed-Size:·2690 | 6 | Installed-Size:·2690 |
| 7 | Depends:·libcoq-deriving-4zcy2,·libcoq-mathcomp-ssreflect-zzen5,·libcoq-stdlib-z3q11 | 7 | Depends:·libcoq-deriving-4zcy2,·libcoq-mathcomp-ssreflect-zzen5,·libcoq-stdlib-z3q11 |
| 8 | Provides:·libcoq-extructures- | 8 | Provides:·libcoq-extructures-h58m6 |
| 9 | Section:·ocaml | 9 | Section:·ocaml |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Homepage:·https://github.com/arthuraa/extructures/ | 11 | Homepage:·https://github.com/arthuraa/extructures/ |
| 12 | Description:·data·structures·with·extensional·reasoning·for·Coq | 12 | Description:·data·structures·with·extensional·reasoning·for·Coq |
| 13 | ·This·Coq·plugin·provides·finite·sets,·maps·and | 13 | ·This·Coq·plugin·provides·finite·sets,·maps·and |
| 14 | ·other·data·structures·with·extensional·reasoning. | 14 | ·other·data·structures·with·extensional·reasoning. |
| 15 | ·. | 15 | ·. |
| Offset 5, 27 lines modified | Offset 5, 27 lines modified | ||
| 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/ |
| 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/ |
| 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/ | 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/ |
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/ |
| 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ |
| 10 | -rw-r--r--···0·root·········(0)·root·········(0)····37210·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.glob | 10 | -rw-r--r--···0·root·········(0)·root·········(0)····37210·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.glob |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····6906·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.v | 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····6906·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.v |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)···17019 | 12 | -rw-r--r--···0·root·········(0)·root·········(0)···170193·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.vo |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···235466·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.glob | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···235466·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.glob |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)····38448·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.v | 14 | -rw-r--r--···0·root·········(0)·root·········(0)····38448·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.v |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)···4260 | 15 | -rw-r--r--···0·root·········(0)·root·········(0)···426025·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.vo |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)···115803·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.glob | 16 | -rw-r--r--···0·root·········(0)·root·········(0)···115803·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.glob |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····19744·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.v | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····19744·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.v |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)···26831 | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···268311·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.vo |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)···313420·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.glob | 19 | -rw-r--r--···0·root·········(0)·root·········(0)···313420·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.glob |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)····42036·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.v | 20 | -rw-r--r--···0·root·········(0)·root·········(0)····42036·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.v |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)···39477 | 21 | -rw-r--r--···0·root·········(0)·root·········(0)···394774·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.vo |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)····81922·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.glob | 22 | -rw-r--r--···0·root·········(0)·root·········(0)····81922·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.glob |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)····21265·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.v | 23 | -rw-r--r--···0·root·········(0)·root·········(0)····21265·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.v |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)···5497 | 24 | -rw-r--r--···0·root·········(0)·root·········(0)···549715·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.vo |
| 25 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/ | 25 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/ |
| 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/ | 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/ |
| 27 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/ | 27 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/ |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)······616·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/changelog.Debian.gz | 28 | -rw-r--r--···0·root·········(0)·root·········(0)······616·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/changelog.Debian.gz |
| 29 | -rw-r--r--···0·root·········(0)·root·········(0)·····1338·2024-12-09·18:16:09.000000·./usr/share/doc/libcoq-extructures/changelog.gz | 29 | -rw-r--r--···0·root·········(0)·root·········(0)·····1338·2024-12-09·18:16:09.000000·./usr/share/doc/libcoq-extructures/changelog.gz |
| 30 | -rw-r--r--···0·root·········(0)·root·········(0)·····1267·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/copyright | 30 | -rw-r--r--···0·root·········(0)·root·········(0)·····1267·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/copyright |
| 31 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./var/ | 31 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./var/ |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0002·98 | 00000000:·436f·7121·0001·4050·0000·0000·0002·981f··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·01d4·0000·0059·0000·0135··...........Y...5 | 00000010:·8495·a6be·0000·01d4·0000·0059·0000·0135··...........Y...5 | ||
| 00000020:·0000·0108·c0a0·2466·6675·6ea0·2b65·7874··......$ffun.+ext | 00000020:·0000·0108·c0a0·2466·6675·6ea0·2b65·7874··......$ffun.+ext | ||
| 00000030:·7275·6374·7572·6573·4008·0000·2b00·a0a0··ructures@...+... | 00000030:·7275·6374·7572·6573·4008·0000·2b00·a0a0··ructures@...+... | ||
| 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | ||
| 00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e. | 00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e. | ||
| 00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu | 00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu | ||
| 00000070:·7265·73a0·2248·4240·9030·2661·983d·18f8··res."HB@.0&a.=.. | 00000070:·7265·73a0·2248·4240·9030·2661·983d·18f8··res."HB@.0&a.=.. | ||
| Offset 19, 22 lines modified | Offset 19, 22 lines modified | ||
| 00000120:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | 00000120:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | ||
| 00000130:·6174·6863·6f6d·7040·9030·9ef1·e73b·f8d8··athcomp@.0...;.. | 00000130:·6174·6863·6f6d·7040·9030·9ef1·e73b·f8d8··athcomp@.0...;.. | ||
| 00000140:·12a6·a3a9·2e8a·7d6a·6e4c·a0a0·2663·686f··......}jnL..&cho | 00000140:·12a6·a3a9·2e8a·7d6a·6e4c·a0a0·2663·686f··......}jnL..&cho | ||
| 00000150:·6963·65a0·2973·7372·6566·6c65·6374·a028··ice.)ssreflect.( | 00000150:·6963·65a0·2973·7372·6566·6c65·6374·a028··ice.)ssreflect.( | ||
| 00000160:·6d61·7468·636f·6d70·4090·3022·b7fc·11d6··mathcomp@.0".... | 00000160:·6d61·7468·636f·6d70·4090·3022·b7fc·11d6··mathcomp@.0".... | ||
| 00000170:·77f3·1037·3135·ba32·8df4·d5a0·a023·6f72··w..715.2.....#or | 00000170:·77f3·1037·3135·ba32·8df4·d5a0·a023·6f72··w..715.2.....#or | ||
| 00000180:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | 00000180:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | ||
| 00000190:·30 | 00000190:·30fd·fc11·4604·758a·9b3f·3306·f63a·f00c··0...F.u..?3..:.. | ||
| 000001a0:· | 000001a0:·cfa0·a024·6673·6574·a02b·6578·7472·7563··...$fset.+extruc | ||
| 000001b0:·7475·7265·7340·9030·85bf·3960·25d6·7ae6··tures@.0..9`%.z. | |||
| 000001 | 000001b0:·7475·7265·7340·9030·1b6a·86a2·df61·e7d2··tures@.0.j...a.. | ||
| 000001c0:·f6e4·32ab·2b78·5981·a0a0·2466·6d61·70a0··..2.+xY...$fmap. | |||
| 000001d0:·2b65·7874·7275·6374·7572·6573·4090·30 | 000001d0:·2b65·7874·7275·6374·7572·6573·4090·30aa··+extructures@.0. | ||
| 000001e0:·3f4e·9ec5·6921·c225·f303·67b7·9b2e·8c25··?N..i!.%..g....% | |||
| 000001f0:·352e·322e·30a0·4040·bb63·5f66·a417·bf5e··5.2.0.@@.c_f...^ | |||
| 00000 | 000001e0:·ed38·3e1e·78bf·c779·8759·87b8·700d·d125··.8>.x..y.Y..p..% | ||
| 000001f0:·352e·322e·30a0·4040·00b8·9282·7219·671e··5.2.0.@@....r.g. | |||
| 00000200:·75dd·4d2f·698f·c809·8495·a6be·0001·f686··u.M/i........... | |||
| 00000210:·0000·73f5·0001·8ffa·0001·8441·b0d0·a024··..s........A...$ | 00000210:·0000·73f5·0001·8ffa·0001·8441·b0d0·a024··..s........A...$ | ||
| 00000220:·6666·756e·a02b·6578·7472·7563·7475·7265··ffun.+extructure | 00000220:·6666·756e·a02b·6578·7472·7563·7475·7265··ffun.+extructure | ||
| 00000230:·7340·e090·0406·4190·a0a0·0408·9108·0000··s@....A......... | 00000230:·7340·e090·0406·4190·a0a0·0408·9108·0000··s@....A......... | ||
| 00000240:·3f00·9008·0000·4300·040c·a0a0·a090·2364··?.....C.......#d | 00000240:·3f00·9008·0000·4300·040c·a0a0·a090·2364··?.....C.......#d | ||
| 00000250:·6566·40b6·a040·40a9·9aa0·90b0·a2a2·90a0··ef@..@@......... | 00000250:·6566·40b6·a040·40a9·9aa0·90b0·a2a2·90a0··ef@..@@......... | ||
| 00000260:·236f·7264·a004·1c40·234f·7264·0401·2473··#ord...@#Ord..$s | 00000260:·236f·7264·a004·1c40·234f·7264·0401·2473··#ord...@#Ord..$s | ||
| 00000270:·6f72·7402·16cf·2850·a080·8090·9042·a99a··ort...(P.....B.. | 00000270:·6f72·7402·16cf·2850·a080·8090·9042·a99a··ort...(P.....B.. | ||
| Offset 2161, 16 lines modified | Offset 2161, 16 lines modified | ||
| 00008700:·1744·4104·46c0·40b0·0517·4641·0444·4041··.DA.F.@...FA.D@A | 00008700:·1744·4104·46c0·40b0·0517·4641·0444·4041··.DA.F.@...FA.D@A | ||
| 00008710:·4243·44b0·0517·4741·0508·64c0·c0c0·c040··BCD...GA..d....@ | 00008710:·4243·44b0·0517·4741·0508·64c0·c0c0·c040··BCD...GA..d....@ | ||
| 00008720:·b005·174c·4105·0730·4041·b005·174d·4105··...LA..0@A...MA. | 00008720:·b005·174c·4105·0730·4041·b005·174d·4105··...LA..0@A...MA. | ||
| 00008730:·045d·4042·b004·de41·049b·c0c0·40b0·04e1··.]@B...A....@... | 00008730:·045d·4042·b004·de41·049b·c0c0·40b0·04e1··.]@B...A....@... | ||
| 00008740:·4104·4540·41b0·04e2·4104·e640·4243·b004··A.E@A...A..@BC.. | 00008740:·4104·4540·41b0·04e2·4104·e640·4243·b004··A.E@A...A..@BC.. | ||
| 00008750:·e341·04d9·c0c0·40b0·04e6·4104·3840·41b0··.A....@...A.8@A. | 00008750:·e341·04d9·c0c0·40b0·04e6·4104·3840·41b0··.A....@...A.8@A. | ||
| 00008760:·0501·5c42·04e7·4042·4445·4748·4990·a005··..\B..@BDEGHI... | 00008760:·0501·5c42·04e7·4042·4445·4748·4990·a005··..\B..@BDEGHI... | ||
| 00008770:·14d4·9030· | 00008770:·14d4·9030·aaed·383e·1e78·bfc7·7987·5987··...0..8>.x..y.Y. | ||
| 00008780:·b | 00008780:·b870·0dd1·9040·a040·40a0·a095·a002·1c4e··.p...@.@@......N | ||
| 00008790:·24fd·a005·17bd·90a0·a005·17c0·a005·1760··$..............` | 00008790:·24fd·a005·17bd·90a0·a005·17c0·a005·1760··$..............` | ||
| 000087a0:·4040·a095·a002·0fc0·a2b8·a0a1·0516·bce0··@@.............. | 000087a0:·4040·a095·a002·0fc0·a2b8·a0a1·0516·bce0··@@.............. | ||
| 000087b0:·4140·4040·4040·a0a0·92a0·0516·c140·a0a0··A@@@@@.......@.. | 000087b0:·4140·4040·4040·a0a0·92a0·0516·c140·a0a0··A@@@@@.......@.. | ||
| 000087c0:·40a0·90c0·b090·0517·9241·4040·4141·a090··@........A@@AA.. | 000087c0:·40a0·90c0·b090·0517·9241·4040·4141·a090··@........A@@AA.. | ||
| 000087d0:·c0b0·9005·17a2·4240·4041·41a0·90c0·b090··......B@@AA..... | 000087d0:·c0b0·9005·17a2·4240·4041·41a0·90c0·b090··......B@@AA..... | ||
| 000087e0:·0517·cc43·4040·4141·4040·a0a0·93a0·0416··...C@@AA@@...... | 000087e0:·0517·cc43·4040·4141·4040·a0a0·93a0·0416··...C@@AA@@...... | ||
| 000087f0:·41a0·a040·a090·c0b0·9005·17a7·4140·4041··A..@........A@@A | 000087f0:·41a0·a040·a090·c0b0·9005·17a7·4140·4041··A..@........A@@A | ||
| Offset 2249, 4779 lines modified | Offset 2249, 4779 lines modified | ||
| 00008c80:·a040·4040·a0c0·e090·3065·7874·7275·6374··.@@@....0extruct | 00008c80:·a040·4040·a0c0·e090·3065·7874·7275·6374··.@@@....0extruct | ||
| 00008c90:·7572·6573·2e66·6675·6e31·2e2f·7468·656f··ures.ffun1./theo | 00008c90:·7572·6573·2e66·6675·6e31·2e2f·7468·656f··ures.ffun1./theo | ||
| 00008ca0:·7269·6573·2f66·6675·6e2e·7601·07ba·0107··ries/ffun.v..... | 00008ca0:·7269·6573·2f66·6675·6e2e·7601·07ba·0107··ries/ffun.v..... | ||
| 00008cb0:·f06c·0107·bac0·4040·4041·b0c3·9140·2f6c··.l....@@@A...@/l | 00008cb0:·f06c·0107·bac0·4040·4041·b0c3·9140·2f6c··.l....@@@A...@/l | ||
| 00008cc0:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical.. | 00008cc0:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical.. | ||
| 00008cd0:·a091·0510·9a58·040d·a022·5479·9090·9090··.....X..."Ty.... | 00008cd0:·a091·0510·9a58·040d·a022·5479·9090·9090··.....X..."Ty.... | Diff chunk too large, falling back to line-by-line diff (4765 lines added, 4765 lines removed) | |
| 00008ce0:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@...... | 00008ce0:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@...... | ||
| 00008cf0:·9090·4040·4040·402 | 00008cf0:·9090·4040·4040·4029·3138·3833·3235·3631··..@@@@@)18832561 | ||
| 00008d00:· | 00008d00:·38e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··8.....@%@cast... | ||
| 00008d10:·a021 | 00008d10:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY. | ||
| 00008d20:·40b0 | 00008d20:·0640·b0c3·9140·236c·6574·b095·a090·2463··.@...@#let....$c | ||
| 00008d30:·7374 | 00008d30:·6173·7453·e040·3063·6f71·2d62·7569·6c74··astS.@0coq-built | ||
| 00008d40:·6e2e | 00008d40:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$.... | ||
| 00008d50:·24cf | 00008d50:·0124·cfa0·0429·9040·a0b0·a190·0417·0412··.$...).@........ | ||
| 00008d60:·4004 | 00008d60:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$. | ||
| 00008d70:·0430 | 00008d70:·a004·3090·40a0·b0a1·9004·1e04·1fe0·4004··..0.@.........@. | ||
| 00008d80:·0124 | 00008d80:·0f01·24f2·0124·f301·00e1·0124·cfa0·0437··..$..$.....$...7 | ||
| 00008d90:·40a0 | 00008d90:·9040·a0b0·b490·a021·7804·2740·b0a1·9004··.@.....!x.'@.... | ||
| 00008da0:·0404 | 00008da0:·2a04·04e0·4004·1b01·24f6·0124·f701·00e1··*...@...$..$.... | ||
| 00008db0:·24cf | 00008db0:·0124·cfa0·0443·9040·e040·041e·0124·f401··.$...C.@.@...$.. | ||
| 00008dc0:·f701 | 00008dc0:·24f7·0100·e101·24cf·a004·4690·4040·e040··$.....$...F.@@.@ | ||
| 00008dd0:·2101 | 00008dd0:·0421·0124·e401·24f7·0100·e101·24cf·a004··.!.$..$.....$... | ||
| 00008de0:·9040 | 00008de0:·4990·40e0·4004·2401·24dd·0124·f701·00e1··I.@.@.$.$..$.... | ||
| 00008df0:·24cf | 00008df0:·0124·cfa0·044c·9040·e040·0427·0124·db01··.$...L.@.@.'.$.. | ||
| 00008e00:·f701 | 00008e00:·24f7·0100·e101·24cf·a004·4f90·40e0·4004··$.....$...O.@.@. | ||
| 00008e10:·0124 | 00008e10:·2a01·24cf·0124·f801·00e1·0124·cfd0·402a··*.$..$.....$..@* | ||
| 00008e20:·636f | 00008e20:·4063·6f65·7263·696f·6e21·a0b0·c391·4022··@coercion!....@" | ||
| 00008e30:·3ab0 | 00008e30:·3a3a·b0c3·9140·2863·6f65·7263·696f·6eb0··::...@(coercion. | ||
| 00008e40:·9140 | 00008e40:·a191·402a·7265·7665·7273·6962·6c65·e040··..@*reversible.@ | ||
| 00008e50:·3a01 | 00008e50:·043a·0153·1a01·5324·0101·f201·52fc·a004··.:.S..S$....R... | ||
| 00008e60:·9040 | 00008e60:·6290·4040·e040·043d·0153·1101·5324·0101··b.@@.@.=.S..S$.. | ||
| 00008e70:·0152 | 00008e70:·f201·52fc·a004·6590·40a0·b0a1·9140·225b··..R...e.@....@"[ | ||
| 00008e80:·e040 | 00008e80:·5de0·4004·4501·5324·0153·2501·01f2·0152··].@.E.S$.S%....R | ||
| 00008e90:·a004 | 00008e90:·fca0·046d·9040·40e0·4004·4801·5310·0153··...m.@@.@.H.S..S | ||
| 00008ea0:·0101 | 00008ea0:·2501·01f2·0152·fca0·0470·9040·e040·044b··%....R...p.@.@.K | ||
| 00008eb0:·52fc | 00008eb0:·0152·fc01·5325·0101·f201·52fc·4041·422c··.R..S%....R.@AB, | ||
| 00008ec0:·6465 | 00008ec0:·4064·6570·7265·6361·7465·6421·a0b0·b490··@deprecated!.... | ||
| 00008ed0:·2553 | 00008ed0:·a025·5369·6e63·6504·6240·b0b4·90a0·234d··.%Since.b@....#M | ||
| 00008ee0:·6704 | 00008ee0:·7367·0467·40b0·c391·402a·6765·742d·6f70··sg.g@...@*get-op | ||
| 00008ef0:·696f | 00008ef0:·7469·6f6e·b095·a02e·636f·713a·6465·7072··tion....coq:depr | ||
| 00008f00:·6361 | 00008f00:·6563·6174·6564·43e0·4004·6001·5280·0152··ecatedC.@.`.R..R | ||
| 00008f10:·0101 | 00008f10:·9001·01ed·0152·73a0·0488·9040·a0b0·c391··.....Rs....@.... | ||
| 00008f20:·2270 | 00008f20:·4022·7072·b0a1·9004·7a04·19e0·4004·6b01··@"pr....z...@.k. | ||
| 00008f30:·9501 | 00008f30:·5295·0152·9a01·01ed·0152·73a0·0493·9040··R..R.....Rs....@ | ||
| 00008f40:·b0a1 | 00008f40:·a0b0·a190·0481·041b·e040·0472·0152·9b01··.........@.r.R.. | ||
| 00008f50:·9e01 | 00008f50:·529e·0101·ed01·5273·a004·9a90·4040·e040··R.....Rs....@@.@ | ||
| 00008f60:·7501 | 00008f60:·0475·0152·9201·529e·0101·ed01·5273·a004··.u.R..R.....Rs.. | ||
| 00008f70:·9 | 00008f70:·9d90·4040·e040·0478·0152·7501·529f·0101··..@@.@.x.Ru.R... | ||
| 00008f80:·0152 | 00008f80:·ed01·5273·a004·a090·40e0·4004·7b01·526c··..Rs....@.@.{.Rl | ||
| 00008f90:·529f | 00008f90:·0152·9f01·01ed·0152·73a0·04a3·9040·e040··.R.....Rs....@.@ | ||
| 00008fa0:·7e01 | 00008fa0:·047e·0152·6601·529f·0101·ed01·5273·a004··.~.Rf.R.....Rs.. | ||
| 00008fb0:·9040 | 00008fb0:·a690·40e0·4004·8101·5253·0152·9f01·01ec··..@.@...RS.R.... | ||
| 00008fc0:·5253 | 00008fc0:·0152·53d0·402b·4064·726f·7075·6e69·7673··.RS.@+@dropunivs | ||
| 00008fd0:·a0b0 | 00008fd0:·21a0·b0c3·9140·042d·b095·a02d·636f·713a··!....@.-...-coq: | ||
| 00008fe0:·6 | 00008fe0:·6b65·6570·756e·6976·7343·e040·048c·0150··keepunivsC.@...P | ||
| 00008ff0:·0150 | 00008ff0:·c201·50d1·0101·e201·50a2·a004·b490·40a0··..P.....P.....@. | ||
| 00009000:·a191 | 00009000:·b0a1·9140·2266·66e0·4004·9401·50d2·0150··...@"ff.@...P..P | ||
| 00009010:·0101 | 00009010:·d401·01e2·0150·a2a0·04bc·9040·40e0·4004··.....P.....@@.@. | ||
| 00009020:·0150 | 00009020:·9701·50b7·0150·d401·01e2·0150·a2a0·04bf··..P..P.....P.... | ||
| 00009030:·40e0 | 00009030:·9040·e040·049a·0150·a201·50d4·0101·e201··.@.@...P..P..... | ||
| 00009040:·a240 | 00009040:·50a2·4041·4328·4067·6c6f·6261·6c21·a0b0··P.@AC(@global!.. | ||
| 00009050:·9140 | 00009050:·c391·4004·45b0·95a0·2c63·6f71·3a6c·6f63··..@.E...,coq:loc | ||
| 00009060:·6c69 | 00009060:·616c·6974·7943·e040·04a4·0118·0501·1813··alityC.@........ | ||
| 00009070:·0095 | 00009070:·0100·9501·17e6·a004·cc90·40a0·b095·a026··..........@....& | ||
| 00009080:·6c6f | 00009080:·676c·6f62·616c·43e0·4004·ac01·1814·0118··globalC.@....... | ||
| 00009090:·01 | 00009090:·1c01·0095·0117·e6a0·04d4·9040·40e0·4004··...........@@.@. | ||
| 000090a0:·0117 | 000090a0:·af01·17fa·0118·1c01·0095·0117·e6a0·04d7··................ | ||
| 000090b0:·40e0 | 000090b0:·9040·e040·04b2·0117·e601·181c·0100·9501··.@.@............ | ||
| 000090c0:·e6d0 | 000090c0:·17e6·d0d0·d040·2740·686f·6c65·7321·a0b0··.....@'@holes!.. | ||
| 000090d0:·9140 | 000090d0:·c391·4004·60b0·95a0·2a48·4f41·533a·686f··..@.`...*HOAS:ho | ||
| 000090e0:·6573 | 000090e0:·6c65·7343·e040·04bf·0133·ad01·33b9·0101··lesC.@...3..3... | ||
| 000090f0:·01 | 000090f0:·4301·3391·a004·e790·40a0·b0a1·9140·2274··C.3.....@....@"t | ||
| 00009100:·e040 | 00009100:·74e0·4004·c701·33ba·0133·bc01·0143·0133··t.@...3..3...C.3 | ||
| 00009110:·a004 | 00009110:·91a0·04ef·9040·40e0·4004·ca01·33a2·0133··.....@@.@...3..3 | ||
| Max diff block lines reached; 442498/1104641 bytes (40.06%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0006·7f7 | 00000000:·436f·7121·0001·4050·0000·0000·0006·7f77··Coq!..@P.......w | ||
| 00000010:·8495·a6be·0000·023d·0000·006d·0000·017b··.......=...m...{ | 00000010:·8495·a6be·0000·023d·0000·006d·0000·017b··.......=...m...{ | ||
| 00000020:·0000·0144·c0a0·2466·6d61·70a0·2b65·7874··...D..$fmap.+ext | 00000020:·0000·0144·c0a0·2466·6d61·70a0·2b65·7874··...D..$fmap.+ext | ||
| 00000030:·7275·6374·7572·6573·4008·0000·3300·a0a0··ructures@...3... | 00000030:·7275·6374·7572·6573·4008·0000·3300·a0a0··ructures@...3... | ||
| 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | ||
| 00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e. | 00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e. | ||
| 00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu | 00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu | ||
| 00000070:·7265·73a0·2248·4240·9030·2661·983d·18f8··res."HB@.0&a.=.. | 00000070:·7265·73a0·2248·4240·9030·2661·983d·18f8··res."HB@.0&a.=.. | ||
| Offset 28, 20 lines modified | Offset 28, 20 lines modified | ||
| 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | ||
| 000001c0:·6d61·7468·636f·6d70·4090·30ae·c52d·5e39··mathcomp@.0..-^9 | 000001c0:·6d61·7468·636f·6d70·4090·30ae·c52d·5e39··mathcomp@.0..-^9 | ||
| 000001d0:·2bab·c71b·2d25·43a7·9cc8·e0a0·a025·6269··+...-%C......%bi | 000001d0:·2bab·c71b·2d25·43a7·9cc8·e0a0·a025·6269··+...-%C......%bi | ||
| 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | ||
| 000001f0:·6d61·7468·636f·6d70·4090·3064·14aa·80ac··mathcomp@.0d.... | 000001f0:·6d61·7468·636f·6d70·4090·3064·14aa·80ac··mathcomp@.0d.... | ||
| 00000200:·52e1·c8c2·c3a4·34f7·fea4·c7a0·a023·6f72··R.....4......#or | 00000200:·52e1·c8c2·c3a4·34f7·fea4·c7a0·a023·6f72··R.....4......#or | ||
| 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | ||
| 00000220:·30 | 00000220:·30fd·fc11·4604·758a·9b3f·3306·f63a·f00c··0...F.u..?3..:.. | ||
| 00000230:· | 00000230:·cfa0·a024·6673·6574·a02b·6578·7472·7563··...$fset.+extruc | ||
| 00000240:·7475·7265·7340·9030·85bf·3960·25d6·7ae6··tures@.0..9`%.z. | |||
| 00000250:·ca0e·ebf2·e17d·05c5·2535·2e32·2e30·a040··.....}..%5.2.0.@ | |||
| 000002 | 00000240:·7475·7265·7340·9030·1b6a·86a2·df61·e7d2··tures@.0.j...a.. | ||
| 00000250:·f6e4·32ab·2b78·5981·2535·2e32·2e30·a040··..2.+xY.%5.2.0.@ | |||
| 00000260:·4042·88db·1f8f·31b8·f2ad·6fb4·606a·9c31··@B....1...o.`j.1 | |||
| 00000270:· | 00000270:·fc84·95a6·be00·02f6·6e00·00b4·f100·026b··........n......k | ||
| 00000280:·2800·025e·06b0·d0a0·2466·6d61·70a0·2b65··(..^....$fmap.+e | 00000280:·2800·025e·06b0·d0a0·2466·6d61·70a0·2b65··(..^....$fmap.+e | ||
| 00000290:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | 00000290:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | ||
| 000002a0:·90a0·a024·464d·6170·93e0·a204·0804·0441··...$FMap.......A | 000002a0:·90a0·a024·464d·6170·93e0·a204·0804·0441··...$FMap.......A | ||
| 000002b0:·90a0·a029·666d·6170·5f74·7970·6591·0800··...)fmap_type... | 000002b0:·90a0·a029·666d·6170·5f74·7970·6591·0800··...)fmap_type... | ||
| 000002c0:·003f·0090·0800·0043·0004·05a0·a0a0·9021··.?.....C.......! | 000002c0:·003f·0090·0800·0043·0004·05a0·a0a0·9021··.?.....C.......! | ||
| 000002d0:·5340·9490·a0a0·a003·d8e0·cc1a·731a·a066··S@..........s..f | 000002d0:·5340·9490·a0a0·a003·d8e0·cc1a·731a·a066··S@..........s..f | ||
| 000002e0:·90b0·a004·21a0·0420·4020·0103·a140·40a0··....!..·@·...@@. | 000002e0:·90b0·a004·21a0·0420·4020·0103·a140·40a0··....!..·@·...@@. | ||
| Offset 4265, 15 lines modified | Offset 4265, 15 lines modified | ||
| 00010a80:·b005·0838·4105·1f29·c040·b005·083a·4105··...8A..).@...:A. | 00010a80:·b005·0838·4105·1f29·c040·b005·083a·4105··...8A..).@...:A. | ||
| 00010a90:·193a·c040·b005·04e2·4205·30d1·4041·4243··.:.@....B.0.@ABC | 00010a90:·193a·c040·b005·04e2·4205·30d1·4041·4243··.:.@....B.0.@ABC | ||
| 00010aa0:·44b0·0503·eb42·0530·d2c0·c040·b005·03b8··D....B.0...@.... | 00010aa0:·44b0·0503·eb42·0530·d2c0·c040·b005·03b8··D....B.0...@.... | ||
| 00010ab0:·4205·30d5·4041·b005·30d6·4205·04e7·c040··B.0.@A..0.B....@ | 00010ab0:·4205·30d5·4041·b005·30d6·4205·04e7·c040··B.0.@A..0.B....@ | ||
| 00010ac0:·b005·30d8·4205·03f1·c040·b005·30da·4205··..0.B....@..0.B. | 00010ac0:·b005·30d8·4205·03f1·c040·b005·30da·4205··..0.B....@..0.B. | ||
| 00010ad0:·03bd·c040·b005·1f38·4205·30dc·4041·4243··...@...8B.0.@ABC | 00010ad0:·03bd·c040·b005·1f38·4205·30dc·4041·4243··...@...8B.0.@ABC | ||
| 00010ae0:·4445·4647·4849·4a4b·4c90·a005·2eaa·9030··DEFGHIJKL......0 | 00010ae0:·4445·4647·4849·4a4b·4c90·a005·2eaa·9030··DEFGHIJKL......0 | ||
| 00010af0:· | 00010af0:·1b6a·86a2·df61·e7d2·f6e4·32ab·2b78·5981··.j...a....2.+xY. | ||
| 00010b00:·9040·a0a0·a005·30f9·a040·90a0·a005·29c6··.@....0..@....). | 00010b00:·9040·a0a0·a005·30f9·a040·90a0·a005·29c6··.@....0..@....). | ||
| 00010b10:·a040·90a0·95a0·021d·041a·fca0·40a0·a040··.@..........@..@ | 00010b10:·a040·90a0·95a0·021d·041a·fca0·40a0·a040··.@..........@..@ | ||
| 00010b20:·2a7b·2066·6d61·7020·5f20·7dc0·a0a0·4040··*{·fmap·_·}...@@ | 00010b20:·2a7b·2066·6d61·7020·5f20·7dc0·a0a0·4040··*{·fmap·_·}...@@ | ||
| 00010b30:·a040·40a0·b140·40a0·4140·4090·a0d0·a0a0··.@@..@@.A@@..... | 00010b30:·a040·40a0·b140·40a0·4140·4090·a0d0·a0a0··.@@..@@.A@@..... | ||
| 00010b40:·4040·0409·4004·0ea0·a0a0·4121·7ba0·a040··@@..@.....A!{..@ | 00010b40:·4040·0409·4004·0ea0·a0a0·4121·7ba0·a040··@@..@.....A!{..@ | ||
| 00010b50:·2466·6d61·70a0·a1a1·4004·1090·0530·fea0··$fmap...@....0.. | 00010b50:·2466·6d61·70a0·a1a1·4004·1090·0530·fea0··$fmap...@....0.. | ||
| 00010b60:·a041·217d·4040·a004·1640·4090·a040·a0a0··.A!}@@...@@..@.. | 00010b60:·a041·217d·4040·a004·1640·4090·a040·a0a0··.A!}@@...@@..@.. | ||
| Offset 4403, 15 lines modified | Offset 4403, 15 lines modified | ||
| 00011320:·3065·7874·7275·6374·7572·6573·2e66·6d61··0extructures.fma | 00011320:·3065·7874·7275·6374·7572·6573·2e66·6d61··0extructures.fma | ||
| 00011330:·7031·2e2f·7468·656f·7269·6573·2f66·6d61··p1./theories/fma | 00011330:·7031·2e2f·7468·656f·7269·6573·2f66·6d61··p1./theories/fma | ||
| 00011340:·702e·7601·154e·0115·9600·6201·154e·c040··p.v..N....b..N.@ | 00011340:·702e·7601·154e·0115·9600·6201·154e·c040··p.v..N....b..N.@ | ||
| 00011350:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | 00011350:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | ||
| 00011360:·6e6f·6e69·6361·6cb0·95a0·9105·2b2b·5804··nonical.....++X. | 00011360:·6e6f·6e69·6361·6cb0·95a0·9105·2b2b·5804··nonical.....++X. | ||
| 00011370:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | 00011370:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | ||
| 00011380:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | 00011380:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | ||
| 00011390:·293 | 00011390:·2936·3633·3733·3830·3831·e0d0·d0d0·d040··)663738081.....@ | ||
| 000113a0:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | 000113a0:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | ||
| 000113b0:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | 000113b0:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | ||
| 000113c0:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | 000113c0:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | ||
| 000113d0:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | 000113d0:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | ||
| 000113e0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | 000113e0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | ||
| 000113f0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | 000113f0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | ||
| 00011400:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | 00011400:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | ||
| Offset 9165, 15 lines modified | Offset 9165, 15 lines modified | ||
| 00023cc0:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | 00023cc0:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | ||
| 00023cd0:·9140·0529·86b0·95a0·0546·9857·0546·44a0··.@.).....F.W.FD. | 00023cd0:·9140·0529·86b0·95a0·0546·9857·0546·44a0··.@.).....F.W.FD. | ||
| 00023ce0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | 00023ce0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | ||
| 00023cf0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | 00023cf0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | ||
| 00023d00:·95a0·9105·7202·5805·4654·a005·4647·9090··....r.X.FT..FG.. | 00023d00:·95a0·9105·7202·5805·4654·a005·4647·9090··....r.X.FT..FG.. | ||
| 00023d10:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | 00023d10:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | ||
| 00023d20:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | 00023d20:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | ||
| 00023d30:·4040·293 | 00023d30:·4040·2933·3432·3439·3430·3731·e005·4648··@@)342494071..FH | ||
| 00023d40:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe. | 00023d40:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe. | ||
| 00023d50:·0000·0000·0000·f73e·4041·40a0·95a0·021b··.......>@A@..... | 00023d50:·0000·0000·0000·f73e·4041·40a0·95a0·021b··.......>@A@..... | ||
| 00023d60:·8322·9db0·9005·7200·40a0·0571·aea0·0571··."....r.@..q...q | 00023d60:·8322·9db0·9005·7200·40a0·0571·aea0·0571··."....r.@..q...q | ||
| 00023d70:·b2a0·0571·a640·a095·a002·320a·518f·a005··...q.@....2.Q... | 00023d70:·b2a0·0571·a640·a095·a002·320a·518f·a005··...q.@....2.Q... | ||
| 00023d80:·7207·b005·46f0·4040·a095·a002·0fc0·a2b8··r...F.@@........ | 00023d80:·7207·b005·46f0·4040·a095·a002·0fc0·a2b8··r...F.@@........ | ||
| 00023d90:·a090·e041·4040·4040·40a0·a091·0571·3fa0··...A@@@@@....q?. | 00023d90:·a090·e041·4040·4040·40a0·a091·0571·3fa0··...A@@@@@....q?. | ||
| 00023da0:·a040·a040·a040·4040·40a0·95a0·0227·60a0··.@.@.@@@@....'`. | 00023da0:·a040·a040·a040·4040·40a0·95a0·0227·60a0··.@.@.@@@@....'`. | ||
| Offset 9218, 17 lines modified | Offset 9218, 17 lines modified | ||
| 00024010:·495f·34c0·a022·6862·a022·6462·40a0·a0b0··I_4.."hb."db@... | 00024010:·495f·34c0·a022·6862·a022·6462·40a0·a0b0··I_4.."hb."db@... | ||
| 00024020:·0547·4521·3502·3611·39ab·d005·4744·d0e0··.GE!5.6.9...GD.. | 00024020:·0547·4521·3502·3611·39ab·d005·4744·d0e0··.GE!5.6.9...GD.. | ||
| 00024030:·4040·4040·4005·4743·40a0·c0e0·9005·4742··@@@@@.GC@.....GB | 00024030:·4040·4040·4005·4743·40a0·c0e0·9005·4742··@@@@@.GC@.....GB | ||
| 00024040:·312e·2f74·6865·6f72·6965·732f·666d·6170··1./theories/fmap | 00024040:·312e·2f74·6865·6f72·6965·732f·666d·6170··1./theories/fmap | ||
| 00024050:·2e76·0115·9701·15e4·0064·0115·9705·4741··.v.......d....GA | 00024050:·2e76·0115·9701·15e4·0064·0115·9705·4741··.v.......d....GA | ||
| 00024060:·b0c3·9140·0547·40b0·95a0·9105·6b34·5804··...@.G@.....k4X. | 00024060:·b0c3·9140·0547·40b0·95a0·9105·6b34·5804··...@.G@.....k4X. | ||
| 00024070:·0aa0·0547·3f90·9090·0547·3e40·040e·a005··...G?....G>@.... | 00024070:·0aa0·0547·3f90·9090·0547·3e40·040e·a005··...G?....G>@.... | ||
| 00024080:·4743·9090·9040·4040·4040·293 | 00024080:·4743·9090·9040·4040·4040·2934·3330·3035··GC...@@@@@)43005 | ||
| 00024090:·3 | 00024090:·3733·3236·e005·473c·0541·de05·405b·0518··7326..G<.A..@[.. | ||
| 000240a0:·2205·1793·0547·590c·0000·0000·0000·e | 000240a0:·2205·1793·0547·590c·0000·0000·0000·e93e··"....GY........> | ||
| 000240b0:·4041·40a0·95a0·020b·7b4f·44a0·40a0·a005··@A@.....{OD.@... | 000240b0:·4041·40a0·95a0·020b·7b4f·44a0·40a0·a005··@A@.....{OD.@... | ||
| 000240c0:·71a8·a091·0571·f440·40a0·95a0·0232·0a51··q....q.@@....2.Q | 000240c0:·71a8·a091·0571·f440·40a0·95a0·0232·0a51··q....q.@@....2.Q | ||
| 000240d0:·8fa0·0571·e3b0·0547·e440·40a0·95a0·020f··...q...G.@@..... | 000240d0:·8fa0·0571·e3b0·0547·e440·40a0·95a0·020f··...q...G.@@..... | ||
| 000240e0:·c0a2·b8a0·9004·f4a0·a091·90b0·0573·e905··.............s.. | 000240e0:·c0a2·b8a0·9004·f4a0·a091·90b0·0573·e905··.............s.. | ||
| 000240f0:·71ee·0239·ff33·b9a0·a040·a040·a040·4040··q..9.3...@.@.@@@ | 000240f0:·71ee·0239·ff33·b9a0·a040·a040·a040·4040··q..9.3...@.@.@@@ | ||
| 00024100:·40a0·95a0·0227·60a0·6fd0·4091·040b·a040··@....'`.o.@....@ | 00024100:·40a0·95a0·0227·60a0·6fd0·4091·040b·a040··@....'`.o.@....@ | ||
| 00024110:·a040·40a0·9092·057b·0fa0·9092·0573·0f40··.@@....{.....s.@ | 00024110:·a040·40a0·9092·057b·0fa0·9092·0573·0f40··.@@....{.....s.@ | ||
| Offset 9240, 15 lines modified | Offset 9240, 15 lines modified | ||
| 00024170:·0579·ce05·7206·0556·3f02·0271·a2a8·4040··.y..r..V?..q..@@ | 00024170:·0579·ce05·7206·0556·3f02·0271·a2a8·4040··.y..r..V?..q..@@ | ||
| 00024180:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_ | 00024180:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_ | ||
| 00024190:·35c0·a022·6862·a022·6462·40a0·a0b0·0547··5.."hb."db@....G | 00024190:·35c0·a022·6862·a022·6462·40a0·a0b0·0547··5.."hb."db@....G | ||
| 000241a0:·ab21·3602·3611·39ac·d005·47aa·d0e0·4040··.!6.6.9...G...@@ | 000241a0:·ab21·3602·3611·39ac·d005·47aa·d0e0·4040··.!6.6.9...G...@@ | ||
| 000241b0:·4040·4005·47a9·40a0·c004·6605·47a4·b0c3··@@@.G.@...f.G... | 000241b0:·4040·4005·47a9·40a0·c004·6605·47a4·b0c3··@@@.G.@...f.G... | ||
| 000241c0:·9140·0547·a3b0·95a0·9104·4358·046d·a005··.@.G......CX.m.. | 000241c0:·9140·0547·a3b0·95a0·9104·4358·046d·a005··.@.G......CX.m.. | ||
| 000241d0:·47a2·9090·9005·47a1·4004·71a0·0547·a690··G.....G.@.q..G.. | 000241d0:·47a2·9090·9005·47a1·4004·71a0·0547·a690··G.....G.@.q..G.. | ||
| 000241e0:·9090·4040·4040·4029·3 | 000241e0:·9090·4040·4040·4029·3335·3030·3137·3631··..@@@@@)35001761 | ||
| 000241f0:·30e0·0547·9f05·4241·0540·be05·1885·0517··0..G..BA.@...... | 000241f0:·30e0·0547·9f05·4241·0540·be05·1885·0517··0..G..BA.@...... | ||
| 00024200:·f605·47bc·0c00·0000·0000·00e9·3e40·4140··..G.........>@A@ | 00024200:·f605·47bc·0c00·0000·0000·00e9·3e40·4140··..G.........>@A@ | ||
| 00024210:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_ | 00024210:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_ | ||
| 00024220:·36c0·a022·6862·a022·6462·40a0·a0b0·0547··6.."hb."db@....G | 00024220:·36c0·a022·6862·a022·6462·40a0·a0b0·0547··6.."hb."db@....G | ||
| 00024230:·d021·3702·3611·39ad·d005·47cf·d0e0·4040··.!7.6.9...G...@@ | 00024230:·d021·3702·3611·39ad·d005·47cf·d0e0·4040··.!7.6.9...G...@@ | ||
| 00024240:·4040·4005·47ce·40a0·c004·8b05·47c9·b0c3··@@@.G.@.....G... | 00024240:·4040·4005·47ce·40a0·c004·8b05·47c9·b0c3··@@@.G.@.....G... | ||
| 00024250:·9140·052b·c1b0·c391·4005·2e92·b0c3·9140··.@.+....@......@ | 00024250:·9140·052b·c1b0·c391·4005·2e92·b0c3·9140··.@.+....@......@ | ||
| Offset 9256, 17372 lines modified | Offset 9256, 17372 lines modified | ||
| 00024270:·9005·2b1c·4004·9aa0·0547·cf90·9090·052e··..+.@....G...... | 00024270:·9005·2b1c·4004·9aa0·0547·cf90·9090·052e··..+.@....G...... | ||
| 00024280:·9a40·049e·a005·47d3·9090·9005·2bd0·a0b0··.@....G.....+... | 00024280:·9a40·049e·a005·47d3·9090·9005·2bd0·a0b0··.@....G.....+... | ||
| 00024290:·c391·4005·2b2d·b095·a005·0123·5704·a9a0··..@.+-.....#W... | 00024290:·c391·4005·2b2d·b095·a005·0123·5704·a9a0··..@.+-.....#W... | ||
| 000242a0:·0547·de90·9090·052b·2f40·04ad·a005·47e2··.G.....+/@....G. | 000242a0:·0547·de90·9090·052b·2f40·04ad·a005·47e2··.G.....+/@....G. | ||
| 000242b0:·9090·9005·2bdc·a0b0·c391·4005·3eaf·b095··....+.....@.>... | 000242b0:·9090·9005·2bdc·a0b0·c391·4005·3eaf·b095··....+.....@.>... | ||
| 000242c0:·a091·0501·5858·04b9·a005·47ee·9090·9005··....XX....G..... | 000242c0:·a091·0501·5858·04b9·a005·47ee·9090·9005··....XX....G..... | Diff chunk too large, falling back to line-by-line diff (17365 lines added, 17365 lines removed) | |
| 000242d0:·3eb2·4004·bda0·0547·f290·9090·052b·ea40··>.@....G.....+.@ | 000242d0:·3eb2·4004·bda0·0547·f290·9090·052b·ea40··>.@....G.....+.@ | ||
| 000242e0:·04c1·a005·47f6·9090·9040·4040·4040·2 | 000242e0:·04c1·a005·47f6·9090·9040·4040·4040·2932··....G....@@@@@)2 | ||
| 000242f0:·3 | 000242f0:·3431·3236·3635·3632·e005·47ef·0542·9105··41266562..G..B.. | ||
| 00024300:· | 00024300:·410e·0518·d505·1846·0548·0c0c·0000·0000··A......F.H...... | ||
| 00024310:·0000· | 00024310:·0000·f43e·4041·40a0·95a0·021b·8322·9db0··...>@A@......".. | ||
| 00024320:· | 00024320:·9005·7256·40a0·0572·0ca0·0572·10a0·0572··..rV@..r...r...r | ||
| Max diff block lines reached; -1/2405243 bytes (-0.00%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·176 | 00000000:·436f·7121·0001·4050·0000·0000·0004·1765··Coq!..@P.......e | ||
| 00000010:·8495·a6be·0000·028c·0000·007b·0000·01ad··...........{.... | 00000010:·8495·a6be·0000·028c·0000·007b·0000·01ad··...........{.... | ||
| 00000020:·0000·016e·c0a0·2566·7065·726d·a02b·6578··...n..%fperm.+ex | 00000020:·0000·016e·c0a0·2566·7065·726d·a02b·6578··...n..%fperm.+ex | ||
| 00000030:·7472·7563·7475·7265·7340·0800·003b·00a0··tructures@...;.. | 00000030:·7472·7563·7475·7265·7340·0800·003b·00a0··tructures@...;.. | ||
| 00000040:·a027·5072·656c·7564·65a0·2449·6e69·74a0··.'Prelude.$Init. | 00000040:·a027·5072·656c·7564·65a0·2449·6e69·74a0··.'Prelude.$Init. | ||
| 00000050:·2343·6f71·4090·306e·1ea7·6653·34e4·bc65··#Coq@.0n..fS4..e | 00000050:·2343·6f71·4090·306e·1ea7·6653·34e4·bc65··#Coq@.0n..fS4..e | ||
| 00000060:·c3cc·25eb·7fca·42a0·a02a·7374·7275·6374··..%...B..*struct | 00000060:·c3cc·25eb·7fca·42a0·a02a·7374·7275·6374··..%...B..*struct | ||
| 00000070:·7572·6573·a022·4842·4090·3026·6198·3d18··ures."HB@.0&a.=. | 00000070:·7572·6573·a022·4842·4090·3026·6198·3d18··ures."HB@.0&a.=. | ||
| Offset 28, 26 lines modified | Offset 28, 26 lines modified | ||
| 000001b0:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | 000001b0:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | ||
| 000001c0:·286d·6174·6863·6f6d·7040·9030·aec5·2d5e··(mathcomp@.0..-^ | 000001c0:·286d·6174·6863·6f6d·7040·9030·aec5·2d5e··(mathcomp@.0..-^ | ||
| 000001d0:·392b·abc7·1b2d·2543·a79c·c8e0·a0a0·2562··9+...-%C......%b | 000001d0:·392b·abc7·1b2d·2543·a79c·c8e0·a0a0·2562··9+...-%C......%b | ||
| 000001e0:·6967·6f70·a029·7373·7265·666c·6563·74a0··igop.)ssreflect. | 000001e0:·6967·6f70·a029·7373·7265·666c·6563·74a0··igop.)ssreflect. | ||
| 000001f0:·286d·6174·6863·6f6d·7040·9030·6414·aa80··(mathcomp@.0d... | 000001f0:·286d·6174·6863·6f6d·7040·9030·6414·aa80··(mathcomp@.0d... | ||
| 00000200:·ac52·e1c8·c2c3·a434·f7fe·a4c7·a0a0·236f··.R.....4......#o | 00000200:·ac52·e1c8·c2c3·a434·f7fe·a4c7·a0a0·236f··.R.....4......#o | ||
| 00000210:·7264·a02b·6578·7472·7563·7475·7265·7340··rd.+extructures@ | 00000210:·7264·a02b·6578·7472·7563·7475·7265·7340··rd.+extructures@ | ||
| 00000220:·9030· | 00000220:·9030·fdfc·1146·0475·8a9b·3f33·06f6·3af0··.0...F.u..?3..:. | ||
| 00000230:· | 00000230:·0ccf·a0a0·2466·7365·74a0·2b65·7874·7275··....$fset.+extru | ||
| 00000240:·6374·7572·6573·4090·30 | 00000240:·6374·7572·6573·4090·301b·6a86·a2df·61e7··ctures@.0.j...a. | ||
| 00000250:· | 00000250:·d2f6·e432·ab2b·7859·81a0·a024·666d·6170··...2.+xY...$fmap | ||
| 00000260:·a02b·6578·7472·7563·7475·7265·7340·9030··.+extructures@.0 | 00000260:·a02b·6578·7472·7563·7475·7265·7340·9030··.+extructures@.0 | ||
| 00000270:· | 00000270:·aaed·383e·1e78·bfc7·7987·5987·b870·0dd1··..8>.x..y.Y..p.. | ||
| 00000280:·a0a0·2466·6675·6ea0·2b65·7874·7275·6374··..$ffun.+extruct | 00000280:·a0a0·2466·6675·6ea0·2b65·7874·7275·6374··..$ffun.+extruct | ||
| 00000290:·7572·6573·4090·30d4·66fb·c470·ccef·58fb··ures@.0.f..p..X. | |||
| 000002a0:·36bf·9337·6c7c·5925·352e·322e·30a0·4040··6..7l|Y%5.2.0.@@ | |||
| 000002 | 00000290:·7572·6573·4090·303b·d06d·885e·18c0·8cc6··ures@.0;.m.^.... | ||
| 000002a0:·df4a·b561·3a97·e625·352e·322e·30a0·4040··.J.a:..%5.2.0.@@ | |||
| 000002b0:·8ea0·9d46·c0d0·8e10·9e2f·2239·638e·2e15··...F...../"9c... | |||
| 000002c0:·8495·a6be·0002·552 | 000002c0:·8495·a6be·0002·5529·0000·8a48·0001·dd69··......U)...H...i | ||
| 000002d0:·0001·d07 | 000002d0:·0001·d07b·b0d0·a025·6670·6572·6da0·2b65··...{...%fperm.+e | ||
| 000002e0:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | 000002e0:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | ||
| 000002f0:·90a0·a025·4650·6572·6d93·e0a2·0408·0404··...%FPerm....... | 000002f0:·90a0·a025·4650·6572·6d93·e0a2·0408·0404··...%FPerm....... | ||
| 00000300:·4190·a0a0·2561·7869·6f6d·9008·0000·2700··A...%axiom....'. | 00000300:·4190·a0a0·2561·7869·6f6d·9008·0000·2700··A...%axiom....'. | ||
| 00000310:·40a0·8080·91b7·a090·2154·409b·a0a0·90b0··@.......!T@..... | 00000310:·40a0·8080·91b7·a090·2154·409b·a0a0·90b0··@.......!T@..... | ||
| 00000320:·a2a2·90a0·236f·7264·a004·2140·234f·7264··....#ord..!@#Ord | 00000320:·a2a2·90a0·236f·7264·a004·2140·234f·7264··....#ord..!@#Ord | ||
| 00000330:·0401·2474·7970·6502·16cf·5100·4004·13b7··..$type...Q.@... | 00000330:·0401·2474·7970·6502·16cf·5100·4004·13b7··..$type...Q.@... | ||
| 00000340:·a090·2166·40a9·9ba0·a090·b090·a024·6666··..!f@........$ff | 00000340:·a090·2166·40a9·9ba0·a090·b090·a024·6666··..!f@........$ff | ||
| Offset 2799, 16 lines modified | Offset 2799, 16 lines modified | ||
| 0000aee0:·0501·b041·0501·93c0·40b0·0501·b241·045b··...A....@....A.[ | 0000aee0:·0501·b041·0501·93c0·40b0·0501·b241·045b··...A....@....A.[ | ||
| 0000aef0:·4041·4243·b005·01a7·4105·0272·c0c0·40b0··@ABC....A..r..@. | 0000aef0:·4041·4243·b005·01a7·4105·0272·c0c0·40b0··@ABC....A..r..@. | ||
| 0000af00:·0501·aa41·0502·5bc0·40b0·0504·2c41·0501··...A..[.@...,A.. | 0000af00:·0501·aa41·0502·5bc0·40b0·0504·2c41·0501··...A..[.@...,A.. | ||
| 0000af10:·3340·4142·b005·042d·41a0·0300·0000·ac31··3@AB...-A......1 | 0000af10:·3340·4142·b005·042d·41a0·0300·0000·ac31··3@AB...-A......1 | ||
| 0000af20:·46b5·6490·b005·021c·0502·164a·c040·b005··F.d........J.@.. | 0000af20:·46b5·6490·b005·021c·0502·164a·c040·b005··F.d........J.@.. | ||
| 0000af30:·0432·41a0·0300·0000·ac31·4cb6·de90·b005··.2A......1L..... | 0000af30:·0432·41a0·0300·0000·ac31·4cb6·de90·b005··.2A......1L..... | ||
| 0000af40:·0221·0502·1b50·4041·4344·4546·4748·4990··.!...P@ACDEFGHI. | 0000af40:·0221·0502·1b50·4041·4344·4546·4748·4990··.!...P@ACDEFGHI. | ||
| 0000af50:·a005·1d89·9030· | 0000af50:·a005·1d89·9030·3bd0·6d88·5e18·c08c·c6df··.....0;.m.^..... | ||
| 0000af60:· | 0000af60:·4ab5·613a·97e6·9040·a0a0·a005·1e31·a040··J.a:...@.....1.@ | ||
| 0000af70:·90a0·a005·1e00·a040·90a0·95a0·021d·041a··.......@........ | 0000af70:·90a0·a005·1e00·a040·90a0·95a0·021d·041a··.......@........ | ||
| 0000af80:·fca0·40a0·a040·2b7b·2066·7065·726d·205f··..@..@+{·fperm·_ | 0000af80:·fca0·40a0·a040·2b7b·2066·7065·726d·205f··..@..@+{·fperm·_ | ||
| 0000af90:·207d·c0a0·a040·40a0·4040·a0b1·4040·a041···}...@@.@@..@@.A | 0000af90:·207d·c0a0·a040·40a0·4040·a0b1·4040·a041···}...@@.@@..@@.A | ||
| 0000afa0:·4040·90a0·d0a0·a040·4004·0940·040e·a0a0··@@.....@@..@.... | 0000afa0:·4040·90a0·d0a0·a040·4004·0940·040e·a0a0··@@.....@@..@.... | ||
| 0000afb0:·a041·217b·a0a0·4025·6670·6572·6da0·a1a1··.A!{..@%fperm... | 0000afb0:·a041·217b·a0a0·4025·6670·6572·6da0·a1a1··.A!{..@%fperm... | ||
| 0000afc0:·4004·1090·051e·46a0·a041·217d·4040·a004··@.....F..A!}@@.. | 0000afc0:·4004·1090·051e·46a0·a041·217d·4040·a004··@.....F..A!}@@.. | ||
| 0000afd0:·1640·4090·a040·a0a0·9404·11a0·9404·10a0··.@@..@.......... | 0000afd0:·1640·4090·a040·a0a0·9404·11a0·9404·10a0··.@@..@.......... | ||
| Offset 2945, 15 lines modified | Offset 2945, 15 lines modified | ||
| 0000b800:·9031·6578·7472·7563·7475·7265·732e·6670··.1extructures.fp | 0000b800:·9031·6578·7472·7563·7475·7265·732e·6670··.1extructures.fp | ||
| 0000b810:·6572·6d32·2e2f·7468·656f·7269·6573·2f66··erm2./theories/f | 0000b810:·6572·6d32·2e2f·7468·656f·7269·6573·2f66··erm2./theories/f | ||
| 0000b820:·7065·726d·2e76·0108·eb01·092c·7c01·08eb··perm.v.....,|... | 0000b820:·7065·726d·2e76·0108·eb01·092c·7c01·08eb··perm.v.....,|... | ||
| 0000b830:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local- | 0000b830:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local- | ||
| 0000b840:·6361·6e6f·6e69·6361·6cb0·95a0·9105·1855··canonical......U | 0000b840:·6361·6e6f·6e69·6361·6cb0·95a0·9105·1855··canonical......U | ||
| 0000b850:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | 0000b850:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | ||
| 0000b860:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | 0000b860:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | ||
| 0000b870:·4040·293 | 0000b870:·4040·2936·3032·3636·3439·3133·e0d0·d0d0··@@)602664913.... | ||
| 0000b880:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | 0000b880:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | ||
| 0000b890:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | 0000b890:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | ||
| 0000b8a0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | 0000b8a0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | ||
| 0000b8b0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | 0000b8b0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 0000b8c0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | 0000b8c0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | ||
| 0000b8d0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | 0000b8d0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | ||
| 0000b8e0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | 0000b8e0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | ||
| Offset 7692, 32 lines modified | Offset 7692, 32 lines modified | ||
| 0001e0b0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@. | 0001e0b0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@. | ||
| 0001e0c0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | 0001e0c0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | ||
| 0001e0d0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@.. | 0001e0d0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@.. | ||
| 0001e0e0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | 0001e0e0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | ||
| 0001e0f0:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A | 0001e0f0:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A | ||
| 0001e100:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..* | 0001e100:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..* | ||
| 0001e110:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F.. | 0001e110:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F.. | ||
| 0001e120:·0000·0000·0000·e | 0001e120:·0000·0000·0000·eb3e·4041·40a0·95a0·0234··.......>@A@....4 | ||
| 0001e130:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | 0001e130:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | ||
| 0001e140:·62a0·2264·6240·a0a0·b005·4628·2132·0219··b."db@....F(!2.. | 0001e140:·62a0·2264·6240·a0a0·b005·4628·2132·0219··b."db@....F(!2.. | ||
| 0001e150:·3530·00d0·0546·27d0·e040·4040·4040·0546··50...F'..@@@@@.F | 0001e150:·3530·00d0·0546·27d0·e040·4040·4040·0546··50...F'..@@@@@.F | ||
| 0001e160:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.* | 0001e160:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.* | ||
| 0001e170:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s. | 0001e170:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s. | ||
| 0001e180:·95a0·055e·d657·0546·31a0·0546·2490·9090··...^.W.F1..F$... | 0001e180:·95a0·055e·d657·0546·31a0·0546·2490·9090··...^.W.F1..F$... | ||
| 0001e190:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(...., | 0001e190:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(...., | ||
| 0001e1a0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*). | 0001e1a0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*). | ||
| 0001e1b0:·b0c3·9140·0529·86b0·95a0·0546·9457·0546··...@.).....F.W.F | 0001e1b0:·b0c3·9140·0529·86b0·95a0·0546·9457·0546··...@.).....F.W.F | ||
| 0001e1c0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH. | 0001e1c0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH. | ||
| 0001e1d0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.= | 0001e1d0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.= | ||
| 0001e1e0:·08b0·95a0·9105·5efc·5805·4654·a005·4647··......^.X.FT..FG | 0001e1e0:·08b0·95a0·9105·5efc·5805·4654·a005·4647··......^.X.FT..FG | ||
| 0001e1f0:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK.. | 0001e1f0:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK.. | ||
| 0001e200:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@ | 0001e200:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@ | ||
| 0001e210:·4040·4040·293 | 0001e210:·4040·4040·2931·3437·3534·3535·3432·e005··@@@@)147545542.. | ||
| 0001e220:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F | 0001e220:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F | ||
| 0001e230:·650c·0000·0000·00 | 0001e230:·650c·0000·0000·0000·f63e·4041·40a0·95a0··e........>@A@... | ||
| 0001e240:·021b·8322·9db0·9005·5ef8·40a0·055e·cda0··..."....^.@..^.. | 0001e240:·021b·8322·9db0·9005·5ef8·40a0·055e·cda0··..."....^.@..^.. | ||
| 0001e250:·055e·d1a0·055e·c740·a095·a002·320a·518f··.^...^.@....2.Q. | 0001e250:·055e·d1a0·055e·c740·a095·a002·320a·518f··.^...^.@....2.Q. | ||
| 0001e260:·a005·5eff·b005·46e7·4040·a095·a002·0fc0··..^...F.@@...... | 0001e260:·a005·5eff·b005·46e7·4040·a095·a002·0fc0··..^...F.@@...... | ||
| 0001e270:·a2b8·a090·0547·65a0·a091·055e·80a0·a040··.....Ge....^...@ | 0001e270:·a2b8·a090·0547·65a0·a091·055e·80a0·a040··.....Ge....^...@ | ||
| 0001e280:·a040·4040·40a0·95a0·0227·60a0·6fd0·4091··.@@@@....'`.o.@. | 0001e280:·a040·4040·40a0·95a0·0227·60a0·6fd0·4091··.@@@@....'`.o.@. | ||
| 0001e290:·055e·88a0·4040·a090·9205·678e·40d0·d040··.^..@@....g.@..@ | 0001e290:·055e·88a0·4040·a090·9205·678e·40d0·d040··.^..@@....g.@..@ | ||
| 0001e2a0:·40a0·0548·8940·4041·41a0·0548·8640·d0d0··@..H.@@AA..H.@.. | 0001e2a0:·40a0·0548·8940·4041·41a0·0548·8640·d0d0··@..H.@@AA..H.@.. | ||
| Offset 7759, 17 lines modified | Offset 7759, 17 lines modified | ||
| 0001e4e0:·6240·a0a0·b005·4733·2135·0219·3530·03d0··b@....G3!5..50.. | 0001e4e0:·6240·a0a0·b005·4733·2135·0219·3530·03d0··b@....G3!5..50.. | ||
| 0001e4f0:·0547·32d0·e040·4040·4040·0547·3140·a0c0··.G2..@@@@@.G1@.. | 0001e4f0:·0547·32d0·e040·4040·4040·0547·3140·a0c0··.G2..@@@@@.G1@.. | ||
| 0001e500:·e090·0547·3032·2e2f·7468·656f·7269·6573··...G02./theories | 0001e500:·e090·0547·3032·2e2f·7468·656f·7269·6573··...G02./theories | ||
| 0001e510:·2f66·7065·726d·2e76·0109·2d01·096a·7d01··/fperm.v..-..j}. | 0001e510:·2f66·7065·726d·2e76·0109·2d01·096a·7d01··/fperm.v..-..j}. | ||
| 0001e520:·092d·0547·2fb0·c391·4005·472e·b095·a091··.-.G/...@.G..... | 0001e520:·092d·0547·2fb0·c391·4005·472e·b095·a091··.-.G/...@.G..... | ||
| 0001e530:·055a·8358·040a·a005·472d·9090·9005·472c··.Z.X....G-....G, | 0001e530:·055a·8358·040a·a005·472d·9090·9005·472c··.Z.X....G-....G, | ||
| 0001e540:·4004·0ea0·0547·3190·9090·4040·4040·4029··@....G1...@@@@@) | 0001e540:·4004·0ea0·0547·3190·9090·4040·4040·4029··@....G1...@@@@@) | ||
| 0001e550:·3 | 0001e550:·3539·3832·3334·3131·38e0·0547·2a05·41cc··598234118..G*.A. | ||
| 0001e560:·0540·4905·1810·0517·8105·4747·0c00·0000··.@I.......GG.... | 0001e560:·0540·4905·1810·0517·8105·4747·0c00·0000··.@I.......GG.... | ||
| 0001e570:·0000·00e | 0001e570:·0000·00e9·3e40·4140·a095·a002·0b7b·4f44··....>@A@.....{OD | ||
| 0001e580:·a040·a0a0·055e·dda0·9105·5f20·4040·a095··.@...^...._·@@.. | 0001e580:·a040·a0a0·055e·dda0·9105·5f20·4040·a095··.@...^...._·@@.. | ||
| 0001e590:·a002·0b7b·4f44·a040·a0a0·055e·d9a0·9105··...{OD.@...^.... | 0001e590:·a002·0b7b·4f44·a040·a0a0·055e·d9a0·9105··...{OD.@...^.... | ||
| 0001e5a0:·5ffd·4040·a095·a002·320a·518f·a005·5f1a··_.@@....2.Q..._. | 0001e5a0:·5ffd·4040·a095·a002·320a·518f·a005·5f1a··_.@@....2.Q..._. | ||
| 0001e5b0:·b005·47d1·4040·a095·a002·0fc0·a2b8·a090··..G.@@.......... | 0001e5b0:·b005·47d1·4040·a095·a002·0fc0·a2b8·a090··..G.@@.......... | ||
| 0001e5c0:·0548·4fa0·a091·90b0·0560·ba05·5f25·0215··.HO......`.._%.. | 0001e5c0:·0548·4fa0·a091·90b0·0560·ba05·5f25·0215··.HO......`.._%.. | ||
| 0001e5d0:·3ebd·f3a0·a040·a040·4040·40a0·95a0·0227··>....@.@@@@....' | 0001e5d0:·3ebd·f3a0·a040·a040·4040·40a0·95a0·0227··>....@.@@@@....' | ||
| 0001e5e0:·60a0·6fd0·4091·040a·a040·40a0·9092·0568··`.o.@....@@....h | 0001e5e0:·60a0·6fd0·4091·040a·a040·40a0·9092·0568··`.o.@....@@....h | ||
| Offset 7781, 32 lines modified | Offset 7781, 32 lines modified | ||
| 0001e640:·b0a2·0567·eb05·5f39·0547·9d02·0271·a2a8··...g.._9.G...q.. | 0001e640:·b0a2·0567·eb05·5f39·0547·9d02·0271·a2a8··...g.._9.G...q.. | ||
| 0001e650:·4040·a095·a002·347d·c1ff·a027·5f45·4c50··@@....4}...'_ELP | 0001e650:·4040·a095·a002·347d·c1ff·a027·5f45·4c50··@@....4}...'_ELP | ||
| 0001e660:·495f·35c0·a022·6862·a022·6462·40a0·a0b0··I_5.."hb."db@... | 0001e660:·495f·35c0·a022·6862·a022·6462·40a0·a0b0··I_5.."hb."db@... | ||
| 0001e670:·0547·9c21·3602·1935·3004·d005·479b·d0e0··.G.!6..50...G... | 0001e670:·0547·9c21·3602·1935·3004·d005·479b·d0e0··.G.!6..50...G... | ||
| 0001e680:·4040·4040·4005·479a·40a0·c004·6905·4795··@@@@@.G.@...i.G. | 0001e680:·4040·4040·4005·479a·40a0·c004·6905·4795··@@@@@.G.@...i.G. | ||
| Max diff block lines reached; 1228578/1238325 bytes (99.21%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0006·056 | 00000000:·436f·7121·0001·4050·0000·0000·0006·0564··Coq!..@P.......d | ||
| 00000010:·8495·a6be·0000·0216·0000·0066·0000·0162··...........f...b | 00000010:·8495·a6be·0000·0216·0000·0066·0000·0162··...........f...b | ||
| 00000020:·0000·012f·c0a0·2466·7365·74a0·2b65·7874··.../..$fset.+ext | 00000020:·0000·012f·c0a0·2466·7365·74a0·2b65·7874··.../..$fset.+ext | ||
| 00000030:·7275·6374·7572·6573·4008·0000·2f00·a0a0··ructures@.../... | 00000030:·7275·6374·7572·6573·4008·0000·2f00·a0a0··ructures@.../... | ||
| 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | ||
| 00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e. | 00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e. | ||
| 00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu | 00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu | ||
| 00000070:·7265·73a0·2248·4240·9030·2661·983d·18f8··res."HB@.0&a.=.. | 00000070:·7265·73a0·2248·4240·9030·2661·983d·18f8··res."HB@.0&a.=.. | ||
| Offset 28, 18 lines modified | Offset 28, 18 lines modified | ||
| 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | ||
| 000001c0:·6d61·7468·636f·6d70·4090·30ae·c52d·5e39··mathcomp@.0..-^9 | 000001c0:·6d61·7468·636f·6d70·4090·30ae·c52d·5e39··mathcomp@.0..-^9 | ||
| 000001d0:·2bab·c71b·2d25·43a7·9cc8·e0a0·a025·6269··+...-%C......%bi | 000001d0:·2bab·c71b·2d25·43a7·9cc8·e0a0·a025·6269··+...-%C......%bi | ||
| 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | ||
| 000001f0:·6d61·7468·636f·6d70·4090·3064·14aa·80ac··mathcomp@.0d.... | 000001f0:·6d61·7468·636f·6d70·4090·3064·14aa·80ac··mathcomp@.0d.... | ||
| 00000200:·52e1·c8c2·c3a4·34f7·fea4·c7a0·a023·6f72··R.....4......#or | 00000200:·52e1·c8c2·c3a4·34f7·fea4·c7a0·a023·6f72··R.....4......#or | ||
| 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | ||
| 00000220:·30 | 00000220:·30fd·fc11·4604·758a·9b3f·3306·f63a·f00c··0...F.u..?3..:.. | ||
| 00000230:· | 00000230:·cf25·352e·322e·30a0·4040·8484·f317·a7c1··.%5.2.0.@@...... | ||
| 00000240:· | 00000240:·97fb·4488·579b·71f7·d91f·8495·a6be·0003··..D.W.q......... | ||
| 00000250:·80a | 00000250:·80ae·0000·d77b·0002·e244·0002·d3be·b0d0··.....{...D...... | ||
| 00000260:·a024·6673·6574·a02b·6578·7472·7563·7475··.$fset.+extructu | 00000260:·a024·6673·6574·a02b·6578·7472·7563·7475··.$fset.+extructu | ||
| 00000270:·7265·7340·e090·0406·4190·a0a0·2446·5365··res@....A...$FSe | 00000270:·7265·7340·e090·0406·4190·a0a0·2446·5365··res@....A...$FSe | ||
| 00000280:·7493·e0a2·0408·0404·4190·a0a0·2966·7365··t.......A...)fse | 00000280:·7493·e0a2·0408·0404·4190·a0a0·2966·7365··t.......A...)fse | ||
| 00000290:·745f·7479·7065·9108·0000·3f00·9008·0000··t_type....?..... | 00000290:·745f·7479·7065·9108·0000·3f00·9008·0000··t_type....?..... | ||
| 000002a0:·4300·0405·a0a0·a090·2154·409b·a0a0·90b0··C.......!T@..... | 000002a0:·4300·0405·a0a0·a090·2154·409b·a0a0·90b0··C.......!T@..... | ||
| 000002b0:·a2a2·90a0·236f·7264·a004·2240·234f·7264··....#ord.."@#Ord | 000002b0:·a2a2·90a0·236f·7264·a004·2240·234f·7264··....#ord.."@#Ord | ||
| 000002c0:·0401·2474·7970·6502·16cf·5100·40a0·8080··..$type...Q.@... | 000002c0:·0401·2474·7970·6502·16cf·5100·40a0·8080··..$type...Q.@... | ||
| Offset 4669, 16 lines modified | Offset 4669, 16 lines modified | ||
| 000123c0:·c0c0·40b0·0505·d041·0464·4041·b005·05d1··..@....A.d@A.... | 000123c0:·c0c0·40b0·0505·d041·0464·4041·b005·05d1··..@....A.d@A.... | ||
| 000123d0:·4104·5ec0·c040·b005·05d4·41a0·0301·f84b··A.^..@....A....K | 000123d0:·4104·5ec0·c040·b005·05d4·41a0·0301·f84b··A.^..@....A....K | ||
| 000123e0:·1248·ff4d·d490·b005·01ee·0501·eb01·143c··.H.M...........< | 000123e0:·1248·ff4d·d490·b005·01ee·0501·eb01·143c··.H.M...........< | ||
| 000123f0:·4041·b005·0523·4105·0290·4042·43b0·0505··@A...#A...@BC... | 000123f0:·4041·b005·0523·4105·0290·4042·43b0·0505··@A...#A...@BC... | ||
| 00012400:·2441·0501·f3c0·40b0·0505·2641·0501·edc0··$A....@...&A.... | 00012400:·2441·0501·f3c0·40b0·0505·2641·0501·edc0··$A....@...&A.... | ||
| 00012410:·40b0·0505·2841·0501·e6c0·40b0·0501·f141··@...(A....@....A | 00012410:·40b0·0505·2841·0501·e6c0·40b0·0501·f141··@...(A....@....A | ||
| 00012420:·0502·9740·4142·4344·4547·4849·4a90·a005··...@ABCDEGHIJ... | 00012420:·0502·9740·4142·4344·4547·4849·4a90·a005··...@ABCDEGHIJ... | ||
| 00012430:·3233·9030· | 00012430:·3233·9030·fdfc·1146·0475·8a9b·3f33·06f6··23.0...F.u..?3.. | ||
| 00012440:· | 00012440:·3af0·0ccf·9040·a0a0·a005·33bc·a040·90a0··:....@....3..@.. | ||
| 00012450:·a005·2cde·a040·90a0·95a0·021d·041a·fca0··..,..@.......... | 00012450:·a005·2cde·a040·90a0·95a0·021d·041a·fca0··..,..@.......... | ||
| 00012460:·40a0·a040·2a7b·2066·7365·7420·5f20·7dc0··@..@*{·fset·_·}. | 00012460:·40a0·a040·2a7b·2066·7365·7420·5f20·7dc0··@..@*{·fset·_·}. | ||
| 00012470:·a0a0·4040·a040·40a0·b140·40a0·4140·4090··..@@.@@..@@.A@@. | 00012470:·a0a0·4040·a040·40a0·b140·40a0·4140·4090··..@@.@@..@@.A@@. | ||
| 00012480:·a0d0·a0a0·4040·0409·4004·0ea0·a0a0·4121··....@@..@.....A! | 00012480:·a0d0·a0a0·4040·0409·4004·0ea0·a0a0·4121··....@@..@.....A! | ||
| 00012490:·7ba0·a040·2466·7365·74a0·a1a1·4004·1090··{..@$fset...@... | 00012490:·7ba0·a040·2466·7365·74a0·a1a1·4004·1090··{..@$fset...@... | ||
| 000124a0:·0533·d0a0·a041·217d·4040·a004·1640·4090··.3...A!}@@...@@. | 000124a0:·0533·d0a0·a041·217d·4040·a004·1640·4090··.3...A!}@@...@@. | ||
| 000124b0:·a040·a0a0·9404·11a0·9404·10a0·9421·20a0··.@...........!·. | 000124b0:·a040·a0a0·9404·11a0·9404·10a0·9421·20a0··.@...........!·. | ||
| Offset 5103, 15 lines modified | Offset 5103, 15 lines modified | ||
| 00013ee0:·3065·7874·7275·6374·7572·6573·2e66·7365··0extructures.fse | 00013ee0:·3065·7874·7275·6374·7572·6573·2e66·7365··0extructures.fse | ||
| 00013ef0:·7431·2e2f·7468·656f·7269·6573·2f66·7365··t1./theories/fse | 00013ef0:·7431·2e2f·7468·656f·7269·6573·2f66·7365··t1./theories/fse | ||
| 00013f00:·742e·7601·0f9f·010f·df00·5601·0f9f·c040··t.v.......V....@ | 00013f00:·742e·7601·0f9f·010f·df00·5601·0f9f·c040··t.v.......V....@ | ||
| 00013f10:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | 00013f10:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | ||
| 00013f20:·6e6f·6e69·6361·6cb0·95a0·9105·3663·5804··nonical.....6cX. | 00013f20:·6e6f·6e69·6361·6cb0·95a0·9105·3663·5804··nonical.....6cX. | ||
| 00013f30:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | 00013f30:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | ||
| 00013f40:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | 00013f40:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | ||
| 00013f50:·293 | 00013f50:·2933·3631·3534·3337·3337·e0d0·d0d0·d040··)361543737.....@ | ||
| 00013f60:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | 00013f60:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | ||
| 00013f70:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | 00013f70:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | ||
| 00013f80:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | 00013f80:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | ||
| 00013f90:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | 00013f90:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | ||
| 00013fa0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | 00013fa0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | ||
| 00013fb0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | 00013fb0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | ||
| 00013fc0:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | 00013fc0:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | ||
| Offset 9850, 14825 lines modified | Offset 9850, 14825 lines modified | ||
| 00026790:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A | 00026790:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A | ||
| 000267a0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L | 000267a0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L | ||
| 000267b0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A. | 000267b0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A. | ||
| 000267c0:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M. | 000267c0:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M. | ||
| 000267d0:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@. | 000267d0:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@. | ||
| 000267e0:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A | 000267e0:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A | ||
| 000267f0:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F.... | 000267f0:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F.... | ||
| 00026800:·0000·0000·e | 00026800:·0000·0000·e73e·4041·40a0·95a0·0234·7dc1··.....>@A@....4}. | ||
| 00026810:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb. | 00026810:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb. | ||
| 00026820:·2264·6240·a0a0·b005·776f·2132·0233·d6c2··"db@....wo!2.3.. | 00026820:·2264·6240·a0a0·b005·776f·2132·0233·d6c2··"db@....wo!2.3.. | ||
| 00026830:·34d0·0546·27d0·e040·4040·4040·0546·2640··4..F'..@@@@@.F&@ | 00026830:·34d0·0546·27d0·e040·4040·4040·0546·2640··4..F'..@@@@@.F&@ | ||
| 00026840:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*.. | 00026840:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*.. | ||
| 00026850:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s... | 00026850:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s... | ||
| 00026860:·057d·9f57·0546·31a0·0546·2490·9090·0529··.}.W.F1..F$....) | 00026860:·057d·9f57·0546·31a0·0546·2490·9090·0529··.}.W.F1..F$....) | ||
| 00026870:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@ | 00026870:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@ | ||
| 00026880:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | 00026880:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | ||
| 00026890:·9140·0529·86b0·95a0·0546·9257·0546·44a0··.@.).....F.W.FD. | 00026890:·9140·0529·86b0·95a0·0546·9257·0546·44a0··.@.).....F.W.FD. | ||
| 000268a0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | 000268a0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | ||
| 000268b0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | 000268b0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | ||
| 000268c0:·95a0·9105·7d07·5805·4654·a005·4647·9090··....}.X.FT..FG.. | 000268c0:·95a0·9105·7d07·5805·4654·a005·4647·9090··....}.X.FT..FG.. | ||
| 000268d0:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | 000268d0:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | Diff chunk too large, falling back to line-by-line diff (4489 lines added, 4489 lines removed) | |
| 000268e0:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | 000268e0:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | ||
| 000268f0:·4040·2 | 000268f0:·4040·2832·3331·3836·3734·36e0·0546·4805··@@(23186746..FH. | ||
| 00026900:· | 00026900:·40ea·053f·6705·172e·0516·9f05·4665·0c00··@..?g.......Fe.. | ||
| 00026910:·0000·0000· | 00026910:·0000·0000·c0f0·3e40·4140·a095·a002·1b83··......>@A@...... | ||
| 00026920:· | 00026920:·229d·b090·057d·0840·a005·7cdb·a005·7cdf··"....}.@..|...|. | ||
| 00026930:· | 00026930:·a005·7cd5·40a0·95a0·0232·0a51·8fa0·057d··..|.@....2.Q...} | ||
| 00026940:· | 00026940:·0fb0·0546·e540·40a0·95a0·020f·c0a2·b8a0··...F.@@......... | ||
| 00026950:· | 00026950:·9005·4784·a0a0·9105·7c89·a0a0·40a0·4040··..G.....|...@.@@ | ||
| 00026960:·4040· | 00026960:·4040·a095·a002·2760·a06f·d040·9105·7c91··@@....'`.o.@..|. | ||
| 00026970:· | 00026970:·a040·40a0·9092·0584·e740·d0d0·4040·a005··.@@......@..@@.. | ||
| 00026980:· | 00026980:·485f·4040·4141·a005·485c·40d0·d040·0548··H_@@AA..H\@..@.H | ||
| 00026990:· | 00026990:·59a0·0548·5540·4041·0548·52a0·0548·4a40··Y..HU@@A.HR..HJ@ | ||
| 000269a0:· | 000269a0:·d040·0548·47a0·0548·4640·d040·0548·43a0··.@.HG..HF@.@.HC. | ||
| 000269b0:· | 000269b0:·0548·3f40·4041·4243·44a0·95a0·0232·0a51··.H?@@ABCD....2.Q | ||
| 000269c0:· | 000269c0:·8fa0·057c·c6b0·0547·0a40·40a0·95a0·020f··...|...G.@@..... | ||
| 000269d0:· | 000269d0:·c0a2·b8a0·9005·47a9·a0a0·9190·b005·7e2c··......G.......~, | ||
| 000269e0:· | 000269e0:·057c·d102·0176·759d·a0a0·40a0·4040·4040··.|...vu...@.@@@@ | ||
| 000269f0:· | 000269f0:·a095·a002·2760·a06f·d040·9104·0aa0·4040··....'`.o.@....@@ | ||
| 00026a00:· | 00026a00:·a090·9205·850e·40d0·d040·40a0·0548·8640··......@..@@..H.@ | ||
| 00026a10:·404 | 00026a10:·4041·41a0·0548·8340·d0d0·4005·4880·a005··@AA..H.@..@.H... | ||
| 00026a20:· | 00026a20:·487c·4040·4105·4879·a005·4871·40d0·4005··H|@@A.Hy..Hq@.@. | ||
| 00026a30:· | 00026a30:·486e·a005·486d·40d0·4005·486a·a005·4866··Hn..Hm@.@.Hj..Hf | ||
| 00026a40:· | 00026a40:·4040·4142·4344·a095·a002·28d1·885a·a0a0··@@ABCD....(..Z.. | ||
| 00026a50:· | 00026a50:·9104·20a0·90b0·a290·057c·fa05·7cda·057d··..·......|..|..} | ||
| 00026a60:· | 00026a60:·fb02·19fd·2188·4040·a095·a002·320a·518f··....!.@@....2.Q. | ||
| 00026a70:· | 00026a70:·a005·7ccf·b005·473c·4040·a095·a002·0fc0··..|...G<@@...... | ||
| 00026a80:· | 00026a80:·a2b8·a090·0547·dba0·a091·057c·aba0·a040··.....G.....|...@ | ||
| 00026a90:· | 00026a90:·a040·4040·40a0·95a0·0227·60a0·6fd0·4091··.@@@@....'`.o.@. | ||
| 00026aa0:· | 00026aa0:·057c·b3a0·4040·a090·9205·853e·40d0·d040··.|..@@.....>@..@ | ||
| 00026ab0:·40 | 00026ab0:·40a0·0548·b640·4041·41a0·0548·b340·d0d0··@..H.@@AA..H.@.. | ||
| 00026ac0:· | 00026ac0:·4005·48b0·a005·48ac·4040·4105·48a9·a005··@.H...H.@@A.H... | ||
| 00026ad0:· | 00026ad0:·48a1·40d0·4005·489e·a005·489d·40d0·4005··H.@.@.H...H.@.@. | ||
| 00026ae0:· | 00026ae0:·489a·a005·4896·4040·4142·4344·a095·a002··H...H.@@ABCD.... | ||
| 00026af0:·0 | 00026af0:·0b7b·4f44·a040·a0a0·057c·b9a0·9105·7ccb··.{OD.@...|....|. | ||
| 00026b00:· | 00026b00:·4040·a095·a002·320a·518f·a005·7cef·b005··@@....2.Q...|... | ||
| 00026b10:· | 00026b10:·4769·4040·a095·a002·0fc0·a2b8·a090·0548··Gi@@...........H | ||
| 00026b20:· | 00026b20:·08a0·a091·0578·34a0·a040·a040·4040·40a0··.....x4..@.@@@@. | ||
| 00026b30:· | 00026b30:·95a0·0227·60a0·6fd0·4091·0578·3ca0·4040··...'`.o.@..x<.@@ | ||
| 00026b40:· | 00026b40:·a090·9205·856b·40d0·d040·40a0·0548·e340··.....k@..@@..H.@ | ||
| 00026b50:·404 | 00026b50:·4041·41a0·0548·e040·d0d0·4005·48dd·a005··@AA..H.@..@.H... | ||
| 00026b60:· | 00026b60:·48d9·4040·4105·48d6·a005·48ce·40d0·4005··H.@@A.H...H.@.@. | ||
| 00026b70:· | 00026b70:·48cb·a005·48ca·40d0·4005·48c7·a005·48c3··H...H.@.@.H...H. | ||
| 00026b80:· | 00026b80:·4040·4142·4344·a095·a002·28d1·885a·a0a0··@@ABCD....(..Z.. | ||
| 00026b90:· | 00026b90:·9105·7852·0560·1140·a095·a002·347d·c1ff··..xR.`.@....4}.. | ||
| Max diff block lines reached; 1422690/2048427 bytes (69.45%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0008·62a | 00000000:·436f·7121·0001·4050·0000·0000·0008·62a1··Coq!..@P......b. | ||
| 00000010:·8495·a6be·0000·026f·0000·0075·0000·019b··.......o...u.... | 00000010:·8495·a6be·0000·026f·0000·0075·0000·019b··.......o...u.... | ||
| 00000020:·0000·015f·c0a0·236f·7264·a02b·6578·7472··..._..#ord.+extr | 00000020:·0000·015f·c0a0·236f·7264·a02b·6578·7472··..._..#ord.+extr | ||
| 00000030:·7563·7475·7265·7340·0800·0037·00a0·a027··uctures@...7...' | 00000030:·7563·7475·7265·7340·0800·0037·00a0·a027··uctures@...7...' | ||
| 00000040:·5072·656c·7564·65a0·2449·6e69·74a0·2343··Prelude.$Init.#C | 00000040:·5072·656c·7564·65a0·2449·6e69·74a0·2343··Prelude.$Init.#C | ||
| 00000050:·6f71·4090·306e·1ea7·6653·34e4·bc65·c3cc··oq@.0n..fS4..e.. | 00000050:·6f71·4090·306e·1ea7·6653·34e4·bc65·c3cc··oq@.0n..fS4..e.. | ||
| 00000060:·25eb·7fca·42a0·a02a·7374·7275·6374·7572··%...B..*structur | 00000060:·25eb·7fca·42a0·a02a·7374·7275·6374·7572··%...B..*structur | ||
| 00000070:·6573·a022·4842·4090·3026·6198·3d18·f827··es."HB@.0&a.=..' | 00000070:·6573·a022·4842·4090·3026·6198·3d18·f827··es."HB@.0&a.=..' | ||
| Offset 36, 15 lines modified | Offset 36, 15 lines modified | ||
| 00000230:·6d70·4090·3089·cc83·eb80·c12c·8def·a0ee··mp@.0......,.... | 00000230:·6d70·4090·3089·cc83·eb80·c12c·8def·a0ee··mp@.0......,.... | ||
| 00000240:·9167·4b91·9aa0·a024·6261·7365·a028·6465··.gK....$base.(de | 00000240:·9167·4b91·9aa0·a024·6261·7365·a028·6465··.gK....$base.(de | ||
| 00000250:·7269·7669·6e67·4090·305f·8475·7fc2·89d5··riving@.0_.u.... | 00000250:·7269·7669·6e67·4090·305f·8475·7fc2·89d5··riving@.0_.u.... | ||
| 00000260:·cb25·5a19·13e1·81a2·40a0·a028·6465·7269··.%Z.....@..(deri | 00000260:·cb25·5a19·13e1·81a2·40a0·a028·6465·7269··.%Z.....@..(deri | ||
| 00000270:·7669·6e67·a004·0240·9030·d53c·05e0·e8a3··ving...@.0.<.... | 00000270:·7669·6e67·a004·0240·9030·d53c·05e0·e8a3··ving...@.0.<.... | ||
| 00000280:·a90a·4ce3·4f2c·ff8d·07a6·2535·2e32·2e30··..L.O,....%5.2.0 | 00000280:·a90a·4ce3·4f2c·ff8d·07a6·2535·2e32·2e30··..L.O,....%5.2.0 | ||
| 00000290:·a040·40a5·69c5·d5b0·1aa2·8a80·aa6a·fae2··.@@.i........j.. | 00000290:·a040·40a5·69c5·d5b0·1aa2·8a80·aa6a·fae2··.@@.i........j.. | ||
| 000002a0:·d1ad·4984·95a6·be00·0486·a | 000002a0:·d1ad·4984·95a6·be00·0486·a500·0117·9700··..I............. | ||
| 000002b0:·03af·7d00·039e·d3b0·d0a0·236f·7264·a02b··..}.......#ord.+ | 000002b0:·03af·7d00·039e·d3b0·d0a0·236f·7264·a02b··..}.......#ord.+ | ||
| 000002c0:·6578·7472·7563·7475·7265·7340·e090·0406··extructures@.... | 000002c0:·6578·7472·7563·7475·7265·7340·e090·0406··extructures@.... | ||
| 000002d0:·4190·a0a0·2668·6173·4f72·6493·e0a2·0408··A...&hasOrd..... | 000002d0:·4190·a0a0·2668·6173·4f72·6493·e0a2·0408··A...&hasOrd..... | ||
| 000002e0:·0404·4190·a0a0·2761·7869·6f6d·735f·9108··..A...'axioms_.. | 000002e0:·0404·4190·a0a0·2761·7869·6f6d·735f·9108··..A...'axioms_.. | ||
| 000002f0:·0000·3f00·9008·0000·4300·0405·a0a0·a090··..?.....C....... | 000002f0:·0000·3f00·9008·0000·4300·0405·a0a0·a090··..?.....C....... | ||
| 00000300:·2154·4094·90a0·a0a0·03d8·e0cc·0fc6·d2e0··!T@............. | 00000300:·2154·4094·90a0·a0a0·03d8·e0cc·0fc6·d2e0··!T@............. | ||
| 00000310:·0e90·b0a0·0421·a004·2040·2001·02d2·4040··.....!..·@·...@@ | 00000310:·0e90·b0a0·0421·a004·2040·2001·02d2·4040··.....!..·@·...@@ | ||
| Offset 6152, 28207 lines modified | Offset 6152, 28207 lines modified | ||
| 00018070:·6f72·6430·2e2f·7468·656f·7269·6573·2f6f··ord0./theories/o | 00018070:·6f72·6430·2e2f·7468·656f·7269·6573·2f6f··ord0./theories/o | ||
| 00018080:·7264·2e76·010c·4801·0ce7·7601·0c48·c040··rd.v..H...v..H.@ | 00018080:·7264·2e76·010c·4801·0ce7·7601·0c48·c040··rd.v..H...v..H.@ | ||
| 00018090:·4040·41b0·c391·4030·6d6f·6475·6c65·2d74··@@A...@0module-t | 00018090:·4040·41b0·c391·4030·6d6f·6475·6c65·2d74··@@A...@0module-t | ||
| 000180a0:·6f2d·6578·706f·7274·b095·a004·0943·040c··o-export.....C.. | 000180a0:·6f2d·6578·706f·7274·b095·a004·0943·040c··o-export.....C.. | ||
| 000180b0:·a022·5479·9090·9090·2673·7472·696e·67a0··."Ty....&string. | 000180b0:·a022·5479·9090·9090·2673·7472·696e·67a0··."Ty....&string. | ||
| 000180c0:·b095·a004·2e5b·0417·a004·0b90·9090·9027··.....[.........' | 000180c0:·b095·a004·2e5b·0417·a004·0b90·9090·9027··.....[.........' | Diff chunk too large, falling back to line-by-line diff (5602 lines added, 5602 lines removed) | |
| 000180d0:·6d6f·6470·6174·6840·041d·a004·1190·9090··modpath@........ | 000180d0:·6d6f·6470·6174·6840·041d·a004·1190·9090··modpath@........ | ||
| 000180e0:·4040·4040·402 | 000180e0:·4040·4040·402a·3130·3439·3237·3234·3230··@@@@@*1049272420 | ||
| 000180f0:·d040 | 000180f0:·e0d0·4028·4067·6c6f·6261·6c21·a0b0·c391··..@(@global!.... | ||
| 00018100:·2a67 | 00018100:·402a·6765·742d·6f70·7469·6f6e·b095·a02c··@*get-option..., | ||
| 00018110:·6f71 | 00018110:·636f·713a·6c6f·6361·6c69·7479·43e0·4038··coq:localityC.@8 | ||
| 00018120:·6f71 | 00018120:·636f·712d·6275·696c·7469·6e2d·7379·6e74··coq-builtin-synt | ||
| 00018130:·7270 | 00018130:·6572·702e·656c·7069·011b·0d01·1b1b·0100··erp.elpi........ | ||
| 00018140:·011a | 00018140:·b001·1aee·a004·2490·40a0·b095·a026·676c··......$.@....&gl | ||
| 00018150:·6261 | 00018150:·6f62·616c·43e0·4004·0901·1b1c·011b·2401··obalC.@.......$. | ||
| 00018160:·b001 | 00018160:·00b0·011a·eea0·042c·9040·40e0·4004·0c01··.......,.@@.@... | ||
| 00018170:·0201 | 00018170:·1b02·011b·2401·00b0·011a·eea0·042f·9040··....$......../.@ | ||
| 00018180:·4004 | 00018180:·e040·040f·011a·ee01·1b24·0100·b001·1aee··.@.......$...... | ||
| 00018190:·4027 | 00018190:·d040·2740·6c6f·6361·6c21·a0b0·c391·4004··.@'@local!....@. | ||
| 000181a0:·b095 | 000181a0:·1bb0·9504·1ae0·4004·1801·1b45·011b·5301··......@....E..S. | ||
| 000181b0:·b101 | 000181b0:·00b1·011b·26a0·043b·9040·a0b0·95a0·256c··....&..;.@....%l | ||
| 000181c0:·6361 | 000181c0:·6f63·616c·43e0·4004·2001·1b54·011b·5b01··ocalC.@.·..T..[. | ||
| 000181d0:·b101 | 000181d0:·00b1·011b·26a0·0443·9040·40e0·4004·2301··....&..C.@@.@.#. | ||
| 000181e0:·3a01 | 000181e0:·1b3a·011b·5b01·00b1·011b·26a0·0446·9040··.:..[.....&..F.@ | ||
| 000181f0:·4004 | 000181f0:·e040·0426·011b·2601·1b5b·0100·b101·1b26··.@.&..&..[.....& | ||
| 00018200:·4 | 00018200:·4041·42d0·d0d0·d0d0·d040·2861·7267·756d··@AB......@(argum | ||
| 00018210:·6e74 | 00018210:·656e·74a0·40e0·4004·2f01·0935·0109·4700··ent.@.@./..5..G. | ||
| 00018220:·0109 | 00018220:·4901·0935·4041·2561·7269·7479·a040·e040··I..5@A%arity.@.@ | ||
| 00018230:·3201 | 00018230:·0432·0111·9301·11a2·0077·0111·93d0·d040··.2.......w.....@ | ||
| 00018240:·6174 | 00018240:·2961·7474·7269·6275·7465·a040·e040·0437··)attribute.@.@.7 | ||
| 00018250:·39 | 00018250:·0139·bb01·39ce·0101·8f01·39bb·4041·3161··.9..9.....9.@A1a | ||
| 00018260:·747 | 00018260:·7474·7269·6275·7465·2d6d·6170·7069·6e67··ttribute-mapping | ||
| 00018270:·40e0 | 00018270:·a040·e040·0940·2f62·7569·6c64·2f72·6570··.@.@.@/build/rep | ||
| 00018280:·6f64 | 00018280:·726f·6475·6369·626c·652d·7061·7468·2f63··roducible-path/c | ||
| 00018290:·712d | 00018290:·6f71·2d65·6c70·692d·322e·332e·302f·656c··oq-elpi-2.3.0/el | ||
| 000182a0:·692f | 000182a0:·7069·2f63·6f71·2d6c·6962·2d63·6f6d·6d6f··pi/coq-lib-commo | ||
| 000182b0:·2e65 | 000182b0:·6e2e·656c·7069·010a·3f01·0a5a·004b·010a··n.elpi..?..Z.K.. | ||
| 000182c0:·4042 | 000182c0:·3f40·4243·3361·7474·7269·6275·7465·2d73··?@BC3attribute-s | ||
| 000182d0:·676e | 000182d0:·6967·6e61·7475·7265·a040·e040·0404·0107··ignature.@.@.... | ||
| 000182e0:·0107 | 000182e0:·9701·07b4·7901·0797·d0d0·402e·6174·7472··....y.....@.attr | ||
| 000182f0:·6275 | 000182f0:·6962·7574·652d·7479·7065·a040·e040·0409··ibute-type.@.@.. | ||
| 00018300:·08c3 | 00018300:·0108·c301·08db·0041·0108·c3d0·402f·6174··.......A....@/at | ||
| 00018310:·7269 | 00018310:·7472·6962·7574·652d·7661·6c75·65a0·40e0··tribute-value.@. | ||
| 00018320:·0447 | 00018320:·4004·4701·390f·0139·2801·0189·0139·0f40··@.G.9..9(....9.@ | ||
| 00018330:·4224 | 00018330:·4142·2462·6f6f·6ca0·40e0·4031·656c·7069··AB$bool.@.@1elpi | ||
| 00018340:·6275 | 00018340:·2d62·7569·6c74·696e·2e65·6c70·6901·0f41··-builtin.elpi..A | ||
| 00018350:·0f4f | 00018350:·010f·4f01·00ee·010f·41d0·4026·636c·6175··..O.....A.@&clau | ||
| 00018360:·65a0 | 00018360:·7365·a040·e040·044f·012e·2001·2e30·0101··se.@.@.O..·..0.. | ||
| 00018370:·012e | 00018370:·3f01·2e20·4041·4344·2363·6d70·a040·e040··?..·@ACD#cmp.@.@ | ||
| 00018380:·0801 | 00018380:·0408·0111·d501·11e2·0101·1301·11d5·d0d0··................ | ||
| 00018390:·402c | 00018390:·d040·2c63·6f6e·7465·7874·2d64·6563·6ca0··.@,context-decl. | ||
| 000183a0:·e040 | 000183a0:·40e0·4004·5801·19d2·0119·e801·00a9·0119··@.@.X........... | ||
| 000183b0:·d040 | 000183b0:·d2d0·402a·636f·712e·696e·6c69·6e65·a040··..@*coq.inline.@ | ||
| 000183c0:·4004 | 000183c0:·e040·045c·011f·4d01·1f61·0100·db01·1f4d··.@.\..M..a.....M | ||
| 000183d0:·4142 | 000183d0:·4041·422a·6469·6167·6e6f·7374·6963·a040··@AB*diagnostic.@ | ||
| 000183e0:·4004 | 000183e0:·e040·0415·0112·5301·1267·0101·1901·1253··.@....S..g.....S | ||
| 000183f0:·402f | 000183f0:·d040·2f66·6965·6c64·2d61·7474·7269·6275··.@/field-attribu | ||
| 00018400:·65a0 | 00018400:·7465·a040·e040·0463·5c75·455c·4041·4325··te.@.@.c\uE\@AC% | ||
| 00018410:·6c6f | 00018410:·666c·6f61·74a0·40e0·4004·1c01·0148·0101··float.@.@....H.. | ||
| 00018420:·5d01 | 00018420:·575d·0101·48d0·d0d0·4028·6772·6166·7469··W]..H...@(grafti | ||
| 00018430:·67a0 | 00018430:·6e67·a040·e040·046c·012e·bd01·2ecf·0101··ng.@.@.l........ | ||
| 00018440:·012e | 00018440:·4401·2ebd·d040·2567·726f·7570·a040·e040··D....@%group.@.@ | ||
| 00018450:·7001 | 00018450:·0470·0136·f201·3701·0101·7901·36f2·4041··.p.6..7...y.6.@A | ||
| 00018460:·2d69 | 00018460:·422d·696d·706c·6963·6974·5f6b·696e·64a0··B-implicit_kind. | ||
| 00018470:·e040 | 00018470:·40e0·4004·7343·5a44·4340·4329·696e·5f73··@.@.sCZDC@C)in_s | ||
| 00018480:·7265 | 00018480:·7472·6561·6da0·40e0·4030·6275·696c·7469··tream.@.@0builti | ||
| 00018490:·5f73 | 00018490:·6e5f·7365·742e·656c·7069·0167·3d01·6750··n_set.elpi.g=.gP | ||
| 000184a0:·7c01 | 000184a0:·007c·0167·3dd0·d040·2969·6e64·632d·6465··.|.g=..@)indc-de | ||
| 000184b0:·6ca0 | 000184b0:·636c·a040·e040·047c·010d·3101·0d44·0061··cl.@.@.|..1..D.a | ||
| 000184c0:·0d31 | 000184c0:·010d·3140·4129·696e·6474·2d64·6563·6ca0··..1@A)indt-decl. | ||
| 000184d0:·e040 | 000184d0:·40e0·4004·7f01·0d1c·010d·2f00·6001·0d1c··@.@......./.`... | ||
| 000184e0:·42 | 000184e0:·4042·4445·4623·696e·74a0·40e0·4004·3801··@BDEF#int.@.@.8. | ||
| 000184f0:·2301 | 000184f0:·0123·0101·3057·0101·23d0·d0d0·4024·6c69··.#..0W..#...@$li | ||
| 00018500:·74a0 | 00018500:·7374·a041·e040·043e·010e·b301·0ec9·0100··st.A.@.>........ | ||
| 00018510:·010e | 00018510:·e701·0eb3·4041·236c·6f63·a040·e040·0441··....@A#loc.@.@.A | ||
| 00018520:·13e6 | 00018520:·0113·e601·13f3·0101·2901·13e6·d0d0·4027··........).....@' | ||
| 00018530:·6f63 | 00018530:·6c6f·6361·7465·64a0·40e0·4004·9001·1e3e··located.@.@....> | ||
| 00018540:·1e4f | 00018540:·011e·4f01·00d1·011e·3e40·4127·6d6f·6470··..O.....>@A'modp | ||
| 00018550:·7468 | 00018550:·6174·68a0·40e0·4004·9301·1ca3·011c·b401··ath.@.@......... | ||
| 00018560:·c101 | 00018560:·00c1·011c·a3d0·4029·6d6f·6474·7970·6174··......@)modtypat | ||
| 00018570:·a040 | 00018570:·68a0·40e0·4004·9701·1cd6·011c·e901·00c5··h.@.@........... | ||
| 00018580:·1cd6 | 00018580:·011c·d640·4142·4326·6f70·7469·6f6e·a041··...@ABC&option.A | ||
| 00018590:·4004 | 00018590:·e040·0450·0111·7401·118c·0101·0e01·1174··.@.P..t........t | ||
| 000185a0:·402a | 000185a0:·d040·2a6f·7574·5f73·7472·6561·6da0·40e0··.@*out_stream.@. | ||
| 000185b0:·0428 | 000185b0:·4004·2801·676b·0167·7f01·0080·0167·6b40··@.(.gk.g.....gk@ | ||
| 000185c0:·444 | 000185c0:·4144·4724·7061·6972·a042·e040·0457·010f··ADG$pair.B.@.W.. | ||
| 000185d0:·010f | 000185d0:·aa01·0fc8·0100·f301·0faa·d0d0·d0d0·d040··...............@ | ||
| 000185e0:·7265 | 000185e0:·2b72·6563·6f72·642d·6465·636c·a040·e040··+record-decl.@.@ | ||
| 000185f0:·a901 | 000185f0:·04a9·010d·4601·0d5b·0062·010d·4640·4124··....F..[.b..F@A$ | ||
| 00018600:·61 | 00018600:·7361·6665·a040·e040·0462·0123·9401·23a2··safe.@.@.b.#..#. | ||
| 00018610:·0196 | 00018610:·0101·9601·2394·d040·2573·636f·7065·a040··....#..@%scope.@ | ||
| 00018620:·4004 | 00018620:·e040·04b0·012f·7d01·2f8c·0101·4b01·2f7d··.@.../}./...K./} | ||
| 00018630:·4142 | 00018630:·4041·422b·7374·642e·696e·742e·6d61·70a0··@AB+std.int.map. | ||
| 00018640:·e040 | 00018640:·41e0·4033·6275·696c·7469·6e5f·7374·646c··A.@3builtin_stdl | ||
| 00018650:·622e | 00018650:·6962·2e65·6c70·6901·2eeb·012f·0801·0163··ib.elpi..../...c | ||
| 00018660:·2eeb | 00018660:·012e·ebd0·402b·7374·642e·696e·742e·7365··....@+std.int.se | ||
| 00018670:·a040 | 00018670:·74a0·40e0·4004·0501·44c0·0144·d501·01eb··t.@.@...D..D.... | ||
| 00018680:·44c0 | 00018680:·0144·c040·4143·2b73·7464·2e6c·6f63·2e6d··.D.@AC+std.loc.m | ||
| 00018690:·70a0 | 00018690:·6170·a041·e040·0408·0134·6201·347f·0101··ap.A.@...4b.4... | ||
| 000186a0:·0134 | 000186a0:·8601·3462·d0d0·d040·2b73·7464·2e6c·6f63··..4b...@+std.loc | ||
| 000186b0:·7365 | 000186b0:·2e73·6574·a040·e040·040e·014e·5101·4e66··.set.@.@...NQ.Nf | ||
| Max diff block lines reached; 3116644/3892063 bytes (80.08%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | h58m6 | |