3.65 MB
/srv/reproducible-results/rbuild-debian/r-b-build.BazyOvQc/b1/coq-deriving_0.2.1-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.BazyOvQc/b2/coq-deriving_0.2.1-1_arm64.changes
210 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·2a4baae4eac6d16c3c291158038ede65·493488·ocaml·optional·libcoq-deriving_0.2.1-1_arm64.deb1 ·0868e9fc21479916d23c919a5b848d6e·493888·ocaml·optional·libcoq-deriving_0.2.1-1_arm64.deb
3.65 MB
libcoq-deriving_0.2.1-1_arm64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-04·13:30:14.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-12-04·13:30:14.000000·debian-binary
2 -rw-r--r--···0········0········0·····1644·2024-12-04·13:30:14.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1636·2024-12-04·13:30:14.000000·control.tar.xz
3 -rw-r--r--···0········0········0···491652·2024-12-04·13:30:14.000000·data.tar.xz3 -rw-r--r--···0········0········0···492060·2024-12-04·13:30:14.000000·data.tar.xz
716 B
control.tar.xz
688 B
control.tar
618 B
./control
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Package:·libcoq-deriving1 Package:·libcoq-deriving
2 Source:·coq-deriving2 Source:·coq-deriving
3 Version:·0.2.1-13 Version:·0.2.1-1
4 Architecture:·arm644 Architecture:·arm64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·18396 Installed-Size:·1839
7 Depends:·libcoq-mathcomp-ssreflect-f6101,·libcoq-stdlib-z3q117 Depends:·libcoq-mathcomp-ssreflect-f6101,·libcoq-stdlib-z3q11
8 Provides:·libcoq-deriving-awwp18 Provides:·libcoq-deriving-qk5b6
9 Section:·ocaml9 Section:·ocaml
10 Priority:·optional10 Priority:·optional
11 Homepage:·https://github.com/arthuraa/deriving/11 Homepage:·https://github.com/arthuraa/deriving/
12 Description:·deriving·MathComp·classes·from·inductive·types12 Description:·deriving·MathComp·classes·from·inductive·types
13 ·This·package·builds·instances·of·MathComp·classes·with·little13 ·This·package·builds·instances·of·MathComp·classes·with·little
14 ·boilerplate,·mimicking·Haskell's·deriving·facility.14 ·boilerplate,·mimicking·Haskell's·deriving·facility.
15 ·.15 ·.
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
3.65 MB
data.tar.xz
3.65 MB
data.tar
6.48 KB
file list
    
Offset 5, 24 lines modifiedOffset 5, 24 lines modified
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.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-04·13:30:14.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-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/
10 -rw-r--r--···0·root·········(0)·root·········(0)···172126·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.glob10 -rw-r--r--···0·root·········(0)·root·········(0)···172126·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.glob
11 -rw-r--r--···0·root·········(0)·root·········(0)····37439·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.v11 -rw-r--r--···0·root·········(0)·root·········(0)····37439·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.v
12 -rw-r--r--···0·root·········(0)·root·········(0)···299580·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.vo12 -rw-r--r--···0·root·········(0)·root·········(0)···299607·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.vo
13 -rw-r--r--···0·root·········(0)·root·········(0)·····1184·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.glob13 -rw-r--r--···0·root·········(0)·root·········(0)·····1184·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.glob
14 -rw-r--r--···0·root·········(0)·root·········(0)······599·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.v14 -rw-r--r--···0·root·········(0)·root·········(0)······599·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.v
15 -rw-r--r--···0·root·········(0)·root·········(0)·····9902·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.vo15 -rw-r--r--···0·root·········(0)·root·········(0)·····9902·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.vo
16 -rw-r--r--···0·root·········(0)·root·········(0)······224·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.glob16 -rw-r--r--···0·root·········(0)·root·········(0)······224·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.glob
17 -rw-r--r--···0·root·········(0)·root·········(0)·······65·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.v17 -rw-r--r--···0·root·········(0)·root·········(0)·······65·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.v
18 -rw-r--r--···0·root·········(0)·root·········(0)······824·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.vo18 -rw-r--r--···0·root·········(0)·root·········(0)······824·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.vo
19 -rw-r--r--···0·root·········(0)·root·········(0)···121876·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.glob19 -rw-r--r--···0·root·········(0)·root·········(0)···121876·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.glob
20 -rw-r--r--···0·root·········(0)·root·········(0)····32684·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.v20 -rw-r--r--···0·root·········(0)·root·········(0)····32684·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.v
21 -rw-r--r--···0·root·········(0)·root·········(0)···298690·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.vo21 -rw-r--r--···0·root·········(0)·root·········(0)···298696·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.vo
22 -rw-r--r--···0·root·········(0)·root·········(0)·····5242·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.glob22 -rw-r--r--···0·root·········(0)·root·········(0)·····5242·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.glob
23 -rw-r--r--···0·root·········(0)·root·········(0)·····2525·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.v23 -rw-r--r--···0·root·········(0)·root·········(0)·····2525·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.v
24 -rw-r--r--···0·root·········(0)·root·········(0)·····9349·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.vo24 -rw-r--r--···0·root·········(0)·root·········(0)·····9349·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.vo
25 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/25 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/
26 -rw-r--r--···0·root·········(0)·root·········(0)····16042·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.glob26 -rw-r--r--···0·root·········(0)·root·········(0)····16042·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.glob
27 -rw-r--r--···0·root·········(0)·root·········(0)·····4450·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.v27 -rw-r--r--···0·root·········(0)·root·········(0)·····4450·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.v
28 -rw-r--r--···0·root·········(0)·root·········(0)····46990·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.vo28 -rw-r--r--···0·root·········(0)·root·········(0)····46990·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.vo
Offset 33, 15 lines modifiedOffset 33, 15 lines modified
33 -rw-r--r--···0·root·········(0)·root·········(0)·····8362·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.v33 -rw-r--r--···0·root·········(0)·root·········(0)·····8362·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.v
34 -rw-r--r--···0·root·········(0)·root·········(0)···118520·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.vo34 -rw-r--r--···0·root·········(0)·root·········(0)···118520·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.vo
35 -rw-r--r--···0·root·········(0)·root·········(0)····17186·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.glob35 -rw-r--r--···0·root·········(0)·root·········(0)····17186·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.glob
36 -rw-r--r--···0·root·········(0)·root·········(0)·····4000·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.v36 -rw-r--r--···0·root·········(0)·root·········(0)·····4000·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.v
37 -rw-r--r--···0·root·········(0)·root·········(0)····47074·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.vo37 -rw-r--r--···0·root·········(0)·root·········(0)····47074·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.vo
38 -rw-r--r--···0·root·········(0)·root·········(0)····21693·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.glob38 -rw-r--r--···0·root·········(0)·root·········(0)····21693·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.glob
39 -rw-r--r--···0·root·········(0)·root·········(0)·····4605·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.v39 -rw-r--r--···0·root·········(0)·root·········(0)·····4605·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.v
40 -rw-r--r--···0·root·········(0)·root·········(0)···389667·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.vo40 -rw-r--r--···0·root·········(0)·root·········(0)···389660·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.vo
41 -rw-r--r--···0·root·········(0)·root·········(0)····26588·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.glob41 -rw-r--r--···0·root·········(0)·root·········(0)····26588·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.glob
42 -rw-r--r--···0·root·········(0)·root·········(0)····10115·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.v42 -rw-r--r--···0·root·········(0)·root·········(0)····10115·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.v
43 -rw-r--r--···0·root·········(0)·root·········(0)·····8012·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.vo43 -rw-r--r--···0·root·········(0)·root·········(0)·····8012·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.vo
44 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/44 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/
45 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/45 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/
46 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/46 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/
47 -rw-r--r--···0·root·········(0)·root·········(0)······465·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/changelog.Debian.gz47 -rw-r--r--···0·root·········(0)·root·········(0)······465·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/changelog.Debian.gz
1.2 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0004·918a··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·91a5··Coq!..@P........
00000010:·8495·a6be·0000·01ed·0000·005f·0000·014a··..........._...J00000010:·8495·a6be·0000·01ed·0000·005f·0000·014a··..........._...J
00000020:·0000·011a·c0a0·2462·6173·65a0·2864·6572··......$base.(der00000020:·0000·011a·c0a0·2462·6173·65a0·2864·6572··......$base.(der
00000030:·6976·696e·6740·0800·002b·00a0·a027·5072··iving@...+...'Pr00000030:·6976·696e·6740·0800·002b·00a0·a027·5072··iving@...+...'Pr
00000040:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq00000040:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq
00000050:·4090·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%.00000050:·4090·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%.
00000060:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures00000060:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures
00000070:·a022·4842·4090·3066·fafe·7508·e07c·aef0··."HB@.0f..u..|..00000070:·a022·4842·4090·3066·fafe·7508·e07c·aef0··."HB@.0f..u..|..
Offset 28, 16 lines modifiedOffset 28, 16 lines modified
000001b0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat000001b0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat
000001c0:·6863·6f6d·7040·9030·995f·3a4a·03b1·04d9··hcomp@.0._:J....000001c0:·6863·6f6d·7040·9030·995f·3a4a·03b1·04d9··hcomp@.0._:J....
000001d0:·d0e4·1a6b·e8b2·bde2·a0a0·256f·7264·6572··...k......%order000001d0:·d0e4·1a6b·e8b2·bde2·a0a0·256f·7264·6572··...k......%order
000001e0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat000001e0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat
000001f0:·6863·6f6d·7040·9030·44c4·8afb·04a6·6c70··hcomp@.0D.....lp000001f0:·6863·6f6d·7040·9030·44c4·8afb·04a6·6c70··hcomp@.0D.....lp
00000200:·2936·4a47·ea3c·dba2·2535·2e32·2e30·a040··)6JG.<..%5.2.0.@00000200:·2936·4a47·ea3c·dba2·2535·2e32·2e30·a040··)6JG.<..%5.2.0.@
00000210:·400e·39b9·19c6·cb59·e6f5·70bd·e42b·a6ac··@.9....Y..p..+..00000210:·400e·39b9·19c6·cb59·e6f5·70bd·e42b·a6ac··@.9....Y..p..+..
00000220:·7e84·95a6·be00·0341·e300·00d0·8e00·02b4··~......A........00000220:·7e84·95a6·be00·0341·fe00·00d0·8e00·02b4··~......A........
00000230:·6c00·02a5·d8b0·d0a0·2462·6173·65a0·2864··l.......$base.(d00000230:·7200·02a5·deb0·d0a0·2462·6173·65a0·2864··r.......$base.(d
00000240:·6572·6976·696e·6740·e090·0406·4190·a0a0··eriving@....A...00000240:·6572·6976·696e·6740·e090·0406·4190·a0a0··eriving@....A...
00000250:·2665·715f·6571·6290·0800·0027·0040·a080··&eq_eqb....'.@..00000250:·2665·715f·6571·6290·0800·0027·0040·a080··&eq_eqb....'.@..
00000260:·8091·b7a0·9021·5440·9ba0·a090·b0a2·90a0··.....!T@........00000260:·8091·b7a0·9021·5440·9ba0·a090·b0a2·90a0··.....!T@........
00000270:·2665·7174·7970·65a0·2973·7372·6566·6c65··&eqtype.)ssrefle00000270:·2665·7174·7970·65a0·2973·7372·6566·6c65··&eqtype.)ssrefle
00000280:·6374·a028·6d61·7468·636f·6d70·4028·4571··ct.(mathcomp@(Eq00000280:·6374·a028·6d61·7468·636f·6d70·4028·4571··ct.(mathcomp@(Eq
00000290:·7561·6c69·7479·2474·7970·6502·0ac3·7144··uality$type...qD00000290:·7561·6c69·7479·2474·7970·6502·0ac3·7144··uality$type...qD
000002a0:·4004·15b7·a090·2178·40a9·9aa0·90b0·0413··@.....!x@.......000002a0:·4004·15b7·a090·2178·40a9·9aa0·90b0·0413··@.....!x@.......
Offset 4860, 16 lines modifiedOffset 4860, 16 lines modified
00012fb0:·4040·4040·a040·4040·a0c0·e090·2d64·6572··@@@@.@@@....-der00012fb0:·4040·4040·a040·4040·a0c0·e090·2d64·6572··@@@@.@@@....-der
00012fc0:·6976·696e·672e·6261·7365·312e·2f74·6865··iving.base1./the00012fc0:·6976·696e·672e·6261·7365·312e·2f74·6865··iving.base1./the
00012fd0:·6f72·6965·732f·6261·7365·2e76·0102·ea01··ories/base.v....00012fd0:·6f72·6965·732f·6261·7365·2e76·0102·ea01··ories/base.v....
00012fe0:·0325·5d01·02ea·c040·4040·41b0·c391·402f··.%]....@@@A...@/00012fe0:·0325·5d01·02ea·c040·4040·41b0·c391·402f··.%]....@@@A...@/
00012ff0:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical.00012ff0:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical.
00013000:·95a0·9104·5158·040d·a022·5479·9090·9090··....QX..."Ty....00013000:·95a0·9104·5158·040d·a022·5479·9090·9090··....QX..."Ty....
00013010:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@......00013010:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@......
00013020:·9090·4040·4040·4029·3531·3035·3232·3233··..@@@@@)5105222300013020:·9090·4040·4040·4029·3835·3731·3133·3739··..@@@@@)85711379
00013030:·39e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··9.....@%@cast...00013030:·38e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··8.....@%@cast...
00013040:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY.00013040:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY.
00013050:·0640·b0c3·9140·236c·6574·b095·a090·053c··.@...@#let.....<00013050:·0640·b0c3·9140·236c·6574·b095·a090·053c··.@...@#let.....<
00013060:·3a53·e040·3063·6f71·2d62·7569·6c74·696e··:S.@0coq-builtin00013060:·3a53·e040·3063·6f71·2d62·7569·6c74·696e··:S.@0coq-builtin
00013070:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$00013070:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$
00013080:·cfa0·0428·9040·a0b0·a190·0416·0411·e040··...(.@.........@00013080:·cfa0·0428·9040·a0b0·a190·0416·0411·e040··...(.@.........@
00013090:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$...00013090:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$...
000130a0:·2f90·40a0·b0a1·9004·1d04·1ee0·4004·0f01··/.@.........@...000130a0:·2f90·40a0·b0a1·9004·1d04·1ee0·4004·0f01··/.@.........@...
Offset 9607, 9118 lines modifiedOffset 9607, 9120 lines modified
00025860:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@.00025860:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@.
00025870:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i..00025870:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i..
00025880:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@......00025880:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@......
00025890:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r...00025890:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r...
000258a0:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@000258a0:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@
000258b0:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO000258b0:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO
000258c0:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL.000258c0:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL.
000258d0:·4613·0c00·0000·0000·00e9·3e40·4140·a095··F.........>@A@..000258d0:·4613·0c00·0000·0000·00e7·3e40·4140·a095··F.........>@A@..
000258e0:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2.000258e0:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2.
000258f0:·a022·6862·a022·6462·40a0·a0b0·0587·9421··."hb."db@......!000258f0:·a022·6862·a022·6462·40a0·a0b0·0587·9421··."hb."db@......!
00025900:·3202·398b·af24·d005·4626·d0e0·4040·4040··2.9..$..F&..@@@@00025900:·3202·398b·af24·d005·4626·d0e0·4040·4040··2.9..$..F&..@@@@
00025910:·4005·4625·40a0·c005·4624·0546·20b0·c391··@.F%@...F$.F·...00025910:·4005·4625·40a0·c005·4624·0546·20b0·c391··@.F%@...F$.F·...
00025920:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@.00025920:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@.
00025930:·2973·b095·a005·8252·5705·4630·a005·4623··)s.....RW.F0..F#00025930:·2973·b095·a005·8252·5705·4630·a005·4623··)s.....RW.F0..F#
00025940:·9090·9005·2975·4005·4634·a005·4627·9090··....)u@.F4..F'..00025940:·9090·9005·2975·4005·4634·a005·4627·9090··....)u@.F4..F'..
00025950:·9005·2cf3·4005·4638·a005·462b·9090·9005··..,.@.F8..F+....00025950:·9005·2cf3·4005·4638·a005·462b·9090·9005··..,.@.F8..F+....
00025960:·2a29·a0b0·c391·4005·2986·b095·a005·46a2··*)....@.).....F.00025960:·2a29·a0b0·c391·4005·2986·b095·a005·46a2··*)....@.).....F.
00025970:·5705·4643·a005·4636·9090·9005·2988·4005··W.FC..F6....).@.00025970:·5705·4643·a005·4636·9090·9005·2988·4005··W.FC..F6....).@.
00025980:·4647·a005·463a·9090·9005·2a35·a0b0·c391··FG..F:....*5....00025980:·4647·a005·463a·9090·9005·2a35·a0b0·c391··FG..F:....*5....
00025990:·4005·3d08·b095·a091·0582·7958·0546·53a0··@.=.......yX.FS.00025990:·4005·3d08·b095·a091·0582·7958·0546·53a0··@.=.......yX.FS.
000259a0:·0546·4690·9090·053d·0b40·0546·57a0·0546··.FF....=.@.FW..F000259a0:·0546·4690·9090·053d·0b40·0546·57a0·0546··.FF....=.@.FW..F
Diff chunk too large, falling back to line-by-line diff (9098 lines added, 9096 lines removed)
000259b0:·4a90·9090·052a·4340·0546·5ba0·0546·4e90··J....*C@.F[..FN.000259b0:·4a90·9090·052a·4340·0546·5ba0·0546·4e90··J....*C@.F[..FN.
000259c0:·9090·4040·4040·4028·3232·3733·3830·3136··..@@@@@(22738016000259c0:·9090·4040·4040·4029·3935·3435·3335·3333··..@@@@@)95453533
000259d0:·e005·4647·0540·ea05·3f67·0517·2e05·169f··..FG.@..?g......000259d0:·36e0·0546·4705·40ea·053f·6705·172e·0516··6..FG.@..?g.....
000259e0:·0546·640c·0000·0000·00c0·f43e·4041·40a0··.Fd........>@A@.000259e0:·9f05·4664·0c00·0000·0000·00f5·3e40·4140··..Fd........>@A@
000259f0:·95a0·021b·8322·9db0·9005·826e·40a0·0582··.....".....n@...000259f0:·a095·a002·1b83·229d·b090·0582·6e40·a005··......".....n@..
00025a00:·56a0·0582·6540·a095·a002·320a·518f·a005··V...e@....2.Q...00025a00:·8256·a005·8265·40a0·95a0·0232·0a51·8fa0··.V...e@....2.Q..
00025a10:·8274·b091·4040·40a0·95a0·020f·c0a2·b8a0··.t..@@@.........00025a10:·0582·74b0·9140·4040·a095·a002·0fc0·a2b8··..t..@@@........
00025a20:·90e0·4140·4040·4040·a0a0·9190·b005·87f0··..A@@@@@........00025a20:·a090·e041·4040·4040·40a0·a091·90b0·0587··...A@@@@@.......
00025a30:·0582·8102·3996·9d39·a0a0·40a0·90c0·b005··....9..9..@.....00025a30:·f005·8281·0239·969d·39a0·a040·a090·c0b0··.....9..9..@....
00025a40:·87eb·4140·9090·4240·41a0·90c0·b005·827e··..A@..B@A......~00025a40:·0587·eb41·4090·9042·4041·a090·c0b0·0582··...A@..B@A......
00025a50:·4240·9190·4640·41a0·90c0·b005·87e4·4340··B@..F@A.......C@00025a50:·7e42·4091·9046·4041·a090·c0b0·0587·e443··~B@..F@A.......C
00025a60:·9090·4540·41a0·90c0·b005·87de·4440·9004··..E@A.......D@..00025a60:·4090·9045·4041·a090·c0b0·0587·de44·4090··@..E@A.......D@.
00025a70:·0640·41a0·40a0·4040·4040·a095·a002·2760··.@A.@.@@@@....'`00025a70:·0406·4041·a040·a040·4040·40a0·95a0·0227··..@A.@.@@@@....'
00025a80:·a06f·d040·9104·22a0·a005·47a6·40a0·a005··.o.@.."...G.@...00025a80:·60a0·6fd0·4091·0422·a0a0·0547·a640·a0a0··`.o.@.."...G.@..
00025a90:·47a4·40a0·40a0·40a0·40a0·4040·a090·40a0··G.@.@.@.@.@@..@.00025a90:·0547·a440·a040·a040·a040·a040·40a0·9040··.G.@.@.@.@.@@..@
00025aa0:·9041·a040·a040·a090·9205·87eb·a040·40d0··.A.@.@.......@@.00025aa0:·a090·41a0·40a0·40a0·9092·0587·eba0·4040··..A.@.@.......@@
00025ab0:·d040·40a0·0547·bb40·4041·41a0·0547·b840··.@@..G.@@AA..G.@00025ab0:·d0d0·4040·a005·47bb·4040·4141·a005·47b8··..@@..G.@@AA..G.
00025ac0:·d0d0·4005·47b5·a005·47aa·4040·4105·47a7··..@.G...G.@@A.G.00025ac0:·40d0·d040·0547·b5a0·0547·aa40·4041·0547··@..@.G...G.@@A.G
00025ad0:·a005·47a3·40d0·d040·0547·a1a0·0547·a040··..G.@..@.G...G.@00025ad0:·a7a0·0547·a340·d0d0·4005·47a1·a005·47a0··...G.@..@.G...G.
00025ae0:·4041·0547·9ca0·0547·9840·4042·4344·a095··@A.G...G.@@BCD..00025ae0:·4040·4105·479c·a005·4798·4040·4243·44a0··@@A.G...G.@@BCD.
00025af0:·a002·0fc0·a2b8·a0a2·0449·9046·a0a0·9105··.........I.F....00025af0:·95a0·020f·c0a2·b8a0·a204·4990·46a0·a091··..........I.F...
00025b00:·8207·a0a0·40a0·90c0·b005·8832·4140·4041··....@......2A@@A00025b00:·0582·07a0·a040·a090·c0b0·0588·3241·4040··.....@......2A@@
00025b10:·41a0·40a0·90c0·b005·8824·4340·4041·41a0··A.@......$C@@AA.00025b10:·4141·a040·a090·c0b0·0588·2443·4040·4141··AA.@......$C@@AA
00025b20:·90c0·b005·881c·4440·4041·41a0·40a0·4040··......D@@AA.@.@@00025b20:·a090·c0b0·0588·1c44·4040·4141·a040·a040··.......D@@AA.@.@
00025b30:·4040·a095·a002·0058·969d·b042·2864·6572··@@.....X...B(der00025b30:·4040·40a0·95a0·0200·5896·9db0·4228·6465··@@@.....X...B(de
00025b40:·6976·696e·6791·a0a0·9091·0582·22e0·4440··iving.......".D@00025b40:·7269·7669·6e67·91a0·a090·9105·8222·e044··riving.......".D
00025b50:·9004·0340·a040·40a0·9491·0582·28b0·0588··...@.@@.....(...00025b50:·4090·0403·40a0·4040·a094·9105·8228·b005··@...@.@@.....(..
00025b60:·592f·6465·7269·7669·6e67·2e62·6173·6523··Y/deriving.base#00025b60:·8859·2f64·6572·6976·696e·672e·6261·7365··.Y/deriving.base
00025b70:·3102·18b5·39b3·40a0·95a0·0225·63f6·3f08··1...9.@....%c.?.00025b70:·2331·0218·b539·b340·a095·a002·2563·f63f··#1...9.@....%c.?
00025b80:·0000·2300·4090·2e64·6572·6976·696e·675f··..#.@..deriving_00025b80:·0800·0023·0040·902e·6465·7269·7669·6e67··...#.@..deriving
00025b90:·7363·6f70·65a0·a0a0·057f·eab0·a0b0·4091··scope.........@.00025b90:·5f73·636f·7065·a0a0·a005·7fea·b0a0·b040··_scope.........@
00025ba0:·6890·40a0·4040·4040·a0a0·057f·ecb0·a0b0··h.@.@@@@........00025ba0:·9168·9040·a040·4040·40a0·a005·7fec·b0a0··.h.@.@@@@.......
00025bb0:·4090·6890·41a0·4040·4040·40a2·a091·90b0··@.h.A.@@@@@.....00025bb0:·b040·9068·9041·a040·4040·4040·a2a0·9190··.@.h.A.@@@@@....
00025bc0:·0582·4126·6574·7261·6e73·0215·4c7c·0c40··..A&etrans..L|.@00025bc0:·b005·8241·2665·7472·616e·7302·154c·7c0c··...A&etrans..L|.
00025bd0:·a094·b004·07a0·4190·2141·41a0·94b0·040d··......A.!AA.....00025bd0:·40a0·94b0·0407·a041·9021·4141·a094·b004··@......A.!AA....
00025be0:·a042·9021·7841·a094·b004·13a0·4390·2179··.B.!xA......C.!y00025be0:·0da0·4290·2178·41a0·94b0·0413·a043·9021··..B.!xA......C.!
00025bf0:·41a0·94b0·0419·a044·9021·7a41·a091·0580··A......D.!zA....00025bf0:·7941·a094·b004·19a0·4490·217a·41a0·9105··yA......D.!zA...
00025c00:·18a0·9105·8014·4040·9042·40a0·054b·04a0··......@@.B@..K..00025c00:·8018·a091·0580·1440·4090·4240·a005·4b04··.......@@.B@..K.
00025c10:·a005·889c·4027·6531·202a·2065·3240·a095··....@'e1·*·e2@..00025c10:·a0a0·0588·9c40·2765·3120·2a20·6532·40a0··.....@'e1·*·e2@.
00025c20:·a002·2563·f63f·0800·0023·0040·902e·6465··..%c.?...#.@..de00025c20:·95a0·0225·63f6·3f08·0000·2300·4090·2e64··...%c.?...#.@..d
00025c30:·7269·7669·6e67·5f73·636f·7065·a0a0·a005··riving_scope....00025c30:·6572·6976·696e·675f·7363·6f70·65a0·a0a0··eriving_scope...
00025c40:·8313·b0a0·b040·9143·9040·a040·4040·4040··.....@.C.@.@@@@@00025c40:·0583·13b0·a0b0·4091·4390·40a0·4040·4040··......@.C.@.@@@@
00025c50:·a2a0·9190·b005·8277·2465·7379·6d02·057c··.......w$esym..|00025c50:·40a2·a091·90b0·0582·7724·6573·796d·0205··@.......w$esym..
00025c60:·8bc7·40a0·94b0·0407·a041·9004·3641·a094··..@......A..6A..00025c60:·7c8b·c740·a094·b004·07a0·4190·0436·41a0··|..@......A..6A.
00025c70:·b004·0ca0·4290·0435·41a0·94b0·0411·a043··....B..5A......C00025c70:·94b0·040c·a042·9004·3541·a094·b004·11a0··.....B..5A......
00025c80:·9004·3441·a091·0583·3040·4004·2b40·a005··..4A....0@@.+@..00025c80:·4390·0434·41a0·9105·8330·4040·042b·40a0··C..4A....0@@.+@.
00025c90:·4ae3·a0a0·0588·c640·2565·205e·2d31·40a0··J......@%e·^-1@.00025c90:·054a·e3a0·a005·88c6·4025·6520·5e2d·3140··.J......@%e·^-1@
00025ca0:·95a0·021b·8322·9db0·9005·8301·40a0·0582··....."......@...00025ca0:·a095·a002·1b83·229d·b090·0583·0140·a005··......"......@..
00025cb0:·eea0·0582·f840·a095·a002·320a·518f·a005··.....@....2.Q...00025cb0:·82ee·a005·82f8·40a0·95a0·0232·0a51·8fa0··......@....2.Q..
00025cc0:·8307·b091·4040·40a0·95a0·020f·c0a2·b8a0··....@@@.........00025cc0:·0583·07b0·9140·4040·a095·a002·0fc0·a2b8··.....@@@........
00025cd0:·9004·eaa0·a091·90b0·0588·d905·8313·023a··...............:00025cd0:·a090·04ea·a0a0·9190·b005·88d9·0583·1302··................
00025ce0:·5b5e·82a0·a040·a090·c0b0·0588·d441·4090··[^...@.......A@.00025ce0:·3a5b·5e82·a0a0·40a0·90c0·b005·88d4·4140··:[^...@.......A@
00025cf0:·9042·4041·a090·c0b0·0583·6742·4091·9046··.B@A......gB@..F00025cf0:·9090·4240·41a0·90c0·b005·8367·4240·9190··..B@A......gB@..
00025d00:·4041·a090·c0b0·0588·cd43·4090·9045·4041··@A.......C@..E@A00025d00:·4640·41a0·90c0·b005·88cd·4340·9090·4540··F@A.......C@..E@
00025d10:·a090·c0b0·0588·c744·4090·0406·4041·a040··.......D@...@A.@00025d10:·41a0·90c0·b005·88c7·4440·9004·0640·41a0··A.......D@...@A.
00025d20:·a040·4040·40a0·95a0·0227·60a0·6fd0·4091··.@@@@....'`.o.@.00025d20:·40a0·4040·4040·a095·a002·2760·a06f·d040··@.@@@@....'`.o.@
00025d30:·0422·a0a0·0548·8f40·a0a0·0548·8d40·a040··."...H.@...H.@.@00025d30:·9104·22a0·a005·488f·40a0·a005·488d·40a0··.."...H.@...H.@.
00025d40:·a040·a040·40a0·9040·a090·41a0·40a0·40a0··.@.@@..@..A.@.@.00025d40:·40a0·40a0·4040·a090·40a0·9041·a040·a040··@.@.@@..@..A.@.@
00025d50:·9092·0588·d340·04e7·a095·a002·1b83·229d··.....@........".00025d50:·a090·9205·88d3·4004·e7a0·95a0·021b·8322··......@........"
00025d60:·b090·0582·cf40·a005·82bc·a005·82c6·40a0··.....@........@.00025d60:·9db0·9005·82cf·40a0·0582·bca0·0582·c640··......@........@
00025d70:·95a0·0232·0a51·8fa0·0582·d5b0·9140·4040··...2.Q.......@@@00025d70:·a095·a002·320a·518f·a005·82d5·b091·4040··....2.Q.......@@
00025d80:·a095·a002·0fc0·a2b8·a090·0501·31a0·a091··............1...00025d80:·40a0·95a0·020f·c0a2·b8a0·9005·0131·a0a0··@............1..
Max diff block lines reached; -1/1260153 bytes (-0.00%) of diff not shown.
4.81 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.vo
    
Offset 1, 52 lines modifiedOffset 1, 52 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0000·0286··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0000·0286··Coq!..@P........
00000010:·8495·a6be·0000·00d9·0000·002c·0000·0097··...........,....00000010:·8495·a6be·0000·00d9·0000·002c·0000·0097··...........,....
00000020:·0000·0082·c0a0·2864·6572·6976·696e·67a0··......(deriving.00000020:·0000·0082·c0a0·2864·6572·6976·696e·67a0··......(deriving.
00000030:·0402·40d0·a0a0·2750·7265·6c75·6465·a024··..@...'Prelude.$00000030:·0402·40d0·a0a0·2750·7265·6c75·6465·a024··..@...'Prelude.$
00000040:·496e·6974·a023·436f·7140·9030·6e1e·a766··Init.#Coq@.0n..f00000040:·496e·6974·a023·436f·7140·9030·6e1e·a766··Init.#Coq@.0n..f
00000050:·5334·e4bc·65c3·cc25·eb7f·ca42·a0a0·2369··S4..e..%...B..#i00000050:·5334·e4bc·65c3·cc25·eb7f·ca42·a0a0·2369··S4..e..%...B..#i
00000060:·6e64·a028·6465·7269·7669·6e67·4090·304d··nd.(deriving@.0M00000060:·6e64·a028·6465·7269·7669·6e67·4090·3007··nd.(deriving@.0.
00000070:·6959·ce51·d2be·de47·2688·fd03·be41·f8a0··iY.Q...G&....A..00000070:·3ba5·3633·26c7·0ce6·6873·afe7·917a·37a0··;.63&...hs...z7.
00000080:·a027·7461·6374·6963·73a0·2864·6572·6976··.'tactics.(deriv00000080:·a027·7461·6374·6963·73a0·2864·6572·6976··.'tactics.(deriv
00000090:·696e·6740·9030·cc45·efbe·e6ee·22f2·452c··ing@.0.E....".E,00000090:·696e·6740·9030·7fae·18b0·238d·3596·16ab··ing@.0....#.5...
000000a0:·1499·8652·0e77·a0a0·2569·6e66·6572·a028··...R.w..%infer.(000000a0:·d1ab·42ec·47a5·a0a0·2569·6e66·6572·a028··..B.G...%infer.(
000000b0:·6465·7269·7669·6e67·4090·3072·c20a·f565··deriving@.0r...e000000b0:·6465·7269·7669·6e67·4090·300a·69aa·6265··deriving@.0.i.be
000000c0:·cd23·13c6·e044·b240·2c04·efa0·a029·696e··.#...D.@,....)in000000c0:·bd0c·d75a·c12e·09e7·a075·58a0·a029·696e··...Z.....uX..)in
000000d0:·7374·616e·6365·73a0·2864·6572·6976·696e··stances.(derivin000000d0:·7374·616e·6365·73a0·2864·6572·6976·696e··stances.(derivin
000000e0:·6740·9030·339a·844b·80cd·ce76·d2f1·e284··g@.03..K...v....000000e0:·6740·9030·7e51·e958·9fbf·1fbd·2839·0b45··g@.0~Q.X....(9.E
000000f0:·4979·58ea·2535·2e32·2e30·a040·40fc·31cf··IyX.%5.2.0.@@.1.000000f0:·a8af·2fde·2535·2e32·2e30·a040·4008·e1bd··../.%5.2.0.@@...
00000100:·f716·9386·7ee2·4c48·49be·efe5·ac84·95a6··....~.LHI.......00000100:·d106·df80·b35a·7926·f929·71b1·8384·95a6··.....Zy&.)q.....
00000110:·be00·0000·fc00·0000·6600·0001·2100·0001··........f...!...00000110:·be00·0000·fc00·0000·6600·0001·2100·0001··........f...!...
00000120:·18b0·d0a0·2864·6572·6976·696e·67a0·0402··....(deriving...00000120:·18b0·d0a0·2864·6572·6976·696e·67a0·0402··....(deriving...
00000130:·40e0·9004·0541·9040·40a0·4040·9040·a040··@....A.@@.@@.@.@00000130:·40e0·9004·0541·9040·40a0·4040·9040·a040··@....A.@@.@@.@.@
00000140:·4090·a0a0·2969·6e73·7461·6e63·6573·a028··@...)instances.(00000140:·4090·a0a0·2969·6e73·7461·6e63·6573·a028··@...)instances.(
00000150:·6465·7269·7669·6e67·4090·3033·9a84·4b80··deriving@.03..K.00000150:·6465·7269·7669·6e67·4090·307e·51e9·589f··deriving@.0~Q.X.
00000160:·cdce·76d2·f1e2·8449·7958·ea90·40a0·a094··..v....IyX..@...00000160:·bf1f·bd28·390b·45a8·af2f·de90·40a0·a094··...(9.E../..@...
00000170:·a0a0·4090·a023·696e·6404·1840·a094·a0a0··..@..#ind..@....00000170:·a0a0·4090·a023·696e·6404·1840·a094·a0a0··..@..#ind..@....
00000180:·4090·a027·7461·6374·6963·7304·1f40·a094··@..'tactics..@..00000180:·4090·a027·7461·6374·6963·7304·1f40·a094··@..'tactics..@..
00000190:·a0a0·4090·a025·696e·6665·7204·2640·a094··..@..%infer.&@..00000190:·a0a0·4090·a025·696e·6665·7204·2640·a094··..@..%infer.&@..
000001a0:·a0a0·4090·a029·696e·7374·616e·6365·7304··..@..)instances.000001a0:·a0a0·4090·a029·696e·7374·616e·6365·7304··..@..)instances.
000001b0:·2d40·a094·a0a0·4090·a026·636f·6d70·6174··-@....@..&compat000001b0:·2d40·a094·a0a0·4090·a026·636f·6d70·6174··-@....@..&compat
000001c0:·0434·40a0·94a0·a040·9004·2340·a094·a0a0··.4@....@..#@....000001c0:·0434·40a0·94a0·a040·9004·2340·a094·a0a0··.4@....@..#@....
000001d0:·4090·0421·40a0·94a0·a040·9004·1f40·a094··@..!@....@...@..000001d0:·4090·0421·40a0·94a0·a040·9004·1f40·a094··@..!@....@...@..
000001e0:·a0a0·4090·041d·40a0·94a0·a040·9004·1b40··..@...@....@...@000001e0:·a0a0·4090·041d·40a0·94a0·a040·9004·1b40··..@...@....@...@
000001f0:·4040·a0a0·94a0·a040·041a·40a0·94a0·a040··@@.....@..@....@000001f0:·4040·a0a0·94a0·a040·041a·40a0·94a0·a040··@@.....@..@....@
00000200:·0419·40a0·94a0·a040·0418·40a0·94a0·a040··..@....@..@....@00000200:·0419·40a0·94a0·a040·0418·40a0·94a0·a040··..@....@..@....@
00000210:·0417·40a0·94a0·a040·0416·4040·40e2·1c47··..@....@..@@@..G00000210:·0417·40a0·94a0·a040·0416·4040·4007·3499··..@....@..@@@.4.
00000220:·a409·aa58·8e78·6377·0d2e·468b·c584·95a6··...X.xcw..F.....00000220:·fde2·7cf2·2141·fca8·1a65·8e4c·2784·95a6··..|.!A...e.L'...
00000230:·be00·0000·0100·0000·0000·0000·0000·0000··................00000230:·be00·0000·0100·0000·0000·0000·0000·0000··................
00000240:·0080·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\."00000240:·0080·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\."
00000250:·ade9·8495·a6be·0000·0010·0000·0004·0000··................00000250:·ade9·8495·a6be·0000·0010·0000·0004·0000··................
00000260:·000d·0000·000c·a0a0·2864·6572·6976·696e··........(derivin00000260:·000d·0000·000c·a0a0·2864·6572·6976·696e··........(derivin
00000270:·67a0·0402·4080·c004·7aac·4b91·0d23·35dd··g...@...z.K..#5.00000270:·67a0·0402·4080·c004·7aac·4b91·0d23·35dd··g...@...z.K..#5.
00000280:·3097·9a23·fc59·0000·0004·0000·0007·6c69··0..#.Y........li00000280:·3097·9a23·fc59·0000·0004·0000·0007·6c69··0..#.Y........li
00000290:·6272·6172·7900·0000·0000·0001·0d00·0000··brary...........00000290:·6272·6172·7900·0000·0000·0001·0d00·0000··brary...........
000002a0:·0000·0001·10e2·1c47·a409·aa58·8e78·6377··.......G...X.xcw000002a0:·0000·0001·1007·3499·fde2·7cf2·2141·fca8··......4...|.!A..
000002b0:·0d2e·468b·c500·0000·076f·7061·7175·6573··..F......opaques000002b0:·1a65·8e4c·2700·0000·076f·7061·7175·6573··.e.L'....opaques
000002c0:·0000·0000·0000·022d·0000·0000·0000·0015··.......-........000002c0:·0000·0000·0000·022d·0000·0000·0000·0015··.......-........
000002d0:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\."..000002d0:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\."..
000002e0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary.....000002e0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary.....
000002f0:·0000·1000·0000·0000·0000·edfc·31cf·f716··............1...000002f0:·0000·1000·0000·0000·0000·ed08·e1bd·d106··................
00000300:·9386·7ee2·4c48·49be·efe5·ac00·0000·0976··..~.LHI........v00000300:·df80·b35a·7926·f929·71b1·8300·0000·0976··...Zy&.)q......v
00000310:·6d6c·6962·7261·7279·0000·0000·0000·0252··mlibrary.......R00000310:·6d6c·6962·7261·7279·0000·0000·0000·0252··mlibrary.......R
00000320:·0000·0000·0000·0024·c004·7aac·4b91·0d23··.......$..z.K..#00000320:·0000·0000·0000·0024·c004·7aac·4b91·0d23··.......$..z.K..#
00000330:·35dd·3097·9a23·fc59······················5.0..#.Y00000330:·35dd·3097·9a23·fc59······················5.0..#.Y
623 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0004·8e10··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·8e16··Coq!..@P........
00000010:·8495·a6be·0000·0204·0000·0065·0000·015c··...........e...\00000010:·8495·a6be·0000·0204·0000·0065·0000·015c··...........e...\
00000020:·0000·012b·c0a0·2369·6e64·a028·6465·7269··...+..#ind.(deri00000020:·0000·012b·c0a0·2369·6e64·a028·6465·7269··...+..#ind.(deri
00000030:·7669·6e67·4008·0000·2f00·a0a0·2750·7265··ving@.../...'Pre00000030:·7669·6e67·4008·0000·2f00·a0a0·2750·7265··ving@.../...'Pre
00000040:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@00000040:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@
00000050:·9030·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%..00000050:·9030·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%..
00000060:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures.00000060:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures.
00000070:·2248·4240·9030·66fa·fe75·08e0·7cae·f088··"HB@.0f..u..|...00000070:·2248·4240·9030·66fa·fe75·08e0·7cae·f088··"HB@.0f..u..|...
Offset 24, 21 lines modifiedOffset 24, 21 lines modified
00000170:·6de1·3204·a0a0·2663·686f·6963·65a0·2973··m.2...&choice.)s00000170:·6de1·3204·a0a0·2663·686f·6963·65a0·2973··m.2...&choice.)s
00000180:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco00000180:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco
00000190:·6d70·4090·30e5·7cb2·fae8·3861·91a7·7fcf··mp@.0.|...8a....00000190:·6d70·4090·30e5·7cb2·fae8·3861·91a7·7fcf··mp@.0.|...8a....
000001a0:·bb7e·62a2·21a0·a027·6669·6e74·7970·65a0··.~b.!..'fintype.000001a0:·bb7e·62a2·21a0·a027·6669·6e74·7970·65a0··.~b.!..'fintype.
000001b0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math000001b0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math
000001c0:·636f·6d70·4090·3099·5f3a·4a03·b104·d9d0··comp@.0._:J.....000001c0:·636f·6d70·4090·3099·5f3a·4a03·b104·d9d0··comp@.0._:J.....
000001d0:·e41a·6be8·b2bd·e2a0·a024·6261·7365·a028··..k......$base.(000001d0:·e41a·6be8·b2bd·e2a0·a024·6261·7365·a028··..k......$base.(
000001e0:·6465·7269·7669·6e67·4090·30ae·4bdc·9ca1··deriving@.0.K...000001e0:·6465·7269·7669·6e67·4090·307a·1168·d699··deriving@.0z.h..
000001f0:·c100·acba·6224·eb09·dc5b·15a0·a026·5a41··....b$...[...&ZA000001f0:·b17d·6090·d167·9615·5797·eaa0·a026·5a41··.}`..g..W....&ZA
00000200:·7269·7468·a004·02a0·2343·6f71·4090·3014··rith....#Coq@.0.00000200:·7269·7468·a004·02a0·2343·6f71·4090·3014··rith....#Coq@.0.
00000210:·dfef·374d·8064·e4fa·1afb·ae0a·a4ec·2925··..7M.d........)%00000210:·dfef·374d·8064·e4fa·1afb·ae0a·a4ec·2925··..7M.d........)%
00000220:·352e·322e·30a0·4040·36f2·67ac·7a07·65c8··5.2.0.@@6.g.z.e. 
00000230:·0eb3·8b39·f47c·d0a7·8495·a6be·0003·a5c3··...9.|..........00000220:·352e·322e·30a0·4040·1bf6·7af9·3934·fa20··5.2.0.@@..z.94.·
 00000230:·4734·f085·8aeb·1221·8495·a6be·0003·a5c9··G4.....!........
00000240:·0000·e495·0003·0872·0002·faef·b0d0·a023··.......r.......#00000240:·0000·e495·0003·0875·0002·faf2·b0d0·a023··.......u.......#
00000250:·696e·64a0·2864·6572·6976·696e·6740·e090··ind.(deriving@..00000250:·696e·64a0·2864·6572·6976·696e·6740·e090··ind.(deriving@..
00000260:·0406·4190·a0a0·2966·756e·5f73·706c·6974··..A...)fun_split00000260:·0406·4190·a0a0·2966·756e·5f73·706c·6974··..A...)fun_split
00000270:·9108·0000·3f00·9008·0000·4300·0405·a0a0··....?.....C.....00000270:·9108·0000·3f00·9008·0000·4300·0405·a0a0··....?.....C.....
00000280:·a090·2254·7340·b6a0·4040·a99a·a090·b090··.."Ts@..@@......00000280:·a090·2254·7340·b6a0·4040·a99a·a090·b090··.."Ts@..@@......
00000290:·a024·6261·7365·a004·1b40·2366·696e·0239··.$base...@#fin.900000290:·a024·6261·7365·a004·1b40·2366·696e·0239··.$base...@#fin.9
000002a0:·8c47·01a0·8080·9090·4304·01a0·a0a0·9021··.G......C......!000002a0:·8c47·01a0·8080·9090·4304·01a0·a0a0·9021··.G......C......!
000002b0:·5440·9041·a0a0·a090·2152·4094·90a0·a0a0··T@.A....!R@.....000002b0:·5440·9041·a0a0·a090·2152·4094·90a0·a0a0··T@.A....!R@.....
Offset 4906, 16 lines modifiedOffset 4906, 16 lines modified
00013290:·41b0·0515·b442·0514·aa40·42b0·0513·ab42··A....B...@B....B00013290:·41b0·0515·b442·0514·aa40·42b0·0513·ab42··A....B...@B....B
000132a0:·051e·f7c0·c040·b005·06ea·4205·1efa·4041··.....@....B...@A000132a0:·051e·f7c0·c040·b005·06ea·4205·1efa·4041··.....@....B...@A
000132b0:·b005·06e1·4205·1efb·c040·b005·1044·4205··....B....@...DB.000132b0:·b005·06e1·4205·1efb·c040·b005·1044·4205··....B....@...DB.
000132c0:·0f07·c040·b005·1046·4205·0e76·4041·4243··...@...FB..v@ABC000132c0:·0f07·c040·b005·1046·4205·0e76·4041·4243··...@...FB..v@ABC
000132d0:·4445·4849·4a4b·4da0·a0a0·265a·4172·6974··DEHIJKM...&ZArit000132d0:·4445·4849·4a4b·4da0·a0a0·265a·4172·6974··DEHIJKM...&ZArit
000132e0:·68a0·0402·a023·436f·7140·9030·14df·ef37··h....#Coq@.0...7000132e0:·68a0·0402·a023·436f·7140·9030·14df·ef37··h....#Coq@.0...7
000132f0:·4d80·64e4·fa1a·fbae·0aa4·ec29·a005·3d33··M.d........)..=3000132f0:·4d80·64e4·fa1a·fbae·0aa4·ec29·a005·3d33··M.d........)..=3
00013300:·9030·ae4b·dc9c·a1c1·00ac·ba62·24eb·09dc··.0.K.......b$...00013300:·9030·7a11·68d6·99b1·7d60·90d1·6796·1557··.0z.h...}`..g..W
00013310:·5b15·9040·a0a0·95a0·021d·041a·fca0·40a0··[..@..........@.00013310:·97ea·9040·a0a0·95a0·021d·041a·fca0·40a0··...@..........@.
00013320:·a040·275f·202d·463e·205f·c0a0·a040·5ea0··.@'_·-F>·_...@^.00013320:·a040·275f·202d·463e·205f·c0a0·a040·5ea0··.@'_·-F>·_...@^.
00013330:·905e·a090·5e40·a0b1·4040·a090·5ea0·4090··.^..^@..@@..^.@.00013330:·905e·a090·5e40·a0b1·4040·a090·5ea0·4090··.^..^@..@@..^.@.
00013340:·40a0·b140·40a0·905e·a041·0406·4090·a0d0··@..@@..^.A..@...00013340:·40a0·b140·40a0·905e·a041·0406·4090·a0d0··@..@@..^.A..@...
00013350:·a0a0·405e·0414·4004·19a0·a0a1·a140·0412··..@^..@......@..00013350:·a0a0·405e·0414·4004·19a0·a0a1·a140·0412··..@^..@......@..
00013360:·9005·3fbf·a0a0·4123·2d46·3ea0·a1a1·4004··..?...A#-F>...@.00013360:·9005·3fbf·a0a0·4123·2d46·3ea0·a1a1·4004··..?...A#-F>...@.
00013370:·1390·0536·0340·40a0·041c·a004·1740·4090··...6.@@......@@.00013370:·1390·0536·0340·40a0·041c·a004·1740·4090··...6.@@......@@.
00013380:·a040·a0a0·a590·40a0·a040·90b0·4090·5e90··.@....@..@..@.^.00013380:·a040·a0a0·a590·40a0·a040·90b0·4090·5e90··.@....@..@..@.^.
Offset 9329, 16 lines modifiedOffset 9329, 16 lines modified
00024700:·ff55·d025·322e·302e·35d0·e040·4040·4040··.U.%2.0.5..@@@@@00024700:·ff55·d025·322e·302e·35d0·e040·4040·4040··.U.%2.0.5..@@@@@
00024710:·a040·4040·a0c0·e090·0520·5730·2e2f·7468··.@@@.....·W0./th00024710:·a040·4040·a0c0·e090·0520·5730·2e2f·7468··.@@@.....·W0./th
00024720:·656f·7269·6573·2f69·6e64·2e76·0176·1d01··eories/ind.v.v..00024720:·656f·7269·6573·2f69·6e64·2e76·0176·1d01··eories/ind.v.v..
00024730:·765d·0104·3301·761d·c040·4040·41b0·c391··v]..3.v..@@@A...00024730:·765d·0104·3301·761d·c040·4040·41b0·c391··v]..3.v..@@@A...
00024740:·402f·6c6f·6361·6c2d·6361·6e6f·6e69·6361··@/local-canonica00024740:·402f·6c6f·6361·6c2d·6361·6e6f·6e69·6361··@/local-canonica
00024750:·6cb0·95a0·9104·6058·040c·a022·5479·9090··l.....`X..."Ty..00024750:·6cb0·95a0·9104·6058·040c·a022·5479·9090··l.....`X..."Ty..
00024760:·9090·2863·6f6e·7374·616e·7440·0413·a004··..(constant@....00024760:·9090·2863·6f6e·7374·616e·7440·0413·a004··..(constant@....
00024770:·0790·9090·4040·4040·4029·3131·3637·3833··....@@@@@)11678300024770:·0790·9090·4040·4040·4029·3339·3136·3839··....@@@@@)391689
00024780:·3536·35e0·d0d0·d0d0·4025·4063·6173·74a0··565.....@%@cast.00024780:·3739·35e0·d0d0·d0d0·4025·4063·6173·74a0··795.....@%@cast.
00024790:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T00024790:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T
000247a0:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....000247a0:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....
000247b0:·0586·aa53·e040·3063·6f71·2d62·7569·6c74··...S.@0coq-built000247b0:·0586·aa53·e040·3063·6f71·2d62·7569·6c74··...S.@0coq-built
000247c0:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$....000247c0:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$....
000247d0:·0124·cfa0·0428·9040·a0b0·a190·0416·0411··.$...(.@........000247d0:·0124·cfa0·0428·9040·a0b0·a190·0416·0411··.$...(.@........
000247e0:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$.000247e0:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$.
000247f0:·a004·2f90·40a0·b0a1·9004·1d04·1ee0·4004··../.@.........@.000247f0:·a004·2f90·40a0·b0a1·9004·1d04·1ee0·4004··../.@.........@.
Offset 14076, 15 lines modifiedOffset 14076, 15 lines modified
00036fb0:·5801·0562·6701·0558·d040·0517·08a0·a090··X..bg..X.@......00036fb0:·5801·0562·6701·0558·d040·0517·08a0·a090··X..bg..X.@......
00036fc0:·40a0·9040·a090·41a0·9041·40e0·4005·1669··@..@..A..A@.@..i00036fc0:·40a0·9040·a090·41a0·9041·40e0·4005·1669··@..@..A..A@.@..i
00036fd0:·0101·ac01·01d5·4c01·01ac·d040·0517·07a0··......L....@....00036fd0:·0101·ac01·01d5·4c01·01ac·d040·0517·07a0··......L....@....
00036fe0:·a090·40a0·9041·a090·4140·e040·0516·7201··..@..A..A@.@..r.00036fe0:·a090·40a0·9041·a090·4140·e040·0516·7201··..@..A..A@.@..r.
00036ff0:·01d7·0102·034d·0101·d7d0·4005·1705·a0a0··.....M....@.....00036ff0:·01d7·0102·034d·0101·d7d0·4005·1705·a0a0··.....M....@.....
00037000:·9040·a090·4140·e040·0516·7901·022a·0102··.@..A@.@..y..*..00037000:·9040·a090·4140·e040·0516·7901·022a·0102··.@..A@.@..y..*..
00037010:·424f·0102·2a40·4142·4344·4546·4748·494b··BO..*@ABCDEFGHIK00037010:·424f·0102·2a40·4142·4344·4546·4748·494b··BO..*@ABCDEFGHIK
00037020:·4c05·4612·0c00·0000·0000·00e9·3e40·4140··L.F.........>@A@00037020:·4c05·4612·0c00·0000·0000·80eb·3e40·4140··L.F.........>@A@
00037030:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_00037030:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_
00037040:·32c0·a022·6862·a022·6462·40a0·a0b0·05d5··2.."hb."db@.....00037040:·32c0·a022·6862·a022·6462·40a0·a0b0·05d5··2.."hb."db@.....
00037050:·4221·3202·21cb·ff56·d005·4625·d0e0·4040··B!2.!..V..F%..@@00037050:·4221·3202·21cb·ff56·d005·4625·d0e0·4040··B!2.!..V..F%..@@
00037060:·4040·4005·4624·40a0·c005·4623·0546·20b0··@@@.F$@...F#.F·.00037060:·4040·4005·4624·40a0·c005·4623·0546·20b0··@@@.F$@...F#.F·.
00037070:·c391·4005·2a19·b0c3·9140·052c·eab0·c391··..@.*....@.,....00037070:·c391·4005·2a19·b0c3·9140·052c·eab0·c391··..@.*....@.,....
00037080:·4005·3ce6·b095·a091·05a2·6458·0546·30a0··@.<.......dX.F0.00037080:·4005·3ce6·b095·a091·05a2·6458·0546·30a0··@.<.......dX.F0.
00037090:·0546·2490·9090·053c·e940·0546·34a0·0546··.F$....<.@.F4..F00037090:·0546·2490·9090·053c·e940·0546·34a0·0546··.F$....<.@.F4..F
Offset 14092, 4578 lines modifiedOffset 14092, 4578 lines modified
000370b0:·9090·052a·2aa0·b0c3·9140·0529·87b0·95a0··...**....@.)....000370b0:·9090·052a·2aa0·b0c3·9140·0529·87b0·95a0··...**....@.)....
000370c0:·a090·b0a2·9005·9acb·05a1·e705·a30d·0219··................000370c0:·a090·b0a2·9005·9acb·05a1·e705·a30d·0219··................
000370d0:·fd21·8840·5705·4648·a005·463c·9090·9005··.!.@W.FH..F<....000370d0:·fd21·8840·5705·4648·a005·463c·9090·9005··.!.@W.FH..F<....
000370e0:·298e·4005·464c·a005·4640·9090·9005·2a3b··).@.FL..F@....*;000370e0:·298e·4005·464c·a005·4640·9090·9005·2a3b··).@.FL..F@....*;
000370f0:·a0b0·c391·4005·3d0e·b095·a091·0547·3058··....@.=......G0X000370f0:·a0b0·c391·4005·3d0e·b095·a091·0547·3058··....@.=......G0X
00037100:·0546·58a0·0546·4c90·9090·053d·1140·0546··.FX..FL....=.@.F00037100:·0546·58a0·0546·4c90·9090·053d·1140·0546··.FX..FL....=.@.F
Diff chunk too large, falling back to line-by-line diff (4571 lines added, 4571 lines removed)
00037110:·5ca0·0546·5090·9090·052a·4940·0546·60a0··\..FP....*I@.F`.00037110:·5ca0·0546·5090·9090·052a·4940·0546·60a0··\..FP....*I@.F`.
00037120:·0546·5490·9090·4040·4040·4029·3834·3133··.FT...@@@@@)841300037120:·0546·5490·9090·4040·4040·402a·3130·3633··.FT...@@@@@*1063
00037130:·3839·3737·31e0·0546·4d05·40f0·053f·6d05··89771..FM.@..?m.00037130:·3932·3038·3832·e005·464d·0540·f005·3f6d··920882..FM.@..?m
00037140:·1734·0516·a505·4669·0c00·0000·0000·00f4··.4....Fi........00037140:·0517·3405·16a5·0546·690c·0000·0000·00c0··..4....Fi.......
00037150:·3e40·4140·a095·a002·0058·969d·b042·2864··>@A@.....X...B(d00037150:·f33e·4041·40a0·95a0·0200·5896·9db0·4228··.>@A@.....X...B(
00037160:·6572·6976·696e·6791·a0a0·9091·90b0·05a2··eriving.........00037160:·6465·7269·7669·6e67·91a0·a090·9190·b005··deriving........
00037170:·3105·d563·0223·dcce·ace0·4440·9004·0540··1..c.#....D@...@00037170:·a231·05d5·6302·23dc·ceac·e044·4090·0405··.1..c.#....D@...
00037180:·0592·0ca0·9491·0407·b005·d59e·3064·6572··............0der00037180:·4005·920c·a094·9104·07b0·05d5·9e30·6465··@............0de
00037190:·6976·696e·672e·696e·6423·3131·3402·0748··iving.ind#114..H00037190:·7269·7669·6e67·2e69·6e64·2331·3134·0207··riving.ind#114..
000371a0:·d94a·40a0·95a0·0200·5896·9db0·4228·6465··.J@.....X...B(de000371a0:·48d9·4a40·a095·a002·0058·969d·b042·2864··H.J@.....X...B(d
000371b0:·7269·7669·6e67·91a0·a090·9190·b005·a244··riving.........D000371b0:·6572·6976·696e·6791·a0a0·9091·90b0·05a2··eriving.........
000371c0:·05b4·8c02·24cd·c4b7·e044·4090·0405·4005··....$....D@...@.000371c0:·4405·b48c·0224·cdc4·b7e0·4440·9004·0540··D....$....D@...@
000371d0:·921f·a094·9104·07b0·05d5·b130·6465·7269··...........0deri000371d0:·0592·1fa0·9491·0407·b005·d5b1·3064·6572··............0der
000371e0:·7669·6e67·2e69·6e64·2331·3135·0207·48d9··ving.ind#115..H.000371e0:·6976·696e·672e·696e·6423·3131·3502·0748··iving.ind#115..H
000371f0:·4b40·a095·a002·0058·969d·b042·2864·6572··K@.....X...B(der000371f0:·d94b·40a0·95a0·0200·5896·9db0·4228·6465··.K@.....X...B(de
00037200:·6976·696e·6791·a0a0·9091·90b0·05a2·5705··iving.........W.00037200:·7269·7669·6e67·91a0·a090·9190·b005·a257··riving.........W
00037210:·b4a5·0223·e7db·bce0·4440·9004·0540·0592··...#....D@...@..00037210:·05b4·a502·23e7·dbbc·e044·4090·0405·4005··....#....D@...@.
00037220:·32a0·9491·0407·b005·d5c4·3064·6572·6976··2.........0deriv00037220:·9232·a094·9104·07b0·05d5·c430·6465·7269··.2.........0deri
00037230:·696e·672e·696e·6423·3131·3602·0748·d94c··ing.ind#116..H.L00037230:·7669·6e67·2e69·6e64·2331·3136·0207·48d9··ving.ind#116..H.
00037240:·40a0·95a0·0200·5896·9db0·4228·6465·7269··@.....X...B(deri00037240:·4c40·a095·a002·0058·969d·b042·2864·6572··L@.....X...B(der
00037250:·7669·6e67·91a0·a090·9105·a26a·e044·4090··ving.......j.D@.00037250:·6976·696e·6791·a0a0·9091·05a2·6ae0·4440··iving.......j.D@
00037260:·0403·4005·9243·a094·9105·a26f·b005·d5d5··..@..C.....o....00037260:·9004·0340·0592·43a0·9491·05a2·6fb0·05d5··...@..C.....o...
00037270:·3064·6572·6976·696e·672e·696e·6423·3131··0deriving.ind#1100037270:·d530·6465·7269·7669·6e67·2e69·6e64·2331··.0deriving.ind#1
00037280:·3702·0748·d94d·40a0·95a0·0200·5896·9db0··7..H.M@.....X...00037280:·3137·0207·48d9·4d40·a095·a002·0058·969d··17..H.M@.....X..
00037290:·4228·6465·7269·7669·6e67·91a0·a090·9190··B(deriving......00037290:·b042·2864·6572·6976·696e·6791·a0a0·9091··.B(deriving.....
000372a0:·b005·a27b·05a3·7e02·2336·d6be·e044·4090··...{..~.#6...D@.000372a0:·90b0·05a2·7b05·a37e·0223·36d6·bee0·4440··....{..~.#6...D@
000372b0:·0405·4005·9256·a094·9104·07b0·05d5·e830··..@..V.........0000372b0:·9004·0540·0592·56a0·9491·0407·b005·d5e8··...@..V.........
000372c0:·6465·7269·7669·6e67·2e69·6e64·2331·3138··deriving.ind#118000372c0:·3064·6572·6976·696e·672e·696e·6423·3131··0deriving.ind#11
000372d0:·0207·48d9·4e40·a095·a002·0058·969d·b042··..H.N@.....X...B000372d0:·3802·0748·d94e·40a0·95a0·0200·5896·9db0··8..H.N@.....X...
000372e0:·2864·6572·6976·696e·6791·a0a0·9091·90b0··(deriving.......000372e0:·4228·6465·7269·7669·6e67·91a0·a090·9190··B(deriving......
000372f0:·05a2·8e05·a2c5·0234·418e·1ce0·4440·9004··.......4A...D@..000372f0:·b005·a28e·05a2·c502·3441·8e1c·e044·4090··........4A...D@.
00037300:·0540·0592·69a0·9491·0407·b005·d5fb·3064··.@..i.........0d00037300:·0405·4005·9269·a094·9104·07b0·05d5·fb30··..@..i.........0
00037310:·6572·6976·696e·672e·696e·6423·3131·3902··eriving.ind#119.00037310:·6465·7269·7669·6e67·2e69·6e64·2331·3139··deriving.ind#119
00037320:·0748·d94f·40a0·a005·a23b·a040·90a0·95a0··.H.O@....;.@....00037320:·0207·48d9·4f40·a0a0·05a2·3ba0·4090·a095··..H.O@....;.@...
00037330:·021c·4e24·fda0·05bf·4e90·a0a0·05bf·51a0··..N$....N.....Q.00037330:·a002·1c4e·24fd·a005·bf4e·90a0·a005·bf51··...N$....N.....Q
00037340:·05b3·6540·40a0·95a0·020f·c0a2·b8a0·a105··..e@@...........00037340:·a005·b365·4040·a095·a002·0fc0·a2b8·a0a1··...e@@..........
00037350:·a1ea·e041·4040·4040·40a0·a092·a005·a1ef··...A@@@@@.......00037350:·05a1·eae0·4140·4040·4040·a0a0·92a0·05a1··....A@@@@@......
00037360:·40a0·a040·4040·a0a0·93a0·0407·41a0·a040··@..@@@......A..@00037360:·ef40·a0a0·4040·40a0·a093·a004·0741·a0a0··.@..@@@......A..
Max diff block lines reached; -1/637402 bytes (-0.00%) of diff not shown.
4.82 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.vo
    
Offset 25, 28 lines modifiedOffset 25, 28 lines modified
00000180:·62a2·21a0·a027·6669·6e74·7970·65a0·2973··b.!..'fintype.)s00000180:·62a2·21a0·a027·6669·6e74·7970·65a0·2973··b.!..'fintype.)s
00000190:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco00000190:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco
000001a0:·6d70·4090·3099·5f3a·4a03·b104·d9d0·e41a··mp@.0._:J.......000001a0:·6d70·4090·3099·5f3a·4a03·b104·d9d0·e41a··mp@.0._:J.......
000001b0:·6be8·b2bd·e2a0·a025·6f72·6465·72a0·2973··k......%order.)s000001b0:·6be8·b2bd·e2a0·a025·6f72·6465·72a0·2973··k......%order.)s
000001c0:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco000001c0:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco
000001d0:·6d70·4090·3044·c48a·fb04·a66c·7029·364a··mp@.0D.....lp)6J000001d0:·6d70·4090·3044·c48a·fb04·a66c·7029·364a··mp@.0D.....lp)6J
000001e0:·47ea·3cdb·a2a0·a024·6261·7365·a028·6465··G.<....$base.(de000001e0:·47ea·3cdb·a2a0·a024·6261·7365·a028·6465··G.<....$base.(de
000001f0:·7269·7669·6e67·4090·30ae·4bdc·9ca1·c100··riving@.0.K.....000001f0:·7269·7669·6e67·4090·307a·1168·d699·b17d··riving@.0z.h...}
00000200:·acba·6224·eb09·dc5b·15a0·a023·696e·64a0··..b$...[...#ind.00000200:·6090·d167·9615·5797·eaa0·a023·696e·64a0··`..g..W....#ind.
00000210:·2864·6572·6976·696e·6740·9030·4d69·59ce··(deriving@.0MiY.00000210:·2864·6572·6976·696e·6740·9030·073b·a536··(deriving@.0.;.6
00000220:·51d2·bede·4726·88fd·03be·41f8·a0a0·2774··Q...G&....A...'t00000220:·3326·c70c·e668·73af·e791·7a37·a0a0·2774··3&...hs...z7..'t
00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving
00000240:·4090·30cc·45ef·bee6·ee22·f245·2c14·9986··@.0.E....".E,... 
00000250:·520e·7725·352e·322e·30a0·4040·7d00·b6b8··R.w%5.2.0.@@}... 
00000260:·f0f3·e03b·00ba·a7e2·f6ef·501a·8495·a6be··...;......P.....00000240:·4090·307f·ae18·b023·8d35·9616·abd1·ab42··@.0....#.5.....B
 00000250:·ec47·a525·352e·322e·30a0·4040·a910·753e··.G.%5.2.0.@@..u>
 00000260:·d12a·31e8·51a9·0862·9a47·46c5·8495·a6be··.*1.Q..b.GF.....
00000270:·0000·20e6·0000·0964·0000·1d85·0000·1d0a··..·....d........00000270:·0000·20e6·0000·0964·0000·1d85·0000·1d0a··..·....d........
00000280:·b0d0·a025·696e·6665·72a0·2864·6572·6976··...%infer.(deriv00000280:·b0d0·a025·696e·6665·72a0·2864·6572·6976··...%infer.(deriv
00000290:·696e·6740·e090·0406·4190·4040·a040·4090··ing@....A.@@.@@.00000290:·696e·6740·e090·0406·4190·4040·a040·4090··ing@....A.@@.@@.
000002a0:·40a0·4040·90a0·a027·7461·6374·6963·73a0··@.@@...'tactics.000002a0:·40a0·4040·90a0·a027·7461·6374·6963·73a0··@.@@...'tactics.
000002b0:·2864·6572·6976·696e·6740·9030·cc45·efbe··(deriving@.0.E..000002b0:·2864·6572·6976·696e·6740·9030·7fae·18b0··(deriving@.0....
000002c0:·e6ee·22f2·452c·1499·8652·0e77·9040·a0a0··..".E,...R.w.@..000002c0:·238d·3596·16ab·d1ab·42ec·47a5·9040·a0a0··#.5.....B.G..@..
000002d0:·95a0·021d·041a·fca0·40a0·a040·305b·2069··........@..@0[·i000002d0:·95a0·021d·041a·fca0·40a0·a040·305b·2069··........@..@0[·i
000002e0:·6e64·4465·6620·666f·7220·5f20·5dc0·a0a0··ndDef·for·_·]...000002e0:·6e64·4465·6620·666f·7220·5f20·5dc0·a0a0··ndDef·for·_·]...
000002f0:·4040·a040·40a0·b140·40a0·4140·4090·a0d0··@@.@@..@@.A@@...000002f0:·4040·a040·40a0·b140·40a0·4140·4090·a0d0··@@.@@..@@.A@@...
00000300:·a0a0·4040·0409·4004·0ea0·a0a0·4121·5ba0··..@@..@.....A![.00000300:·a0a0·4040·0409·4004·0ea0·a0a0·4121·5ba0··..@@..@.....A![.
00000310:·a040·2669·6e64·4465·66a0·a041·2366·6f72··.@&indDef..A#for00000310:·a040·2669·6e64·4465·66a0·a041·2366·6f72··.@&indDef..A#for
00000320:·a0a1·a140·0413·9024·7265·6374·a0a0·4121··...@...$rect..A!00000320:·a0a1·a140·0413·9024·7265·6374·a0a0·4121··...@...$rect..A!
00000330:·5d40·40a0·041a·4040·90a0·40a0·a094·225b··]@@...@@..@..."[00000330:·5d40·40a0·041a·4040·90a0·40a0·a094·225b··]@@...@@..@..."[
Offset 560, 26 lines modifiedOffset 560, 26 lines modified
000022f0:·0501·bb41·a094·b004·16a0·4490·044d·41a0··...A......D..MA.000022f0:·0501·bb41·a094·b004·16a0·4490·044d·41a0··...A......D..MA.
00002300:·9104·8540·a091·0508·2340·9105·08c8·4005··...@....#@....@.00002300:·9104·8540·a091·0508·2340·9105·08c8·4005··...@....#@....@.
00002310:·0134·40a0·0508·70a0·a005·0961·4009·445b··.4@...p....a@.D[00002310:·0134·40a0·0508·70a0·a005·0961·4009·445b··.4@...p....a@.D[
00002320:·2027·696e·6665·7227·2027·696e·6454·7970···'infer'·'indTyp00002320:·2027·696e·6665·7227·2027·696e·6454·7970···'infer'·'indTyp
00002330:·6527·2027·6f66·2720·5420·2777·6974·6827··e'·'of'·T·'with'00002330:·6527·2027·6f66·2720·5420·2777·6974·6827··e'·'of'·T·'with'
00002340:·2070·726f·6a20·2761·7327·2073·5420·6e20···proj·'as'·sT·n·00002340:·2070·726f·6a20·2761·7327·2073·5420·6e20···proj·'as'·sT·n·
00002350:·736f·7274·7320·4420·6344·2027·696e·2720··sorts·D·cD·'in'·00002350:·736f·7274·7320·4420·6344·2027·696e·2720··sorts·D·cD·'in'·
00002360:·6520·5d40·4040·72c2·0af5·65cd·2313·c6e0··e·]@@@r...e.#...00002360:·6520·5d40·4040·0a69·aa62·65bd·0cd7·5ac1··e·]@@@.i.be...Z.
00002370:·44b2·402c·04ef·8495·a6be·0000·0001·0000··D.@,............00002370:·2e09·e7a0·7558·8495·a6be·0000·0001·0000··....uX..........
00002380:·0000·0000·0000·0000·0000·8061·44c8·6cd4··...........aD.l.00002380:·0000·0000·0000·0000·0000·8061·44c8·6cd4··...........aD.l.
00002390:·a168·cd70·495a·5cc4·22ad·e984·95a6·be00··.h.pIZ\.".......00002390:·a168·cd70·495a·5cc4·22ad·e984·95a6·be00··.h.pIZ\.".......
000023a0:·0000·1400·0000·0500·0000·1000·0000·0ea0··................000023a0:·0000·1400·0000·0500·0000·1000·0000·0ea0··................
000023b0:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin000023b0:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin
000023c0:·6740·809c·fffd·2618·1c04·2d51·7aaf·ecec··g@....&...-Qz...000023c0:·6740·809c·fffd·2618·1c04·2d51·7aaf·ecec··g@....&...-Qz...
000023d0:·9b72·0d00·0000·0400·0000·076c·6962·7261··.r.........libra000023d0:·9b72·0d00·0000·0400·0000·076c·6962·7261··.r.........libra
000023e0:·7279·0000·0000·0000·026c·0000·0000·0000··ry.......l......000023e0:·7279·0000·0000·0000·026c·0000·0000·0000··ry.......l......
000023f0:·20fa·72c2·0af5·65cd·2313·c6e0·44b2·402c···.r...e.#...D.@,000023f0:·20fa·0a69·aa62·65bd·0cd7·5ac1·2e09·e7a0···..i.be...Z.....
00002400:·04ef·0000·0007·6f70·6171·7565·7300·0000··......opaques...00002400:·7558·0000·0007·6f70·6171·7565·7300·0000··uX....opaques...
00002410:·0000·0023·7600·0000·0000·0000·1561·44c8··...#v........aD.00002410:·0000·0023·7600·0000·0000·0000·1561·44c8··...#v........aD.
00002420:·6cd4·a168·cd70·495a·5cc4·22ad·e900·0000··l..h.pIZ\.".....00002420:·6cd4·a168·cd70·495a·5cc4·22ad·e900·0000··l..h.pIZ\.".....
00002430:·0773·756d·6d61·7279·0000·0000·0000·0010··.summary........00002430:·0773·756d·6d61·7279·0000·0000·0000·0010··.summary........
00002440:·0000·0000·0000·024c·7d00·b6b8·f0f3·e03b··.......L}......; 
00002450:·00ba·a7e2·f6ef·501a·0000·0009·766d·6c69··......P.....vmli00002440:·0000·0000·0000·024c·a910·753e·d12a·31e8··.......L..u>.*1.
 00002450:·51a9·0862·9a47·46c5·0000·0009·766d·6c69··Q..b.GF.....vmli
00002460:·6272·6172·7900·0000·0000·0023·9b00·0000··brary......#....00002460:·6272·6172·7900·0000·0000·0023·9b00·0000··brary......#....
00002470:·0000·0000·289c·fffd·2618·1c04·2d51·7aaf··....(...&...-Qz.00002470:·0000·0000·289c·fffd·2618·1c04·2d51·7aaf··....(...&...-Qz.
00002480:·ecec·9b72·0d·····························...r.00002480:·ecec·9b72·0d·····························...r.
6.32 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.vo
    
Offset 26, 24 lines modifiedOffset 26, 24 lines modified
00000190:·a027·6669·6e74·7970·65a0·2973·7372·6566··.'fintype.)ssref00000190:·a027·6669·6e74·7970·65a0·2973·7372·6566··.'fintype.)ssref
000001a0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@.000001a0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@.
000001b0:·3099·5f3a·4a03·b104·d9d0·e41a·6be8·b2bd··0._:J.......k...000001b0:·3099·5f3a·4a03·b104·d9d0·e41a·6be8·b2bd··0._:J.......k...
000001c0:·e2a0·a025·6f72·6465·72a0·2973·7372·6566··...%order.)ssref000001c0:·e2a0·a025·6f72·6465·72a0·2973·7372·6566··...%order.)ssref
000001d0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@.000001d0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@.
000001e0:·3044·c48a·fb04·a66c·7029·364a·47ea·3cdb··0D.....lp)6JG.<.000001e0:·3044·c48a·fb04·a66c·7029·364a·47ea·3cdb··0D.....lp)6JG.<.
000001f0:·a2a0·a024·6261·7365·a028·6465·7269·7669··...$base.(derivi000001f0:·a2a0·a024·6261·7365·a028·6465·7269·7669··...$base.(derivi
00000200:·6e67·4090·30ae·4bdc·9ca1·c100·acba·6224··ng@.0.K.......b$00000200:·6e67·4090·307a·1168·d699·b17d·6090·d167··ng@.0z.h...}`..g
00000210:·eb09·dc5b·15a0·a023·696e·64a0·2864·6572··...[...#ind.(der00000210:·9615·5797·eaa0·a023·696e·64a0·2864·6572··..W....#ind.(der
00000220:·6976·696e·6740·9030·4d69·59ce·51d2·bede··iving@.0MiY.Q... 
00000230:·4726·88fd·03be·41f8·a0a0·2774·6163·7469··G&....A...'tacti00000220:·6976·696e·6740·9030·073b·a536·3326·c70c··iving@.0.;.63&..
 00000230:·e668·73af·e791·7a37·a0a0·2774·6163·7469··.hs...z7..'tacti
00000240:·6373·a028·6465·7269·7669·6e67·4090·30cc··cs.(deriving@.0.00000240:·6373·a028·6465·7269·7669·6e67·4090·307f··cs.(deriving@.0.
00000250:·45ef·bee6·ee22·f245·2c14·9986·520e·77a0··E....".E,...R.w.00000250:·ae18·b023·8d35·9616·abd1·ab42·ec47·a5a0··...#.5.....B.G..
00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin
00000270:·6740·9030·72c2·0af5·65cd·2313·c6e0·44b2··g@.0r...e.#...D.00000270:·6740·9030·0a69·aa62·65bd·0cd7·5ac1·2e09··g@.0.i.be...Z...
00000280:·402c·04ef·2535·2e32·2e30·a040·40f4·8470··@,..%5.2.0.@@..p00000280:·e7a0·7558·2535·2e32·2e30·a040·40c7·aa7d··..uX%5.2.0.@@..}
00000290:·d4e2·c208·cbfb·6152·9474·8101·9984·95a6··......aR.t......00000290:·2017·ae91·9abb·2d4f·c58e·e7a1·aa84·95a6···.....-O........
000002a0:·be00·005a·8100·0013·7400·0043·3800·0040··...Z....t..C8..@000002a0:·be00·005a·8100·0013·7400·0043·3800·0040··...Z....t..C8..@
000002b0:·22b0·d0a0·2665·7174·7970·65a0·2969·6e73··"...&eqtype.)ins000002b0:·22b0·d0a0·2665·7174·7970·65a0·2969·6e73··"...&eqtype.)ins
000002c0:·7461·6e63·6573·a028·6465·7269·7669·6e67··tances.(deriving000002c0:·7461·6e63·6573·a028·6465·7269·7669·6e67··tances.(deriving
000002d0:·40e0·9004·0841·90a0·a029·4465·7245·7154··@....A...)DerEqT000002d0:·40e0·9004·0841·90a0·a029·4465·7245·7154··@....A...)DerEqT
000002e0:·7970·6593·e0a2·0408·0404·4190·a0a0·2c65··ype.......A...,e000002e0:·7970·6593·e0a2·0408·0404·4190·a0a0·2c65··ype.......A...,e
000002f0:·715f·6f70·5f62·7261·6e63·6890·0800·0027··q_op_branch....'000002f0:·715f·6f70·5f62·7261·6e63·6890·0800·0027··q_op_branch....'
00000300:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@....00000300:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@....
Offset 1126, 16 lines modifiedOffset 1126, 16 lines modified
00004650:·6ec0·40b0·048b·4205·02a7·4041·4445·46b0··n.@...B...@ADEF.00004650:·6ec0·40b0·048b·4205·02a7·4041·4445·46b0··n.@...B...@ADEF.
00004660:·045f·4205·01ba·c0c0·40b0·0501·8742·0501··._B.....@....B..00004660:·045f·4205·01ba·c0c0·40b0·0501·8742·0501··._B.....@....B..
00004670:·c840·41b0·0501·8242·050c·20c0·c040·b005··.@A....B..·..@..00004670:·c840·41b0·0501·8242·050c·20c0·c040·b005··.@A....B..·..@..
00004680:·0c23·4205·0185·c040·b005·0bd7·4205·0187··.#B....@....B...00004680:·0c23·4205·0185·c040·b005·0bd7·4205·0187··.#B....@....B...
00004690:·4041·42b0·050b·d842·050c·26c0·40b0·050c··@AB....B..&.@...00004690:·4041·42b0·050b·d842·050c·26c0·40b0·050c··@AB....B..&.@...
000046a0:·9c42·0501·c640·4143·4447·4849·4a90·a0a0··.B...@ACDGHIJ...000046a0:·9c42·0501·c640·4143·4447·4849·4a90·a0a0··.B...@ACDGHIJ...
000046b0:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving000046b0:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving
000046c0:·4090·3072·c20a·f565·cd23·13c6·e044·b240··@.0r...e.#...D.@000046c0:·4090·300a·69aa·6265·bd0c·d75a·c12e·09e7··@.0.i.be...Z....
000046d0:·2c04·ef90·40a0·a0a0·050c·d8a0·4090·40a0··,...@.......@.@.000046d0:·a075·5890·40a0·a0a0·050c·d8a0·4090·40a0··.uX.@.......@.@.
000046e0:·95a0·021d·041a·fca0·40a0·a040·3f5b·2064··........@..@?[·d000046e0:·95a0·021d·041a·fca0·40a0·a040·3f5b·2064··........@..@?[·d
000046f0:·6572·6976·6520·6e6f·7265·6420·6861·7344··erive·nored·hasD000046f0:·6572·6976·6520·6e6f·7265·6420·6861·7344··erive·nored·hasD
00004700:·6563·4571·2066·6f72·205f·205d·c0a0·a040··ecEq·for·_·]...@00004700:·6563·4571·2066·6f72·205f·205d·c0a0·a040··ecEq·for·_·]...@
00004710:·40a0·4040·a0b1·4040·a041·4040·90a0·d0a0··@.@@..@@.A@@....00004710:·40a0·4040·a0b1·4040·a041·4040·90a0·d0a0··@.@@..@@.A@@....
00004720:·a040·4004·0940·040e·a0a0·a041·215b·a0a0··.@@..@.....A![..00004720:·a040·4004·0940·040e·a0a0·a041·215b·a0a0··.@@..@.....A![..
00004730:·4026·6465·7269·7665·a0a0·4025·6e6f·7265··@&derive..@%nore00004730:·4026·6465·7269·7665·a0a0·4025·6e6f·7265··@&derive..@%nore
00004740:·64a0·a040·2868·6173·4465·6345·71a0·a041··d..@(hasDecEq..A00004740:·64a0·a040·2868·6173·4465·6345·71a0·a041··d..@(hasDecEq..A
Offset 1485, 16 lines modifiedOffset 1485, 16 lines modified
00005cc0:·90a0·902e·6465·7269·7669·6e67·2030·2e32··....deriving·0.200005cc0:·90a0·902e·6465·7269·7669·6e67·2030·2e32··....deriving·0.2
00005cd0:·2e30·9009·2855·7365·205b·6465·7269·7665··.0..(Use·[derive00005cd0:·2e30·9009·2855·7365·205b·6465·7269·7665··.0..(Use·[derive
00005ce0:·206c·617a·7920·6861·7344·6563·4571·2066···lazy·hasDecEq·f00005ce0:·206c·617a·7920·6861·7344·6563·4571·2066···lazy·hasDecEq·f
00005cf0:·6f72·205f·5d20·696e·7374·6561·6440·a005··or·_]·instead@..00005cf0:·6f72·205f·5d20·696e·7374·6561·6440·a005··or·_]·instead@..
00005d00:·0547·a0a0·0513·7140·0925·5b20·2764·6572··.G....q@.%[·'der00005d00:·0547·a0a0·0513·7140·0925·5b20·2764·6572··.G....q@.%[·'der
00005d10:·6976·6527·2027·6c61·7a79·2720·2765·714d··ive'·'lazy'·'eqM00005d10:·6976·6527·2027·6c61·7a79·2720·2765·714d··ive'·'lazy'·'eqM
00005d20:·6978·696e·2720·2766·6f72·2720·5420·5d40··ixin'·'for'·T·]@00005d20:·6978·696e·2720·2766·6f72·2720·5420·5d40··ixin'·'for'·T·]@
00005d30:·4040·3dfd·067a·8657·20f0·7d03·ec32·b8db··@@=..z.W·.}..2..00005d30:·4040·377f·4c14·dfe9·248a·b4b1·9ac5·d31a··@@7.L...$.......
00005d40:·471b·8495·a6be·0000·5347·0000·10cc·0000··G.......SG......00005d40:·3786·8495·a6be·0000·5347·0000·10cc·0000··7.......SG......
00005d50:·39d8·0000·3974·9090·a0b7·a090·2169·40a9··9...9t......!i@.00005d50:·39d8·0000·3974·9090·a0b7·a090·2169·40a9··9...9t......!i@.
00005d60:·9aa0·90b0·90a0·2462·6173·65a0·2864·6572··......$base.(der00005d60:·9aa0·90b0·90a0·2462·6173·65a0·2864·6572··......$base.(der
00005d70:·6976·696e·6740·2366·696e·0239·8c47·01a0··iving@#fin.9.G..00005d70:·6976·696e·6740·2366·696e·0239·8c47·01a0··iving@#fin.9.G..
00005d80:·8080·9008·0000·0f10·a0c0·a090·b0a2·a290··................00005d80:·8080·9008·0000·0f10·a0c0·a090·b0a2·a290··................
00005d90:·a023·696e·6404·1023·496e·6423·4465·6624··.#ind..#Ind#Def$00005d90:·a023·696e·6404·1023·496e·6423·4465·6624··.#ind..#Ind#Def$
00005da0:·7479·7065·0229·14f9·ac40·4040·90b0·040a··type.)...@@@....00005da0:·7479·7065·0229·14f9·ac40·4040·90b0·040a··type.)...@@@....
00005db0:·216e·0229·0822·c840·4091·2154·b7a0·9030··!n.).".@@.!T...000005db0:·216e·0229·0822·c840·4091·2154·b7a0·9030··!n.).".@@.!T...0
Offset 2921, 17 lines modifiedOffset 2921, 17 lines modified
0000b680:·2143·0043·0121·092d·0007·4a37·0625·060b··!C.C.!.-..J7.%..0000b680:·2143·0043·0121·092d·0007·4a37·0625·060b··!C.C.!.-..J7.%..
0000b690:·0037·0726·0280·2e7c·1c14·101c·1418·1c0c··.7.&...|........0000b690:·0037·0726·0280·2e7c·1c14·101c·1418·1c0c··.7.&...|........
0000b6a0:·0814·1834·1890·9090·a0a0·a003·0016·0236··...4...........60000b6a0:·0814·1834·1890·9090·a0a0·a003·0016·0236··...4...........6
0000b6b0:·ff81·6e78·90b0·a023·696e·64a0·2864·6572··..nx...#ind.(der0000b6b0:·ff81·6e78·90b0·a023·696e·64a0·2864·6572··..nx...#ind.(der
0000b6c0:·6976·696e·6740·2001·05f2·4040·a762·bd26··iving@·...@@.b.&0000b6c0:·6976·696e·6740·2001·05f2·4040·a762·bd26··iving@·...@@.b.&
0000b6d0:·f923·a6c4·5501·c2a6·1204·b346·0000·0004··.#..U......F....0000b6d0:·f923·a6c4·5501·c2a6·1204·b346·0000·0004··.#..U......F....
0000b6e0:·0000·0007·6c69·6272·6172·7900·0000·0000··....library.....0000b6e0:·0000·0007·6c69·6272·6172·7900·0000·0000··....library.....
0000b6f0:·0002·9d00·0000·0000·005a·953d·fd06·7a86··.........Z.=..z.0000b6f0:·0002·9d00·0000·0000·005a·9537·7f4c·14df··.........Z.7.L..
0000b700:·5720·f07d·03ec·32b8·db47·1b00·0000·076f··W·.}..2..G.....o0000b700:·e924·8ab4·b19a·c5d3·1a37·8600·0000·076f··.$.......7.....o
0000b710:·7061·7175·6573·0000·0000·0000·5d42·0000··paques......]B..0000b710:·7061·7175·6573·0000·0000·0000·5d42·0000··paques......]B..
0000b720:·0000·0000·535b·ea0e·1d14·3d90·862e·a1bb··....S[....=.....0000b720:·0000·0000·535b·ea0e·1d14·3d90·862e·a1bb··....S[....=.....
0000b730:·3af9·008f·71e3·0000·0007·7375·6d6d·6172··:...q.....summar0000b730:·3af9·008f·71e3·0000·0007·7375·6d6d·6172··:...q.....summar
0000b740:·7900·0000·0000·0000·1000·0000·0000·0002··y...............0000b740:·7900·0000·0000·0000·1000·0000·0000·0002··y...............
0000b750:·7df4·8470·d4e2·c208·cbfb·6152·9474·8101··}..p......aR.t..0000b750:·7dc7·aa7d·2017·ae91·9abb·2d4f·c58e·e7a1··}..}·.....-O....
0000b760:·9900·0000·0976·6d6c·6962·7261·7279·0000··.....vmlibrary..0000b760:·aa00·0000·0976·6d6c·6962·7261·7279·0000··.....vmlibrary..
0000b770:·0000·0000·b0ad·0000·0000·0000·061f·a762··...............b0000b770:·0000·0000·b0ad·0000·0000·0000·061f·a762··...............b
0000b780:·bd26·f923·a6c4·5501·c2a6·1204·b346·······.&.#..U......F0000b780:·bd26·f923·a6c4·5501·c2a6·1204·b346·······.&.#..U......F
6.25 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/fintype.vo
    
Offset 26, 24 lines modifiedOffset 26, 24 lines modified
00000190:·a0a0·2766·696e·7479·7065·a029·7373·7265··..'fintype.)ssre00000190:·a0a0·2766·696e·7479·7065·a029·7373·7265··..'fintype.)ssre
000001a0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@000001a0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@
000001b0:·9030·995f·3a4a·03b1·04d9·d0e4·1a6b·e8b2··.0._:J.......k..000001b0:·9030·995f·3a4a·03b1·04d9·d0e4·1a6b·e8b2··.0._:J.......k..
000001c0:·bde2·a0a0·256f·7264·6572·a029·7373·7265··....%order.)ssre000001c0:·bde2·a0a0·256f·7264·6572·a029·7373·7265··....%order.)ssre
000001d0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@000001d0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@
000001e0:·9030·44c4·8afb·04a6·6c70·2936·4a47·ea3c··.0D.....lp)6JG.<000001e0:·9030·44c4·8afb·04a6·6c70·2936·4a47·ea3c··.0D.....lp)6JG.<
000001f0:·dba2·a0a0·2462·6173·65a0·2864·6572·6976··....$base.(deriv000001f0:·dba2·a0a0·2462·6173·65a0·2864·6572·6976··....$base.(deriv
00000200:·696e·6740·9030·ae4b·dc9c·a1c1·00ac·ba62··ing@.0.K.......b00000200:·696e·6740·9030·7a11·68d6·99b1·7d60·90d1··ing@.0z.h...}`..
00000210:·24eb·09dc·5b15·a0a0·2369·6e64·a028·6465··$...[...#ind.(de00000210:·6796·1557·97ea·a0a0·2369·6e64·a028·6465··g..W....#ind.(de
00000220:·7269·7669·6e67·4090·304d·6959·ce51·d2be··riving@.0MiY.Q.. 
00000230:·de47·2688·fd03·be41·f8a0·a027·7461·6374··.G&....A...'tact00000220:·7269·7669·6e67·4090·3007·3ba5·3633·26c7··riving@.0.;.63&.
 00000230:·0ce6·6873·afe7·917a·37a0·a027·7461·6374··..hs...z7..'tact
00000240:·6963·73a0·2864·6572·6976·696e·6740·9030··ics.(deriving@.000000240:·6963·73a0·2864·6572·6976·696e·6740·9030··ics.(deriving@.0
00000250:·cc45·efbe·e6ee·22f2·452c·1499·8652·0e77··.E....".E,...R.w00000250:·7fae·18b0·238d·3596·16ab·d1ab·42ec·47a5··....#.5.....B.G.
00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi
00000270:·6e67·4090·3072·c20a·f565·cd23·13c6·e044··ng@.0r...e.#...D00000270:·6e67·4090·300a·69aa·6265·bd0c·d75a·c12e··ng@.0.i.be...Z..
00000280:·b240·2c04·ef25·352e·322e·30a0·4040·521f··.@,..%5.2.0.@@R.00000280:·09e7·a075·5825·352e·322e·30a0·4040·7dd9··...uX%5.2.0.@@}.
00000290:·77db·2794·fb82·85d5·d52a·c876·244e·8495··w.'......*.v$N..00000290:·e4b8·5d42·c42c·fd83·cd23·18fd·ca72·8495··..]B.,...#...r..
000002a0:·a6be·0000·74d2·0000·1ace·0000·5a10·0000··....t.......Z...000002a0:·a6be·0000·74d2·0000·1ace·0000·5a10·0000··....t.......Z...
000002b0:·56d9·b0d0·a027·6669·6e74·7970·65a0·2969··V....'fintype.)i000002b0:·56d9·b0d0·a027·6669·6e74·7970·65a0·2969··V....'fintype.)i
000002c0:·6e73·7461·6e63·6573·a028·6465·7269·7669··nstances.(derivi000002c0:·6e73·7461·6e63·6573·a028·6465·7269·7669··nstances.(derivi
000002d0:·6e67·40e0·9004·0841·90a0·a02a·4465·7246··ng@....A...*DerF000002d0:·6e67·40e0·9004·0841·90a0·a02a·4465·7246··ng@....A...*DerF
000002e0:·696e·5479·7065·93e0·a204·0804·0441·90a0··inType.......A..000002e0:·696e·5479·7065·93e0·a204·0804·0441·90a0··inType.......A..
000002f0:·a024·616c·6c50·9008·0000·2700·40a0·8080··.$allP....'.@...000002f0:·a024·616c·6c50·9008·0000·2700·40a0·8080··.$allP....'.@...
00000300:·919e·a0a0·9042·40b0·90a0·9004·0d40·90b6··.....B@......@..00000300:·919e·a0a0·9042·40b0·90a0·9004·0d40·90b6··.....B@......@..
Offset 1456, 16 lines modifiedOffset 1456, 16 lines modified
00005af0:·f4c0·40b0·0408·4205·0541·c040·b004·1242··..@...B..A.@...B00005af0:·f4c0·40b0·0408·4205·0541·c040·b004·1242··..@...B..A.@...B
00005b00:·0502·1a40·4142·43b0·0501·eb42·0502·36c0··...@ABC....B..6.00005b00:·0502·1a40·4142·43b0·0501·eb42·0502·36c0··...@ABC....B..6.
00005b10:·40b0·0501·e542·0509·68c0·40b0·0501·e742··@....B..h.@....B00005b10:·40b0·0501·e542·0509·68c0·40b0·0501·e742··@....B..h.@....B
00005b20:·0509·5140·4142·4445·b005·118c·4205·0220··..Q@ABDE....B..·00005b20:·0509·5140·4142·4445·b005·118c·4205·0220··..Q@ABDE....B..·
00005b30:·c040·b005·09d3·4205·0222·c040·b005·096f··.@....B..".@...o00005b30:·c040·b005·09d3·4205·0222·c040·b005·096f··.@....B..".@...o
00005b40:·4205·01ec·c040·b005·0958·4205·01ee·4041··B....@...XB...@A00005b40:·4205·01ec·c040·b005·0958·4205·01ee·4041··B....@...XB...@A
00005b50:·4243·4647·4849·4b90·a0a0·2569·6e66·6572··BCFGHIK...%infer00005b50:·4243·4647·4849·4b90·a0a0·2569·6e66·6572··BCFGHIK...%infer
00005b60:·a028·6465·7269·7669·6e67·4090·3072·c20a··.(deriving@.0r..00005b60:·a028·6465·7269·7669·6e67·4090·300a·69aa··.(deriving@.0.i.
00005b70:·f565·cd23·13c6·e044·b240·2c04·ef90·40a0··.e.#...D.@,...@.00005b70:·6265·bd0c·d75a·c12e·09e7·a075·5890·40a0··be...Z.....uX.@.
00005b80:·a0a0·0511·bba0·4090·40a0·95a0·021d·041a··......@.@.......00005b80:·a0a0·0511·bba0·4090·40a0·95a0·021d·041a··......@.@.......
00005b90:·fca0·40a0·a040·395b·2064·6572·6976·6520··..@..@9[·derive·00005b90:·fca0·40a0·a040·395b·2064·6572·6976·6520··..@..@9[·derive·
00005ba0:·6973·4669·6e69·7465·2066·6f72·205f·205d··isFinite·for·_·]00005ba0:·6973·4669·6e69·7465·2066·6f72·205f·205d··isFinite·for·_·]
00005bb0:·c0a0·a040·40a0·4040·a0b1·4040·a041·4040··...@@.@@..@@.A@@00005bb0:·c0a0·a040·40a0·4040·a0b1·4040·a041·4040··...@@.@@..@@.A@@
00005bc0:·90a0·d0a0·a040·4004·0940·040e·a0a0·a041··.....@@..@.....A00005bc0:·90a0·d0a0·a040·4004·0940·040e·a0a0·a041··.....@@..@.....A
00005bd0:·215b·a0a0·4026·6465·7269·7665·a0a0·4028··![..@&derive..@(00005bd0:·215b·a0a0·4026·6465·7269·7665·a0a0·4028··![..@&derive..@(
00005be0:·6973·4669·6e69·7465·a0a0·4123·666f·72a0··isFinite..A#for.00005be0:·6973·4669·6e69·7465·a0a0·4123·666f·72a0··isFinite..A#for.
Offset 1906, 16 lines modifiedOffset 1906, 16 lines modified
00007710:·c190·a090·a090·2e64·6572·6976·696e·6720··.......deriving·00007710:·c190·a090·a090·2e64·6572·6976·696e·6720··.......deriving·
00007720:·302e·322e·3090·0927·5573·6520·5b64·6572··0.2.0..'Use·[der00007720:·302e·322e·3090·0927·5573·6520·5b64·6572··0.2.0..'Use·[der
00007730:·6976·6520·7265·6420·6973·4669·6e69·7465··ive·red·isFinite00007730:·6976·6520·7265·6420·6973·4669·6e69·7465··ive·red·isFinite
00007740:·2066·6f72·205f·5d20·696e·7374·6561·6440···for·_]·instead@00007740:·2066·6f72·205f·5d20·696e·7374·6561·6440···for·_]·instead@
00007750:·a005·0841·a0a0·051a·cb40·0925·5b20·2764··...A.....@.%[·'d00007750:·a005·0841·a0a0·051a·cb40·0925·5b20·2764··...A.....@.%[·'d
00007760:·6572·6976·6527·2027·7265·6427·2027·6669··erive'·'red'·'fi00007760:·6572·6976·6527·2027·7265·6427·2027·6669··erive'·'red'·'fi
00007770:·6e4d·6978·696e·2720·2766·6f72·2720·5420··nMixin'·'for'·T·00007770:·6e4d·6978·696e·2720·2766·6f72·2720·5420··nMixin'·'for'·T·
00007780:·5d40·4040·abc4·d591·834a·2355·0acf·306f··]@@@.....J#U..0o00007780:·5d40·4040·aeae·5119·8290·57de·5a87·081b··]@@@..Q...W.Z...
00007790:·2711·f2f8·8495·a6be·0000·68a4·0000·16ea··'.........h.....00007790:·5d1d·66d3·8495·a6be·0000·68a4·0000·16ea··].f.......h.....
000077a0:·0000·4b6c·0000·4acc·9090·a0b7·a090·2169··..Kl..J.......!i000077a0:·0000·4b6c·0000·4acc·9090·a0b7·a090·2169··..Kl..J.......!i
000077b0:·40a9·9aa0·90b0·90a0·2462·6173·65a0·2864··@.......$base.(d000077b0:·40a9·9aa0·90b0·90a0·2462·6173·65a0·2864··@.......$base.(d
000077c0:·6572·6976·696e·6740·2366·696e·0239·8c47··eriving@#fin.9.G000077c0:·6572·6976·696e·6740·2366·696e·0239·8c47··eriving@#fin.9.G
000077d0:·01a0·8080·9008·0000·0f10·a0c0·a090·b0a2··................000077d0:·01a0·8080·9008·0000·0f10·a0c0·a090·b0a2··................
000077e0:·a290·a023·696e·6404·1023·496e·6423·4465··...#ind..#Ind#De000077e0:·a290·a023·696e·6404·1023·496e·6423·4465··...#ind..#Ind#De
000077f0:·6624·7479·7065·0229·14f9·ac40·4040·90b0··f$type.)...@@@..000077f0:·6624·7479·7065·0229·14f9·ac40·4040·90b0··f$type.)...@@@..
00007800:·040a·216e·0229·0822·c840·40a9·9aa0·90b0··..!n.).".@@.....00007800:·040a·216e·0229·0822·c840·40a9·9aa0·90b0··..!n.).".@@.....
Offset 3766, 17 lines modifiedOffset 3766, 17 lines modified
0000eb50:·4300·4300·3805·0119·0a2d·0204·290a·2a2b··C.C.8....-..).*+0000eb50:·4300·4300·3805·0119·0a2d·0204·290a·2a2b··C.C.8....-..).*+
0000eb60:·0215·3700·2143·010c·0b19·3701·241a·3700··..7.!C....7.$.7.0000eb60:·0215·3700·2143·010c·0b19·3701·241a·3700··..7.!C....7.$.7.
0000eb70:·2143·010d·0c19·3702·244a·4a4a·4a4a·4a4a··!C....7.$JJJJJJJ0000eb70:·2143·010d·0c19·3702·244a·4a4a·4a4a·4a4a··!C....7.$JJJJJJJ
0000eb80:·4a4a·4a4a·3703·250d·1080·297c·2820·2054··JJJJ7.%...)|(··T0000eb80:·4a4a·4a4a·3703·250d·1080·297c·2820·2054··JJJJ7.%...)|(··T
0000eb90:·2010·2038·80f9·1f42·dca1·4fe3·82c1·a921···.·8...B..O....!0000eb90:·2010·2038·80f9·1f42·dca1·4fe3·82c1·a921···.·8...B..O....!
0000eba0:·d2ca·d567·6600·0000·0400·0000·076c·6962··...gf........lib0000eba0:·d2ca·d567·6600·0000·0400·0000·076c·6962··...gf........lib
0000ebb0:·7261·7279·0000·0000·0000·029e·0000·0000··rary............0000ebb0:·7261·7279·0000·0000·0000·029e·0000·0000··rary............
0000ebc0:·0000·74e6·abc4·d591·834a·2355·0acf·306f··..t......J#U..0o0000ebc0:·0000·74e6·aeae·5119·8290·57de·5a87·081b··..t...Q...W.Z...
0000ebd0:·2711·f2f8·0000·0007·6f70·6171·7565·7300··'.......opaques.0000ebd0:·5d1d·66d3·0000·0007·6f70·6171·7565·7300··].f.....opaques.
0000ebe0:·0000·0000·0077·9400·0000·0000·0068·b866··.....w.......h.f0000ebe0:·0000·0000·0077·9400·0000·0000·0068·b866··.....w.......h.f
0000ebf0:·25f0·09b4·05fb·49b9·6fe7·d26e·0089·4900··%.....I.o..n..I.0000ebf0:·25f0·09b4·05fb·49b9·6fe7·d26e·0089·4900··%.....I.o..n..I.
0000ec00:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary......0000ec00:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary......
0000ec10:·0010·0000·0000·0000·027e·521f·77db·2794··.........~R.w.'.0000ec10:·0010·0000·0000·0000·027e·7dd9·e4b8·5d42··.........~}...]B
0000ec20:·fb82·85d5·d52a·c876·244e·0000·0009·766d··.....*.v$N....vm0000ec20:·c42c·fd83·cd23·18fd·ca72·0000·0009·766d··.,...#...r....vm
0000ec30:·6c69·6272·6172·7900·0000·0000·00e0·5c00··library.......\.0000ec30:·6c69·6272·6172·7900·0000·0000·00e0·5c00··library.......\.
0000ec40:·0000·0000·000b·39f9·1f42·dca1·4fe3·82c1··......9..B..O...0000ec40:·0000·0000·000b·39f9·1f42·dca1·4fe3·82c1··......9..B..O...
0000ec50:·a921·d2ca·d567·66························.!...gf0000ec50:·a921·d2ca·d567·66························.!...gf
6.58 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.vo
    
Offset 26, 27 lines modifiedOffset 26, 27 lines modified
00000190:·2766·696e·7479·7065·a029·7373·7265·666c··'fintype.)ssrefl00000190:·2766·696e·7479·7065·a029·7373·7265·666c··'fintype.)ssrefl
000001a0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0000001a0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0
000001b0:·995f·3a4a·03b1·04d9·d0e4·1a6b·e8b2·bde2··._:J.......k....000001b0:·995f·3a4a·03b1·04d9·d0e4·1a6b·e8b2·bde2··._:J.......k....
000001c0:·a0a0·256f·7264·6572·a029·7373·7265·666c··..%order.)ssrefl000001c0:·a0a0·256f·7264·6572·a029·7373·7265·666c··..%order.)ssrefl
000001d0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0000001d0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0
000001e0:·44c4·8afb·04a6·6c70·2936·4a47·ea3c·dba2··D.....lp)6JG.<..000001e0:·44c4·8afb·04a6·6c70·2936·4a47·ea3c·dba2··D.....lp)6JG.<..
000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin
00000200:·6740·9030·ae4b·dc9c·a1c1·00ac·ba62·24eb··g@.0.K.......b$.00000200:·6740·9030·7a11·68d6·99b1·7d60·90d1·6796··g@.0z.h...}`..g.
00000210:·09dc·5b15·a0a0·2369·6e64·a028·6465·7269··..[...#ind.(deri00000210:·1557·97ea·a0a0·2369·6e64·a028·6465·7269··.W....#ind.(deri
00000220:·7669·6e67·4090·304d·6959·ce51·d2be·de47··ving@.0MiY.Q...G00000220:·7669·6e67·4090·3007·3ba5·3633·26c7·0ce6··ving@.0.;.63&...
00000230:·2688·fd03·be41·f8a0·a027·7461·6374·6963··&....A...'tactic00000230:·6873·afe7·917a·37a0·a027·7461·6374·6963··hs...z7..'tactic
00000240:·73a0·2864·6572·6976·696e·6740·9030·cc45··s.(deriving@.0.E00000240:·73a0·2864·6572·6976·696e·6740·9030·7fae··s.(deriving@.0..
00000250:·efbe·e6ee·22f2·452c·1499·8652·0e77·a0a0··....".E,...R.w..00000250:·18b0·238d·3596·16ab·d1ab·42ec·47a5·a0a0··..#.5.....B.G...
00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving
00000270:·4090·3072·c20a·f565·cd23·13c6·e044·b240··@.0r...e.#...D.@00000270:·4090·300a·69aa·6265·bd0c·d75a·c12e·09e7··@.0.i.be...Z....
00000280:·2c04·efa0·a026·636f·6d70·6174·a028·6465··,....&compat.(de00000280:·a075·58a0·a026·636f·6d70·6174·a028·6465··.uX..&compat.(de
00000290:·7269·7669·6e67·4090·30ab·8e90·9bb3·be12··riving@.0.......00000290:·7269·7669·6e67·4090·30ab·8e90·9bb3·be12··riving@.0.......
000002a0:·71f3·a6db·ef6d·c102·c525·352e·322e·30a0··q....m...%5.2.0.000002a0:·71f3·a6db·ef6d·c102·c525·352e·322e·30a0··q....m...%5.2.0.
000002b0:·4040·3cd1·466e·2474·ce3e·4ba6·ea72·b3b1··@@<.Fn$t.>K..r..000002b0:·4040·4668·e3a5·6c59·7100·1c03·ec67·dbe3··@@Fh..lYq....g..
000002c0:·1b5a·8495·a6be·0000·8e77·0000·213c·0000··.Z.......w..!<..000002c0:·0ea6·8495·a6be·0000·8e77·0000·213c·0000··.........w..!<..
000002d0:·6f46·0000·6bbc·b0d0·a025·6f72·6465·72a0··oF..k....%order.000002d0:·6f46·0000·6bbc·b0d0·a025·6f72·6465·72a0··oF..k....%order.
000002e0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri000002e0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri
000002f0:·7669·6e67·40e0·9004·0841·90a0·a02c·4465··ving@....A...,De000002f0:·7669·6e67·40e0·9004·0841·90a0·a02c·4465··ving@....A...,De
00000300:·724f·7264·6572·5479·7065·93e0·a204·0804··rOrderType......00000300:·724f·7264·6572·5479·7065·93e0·a204·0804··rOrderType......
00000310:·0441·90a0·a02f·7061·636b·6564·4f72·6465··.A.../packedOrde00000310:·0441·90a0·a02f·7061·636b·6564·4f72·6465··.A.../packedOrde
00000320:·7254·7970·6591·0800·003f·0090·0800·0043··rType....?.....C00000320:·7254·7970·6591·0800·003f·0090·0800·0043··rType....?.....C
00000330:·0004·0540·90a0·9490·a0a0·a049·4040·a0a0··...@.......I@@..00000330:·0004·0540·90a0·9490·a0a0·a049·4040·a0a0··...@.......I@@..
Offset 1452, 16 lines modifiedOffset 1452, 16 lines modified
00005ab0:·1990·b005·0223·0502·2202·0000·deae·c040··.....#.."......@00005ab0:·1990·b005·0223·0502·2202·0000·deae·c040··.....#.."......@
00005ac0:·b005·0210·42a0·0301·f84b·2de0·44dc·9790··....B....K-.D...00005ac0:·b005·0210·42a0·0301·f84b·2de0·44dc·9790··....B....K-.D...
00005ad0:·b005·0228·0502·2702·0000·deb0·4041·4244··...(..'.....@ABD00005ad0:·b005·0228·0502·2702·0000·deb0·4041·4244··...(..'.....@ABD
00005ae0:·4548·494a·4ba0·a0a0·2663·6f6d·7061·74a0··EHIJK...&compat.00005ae0:·4548·494a·4ba0·a0a0·2663·6f6d·7061·74a0··EHIJK...&compat.
00005af0:·2864·6572·6976·696e·6740·9030·ab8e·909b··(deriving@.0....00005af0:·2864·6572·6976·696e·6740·9030·ab8e·909b··(deriving@.0....
00005b00:·b3be·1271·f3a6·dbef·6dc1·02c5·a0a0·2569··...q....m.....%i00005b00:·b3be·1271·f3a6·dbef·6dc1·02c5·a0a0·2569··...q....m.....%i
00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@.00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@.
00005b20:·3072·c20a·f565·cd23·13c6·e044·b240·2c04··0r...e.#...D.@,.00005b20:·300a·69aa·6265·bd0c·d75a·c12e·09e7·a075··0.i.be...Z.....u
00005b30:·ef90·40a0·a0a0·0510·dfa0·4090·40a0·95a0··..@.......@.@...00005b30:·5890·40a0·a0a0·0510·dfa0·4090·40a0·95a0··X.@.......@.@...
00005b40:·021d·041a·fca0·40a0·a040·3e5b·2064·6572··......@..@>[·der00005b40:·021d·041a·fca0·40a0·a040·3e5b·2064·6572··......@..@>[·der
00005b50:·6976·6520·6e6f·7265·6420·6973·4f72·6465··ive·nored·isOrde00005b50:·6976·6520·6e6f·7265·6420·6973·4f72·6465··ive·nored·isOrde
00005b60:·7220·666f·7220·5f20·5dc0·a0a0·4040·a040··r·for·_·]...@@.@00005b60:·7220·666f·7220·5f20·5dc0·a0a0·4040·a040··r·for·_·]...@@.@
00005b70:·40a0·b140·40a0·4140·4090·a0d0·a0a0·4040··@..@@.A@@.....@@00005b70:·40a0·b140·40a0·4140·4090·a0d0·a0a0·4040··@..@@.A@@.....@@
00005b80:·0409·4004·0ea0·a0a0·4121·5ba0·a040·2664··..@.....A![..@&d00005b80:·0409·4004·0ea0·a0a0·4121·5ba0·a040·2664··..@.....A![..@&d
00005b90:·6572·6976·65a0·a040·256e·6f72·6564·a0a0··erive..@%nored..00005b90:·6572·6976·65a0·a040·256e·6f72·6564·a0a0··erive..@%nored..
00005ba0:·4027·6973·4f72·6465·72a0·a041·2366·6f72··@'isOrder..A#for00005ba0:·4027·6973·4f72·6465·72a0·a041·2366·6f72··@'isOrder..A#for
Offset 2318, 16 lines modifiedOffset 2318, 16 lines modified
000090d0:·011b·4040·0504·9790·a090·a090·2e64·6572··..@@.........der000090d0:·011b·4040·0504·9790·a090·a090·2e64·6572··..@@.........der
000090e0:·6976·696e·6720·302e·322e·3090·0927·5573··iving·0.2.0..'Us000090e0:·6976·696e·6720·302e·322e·3090·0927·5573··iving·0.2.0..'Us
000090f0:·6520·5b64·6572·6976·6520·6c61·7a79·2069··e·[derive·lazy·i000090f0:·6520·5b64·6572·6976·6520·6c61·7a79·2069··e·[derive·lazy·i
00009100:·734f·7264·6572·2066·6f72·205f·5d20·696e··sOrder·for·_]·in00009100:·734f·7264·6572·2066·6f72·205f·5d20·696e··sOrder·for·_]·in
00009110:·7374·6561·6440·a005·0f03·a0a0·0521·3940··stead@.......!9@00009110:·7374·6561·6440·a005·0f03·a0a0·0521·3940··stead@.......!9@
00009120:·0928·5b20·2764·6572·6976·6527·2027·6c61··.([·'derive'·'la00009120:·0928·5b20·2764·6572·6976·6527·2027·6c61··.([·'derive'·'la
00009130:·7a79·2720·276f·7264·6572·4d69·7869·6e27··zy'·'orderMixin'00009130:·7a79·2720·276f·7264·6572·4d69·7869·6e27··zy'·'orderMixin'
00009140:·2027·666f·7227·2054·205d·4040·40ee·c941···'for'·T·]@@@..A00009140:·2027·666f·7227·2054·205d·4040·40af·fc96···'for'·T·]@@@...
00009150:·bdd7·db98·881f·567b·6e5d·fdd0·7a84·95a6··......V{n]..z...00009150:·fc13·91be·f044·2474·410b·9844·8d84·95a6··.....D$tA..D....
00009160:·be00·0133·e100·003a·5a00·00ce·6000·00cd··...3...:Z...`...00009160:·be00·0133·e100·003a·5a00·00ce·6000·00cd··...3...:Z...`...
00009170:·b9c0·90a0·b7a0·9021·6940·a99a·a090·b090··.......!i@......00009170:·b9c0·90a0·b7a0·9021·6940·a99a·a090·b090··.......!i@......
00009180:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving00009180:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving
00009190:·4023·6669·6e02·398c·4701·a080·8090·a99a··@#fin.9.G.......00009190:·4023·6669·6e02·398c·4701·a080·8090·a99a··@#fin.9.G.......
000091a0:·a090·b0a2·90a0·2369·6e64·040e·2d49·6e64··......#ind..-Ind000091a0:·a090·b0a2·90a0·2369·6e64·040e·2d49·6e64··......#ind..-Ind
000091b0:·4368·6f69·6365·5479·7065·216e·0238·6fff··ChoiceType!n.8o.000091b0:·4368·6f69·6365·5479·7065·216e·0238·6fff··ChoiceType!n.8o.
000091c0:·7704·0d90·9121·54b7·a090·305f·746f·705f··w....!T...0_top_000091c0:·7704·0d90·9121·54b7·a090·305f·746f·705f··w....!T...0_top_
Offset 7392, 17 lines modifiedOffset 7392, 17 lines modified
0001cdf0:·4302·1937·0021·4300·4301·1937·0021·4300··C..7.!C.C..7.!C.0001cdf0:·4302·1937·0021·4300·4301·1937·0021·4300··C..7.!C.C..7.!C.
0001ce00:·4300·3805·0119·0a2d·0204·290a·2a2b·0115··C.8....-..).*+..0001ce00:·4300·3805·0119·0a2d·0204·290a·2a2b·0115··C.8....-..).*+..
0001ce10:·3700·2143·010a·1937·0128·0580·267c·2820··7.!C...7.(..&|(·0001ce10:·3700·2143·010a·1937·0128·0580·267c·2820··7.!C...7.(..&|(·
0001ce20:·2054·1c80·c02d·2d00·038c·2a2b·0101·0a3a···T...--...*+...:0001ce20:·2054·1c80·c02d·2d00·038c·2a2b·0101·0a3a···T...--...*+...:
0001ce30:·0129·0280·2080·f338·b7ca·5573·c3c7·b819··.)..·..8..Us....0001ce30:·0129·0280·2080·f338·b7ca·5573·c3c7·b819··.)..·..8..Us....
0001ce40:·ff0b·81c6·c371·0000·0004·0000·0007·6c69··.....q........li0001ce40:·ff0b·81c6·c371·0000·0004·0000·0007·6c69··.....q........li
0001ce50:·6272·6172·7900·0000·0000·0002·c200·0000··brary...........0001ce50:·6272·6172·7900·0000·0000·0002·c200·0000··brary...........
0001ce60:·0000·008e·8bee·c941·bdd7·db98·881f·567b··.......A......V{0001ce60:·0000·008e·8baf·fc96·fc13·91be·f044·2474··.............D$t
0001ce70:·6e5d·fdd0·7a00·0000·076f·7061·7175·6573··n]..z....opaques0001ce70:·410b·9844·8d00·0000·076f·7061·7175·6573··A..D.....opaques
0001ce80:·0000·0000·0000·915d·0000·0000·0001·33f5··.......]......3.0001ce80:·0000·0000·0000·915d·0000·0000·0001·33f5··.......]......3.
0001ce90:·14fc·18c5·3719·2f49·f9e1·bbed·b30e·4176··....7./I......Av0001ce90:·14fc·18c5·3719·2f49·f9e1·bbed·b30e·4176··....7./I......Av
0001cea0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary.....0001cea0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary.....
0001ceb0:·0000·1000·0000·0000·0002·a23c·d146·6e24··...........<.Fn$0001ceb0:·0000·1000·0000·0000·0002·a246·68e3·a56c··...........Fh..l
0001cec0:·74ce·3e4b·a6ea·72b3·b11b·5a00·0000·0976··t.>K..r...Z....v0001cec0:·5971·001c·03ec·67db·e30e·a600·0000·0976··Yq....g........v
0001ced0:·6d6c·6962·7261·7279·0000·0000·0001·c562··mlibrary.......b0001ced0:·6d6c·6962·7261·7279·0000·0000·0001·c562··mlibrary.......b
0001cee0:·0000·0000·0000·08d4·f338·b7ca·5573·c3c7··.........8..Us..0001cee0:·0000·0000·0000·08d4·f338·b7ca·5573·c3c7··.........8..Us..
0001cef0:·b819·ff0b·81c6·c371······················.......q0001cef0:·b819·ff0b·81c6·c371······················.......q
6.52 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.vo
    
Offset 26, 25 lines modifiedOffset 26, 25 lines modified
00000190:·7e62·a221·a0a0·2766·696e·7479·7065·a029··~b.!..'fintype.)00000190:·7e62·a221·a0a0·2766·696e·7479·7065·a029··~b.!..'fintype.)
000001a0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc000001a0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc
000001b0:·6f6d·7040·9030·995f·3a4a·03b1·04d9·d0e4··omp@.0._:J......000001b0:·6f6d·7040·9030·995f·3a4a·03b1·04d9·d0e4··omp@.0._:J......
000001c0:·1a6b·e8b2·bde2·a0a0·256f·7264·6572·a029··.k......%order.)000001c0:·1a6b·e8b2·bde2·a0a0·256f·7264·6572·a029··.k......%order.)
000001d0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc000001d0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc
000001e0:·6f6d·7040·9030·44c4·8afb·04a6·6c70·2936··omp@.0D.....lp)6000001e0:·6f6d·7040·9030·44c4·8afb·04a6·6c70·2936··omp@.0D.....lp)6
000001f0:·4a47·ea3c·dba2·a0a0·2462·6173·65a0·2864··JG.<....$base.(d000001f0:·4a47·ea3c·dba2·a0a0·2462·6173·65a0·2864··JG.<....$base.(d
00000200:·6572·6976·696e·6740·9030·ae4b·dc9c·a1c1··eriving@.0.K....00000200:·6572·6976·696e·6740·9030·7a11·68d6·99b1··eriving@.0z.h...
00000210:·00ac·ba62·24eb·09dc·5b15·a0a0·2369·6e64··...b$...[...#ind00000210:·7d60·90d1·6796·1557·97ea·a0a0·2369·6e64··}`..g..W....#ind
00000220:·a028·6465·7269·7669·6e67·4090·304d·6959··.(deriving@.0MiY00000220:·a028·6465·7269·7669·6e67·4090·3007·3ba5··.(deriving@.0.;.
00000230:·ce51·d2be·de47·2688·fd03·be41·f8a0·a027··.Q...G&....A...'00000230:·3633·26c7·0ce6·6873·afe7·917a·37a0·a027··63&...hs...z7..'
00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin
00000250:·6740·9030·cc45·efbe·e6ee·22f2·452c·1499··g@.0.E....".E,..00000250:·6740·9030·7fae·18b0·238d·3596·16ab·d1ab··g@.0....#.5.....
00000260:·8652·0e77·a0a0·2569·6e66·6572·a028·6465··.R.w..%infer.(de00000260:·42ec·47a5·a0a0·2569·6e66·6572·a028·6465··B.G...%infer.(de
00000270:·7269·7669·6e67·4090·3072·c20a·f565·cd23··riving@.0r...e.#00000270:·7269·7669·6e67·4090·300a·69aa·6265·bd0c··riving@.0.i.be..
00000280:·13c6·e044·b240·2c04·ef25·352e·322e·30a0··...D.@,..%5.2.0. 
00000290:·4040·b87f·139c·c9d1·b5b6·cf6d·0acb·7c6f··@@.........m..|o00000280:·d75a·c12e·09e7·a075·5825·352e·322e·30a0··.Z.....uX%5.2.0.
 00000290:·4040·4f1a·dc5a·f214·d780·121d·d6e3·26e0··@@O..Z........&.
000002a0:·df40·8495·a6be·0000·5a3b·0000·13c5·0000··.@......Z;......000002a0:·ed27·8495·a6be·0000·5a3b·0000·13c5·0000··.'......Z;......
000002b0:·443e·0000·413c·b0d0·a02b·7472·6565·5f6f··D>..A<...+tree_o000002b0:·443e·0000·413c·b0d0·a02b·7472·6565·5f6f··D>..A<...+tree_o
000002c0:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances000002c0:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances
000002d0:·a028·6465·7269·7669·6e67·40e0·9004·0841··.(deriving@....A000002d0:·a028·6465·7269·7669·6e67·40e0·9004·0841··.(deriving@....A
000002e0:·90a0·a027·696e·645f·6172·6790·0800·0027··...'ind_arg....'000002e0:·90a0·a027·696e·645f·6172·6790·0800·0027··...'ind_arg....'
000002f0:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@....000002f0:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@....
00000300:·b0a2·a290·a023·696e·64a0·041a·4023·496e··.....#ind...@#In00000300:·b0a2·a290·a023·696e·64a0·041a·4023·496e··.....#ind...@#In
00000310:·6423·4465·6624·7479·7065·0229·14f9·ac40··d#Def$type.)...@00000310:·6423·4465·6624·7479·7065·0229·14f9·ac40··d#Def$type.)...@
Offset 1168, 16 lines modifiedOffset 1168, 16 lines modified
000048f0:·4105·010f·4041·b005·049b·4104·fb40·42b0··A...@A....A..@B.000048f0:·4105·010f·4041·b005·049b·4104·fb40·42b0··A...@A....A..@B.
00004900:·0504·9c41·04d4·4043·b005·0d9f·4205·0155··...A..@C....B..U00004900:·0504·9c41·04d4·4043·b005·0d9f·4205·0155··...A..@C....B..U
00004910:·c040·b005·0da5·42a0·0300·1602·36ff·a176··.@....B.....6..v00004910:·c040·b005·0da5·42a0·0300·1602·36ff·a176··.@....B.....6..v
00004920:·5890·b005·0d15·0501·5701·0612·4041·44b0··X.......W...@AD.00004920:·5890·b005·0d15·0501·5701·0612·4041·44b0··X.......W...@AD.
00004930:·0404·4205·0da9·c040·b005·015d·4205·0da7··..B....@...]B...00004930:·0404·4205·0da9·c040·b005·015d·4205·0da7··..B....@...]B...
00004940:·c040·b005·015a·4205·0677·4041·4245·4647··.@...ZB..w@ABEFG00004940:·c040·b005·015a·4205·0677·4041·4245·4647··.@...ZB..w@ABEFG
00004950:·4849·90a0·a025·696e·6665·72a0·2864·6572··HI...%infer.(der00004950:·4849·90a0·a025·696e·6665·72a0·2864·6572··HI...%infer.(der
00004960:·6976·696e·6740·9030·72c2·0af5·65cd·2313··iving@.0r...e.#. 
00004970:·c6e0·44b2·402c·04ef·9040·a0a0·95a0·021d··..D.@,...@......00004960:·6976·696e·6740·9030·0a69·aa62·65bd·0cd7··iving@.0.i.be...
 00004970:·5ac1·2e09·e7a0·7558·9040·a0a0·95a0·021d··Z.....uX.@......
00004980:·041a·fca0·40a0·a040·3a5b·2064·6572·6976··....@..@:[·deriv00004980:·041a·fca0·40a0·a040·3a5b·2064·6572·6976··....@..@:[·deriv
00004990:·6520·6861·7343·686f·6963·6520·666f·7220··e·hasChoice·for·00004990:·6520·6861·7343·686f·6963·6520·666f·7220··e·hasChoice·for·
000049a0:·5f20·5dc0·a0a0·4040·a040·40a0·b140·40a0··_·]...@@.@@..@@.000049a0:·5f20·5dc0·a0a0·4040·a040·40a0·b140·40a0··_·]...@@.@@..@@.
000049b0:·4140·4090·a0d0·a0a0·4040·0409·4004·0ea0··A@@.....@@..@...000049b0:·4140·4090·a0d0·a0a0·4040·0409·4004·0ea0··A@@.....@@..@...
000049c0:·a0a0·4121·5ba0·a040·2664·6572·6976·65a0··..A![..@&derive.000049c0:·a0a0·4121·5ba0·a040·2664·6572·6976·65a0··..A![..@&derive.
000049d0:·a040·2968·6173·4368·6f69·6365·a0a0·4123··.@)hasChoice..A#000049d0:·a040·2968·6173·4368·6f69·6365·a0a0·4123··.@)hasChoice..A#
000049e0:·666f·72a0·a1a1·4004·1690·050d·fea0·a041··for...@........A000049e0:·666f·72a0·a1a1·4004·1690·050d·fea0·a041··for...@........A
Offset 1481, 16 lines modifiedOffset 1481, 16 lines modified
00005c80:·4004·e290·a090·a090·2e64·6572·6976·696e··@........derivin00005c80:·4004·e290·a090·a090·2e64·6572·6976·696e··@........derivin
00005c90:·6720·302e·322e·3090·0926·5573·6520·5b64··g·0.2.0..&Use·[d00005c90:·6720·302e·322e·3090·0926·5573·6520·5b64··g·0.2.0..&Use·[d
00005ca0:·6572·6976·6520·6973·436f·756e·7461·626c··erive·isCountabl00005ca0:·6572·6976·6520·6973·436f·756e·7461·626c··erive·isCountabl
00005cb0:·6520·666f·7220·5f5d·2069·6e73·7465·6164··e·for·_]·instead00005cb0:·6520·666f·7220·5f5d·2069·6e73·7465·6164··e·for·_]·instead
00005cc0:·40a0·0505·13a0·a005·13c2·4009·215b·2027··@.........@.![·'00005cc0:·40a0·0505·13a0·a005·13c2·4009·215b·2027··@.........@.![·'
00005cd0:·6465·7269·7665·2720·2763·6f75·6e74·4d69··derive'·'countMi00005cd0:·6465·7269·7665·2720·2763·6f75·6e74·4d69··derive'·'countMi
00005ce0:·7869·6e27·2027·666f·7227·2054·205d·4040··xin'·'for'·T·]@@00005ce0:·7869·6e27·2027·666f·7227·2054·205d·4040··xin'·'for'·T·]@@
00005cf0:·4030·2c14·bd36·05aa·5021·8a75·1dce·765f··@0,..6..P!.u..v_00005cf0:·4086·5b6d·1789·80ed·beb6·d88c·bffd·5319··@.[m..........S.
00005d00:·4484·95a6·be00·004d·da00·0010·cd00·0038··D......M.......800005d00:·0884·95a6·be00·004d·da00·0010·cd00·0038··.......M.......8
00005d10:·4400·0037·eaa0·90a0·b7a0·9021·6940·a99a··D..7.......!i@..00005d10:·4400·0037·eaa0·90a0·b7a0·9021·6940·a99a··D..7.......!i@..
00005d20:·a090·b090·a024·6261·7365·a028·6465·7269··.....$base.(deri00005d20:·a090·b090·a024·6261·7365·a028·6465·7269··.....$base.(deri
00005d30:·7669·6e67·4023·6669·6e02·398c·4701·a080··ving@#fin.9.G...00005d30:·7669·6e67·4023·6669·6e02·398c·4701·a080··ving@#fin.9.G...
00005d40:·8090·0800·000f·10a0·c0a0·90b0·a2a2·90a0··................00005d40:·8090·0800·000f·10a0·c0a0·90b0·a2a2·90a0··................
00005d50:·2369·6e64·0410·2349·6e64·2344·6566·2474··#ind..#Ind#Def$t00005d50:·2369·6e64·0410·2349·6e64·2344·6566·2474··#ind..#Ind#Def$t
00005d60:·7970·6502·2914·f9ac·4040·4090·b004·0a21··ype.)...@@@....!00005d60:·7970·6502·2914·f9ac·4040·4090·b004·0a21··ype.)...@@@....!
00005d70:·6e02·2908·22c8·4040·9121·54b7·a090·216a··n.).".@@.!T...!j00005d70:·6e02·2908·22c8·4040·9121·54b7·a090·216a··n.).".@@.!T...!j
Offset 2926, 18 lines modifiedOffset 2926, 18 lines modified
0000b6d0:·9004·9393·a080·a004·3504·0998·b004·6b41··........5.....kA0000b6d0:·9004·9393·a080·a004·3504·0998·b004·6b41··........5.....kA
0000b6e0:·4498·b004·4b40·4798·b004·1d41·4293·a080··D...K@G....AB...0000b6e0:·4498·b004·4b40·4798·b004·1d41·4293·a080··D...K@G....AB...
0000b6f0:·b004·4104·9f04·3e93·a080·b004·a304·a204··..A...>.........0000b6f0:·b004·4104·9f04·3e93·a080·b004·a304·a204··..A...>.........
0000b700:·adc0·372d·0003·8c2a·2b02·0137·0021·4301··..7-...*+..7.!C.0000b700:·adc0·372d·0003·8c2a·2b02·0137·0021·4301··..7-...*+..7.!C.
0000b710:·0b37·0021·4300·3701·2705·8023·2418·1480··.7.!C.7.'..#$...0000b710:·0b37·0021·4300·3701·2705·8023·2418·1480··.7.!C.7.'..#$...
0000b720:·a3c3·72bb·6e07·c382·398e·45d3·1eae·87c1··..r.n...9.E.....0000b720:·a3c3·72bb·6e07·c382·398e·45d3·1eae·87c1··..r.n...9.E.....
0000b730:·0000·0004·0000·0007·6c69·6272·6172·7900··........library.0000b730:·0000·0004·0000·0007·6c69·6272·6172·7900··........library.
0000b740:·0000·0000·0002·a200·0000·0000·005a·4f30··.............ZO00000b740:·0000·0000·0002·a200·0000·0000·005a·4f86··.............ZO.
0000b750:·2c14·bd36·05aa·5021·8a75·1dce·765f·4400··,..6..P!.u..v_D.0000b750:·5b6d·1789·80ed·beb6·d88c·bffd·5319·0800··[m..........S...
0000b760:·0000·076f·7061·7175·6573·0000·0000·0000··...opaques......0000b760:·0000·076f·7061·7175·6573·0000·0000·0000··...opaques......
0000b770:·5d01·0000·0000·0000·4dee·deef·0812·0322··].......M......"0000b770:·5d01·0000·0000·0000·4dee·deef·0812·0322··].......M......"
0000b780:·96e7·7e6f·7b62·7e4b·4448·0000·0007·7375··..~o{b~KDH....su0000b780:·96e7·7e6f·7b62·7e4b·4448·0000·0007·7375··..~o{b~KDH....su
0000b790:·6d6d·6172·7900·0000·0000·0000·1000·0000··mmary...........0000b790:·6d6d·6172·7900·0000·0000·0000·1000·0000··mmary...........
0000b7a0:·0000·0002·82b8·7f13·9cc9·d1b5·b6cf·6d0a··..............m.0000b7a0:·0000·0002·824f·1adc·5af2·14d7·8012·1dd6··.....O..Z.......
0000b7b0:·cb7c·6fdf·4000·0000·0976·6d6c·6962·7261··.|o.@....vmlibra0000b7b0:·e326·e0ed·2700·0000·0976·6d6c·6962·7261··.&..'....vmlibra
0000b7c0:·7279·0000·0000·0000·aaff·0000·0000·0000··ry..............0000b7c0:·7279·0000·0000·0000·aaff·0000·0000·0000··ry..............
0000b7d0:·0c21·a3c3·72bb·6e07·c382·398e·45d3·1eae··.!..r.n...9.E...0000b7d0:·0c21·a3c3·72bb·6e07·c382·398e·45d3·1eae··.!..r.n...9.E...
0000b7e0:·87c1·····································..0000b7e0:·87c1·····································..
1.79 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0005·f171··Coq!..@P.......q00000000:·436f·7121·0001·4050·0000·0000·0005·f16a··Coq!..@P.......j
00000010:·8495·a6be·0000·0374·0000·00a6·0000·0248··.......t.......H00000010:·8495·a6be·0000·0374·0000·00a6·0000·0248··.......t.......H
00000020:·0000·01f1·c0a0·2969·6e73·7461·6e63·6573··......)instances00000020:·0000·01f1·c0a0·2969·6e73·7461·6e63·6573··......)instances
00000030:·a028·6465·7269·7669·6e67·4008·0000·4f00··.(deriving@...O.00000030:·a028·6465·7269·7669·6e67·4008·0000·4f00··.(deriving@...O.
00000040:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init00000040:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init
00000050:·a023·436f·7140·9030·6e1e·a766·5334·e4bc··.#Coq@.0n..fS4..00000050:·a023·436f·7140·9030·6e1e·a766·5334·e4bc··.#Coq@.0n..fS4..
00000060:·65c3·cc25·eb7f·ca42·a0a0·2a73·7472·7563··e..%...B..*struc00000060:·65c3·cc25·eb7f·ca42·a0a0·2a73·7472·7563··e..%...B..*struc
00000070:·7475·7265·73a0·2248·4240·9030·66fa·fe75··tures."HB@.0f..u00000070:·7475·7265·73a0·2248·4240·9030·66fa·fe75··tures."HB@.0f..u
Offset 28, 39 lines modifiedOffset 28, 39 lines modified
000001b0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect000001b0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect
000001c0:·a028·6d61·7468·636f·6d70·4090·3099·5f3a··.(mathcomp@.0._:000001c0:·a028·6d61·7468·636f·6d70·4090·3099·5f3a··.(mathcomp@.0._:
000001d0:·4a03·b104·d9d0·e41a·6be8·b2bd·e2a0·a025··J.......k......%000001d0:·4a03·b104·d9d0·e41a·6be8·b2bd·e2a0·a025··J.......k......%
000001e0:·6f72·6465·72a0·2973·7372·6566·6c65·6374··order.)ssreflect000001e0:·6f72·6465·72a0·2973·7372·6566·6c65·6374··order.)ssreflect
000001f0:·a028·6d61·7468·636f·6d70·4090·3044·c48a··.(mathcomp@.0D..000001f0:·a028·6d61·7468·636f·6d70·4090·3044·c48a··.(mathcomp@.0D..
00000200:·fb04·a66c·7029·364a·47ea·3cdb·a2a0·a024··...lp)6JG.<....$00000200:·fb04·a66c·7029·364a·47ea·3cdb·a2a0·a024··...lp)6JG.<....$
00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@.00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@.
00000220:·30ae·4bdc·9ca1·c100·acba·6224·eb09·dc5b··0.K.......b$...[00000220:·307a·1168·d699·b17d·6090·d167·9615·5797··0z.h...}`..g..W.
00000230:·15a0·a023·696e·64a0·2864·6572·6976·696e··...#ind.(derivin00000230:·eaa0·a023·696e·64a0·2864·6572·6976·696e··...#ind.(derivin
00000240:·6740·9030·4d69·59ce·51d2·bede·4726·88fd··g@.0MiY.Q...G&..00000240:·6740·9030·073b·a536·3326·c70c·e668·73af··g@.0.;.63&...hs.
00000250:·03be·41f8·a0a0·2774·6163·7469·6373·a028··..A...'tactics.(00000250:·e791·7a37·a0a0·2774·6163·7469·6373·a028··..z7..'tactics.(
00000260:·6465·7269·7669·6e67·4090·30cc·45ef·bee6··deriving@.0.E...00000260:·6465·7269·7669·6e67·4090·307f·ae18·b023··deriving@.0....#
00000270:·ee22·f245·2c14·9986·520e·77a0·a025·696e··.".E,...R.w..%in00000270:·8d35·9616·abd1·ab42·ec47·a5a0·a025·696e··.5.....B.G...%in
00000280:·6665·72a0·2864·6572·6976·696e·6740·9030··fer.(deriving@.000000280:·6665·72a0·2864·6572·6976·696e·6740·9030··fer.(deriving@.0
00000290:·72c2·0af5·65cd·2313·c6e0·44b2·402c·04ef··r...e.#...D.@,..00000290:·0a69·aa62·65bd·0cd7·5ac1·2e09·e7a0·7558··.i.be...Z.....uX
000002a0:·a0a0·2663·6f6d·7061·74a0·2864·6572·6976··..&compat.(deriv000002a0:·a0a0·2663·6f6d·7061·74a0·2864·6572·6976··..&compat.(deriv
000002b0:·696e·6740·9030·ab8e·909b·b3be·1271·f3a6··ing@.0.......q..000002b0:·696e·6740·9030·ab8e·909b·b3be·1271·f3a6··ing@.0.......q..
000002c0:·dbef·6dc1·02c5·a0a0·2665·7174·7970·65a0··..m.....&eqtype.000002c0:·dbef·6dc1·02c5·a0a0·2665·7174·7970·65a0··..m.....&eqtype.
000002d0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri000002d0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri
000002e0:·7669·6e67·4090·303d·fd06·7a86·5720·f07d··ving@.0=..z.W·.}000002e0:·7669·6e67·4090·3037·7f4c·14df·e924·8ab4··ving@.07.L...$..
000002f0:·03ec·32b8·db47·1ba0·a02b·7472·6565·5f6f··..2..G...+tree_o000002f0:·b19a·c5d3·1a37·86a0·a02b·7472·6565·5f6f··.....7...+tree_o
00000300:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances00000300:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances
00000310:·a028·6465·7269·7669·6e67·4090·3030·2c14··.(deriving@.00,.00000310:·a028·6465·7269·7669·6e67·4090·3086·5b6d··.(deriving@.0.[m
00000320:·bd36·05aa·5021·8a75·1dce·765f·44a0·a027··.6..P!.u..v_D..'00000320:·1789·80ed·beb6·d88c·bffd·5319·08a0·a027··..........S....'
00000330:·6669·6e74·7970·65a0·2969·6e73·7461·6e63··fintype.)instanc00000330:·6669·6e74·7970·65a0·2969·6e73·7461·6e63··fintype.)instanc
00000340:·6573·a028·6465·7269·7669·6e67·4090·30ab··es.(deriving@.0.00000340:·6573·a028·6465·7269·7669·6e67·4090·30ae··es.(deriving@.0.
00000350:·c4d5·9183·4a23·550a·cf30·6f27·11f2·f8a0··....J#U..0o'....00000350:·ae51·1982·9057·de5a·8708·1b5d·1d66·d3a0··.Q...W.Z...].f..
00000360:·a025·6f72·6465·72a0·2969·6e73·7461·6e63··.%order.)instanc00000360:·a025·6f72·6465·72a0·2969·6e73·7461·6e63··.%order.)instanc
00000370:·6573·a028·6465·7269·7669·6e67·4090·30ee··es.(deriving@.0.00000370:·6573·a028·6465·7269·7669·6e67·4090·30af··es.(deriving@.0.
00000380:·c941·bdd7·db98·881f·567b·6e5d·fdd0·7a25··.A......V{n]..z%00000380:·fc96·fc13·91be·f044·2474·410b·9844·8d25··.......D$tA..D.%
00000390:·352e·322e·30a0·4040·b28b·3395·c73c·19d2··5.2.0.@@..3..<..00000390:·352e·322e·30a0·4040·a8c4·5e92·ab39·c295··5.2.0.@@..^..9..
000003a0:·9699·28a3·98df·00a8·8495·a6be·0003·852c··..(............,000003a0:·27e6·4dba·cc2c·7427·8495·a6be·0003·8525··'.M..,t'.......%
000003b0:·0000·cdac·0002·bbb4·0002·ab35·b0d0·a029··...........5...)000003b0:·0000·cdac·0002·bbb4·0002·ab35·b0d0·a029··...........5...)
000003c0:·696e·7374·616e·6365·73a0·2864·6572·6976··instances.(deriv000003c0:·696e·7374·616e·6365·73a0·2864·6572·6976··instances.(deriv
000003d0:·696e·6740·e090·0406·4190·a0a0·316c·7461··ing@....A...1lta000003d0:·696e·6740·e090·0406·4190·a0a0·316c·7461··ing@....A...1lta
000003e0:·635f·6765·6e5f·7375·6270·726f·6f66·9008··c_gen_subproof..000003e0:·635f·6765·6e5f·7375·6270·726f·6f66·9008··c_gen_subproof..
000003f0:·0000·2700·40a0·8080·9040·a99a·a090·b0a2··..'.@....@......000003f0:·0000·2700·40a0·8080·9040·a99a·a090·b0a2··..'.@....@......
00000400:·90a0·2369·6e64·a004·1540·2349·6e64·2b72··..#ind...@#Ind+r00000400:·90a0·2369·6e64·a004·1540·2349·6e64·2b72··..#ind...@#Ind+r
00000410:·6563·7572·736f·725f·6571·0232·18b2·4a04··ecursor_eq.2..J.00000410:·6563·7572·736f·725f·6571·0232·18b2·4a04··ecursor_eq.2..J.
Offset 5522, 20 lines modifiedOffset 5522, 20 lines modified
00015910:·01cf·0991·770a·ef18·90b0·0504·e305·04e1··....w...........00015910:·01cf·0991·770a·ef18·90b0·0504·e305·04e1··....w...........
00015920:·0200·0090·ce40·4142·b005·0254·42a0·0301··.....@AB...TB...00015920:·0200·0090·ce40·4142·b005·0254·42a0·0301··.....@AB...TB...
00015930:·cddb·c3be·541e·3190·b005·2fb7·0504·e002··....T.1.../.....00015930:·cddb·c3be·541e·3190·b005·2fb7·0504·e002··....T.1.../.....
00015940:·0000·910c·4043·4445·b005·049d·4205·0497··....@CDE....B...00015940:·0000·910c·4043·4445·b005·049d·4205·0497··....@CDE....B...
00015950:·c0c0·c040·b005·0497·4205·048e·4041·b005··...@....B...@A..00015950:·c0c0·c040·b005·0497·4205·048e·4041·b005··...@....B...@A..
00015960:·048b·4205·0487·4042·b005·0484·4205·047d··..B...@B....B..}00015960:·048b·4205·0487·4042·b005·0484·4205·047d··..B...@B....B..}
00015970:·4043·4648·494a·4b4c·c0a0·a005·2650·a005··@CFHIJKL....&P..00015970:·4043·4648·494a·4b4c·c0a0·a005·2650·a005··@CFHIJKL....&P..
00015980:·2631·a005·265c·4090·303d·fd06·7a86·5720··&1..&\@.0=..z.W·00015980:·2631·a005·265c·4090·3037·7f4c·14df·e924··&1..&\@.07.L...$
00015990:·f07d·03ec·32b8·db47·1ba0·0522·5990·30ab··.}..2..G..."Y.0. 
000159a0:·c4d5·9183·4a23·550a·cf30·6f27·11f2·f8a0··....J#U..0o'.... 
000159b0:·052f·a790·30ee·c941·bdd7·db98·881f·567b··./..0..A......V{ 
000159c0:·6e5d·fdd0·7aa0·0525·6190·3030·2c14·bd36··n]..z..%a.00,..6 
000159d0:·05aa·5021·8a75·1dce·765f·4490·40a0·a094··..P!.u..v_D.@...00015990:·8ab4·b19a·c5d3·1a37·86a0·0522·5990·30ae··.......7..."Y.0.
 000159a0:·ae51·1982·9057·de5a·8708·1b5d·1d66·d3a0··.Q...W.Z...].f..
 000159b0:·052f·a790·30af·fc96·fc13·91be·f044·2474··./..0........D$t
 000159c0:·410b·9844·8da0·0525·6190·3086·5b6d·1789··A..D...%a.0.[m..
 000159d0:·80ed·beb6·d88c·bffd·5319·0890·40a0·a094··........S...@...
000159e0:·a0a0·4090·a005·31b0·a005·3d5e·053d·5d40··..@...1...=^.=]@000159e0:·a0a0·4090·a005·31b0·a005·3d5e·053d·5d40··..@...1...=^.=]@
000159f0:·a094·a0a0·4090·a005·25ca·0407·40a0·94a0··....@...%...@...000159f0:·a094·a0a0·4090·a005·25ca·0407·40a0·94a0··....@...%...@...
00015a00:·a040·90a0·0523·e304·0d40·a094·a0a0·4090··.@...#...@....@.00015a00:·a040·90a0·0523·e304·0d40·a094·a0a0·4090··.@...#...@....@.
00015a10:·a005·32f3·0413·40a0·94a0·a040·9004·1940··..2...@....@...@00015a10:·a005·32f3·0413·40a0·94a0·a040·9004·1940··..2...@....@...@
00015a20:·a094·a0a0·4090·0417·40a0·94a0·a040·9004··....@...@....@..00015a20:·a094·a0a0·4090·0417·40a0·94a0·a040·9004··....@...@....@..
00015a30:·1640·a094·a0a0·4090·0415·4040·40a0·a094··.@....@...@@@...00015a30:·1640·a094·a0a0·4090·0415·4040·40a0·a094··.@....@...@@@...
00015a40:·a0a0·4004·1540·a094·a0a0·4004·1440·a094··..@..@....@..@..00015a40:·a0a0·4004·1540·a094·a0a0·4004·1440·a094··..@..@....@..@..
Offset 5848, 15 lines modifiedOffset 5848, 15 lines modified
00016d70:·6465·7269·7669·6e67·2e69·6e73·7461·6e63··deriving.instanc00016d70:·6465·7269·7669·6e67·2e69·6e73·7461·6e63··deriving.instanc
00016d80:·6573·362e·2f74·6865·6f72·6965·732f·696e··es6./theories/in00016d80:·6573·362e·2f74·6865·6f72·6965·732f·696e··es6./theories/in
00016d90:·7374·616e·6365·732e·7601·0474·0104·9f6c··stances.v..t...l00016d90:·7374·616e·6365·732e·7601·0474·0104·9f6c··stances.v..t...l
00016da0:·0104·74c0·4040·4041·b0c3·9140·2f6c·6f63··..t.@@@A...@/loc00016da0:·0104·74c0·4040·4041·b0c3·9140·2f6c·6f63··..t.@@@A...@/loc
00016db0:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical....00016db0:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical....
00016dc0:·045a·5804·0da0·2254·7990·9090·9028·636f··.ZX..."Ty....(co00016dc0:·045a·5804·0da0·2254·7990·9090·9028·636f··.ZX..."Ty....(co
00016dd0:·6e73·7461·6e74·4004·14a0·0407·9090·9040··nstant@........@00016dd0:·6e73·7461·6e74·4004·14a0·0407·9090·9040··nstant@........@
00016de0:·4040·4040·2935·3733·3238·3532·3830·e0d0··@@@@)573285280..00016de0:·4040·4040·2934·3733·3638·3831·3239·e0d0··@@@@)473688129..
00016df0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....!00016df0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....!
00016e00:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@.00016e00:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@.
00016e10:·c391·4023·6c65·74b0·95a0·9024·6361·7374··..@#let....$cast00016e10:·c391·4023·6c65·74b0·95a0·9024·6361·7374··..@#let....$cast
00016e20:·53e0·4030·636f·712d·6275·696c·7469·6e2e··S.@0coq-builtin.00016e20:·53e0·4030·636f·712d·6275·696c·7469·6e2e··S.@0coq-builtin.
00016e30:·656c·7069·0124·e801·24ee·0100·e101·24cf··elpi.$..$.....$.00016e30:·656c·7069·0124·e801·24ee·0100·e101·24cf··elpi.$..$.....$.
00016e40:·a004·2990·40a0·b0a1·9004·1704·12e0·4004··..).@.........@.00016e40:·a004·2990·40a0·b0a1·9004·1704·12e0·4004··..).@.........@.
00016e50:·0801·24ef·0124·f101·00e1·0124·cfa0·0430··..$..$.....$...000016e50:·0801·24ef·0124·f101·00e1·0124·cfa0·0430··..$..$.....$...0
Offset 10636, 17 lines modifiedOffset 10636, 17 lines modified
000298b0:·a205·8830·0579·9305·46b2·023a·ecdf·9640··...0.y..F..:...@000298b0:·a205·8830·0579·9305·46b2·023a·ecdf·9640··...0.y..F..:...@
000298c0:·40a0·95a0·0234·7dc1·ffa0·275f·454c·5049··@....4}...'_ELPI000298c0:·40a0·95a0·0234·7dc1·ffa0·275f·454c·5049··@....4}...'_ELPI
000298d0:·5f32·c0a0·2268·62a0·2264·6240·a0a0·b005··_2.."hb."db@....000298d0:·5f32·c0a0·2268·62a0·2264·6240·a0a0·b005··_2.."hb."db@....
000298e0:·8985·2132·0206·739f·09d0·0546·b1d0·e040··..!2..s....F...@000298e0:·8985·2132·0206·739f·09d0·0546·b1d0·e040··..!2..s....F...@
000298f0:·4040·4040·0546·b040·a0c0·0546·af05·46ab··@@@@.F.@...F..F.000298f0:·4040·4040·0546·b040·a0c0·0546·af05·46ab··@@@@.F.@...F..F.
00029900:·b0c3·9140·0546·aab0·95a0·9104·5058·0546··...@.F......PX.F00029900:·b0c3·9140·0546·aab0·95a0·9104·5058·0546··...@.F......PX.F
00029910:·b6a0·0546·a990·9090·0546·a840·0546·baa0··...F.....F.@.F..00029910:·b6a0·0546·a990·9090·0546·a840·0546·baa0··...F.....F.@.F..
00029920:·0546·ad90·9090·4040·4040·4029·3130·3632··.F....@@@@@)106200029920:·0546·ad90·9090·4040·4040·4029·3836·3539··.F....@@@@@)8659
00029930:·3235·3931·34e0·0546·a605·4148·053f·c505··25914..F..AH.?..00029930:·3735·3239·36e0·0546·a605·4148·053f·c505··75296..F..AH.?..
00029940:·178c·0516·fd05·46c3·0c00·0000·0000·00e7··......F.........00029940:·178c·0516·fd05·46c3·0c00·0000·0000·00e9··......F.........
00029950:·3e40·4140·a095·a002·0b7b·4f44·a040·a0a0··>@A@.....{OD.@..00029950:·3e40·4140·a095·a002·0b7b·4f44·a040·a0a0··>@A@.....{OD.@..
00029960:·0579·6fa0·9105·7a08·4040·a095·a002·320a··.yo...z.@@....2.00029960:·0579·6fa0·9105·7a08·4040·a095·a002·320a··.yo...z.@@....2.
00029970:·518f·a005·7991·b005·48f3·4040·a095·a002··Q...y...H.@@....00029970:·518f·a005·7991·b005·48f3·4040·a095·a002··Q...y...H.@@....
00029980:·0fc0·a2b8·a090·054a·faa0·a091·0579·52a0··.......J.....yR.00029980:·0fc0·a2b8·a090·054a·faa0·a091·0579·52a0··.......J.....yR.
00029990:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o.00029990:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o.
000299a0:·4091·0579·5aa0·4040·a090·9205·7f4c·40d0··@..yZ.@@.....L@.000299a0:·4091·0579·5aa0·4040·a090·9205·7f4c·40d0··@..yZ.@@.....L@.
000299b0:·d0d0·d040·40a0·054c·1040·4041·41a0·054c··...@@..L.@@AA..L000299b0:·d0d0·d040·40a0·054c·1040·4041·41a0·054c··...@@..L.@@AA..L
Offset 10680, 17 lines modifiedOffset 10680, 17 lines modified
00029b70:·6102·3eea·8801·4040·a095·a002·347d·c1ff··a.>...@@....4}..00029b70:·6102·3eea·8801·4040·a095·a002·347d·c1ff··a.>...@@....4}..
00029b80:·a027·5f45·4c50·495f·33c0·a022·6862·a022··.'_ELPI_3.."hb."00029b80:·a027·5f45·4c50·495f·33c0·a022·6862·a022··.'_ELPI_3.."hb."
00029b90:·6462·40a0·a0b0·058a·3421·3302·0673·9f0a··db@.....4!3..s..00029b90:·6462·40a0·a0b0·058a·3421·3302·0673·9f0a··db@.....4!3..s..
00029ba0:·d005·4760·d0e0·4040·4040·4005·475f·40a0··..G`..@@@@@.G_@.00029ba0:·d005·4760·d0e0·4040·4040·4005·475f·40a0··..G`..@@@@@.G_@.
00029bb0:·c005·475e·0547·5ab0·c391·4005·4759·b095··..G^.GZ...@.GY..00029bb0:·c005·475e·0547·5ab0·c391·4005·4759·b095··..G^.GZ...@.GY..
00029bc0:·a091·0450·5805·4765·a005·4758·9090·9005··...PX.Ge..GX....00029bc0:·a091·0450·5805·4765·a005·4758·9090·9005··...PX.Ge..GX....
00029bd0:·4757·4005·4769·a005·475c·9090·9040·4040··GW@.Gi..G\...@@@00029bd0:·4757·4005·4769·a005·475c·9090·9040·4040··GW@.Gi..G\...@@@
00029be0:·4040·2931·3432·3530·3830·3930·e005·4755··@@)142508090..GU00029be0:·4040·2939·3731·3832·3636·3237·e005·4755··@@)971826627..GU
00029bf0:·0541·f705·4074·0518·3b05·17ac·0547·720c··.A..@t..;....Gr.00029bf0:·0541·f705·4074·0518·3b05·17ac·0547·720c··.A..@t..;....Gr.
00029c00:·0000·0000·0080·e73e·4041·40a0·95a0·020b··.......>@A@.....00029c00:·0000·0000·0000·e73e·4041·40a0·95a0·020b··.......>@A@.....
00029c10:·7b4f·44a0·40a0·a005·79a2·a091·057a·b740··{OD.@...y....z.@00029c10:·7b4f·44a0·40a0·a005·79a2·a091·057a·b740··{OD.@...y....z.@
00029c20:·40a0·95a0·020b·7b4f·44a0·40a0·a005·79a7··@.....{OD.@...y.00029c20:·40a0·95a0·020b·7b4f·44a0·40a0·a005·79a7··@.....{OD.@...y.
00029c30:·a091·057a·5e40·40a0·95a0·020b·7b4f·44a0··...z^@@.....{OD.00029c30:·a091·057a·5e40·40a0·95a0·020b·7b4f·44a0··...z^@@.....{OD.
00029c40:·40a0·a005·79ac·a091·057a·0440·40a0·95a0··@...y....z.@@...00029c40:·40a0·a005·79ac·a091·057a·0440·40a0·95a0··@...y....z.@@...
00029c50:·0232·0a51·8fa0·0579·eeb0·0549·b240·40a0··.2.Q...y...I.@@.00029c50:·0232·0a51·8fa0·0579·eeb0·0549·b240·40a0··.2.Q...y...I.@@.
00029c60:·95a0·020f·c0a2·b8a0·9005·4bb9·a0a0·9190··..........K.....00029c60:·95a0·020f·c0a2·b8a0·9005·4bb9·a0a0·9190··..........K.....
00029c70:·b005·8a73·0579·f902·2f01·4599·a0a0·40a0··...s.y../.E...@.00029c70:·b005·8a73·0579·f902·2f01·4599·a0a0·40a0··...s.y../.E...@.
Offset 10710, 16 lines modifiedOffset 10710, 16 lines modified
00029d50:·5f05·7a1e·0547·e102·2822·08e5·4040·a095··_.z..G..("..@@..00029d50:·5f05·7a1e·0547·e102·2822·08e5·4040·a095··_.z..G..("..@@..
Max diff block lines reached; 1870769/1881143 bytes (99.45%) of diff not shown.
4.5 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.vo
    
Offset 7, 25 lines modifiedOffset 7, 25 lines modified
00000060:·ca42·a0a0·2973·7372·6566·6c65·6374·a004··.B..)ssreflect..00000060:·ca42·a0a0·2973·7372·6566·6c65·6374·a004··.B..)ssreflect..
00000070:·02a0·286d·6174·6863·6f6d·7040·9030·ca52··..(mathcomp@.0.R00000070:·02a0·286d·6174·6863·6f6d·7040·9030·ca52··..(mathcomp@.0.R
00000080:·77c3·5c7b·6a1c·5bb7·82b0·97bb·202d·a0a0··w.\{j.[.....·-..00000080:·77c3·5c7b·6a1c·5bb7·82b0·97bb·202d·a0a0··w.\{j.[.....·-..
00000090:·2673·7372·6675·6ea0·2973·7372·6566·6c65··&ssrfun.)ssrefle00000090:·2673·7372·6675·6ea0·2973·7372·6566·6c65··&ssrfun.)ssrefle
000000a0:·6374·a028·6d61·7468·636f·6d70·4090·3081··ct.(mathcomp@.0.000000a0:·6374·a028·6d61·7468·636f·6d70·4090·3081··ct.(mathcomp@.0.
000000b0:·ed2b·30c4·c415·4060·2baf·32ff·ce49·eaa0··.+0...@`+.2..I..000000b0:·ed2b·30c4·c415·4060·2baf·32ff·ce49·eaa0··.+0...@`+.2..I..
000000c0:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving000000c0:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving
000000d0:·4090·30ae·4bdc·9ca1·c100·acba·6224·eb09··@.0.K.......b$..000000d0:·4090·307a·1168·d699·b17d·6090·d167·9615··@.0z.h...}`..g..
000000e0:·dc5b·15a0·a023·696e·64a0·2864·6572·6976··.[...#ind.(deriv000000e0:·5797·eaa0·a023·696e·64a0·2864·6572·6976··W....#ind.(deriv
000000f0:·696e·6740·9030·4d69·59ce·51d2·bede·4726··ing@.0MiY.Q...G&000000f0:·696e·6740·9030·073b·a536·3326·c70c·e668··ing@.0.;.63&...h
00000100:·88fd·03be·41f8·2535·2e32·2e30·a040·40a9··....A.%5.2.0.@@.00000100:·73af·e791·7a37·2535·2e32·2e30·a040·40c0··s...z7%5.2.0.@@.
00000110:·0066·5056·7881·6deb·caf2·b532·ba9c·ae84··.fPVx.m....2....00000110:·65af·39ca·a9bb·3e2c·2764·d275·6e17·6c84··e.9...>,'d.un.l.
00000120:·95a6·be00·001c·f800·0009·4100·0019·7000··..........A...p.00000120:·95a6·be00·001c·f800·0009·4100·0019·7000··..........A...p.
00000130:·0018·65b0·d0a0·2774·6163·7469·6373·a028··..e...'tactics.(00000130:·0018·65b0·d0a0·2774·6163·7469·6373·a028··..e...'tactics.(
00000140:·6465·7269·7669·6e67·40e0·9004·0641·9040··deriving@....A.@00000140:·6465·7269·7669·6e67·40e0·9004·0641·9040··deriving@....A.@
00000150:·40a0·4040·9040·a040·4090·a0a0·2369·6e64··@.@@.@.@@...#ind00000150:·40a0·4040·9040·a040·4090·a0a0·2369·6e64··@.@@.@.@@...#ind
00000160:·a028·6465·7269·7669·6e67·4090·304d·6959··.(deriving@.0MiY00000160:·a028·6465·7269·7669·6e67·4090·3007·3ba5··.(deriving@.0.;.
00000170:·ce51·d2be·de47·2688·fd03·be41·f890·40a0··.Q...G&....A..@.00000170:·3633·26c7·0ce6·6873·afe7·917a·3790·40a0··63&...hs...z7.@.
00000180:·4040·a0a0·95a0·020e·48cd·fab0·4030·6465··@@......H...@0de00000180:·4040·a0a0·95a0·020e·48cd·fab0·4030·6465··@@......H...@0de
00000190:·7269·7669·6e67·5f63·6f6d·7075·7465·9108··riving_compute..00000190:·7269·7669·6e67·5f63·6f6d·7075·7465·9108··riving_compute..
000001a0:·0000·2300·4041·4141·4141·40a0·9190·b090··..#.@AAAAA@.....000001a0:·0000·2300·4041·4141·4141·40a0·9190·b090··..#.@AAAAA@.....
000001b0:·a023·696e·64a0·2864·6572·6976·696e·6740··.#ind.(deriving@000001b0:·a023·696e·64a0·2864·6572·6976·696e·6740··.#ind.(deriving@
000001c0:·2666·735f·6675·6e02·31c9·02c1·a091·90b0··&fs_fun.1.......000001c0:·2666·735f·6675·6e02·31c9·02c1·a091·90b0··&fs_fun.1.......
000001d0:·040a·2466·7345·3102·21d7·5381·a091·90b0··..$fsE1.!.S.....000001d0:·040a·2466·7345·3102·21d7·5381·a091·90b0··..$fsE1.!.S.....
000001e0:·040f·2466·7345·3202·21d7·5382·a091·90b0··..$fsE2.!.S.....000001e0:·040f·2466·7345·3202·21d7·5382·a091·90b0··..$fsE2.!.S.....
Offset 476, 26 lines modifiedOffset 476, 26 lines modified
00001db0:·90a0·9105·04e3·40a0·90a0·9105·04e2·40a0··......@.......@.00001db0:·90a0·9105·04e3·40a0·90a0·9105·04e2·40a0··......@.......@.
00001dc0:·90a0·9105·04e1·40a0·90a0·9105·04e0·40a0··......@.......@.00001dc0:·90a0·9105·04e1·40a0·90a0·9105·04e0·40a0··......@.......@.
00001dd0:·90a0·9105·04df·40a0·90a0·9105·04de·40a0··......@.......@.00001dd0:·90a0·9105·04df·40a0·90a0·9105·04de·40a0··......@.......@.
00001de0:·90a0·9105·04dd·4040·a090·4040·90f0·a090··......@@..@@....00001de0:·90a0·9105·04dd·4040·a090·4040·90f0·a090··......@@..@@....
00001df0:·3064·6572·6976·696e·672e·7461·6374·6963··0deriving.tactic00001df0:·3064·6572·6976·696e·672e·7461·6374·6963··0deriving.tactic
00001e00:·7334·2e2f·7468·656f·7269·6573·2f74·6163··s4./theories/tac00001e00:·7334·2e2f·7468·656f·7269·6573·2f74·6163··s4./theories/tac
00001e10:·7469·6373·2e76·0101·a001·1a95·0102·6c01··tics.v........l.00001e10:·7469·6373·2e76·0101·a001·1a95·0102·6c01··tics.v........l.
00001e20:·2780·011a·9701·2781·4040·40cc·45ef·bee6··'.....'.@@@.E...00001e20:·2780·011a·9701·2781·4040·407f·ae18·b023··'.....'.@@@....#
00001e30:·ee22·f245·2c14·9986·520e·7784·95a6·be00··.".E,...R.w.....00001e30:·8d35·9616·abd1·ab42·ec47·a584·95a6·be00··.5.....B.G......
00001e40:·0000·0100·0000·0000·0000·0000·0000·0080··................00001e40:·0000·0100·0000·0000·0000·0000·0000·0080··................
00001e50:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\."..00001e50:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\."..
00001e60:·8495·a6be·0000·0016·0000·0005·0000·0010··................00001e60:·8495·a6be·0000·0016·0000·0005·0000·0010··................
00001e70:·0000·000e·a0a0·2774·6163·7469·6373·a028··......'tactics.(00001e70:·0000·000e·a0a0·2774·6163·7469·6373·a028··......'tactics.(
00001e80:·6465·7269·7669·6e67·4080·8679·69a2·6fc3··deriving@..yi.o.00001e80:·6465·7269·7669·6e67·4080·8679·69a2·6fc3··deriving@..yi.o.
00001e90:·fdd5·8b79·a622·e8e8·fa3d·0000·0004·0000··...y."...=......00001e90:·fdd5·8b79·a622·e8e8·fa3d·0000·0004·0000··...y."...=......
00001ea0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library.......00001ea0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library.......
00001eb0:·1f00·0000·0000·001d·0ccc·45ef·bee6·ee22··..........E...."00001eb0:·1f00·0000·0000·001d·0c7f·ae18·b023·8d35··.............#.5
00001ec0:·f245·2c14·9986·520e·7700·0000·076f·7061··.E,...R.w....opa00001ec0:·9616·abd1·ab42·ec47·a500·0000·076f·7061··.....B.G.....opa
00001ed0:·7175·6573·0000·0000·0000·1e3b·0000·0000··ques.......;....00001ed0:·7175·6573·0000·0000·0000·1e3b·0000·0000··ques.......;....
00001ee0:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\00001ee0:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\
00001ef0:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary.00001ef0:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary.
00001f00:·0000·0000·0000·1000·0000·0000·0000·ffa9··................00001f00:·0000·0000·0000·1000·0000·0000·0000·ffc0··................
00001f10:·0066·5056·7881·6deb·caf2·b532·ba9c·ae00··.fPVx.m....2....00001f10:·65af·39ca·a9bb·3e2c·2764·d275·6e17·6c00··e.9...>,'d.un.l.
00001f20:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary....00001f20:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary....
00001f30:·0000·1e60·0000·0000·0000·002a·8679·69a2··...`.......*.yi.00001f30:·0000·1e60·0000·0000·0000·002a·8679·69a2··...`.......*.yi.
00001f40:·6fc3·fdd5·8b79·a622·e8e8·fa3d············o....y."...=00001f40:·6fc3·fdd5·8b79·a622·e8e8·fa3d············o....y."...=
118 B
./var/lib/coq/md5sums/libcoq-deriving.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 awwp11 qk5b6