4.28 MB
/srv/reproducible-results/rbuild-debian/r-b-build.g0F5P9Fy/b1/coq-deriving_0.2.1-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.g0F5P9Fy/b2/coq-deriving_0.2.1-1_amd64.changes
210 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·f0882aa5b95937c0342640ac422b2fc9·493404·ocaml·optional·libcoq-deriving_0.2.1-1_amd64.deb1 ·31b142914788ae45da5e9e0072e3032a·493944·ocaml·optional·libcoq-deriving_0.2.1-1_amd64.deb
4.28 MB
libcoq-deriving_0.2.1-1_amd64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-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·····1648·2024-12-04·13:30:14.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1640·2024-12-04·13:30:14.000000·control.tar.xz
3 -rw-r--r--···0········0········0···491564·2024-12-04·13:30:14.000000·data.tar.xz3 -rw-r--r--···0········0········0···492112·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:·amd644 Architecture:·amd64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·18396 Installed-Size:·1839
7 Depends:·libcoq-mathcomp-ssreflect-vk1c9,·libcoq-stdlib-p29e77 Depends:·libcoq-mathcomp-ssreflect-vk1c9,·libcoq-stdlib-p29e7
8 Provides:·libcoq-deriving-xsy358 Provides:·libcoq-deriving-6grn2
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
4.28 MB
data.tar.xz
4.28 MB
data.tar
6.44 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/x86_64-linux-gnu/ocaml/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/x86_64-linux-gnu/ocaml/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.v
12 -rw-r--r--···0·root·········(0)·root·········(0)···299597·2024-12-04·13:30:14.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.vo12 -rw-r--r--···0·root·········(0)·root·········(0)···299585·2024-12-04·13:30:14.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.v
21 -rw-r--r--···0·root·········(0)·root·········(0)···298698·2024-12-04·13:30:14.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.vo21 -rw-r--r--···0·root·········(0)·root·········(0)···298695·2024-12-04·13:30:14.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.v
40 -rw-r--r--···0·root·········(0)·root·········(0)···389637·2024-12-04·13:30:14.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.vo40 -rw-r--r--···0·root·········(0)·root·········(0)···389683·2024-12-04·13:30:14.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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.83 MB
./usr/lib/x86_64-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·919b··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·918f··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·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y......00000050:·4090·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y......
00000060:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures00000060:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures
00000070:·a022·4842·4090·30d2·215a·9cfb·a853·4c8b··."HB@.0.!Z...SL.00000070:·a022·4842·4090·30d2·215a·9cfb·a853·4c8b··."HB@.0.!Z...SL.
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·d750·7164·8542·a69a··hcomp@.0.Pqd.B..000001c0:·6863·6f6d·7040·9030·d750·7164·8542·a69a··hcomp@.0.Pqd.B..
000001d0:·efbc·06db·9b07·e825·a0a0·256f·7264·6572··.......%..%order000001d0:·efbc·06db·9b07·e825·a0a0·256f·7264·6572··.......%..%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·1317·e48e·7c22·cfb7··hcomp@.0....|"..000001f0:·6863·6f6d·7040·9030·1317·e48e·7c22·cfb7··hcomp@.0....|"..
00000200:·5a68·b253·da9c·be30·2535·2e32·2e30·a040··Zh.S...0%5.2.0.@00000200:·5a68·b253·da9c·be30·2535·2e32·2e30·a040··Zh.S...0%5.2.0.@
00000210:·4055·6493·9f45·5622·fac3·2f6f·1be4·c0b6··@Ud..EV"../o....00000210:·4055·6493·9f45·5622·fac3·2f6f·1be4·c0b6··@Ud..EV"../o....
00000220:·9084·95a6·be00·0341·f400·00d0·8e00·02b4··.......A........00000220:·9084·95a6·be00·0341·e800·00d0·8e00·02b4··.......A........
00000230:·7200·02a5·deb0·d0a0·2462·6173·65a0·2864··r.......$base.(d00000230:·6d00·02a5·d9b0·d0a0·2462·6173·65a0·2864··m.......$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, 13866 lines modifiedOffset 4860, 13866 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....
Diff chunk too large, falling back to line-by-line diff (13414 lines added, 13414 lines removed)
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·3832·3233·3935·3531··..@@@@@)8223955100013020:·9090·4040·4040·402a·3130·3531·3739·3236··..@@@@@*10517926
00013030:·32e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··2.....@%@cast...00013030:·3531·e0d0·d0d0·d040·2540·6361·7374·a0b0··51.....@%@cast..
00013040:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY.00013040:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY
00013050:·0640·b0c3·9140·236c·6574·b095·a090·053c··.@...@#let.....<00013050:·0406·40b0·c391·4023·6c65·74b0·95a0·9005··..@...@#let.....
00013060:·3a53·e040·3063·6f71·2d62·7569·6c74·696e··:S.@0coq-builtin00013060:·3c3a·53e0·4030·636f·712d·6275·696c·7469··<:S.@0coq-builti
00013070:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$00013070:·6e2e·656c·7069·0124·e801·24ee·0100·e101··n.elpi.$..$.....
00013080:·cfa0·0428·9040·a0b0·a190·0416·0411·e040··...(.@.........@00013080:·24cf·a004·2890·40a0·b0a1·9004·1604·11e0··$...(.@.........
00013090:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$...00013090:·4004·0801·24ef·0124·f101·00e1·0124·cfa0··@...$..$.....$..
000130a0:·2f90·40a0·b0a1·9004·1d04·1ee0·4004·0f01··/.@.........@...000130a0:·042f·9040·a0b0·a190·041d·041e·e040·040f··./.@.........@..
000130b0:·24f2·0124·f301·00e1·0124·cfa0·0436·9040··$..$.....$...6.@000130b0:·0124·f201·24f3·0100·e101·24cf·a004·3690··.$..$.....$...6.
000130c0:·a0b0·b490·a021·7804·2640·b0a1·9004·2904··.....!x.&@....).000130c0:·40a0·b0b4·90a0·2178·0426·40b0·a190·0429··@.....!x.&@....)
000130d0:·04e0·4004·1b01·24f6·0124·f701·00e1·0124··..@...$..$.....$000130d0:·0404·e040·041b·0124·f601·24f7·0100·e101··...@...$..$.....
000130e0:·cfa0·0442·9040·e040·041e·0124·f401·24f7··...B.@.@...$..$.000130e0:·24cf·a004·4290·40e0·4004·1e01·24f4·0124··$...B.@.@...$..$
000130f0:·0100·e101·24cf·a004·4590·4040·e040·0421··....$...E.@@.@.!000130f0:·f701·00e1·0124·cfa0·0445·9040·40e0·4004··.....$...E.@@.@.
00013100:·0124·e401·24f7·0100·e101·24cf·a004·4890··.$..$.....$...H.00013100:·2101·24e4·0124·f701·00e1·0124·cfa0·0448··!.$..$.....$...H
00013110:·40e0·4004·2401·24dd·0124·f701·00e1·0124··@.@.$.$..$.....$00013110:·9040·e040·0424·0124·dd01·24f7·0100·e101··.@.@.$.$..$.....
00013120:·cfa0·044b·9040·e040·0427·0124·db01·24f7··...K.@.@.'.$..$.00013120:·24cf·a004·4b90·40e0·4004·2701·24db·0124··$...K.@.@.'.$..$
00013130:·0100·e101·24cf·a004·4e90·40e0·4004·2a01··....$...N.@.@.*.00013130:·f701·00e1·0124·cfa0·044e·9040·e040·042a··.....$...N.@.@.*
00013140:·24cf·0124·f801·00e1·0124·cfd0·402a·4063··$..$.....$..@*@c00013140:·0124·cf01·24f8·0100·e101·24cf·d040·2a40··.$..$.....$..@*@
00013150:·6f65·7263·696f·6e21·a0b0·c391·4022·3a3a··oercion!....@"::00013150:·636f·6572·6369·6f6e·21a0·b0c3·9140·223a··coercion!....@":
00013160:·b0c3·9140·2863·6f65·7263·696f·6eb0·a191··...@(coercion...00013160:·3ab0·c391·4028·636f·6572·6369·6f6e·b0a1··:...@(coercion..
00013170:·402a·7265·7665·7273·6962·6c65·e040·043a··@*reversible.@.:00013170:·9140·2a72·6576·6572·7369·626c·65e0·4004··.@*reversible.@.
00013180:·0153·1a01·5324·0101·f201·52fc·a004·6190··.S..S$....R...a.00013180:·3a01·531a·0153·2401·01f2·0152·fca0·0461··:.S..S$....R...a
00013190:·4040·e040·043d·0153·1101·5324·0101·f201··@@.@.=.S..S$....00013190:·9040·40e0·4004·3d01·5311·0153·2401·01f2··.@@.@.=.S..S$...
000131a0:·52fc·a004·6490·40a0·b0a1·9140·225b·5de0··R...d.@....@"[].000131a0:·0152·fca0·0464·9040·a0b0·a191·4022·5b5d··.R...d.@....@"[]
000131b0:·4004·4501·5324·0153·2501·01f2·0152·fca0··@.E.S$.S%....R..000131b0:·e040·0445·0153·2401·5325·0101·f201·52fc··.@.E.S$.S%....R.
000131c0:·046c·9040·40e0·4004·4801·5310·0153·2501··.l.@@.@.H.S..S%.000131c0:·a004·6c90·4040·e040·0448·0153·1001·5325··..l.@@.@.H.S..S%
000131d0:·01f2·0152·fca0·046f·9040·e040·044b·0152··...R...o.@.@.K.R000131d0:·0101·f201·52fc·a004·6f90·40e0·4004·4b01··....R...o.@.@.K.
000131e0:·fc01·5325·0101·f201·52fc·4041·422c·4064··..S%....R.@AB,@d000131e0:·52fc·0153·2501·01f2·0152·fc40·4142·2c40··R..S%....R.@AB,@
000131f0:·6570·7265·6361·7465·6421·a0b0·b490·a025··eprecated!.....%000131f0:·6465·7072·6563·6174·6564·21a0·b0b4·90a0··deprecated!.....
00013200:·5369·6e63·6504·6140·b0b4·90a0·234d·7367··Since.a@....#Msg00013200:·2553·696e·6365·0461·40b0·b490·a023·4d73··%Since.a@....#Ms
00013210:·0466·40b0·c391·402a·6765·742d·6f70·7469··.f@...@*get-opti00013210:·6704·6640·b0c3·9140·2a67·6574·2d6f·7074··g.f@...@*get-opt
00013220:·6f6e·b095·a02e·636f·713a·6465·7072·6563··on....coq:deprec00013220:·696f·6eb0·95a0·2e63·6f71·3a64·6570·7265··ion....coq:depre
00013230:·6174·6564·43e0·4004·6001·5280·0152·9001··atedC.@.`.R..R..00013230:·6361·7465·6443·e040·0460·0152·8001·5290··catedC.@.`.R..R.
00013240:·01ed·0152·73a0·0487·9040·a0b0·c391·4022··...Rs....@....@"00013240:·0101·ed01·5273·a004·8790·40a0·b0c3·9140··....Rs....@....@
00013250:·7072·b0a1·9004·7904·19e0·4004·6b01·5295··pr....y...@.k.R.00013250:·2270·72b0·a190·0479·0419·e040·046b·0152··"pr....y...@.k.R
00013260:·0152·9a01·01ed·0152·73a0·0492·9040·a0b0··.R.....Rs....@..00013260:·9501·529a·0101·ed01·5273·a004·9290·40a0··..R.....Rs....@.
00013270:·a190·0480·041b·e040·0472·0152·9b01·529e··.......@.r.R..R.00013270:·b0a1·9004·8004·1be0·4004·7201·529b·0152··........@.r.R..R
00013280:·0101·ed01·5273·a004·9990·4040·e040·0475··....Rs....@@.@.u00013280:·9e01·01ed·0152·73a0·0499·9040·40e0·4004··.....Rs....@@.@.
00013290:·0152·9201·529e·0101·ed01·5273·a004·9c90··.R..R.....Rs....00013290:·7501·5292·0152·9e01·01ed·0152·73a0·049c··u.R..R.....Rs...
000132a0:·4040·e040·0478·0152·7501·529f·0101·ed01··@@.@.x.Ru.R.....000132a0:·9040·40e0·4004·7801·5275·0152·9f01·01ed··.@@.@.x.Ru.R....
000132b0:·5273·a004·9f90·40e0·4004·7b01·526c·0152··Rs....@.@.{.Rl.R000132b0:·0152·73a0·049f·9040·e040·047b·0152·6c01··.Rs....@.@.{.Rl.
000132c0:·9f01·01ed·0152·73a0·04a2·9040·e040·047e··.....Rs....@.@.~000132c0:·529f·0101·ed01·5273·a004·a290·40e0·4004··R.....Rs....@.@.
000132d0:·0152·6601·529f·0101·ed01·5273·a004·a590··.Rf.R.....Rs....000132d0:·7e01·5266·0152·9f01·01ed·0152·73a0·04a5··~.Rf.R.....Rs...
000132e0:·40e0·4004·8101·5253·0152·9f01·01ec·0152··@.@...RS.R.....R000132e0:·9040·e040·0481·0152·5301·529f·0101·ec01··.@.@...RS.R.....
000132f0:·53d0·402b·4064·726f·7075·6e69·7673·21a0··S.@+@dropunivs!.000132f0:·5253·d040·2b40·6472·6f70·756e·6976·7321··RS.@+@dropunivs!
00013300:·b0c3·9140·042d·b095·a02d·636f·713a·6b65··...@.-...-coq:ke00013300:·a0b0·c391·4004·2db0·95a0·2d63·6f71·3a6b··....@.-...-coq:k
00013310:·6570·756e·6976·7343·e040·048c·0150·c201··epunivsC.@...P..00013310:·6565·7075·6e69·7673·43e0·4004·8c01·50c2··eepunivsC.@...P.
00013320:·50d1·0101·e201·50a2·a004·b390·40a0·b0a1··P.....P.....@...00013320:·0150·d101·01e2·0150·a2a0·04b3·9040·a0b0··.P.....P.....@..
00013330:·9140·2266·66e0·4004·9401·50d2·0150·d401··.@"ff.@...P..P..00013330:·a191·4022·6666·e040·0494·0150·d201·50d4··..@"ff.@...P..P.
00013340:·01e2·0150·a2a0·04bb·9040·40e0·4004·9701··...P.....@@.@...00013340:·0101·e201·50a2·a004·bb90·4040·e040·0497··....P.....@@.@..
00013350:·50b7·0150·d401·01e2·0150·a2a0·04be·9040··P..P.....P.....@00013350:·0150·b701·50d4·0101·e201·50a2·a004·be90··.P..P.....P.....
00013360:·e040·049a·0150·a201·50d4·0101·e201·50a2··.@...P..P.....P.00013360:·40e0·4004·9a01·50a2·0150·d401·01e2·0150··@.@...P..P.....P
00013370:·4041·4328·4067·6c6f·6261·6c21·a0b0·c391··@AC(@global!....00013370:·a240·4143·2840·676c·6f62·616c·21a0·b0c3··.@AC(@global!...
00013380:·4004·45b0·95a0·2c63·6f71·3a6c·6f63·616c··@.E...,coq:local00013380:·9140·0445·b095·a02c·636f·713a·6c6f·6361··.@.E...,coq:loca
00013390:·6974·7943·e040·04a4·0118·0501·1813·0100··ityC.@..........00013390:·6c69·7479·43e0·4004·a401·1805·0118·1301··lityC.@.........
000133a0:·9501·17e6·a004·cb90·40a0·b095·a026·676c··........@....&gl000133a0:·0095·0117·e6a0·04cb·9040·a0b0·95a0·2667··.........@....&g
000133b0:·6f62·616c·43e0·4004·ac01·1814·0118·1c01··obalC.@.........000133b0:·6c6f·6261·6c43·e040·04ac·0118·1401·181c··lobalC.@........
000133c0:·0095·0117·e6a0·04d3·9040·40e0·4004·af01··.........@@.@...000133c0:·0100·9501·17e6·a004·d390·4040·e040·04af··..........@@.@..
000133d0:·17fa·0118·1c01·0095·0117·e6a0·04d6·9040··...............@000133d0:·0117·fa01·181c·0100·9501·17e6·a004·d690··................
000133e0:·e040·04b2·0117·e601·181c·0100·9501·17e6··.@..............000133e0:·40e0·4004·b201·17e6·0118·1c01·0095·0117··@.@.............
000133f0:·d0d0·d040·2740·686f·6c65·7321·a0b0·c391··...@'@holes!....000133f0:·e6d0·d0d0·4027·4068·6f6c·6573·21a0·b0c3··....@'@holes!...
00013400:·4004·60b0·95a0·2a48·4f41·533a·686f·6c65··@.`...*HOAS:hole00013400:·9140·0460·b095·a02a·484f·4153·3a68·6f6c··.@.`...*HOAS:hol
00013410:·7343·e040·04bf·0133·ad01·33b9·0101·4301··sC.@...3..3...C.00013410:·6573·43e0·4004·bf01·33ad·0133·b901·0143··esC.@...3..3...C
00013420:·3391·a004·e690·40a0·b0a1·9140·2274·74e0··3.....@....@"tt.00013420:·0133·91a0·04e6·9040·a0b0·a191·4022·7474··.3.....@....@"tt
00013430:·4004·c701·33ba·0133·bc01·0143·0133·91a0··@...3..3...C.3..00013430:·e040·04c7·0133·ba01·33bc·0101·4301·3391··.@...3..3...C.3.
00013440:·04ee·9040·40e0·4004·ca01·33a2·0133·bc01··...@@.@...3..3..00013440:·a004·ee90·4040·e040·04ca·0133·a201·33bc··....@@.@...3..3.
00013450:·0143·0133·91a0·04f1·9040·e040·04cd·0133··.C.3.....@.@...300013450:·0101·4301·3391·a004·f190·40e0·4004·cd01··..C.3.....@.@...
00013460:·9101·33bc·0101·4301·3391·d040·2840·696e··..3...C.3..@(@in00013460:·3391·0133·bc01·0143·0133·91d0·4028·4069··3..3...C.3..@(@i
00013470:·6c69·6e65·21a0·b0b4·90a0·214e·04e4·40b0··line!.....!N..@.00013470:·6e6c·696e·6521·a0b0·b490·a021·4e04·e440··nline!.....!N..@
00013480:·c391·4004·7eb0·95a0·2a63·6f71·3a69·6e6c··..@.~...*coq:inl00013480:·b0c3·9140·047e·b095·a02a·636f·713a·696e··...@.~...*coq:in
00013490:·696e·6543·e040·04dd·0151·ac01·51b8·0101··ineC.@...Q..Q...00013490:·6c69·6e65·43e0·4004·dd01·51ac·0151·b801··lineC.@...Q..Q..
000134a0:·e701·518d·a005·0104·9040·a0b0·a191·4032··..Q......@....@2000134a0:·01e7·0151·8da0·0501·0490·40a0·b0a1·9140··...Q......@....@
000134b0:·636f·712e·696e·6c69·6e65·2e64·6566·6175··coq.inline.defau000134b0:·3263·6f71·2e69·6e6c·696e·652e·6465·6661··2coq.inline.defa
000134c0:·6c74·e040·04e5·0151·b901·51cb·0101·e701··lt.@...Q..Q.....000134c0:·756c·74e0·4004·e501·51b9·0151·cb01·01e7··ult.@...Q..Q....
000134d0:·518d·a005·010c·9040·40e0·4004·e801·51a1··Q......@@.@...Q.000134d0:·0151·8da0·0501·0c90·4040·e040·04e8·0151··.Q......@@.@...Q
000134e0:·0151·cb01·01e7·0151·8da0·0501·0f90·40e0··.Q.....Q......@.000134e0:·a101·51cb·0101·e701·518d·a005·010f·9040··..Q.....Q......@
000134f0:·4004·eb01·519c·0151·cb01·01e7·0151·8da0··@...Q..Q.....Q..000134f0:·e040·04eb·0151·9c01·51cb·0101·e701·518d··.@...Q..Q.....Q.
00013500:·0501·1290·40e0·4004·ee01·518d·0151·cb01··....@.@...Q..Q..00013500:·a005·0112·9040·e040·04ee·0151·8d01·51cb··.....@.@...Q..Q.
00013510:·01e7·0151·8d40·4142·2b40·696e·6c69·6e65··...Q.@AB+@inline00013510:·0101·e701·518d·4041·422b·4069·6e6c·696e··....Q.@AB+@inlin
00013520:·2d61·7421·a0b0·b490·a004·2005·0103·40b0··-at!......·...@.00013520:·652d·6174·21a0·b0b4·90a0·0420·0501·0340··e-at!......·...@
00013530:·c391·4004·9db0·9504·1fe0·4004·fa01·515c··..@.......@...Q\00013530:·b0c3·9140·049d·b095·041f·e040·04fa·0151··...@.......@...Q
00013540:·0151·6801·01e6·0151·3aa0·0501·2190·40a0··.Qh....Q:...!.@.00013540:·5c01·5168·0101·e601·513a·a005·0121·9040··\.Qh....Q:...!.@
00013550:·b0c3·9140·2d63·6f71·2e69·6e6c·696e·652e··...@-coq.inline.00013550:·a0b0·c391·402d·636f·712e·696e·6c69·6e65··....@-coq.inline
00013560:·6174·b0a1·9005·0113·0430·e040·0501·0501··at.......0.@....00013560:·2e61·74b0·a190·0501·1304·30e0·4005·0105··.at.......0.@...
00013570:·5178·0151·7901·01e6·0151·3aa0·0501·2c90··Qx.Qy....Q:...,.00013570:·0151·7801·5179·0101·e601·513a·a005·012c··.Qx.Qy....Q:...,
00013580:·4040·e040·0501·0801·516a·0151·7901·01e6··@@.@....Qj.Qy...00013580:·9040·40e0·4005·0108·0151·6a01·5179·0101··.@@.@....Qj.Qy..
00013590:·0151·3aa0·0501·2f90·4040·e040·0501·0b01··.Q:.../.@@.@....00013590:·e601·513a·a005·012f·9040·40e0·4005·010b··..Q:.../.@@.@...
000135a0:·5151·0151·7a01·01e6·0151·3aa0·0501·3290··QQ.Qz....Q:...2.000135a0:·0151·5101·517a·0101·e601·513a·a005·0132··.QQ.Qz....Q:...2
000135b0:·40e0·4005·010e·0151·4c01·517a·0101·e601··@.@....QL.Qz....000135b0:·9040·e040·0501·0e01·514c·0151·7a01·01e6··.@.@....QL.Qz...
000135c0:·513a·a005·0135·9040·e040·0501·1101·513a··Q:...5.@.@....Q:000135c0:·0151·3aa0·0501·3590·40e0·4005·0111·0151··.Q:...5.@.@....Q
000135d0:·0151·7a01·01e6·0151·3ad0·402b·406b·6565··.Qz....Q:.@+@kee000135d0:·3a01·517a·0101·e601·513a·d040·2b40·6b65··:.Qz....Q:.@+@ke
000135e0:·7075·6e69·7673·21a0·b0c3·9140·04bd·b095··punivs!....@....000135e0:·6570·756e·6976·7321·a0b0·c391·4004·bdb0··epunivs!....@...
Max diff block lines reached; 61254/1914867 bytes (3.20%) of diff not shown.
4.81 KB
./usr/lib/x86_64-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·c7f5·9674··Init.#Coq@.0...t00000040:·496e·6974·a023·436f·7140·9030·c7f5·9674··Init.#Coq@.0...t
00000050:·0295·790e·84d5·17cb·ca0a·ceef·a0a0·2369··..y...........#i00000050:·0295·790e·84d5·17cb·ca0a·ceef·a0a0·2369··..y...........#i
00000060:·6e64·a028·6465·7269·7669·6e67·4090·301c··nd.(deriving@.0.00000060:·6e64·a028·6465·7269·7669·6e67·4090·30ef··nd.(deriving@.0.
00000070:·093b·cdb3·c83b·3a58·5ba8·0706·8b67·51a0··.;...;:X[....gQ.00000070:·23cf·04fb·e07d·4310·f200·fa56·baa1·c7a0··#....}C....V....
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·704a·ca9e·43fd·ad15·80c1··ing@.0pJ..C.....00000090:·696e·6740·9030·93f0·1107·3f1a·d052·80c0··ing@.0....?..R..
000000a0:·b6ee·00bb·1e84·a0a0·2569·6e66·6572·a028··........%infer.(000000a0:·75de·b4cb·999c·a0a0·2569·6e66·6572·a028··u.......%infer.(
000000b0:·6465·7269·7669·6e67·4090·3056·7233·6ad6··deriving@.0Vr3j.000000b0:·6465·7269·7669·6e67·4090·3090·5021·3e7b··deriving@.0.P!>{
000000c0:·c497·85c8·1ff6·ecec·02ca·37a0·a029·696e··..........7..)in000000c0:·ec17·f2c0·9b07·55f4·89b4·d0a0·a029·696e··......U......)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·af02·058e·1637·cebd·5840·e51d··g@.0.....7..X@..000000e0:·6740·9030·e6ae·c824·58be·af2c·bbde·d383··g@.0...$X..,....
000000f0:·9036·32dc·2535·2e32·2e30·a040·404b·cb72··.62.%5.2.0.@@K.r000000f0:·a9d3·dc4a·2535·2e32·2e30·a040·4037·5061··...J%5.2.0.@@7Pa
00000100:·8820·cd13·e79d·b3a3·740d·74b4·aa84·95a6··.·......t.t.....00000100:·b33e·6f78·cf32·eaa8·ea23·42b0·9884·95a6··.>ox.2...#B.....
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·30af·0205·8e16··deriving@.0.....00000150:·6465·7269·7669·6e67·4090·30e6·aec8·2458··deriving@.0...$X
00000160:·37ce·bd58·40e5·1d90·3632·dc90·40a0·a094··7..X@...62..@...00000160:·beaf·2cbb·ded3·83a9·d3dc·4a90·40a0·a094··..,.......J.@...
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·4004·322b··..@....@..@@@.2+00000210:·0417·40a0·94a0·a040·0416·4040·400a·8c2e··..@....@..@@@...
00000220:·2190·9594·0547·456d·f0c7·c4e0·ac84·95a6··!....GEm........00000220:·24fd·ec83·3e29·e8ff·cb57·17ec·b884·95a6··$...>)...W......
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·1004·322b·2190·9594·0547·456d··......2+!....GEm000002a0:·0000·0001·100a·8c2e·24fd·ec83·3e29·e8ff··........$...>)..
000002b0:·f0c7·c4e0·ac00·0000·076f·7061·7175·6573··.........opaques000002b0:·cb57·17ec·b800·0000·076f·7061·7175·6573··.W.......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·ed4b·cb72·8820··...........K.r.·000002f0:·0000·1000·0000·0000·0000·ed37·5061·b33e··...........7Pa.>
00000300:·cd13·e79d·b3a3·740d·74b4·aa00·0000·0976··......t.t......v00000300:·6f78·cf32·eaa8·ea23·42b0·9800·0000·0976··ox.2...#B......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
622 KB
./usr/lib/x86_64-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·8e18··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·8e15··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·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y.......00000050:·9030·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y.......
00000060:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures.00000060:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures.
00000070:·2248·4240·9030·d221·5a9c·fba8·534c·8bb5··"HB@.0.!Z...SL..00000070:·2248·4240·9030·d221·5a9c·fba8·534c·8bb5··"HB@.0.!Z...SL..
Offset 24, 20 lines modifiedOffset 24, 20 lines modified
00000170:·ea96·dc03·a0a0·2663·686f·6963·65a0·2973··......&choice.)s00000170:·ea96·dc03·a0a0·2663·686f·6963·65a0·2973··......&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·3061·68cc·95ee·bb75·1f85·f552··mp@.0ah....u...R00000190:·6d70·4090·3061·68cc·95ee·bb75·1f85·f552··mp@.0ah....u...R
000001a0:·b802·ae87·c7a0·a027·6669·6e74·7970·65a0··.......'fintype.000001a0:·b802·ae87·c7a0·a027·6669·6e74·7970·65a0··.......'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·30d7·5071·6485·42a6·9aef··comp@.0.Pqd.B...000001c0:·636f·6d70·4090·30d7·5071·6485·42a6·9aef··comp@.0.Pqd.B...
000001d0:·bc06·db9b·07e8·25a0·a024·6261·7365·a028··......%..$base.(000001d0:·bc06·db9b·07e8·25a0·a024·6261·7365·a028··......%..$base.(
000001e0:·6465·7269·7669·6e67·4090·30e7·0931·9e02··deriving@.0..1..000001e0:·6465·7269·7669·6e67·4090·30ac·a52a·738c··deriving@.0..*s.
000001f0:·f2be·f73b·fdce·dacb·5033·3fa0·a026·5a41··...;....P3?..&ZA000001f0:·88df·a1d6·ce9e·290a·37fd·1ca0·a026·5a41··......).7....&ZA
00000200:·7269·7468·a004·02a0·2343·6f71·4090·3030··rith....#Coq@.0000000200:·7269·7468·a004·02a0·2343·6f71·4090·3030··rith....#Coq@.00
00000210:·fc2e·73d4·91fa·87ae·2573·4d91·ed15·ca25··..s.....%sM....%00000210:·fc2e·73d4·91fa·87ae·2573·4d91·ed15·ca25··..s.....%sM....%
00000220:·352e·322e·30a0·4040·1f07·8d95·a1d8·97bd··5.2.0.@@........00000220:·352e·322e·30a0·4040·6422·fa62·566a·54cf··5.2.0.@@d".bVjT.
00000230:·fc98·f65a·591e·c49d·8495·a6be·0003·a5cb··...ZY...........00000230:·0fda·583d·1342·a40b·8495·a6be·0003·a5c8··..X=.B..........
00000240:·0000·e495·0003·0875·0002·faf2·b0d0·a023··.......u.......#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......!
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·30fc·2e73··h....#Coq@.00..s000132e0:·68a0·0402·a023·436f·7140·9030·30fc·2e73··h....#Coq@.00..s
000132f0:·d491·fa87·ae25·734d·91ed·15ca·a005·3d33··.....%sM......=3000132f0:·d491·fa87·ae25·734d·91ed·15ca·a005·3d33··.....%sM......=3
00013300:·9030·e709·319e·02f2·bef7·3bfd·ceda·cb50··.0..1.....;....P00013300:·9030·aca5·2a73·8c88·dfa1·d6ce·9e29·0a37··.0..*s.......).7
00013310:·333f·9040·a0a0·95a0·021d·041a·fca0·40a0··3?.@..........@.00013310:·fd1c·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·3136·3831·3430··....@@@@@)16814000024770:·0790·9090·4040·4040·4029·3139·3632·3937··....@@@@@)196297
00024780:·3735·35e0·d0d0·d0d0·4025·4063·6173·74a0··755.....@%@cast.00024780:·3136·30e0·d0d0·d0d0·4025·4063·6173·74a0··160.....@%@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·00e1·3e40·4140··L.F.........>@A@00037020:·4c05·4612·0c00·0000·0000·e000·3f40·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·402a·3130·3030··.FT...@@@@@*100000037120:·0546·5490·9090·4040·4040·4029·3837·3430··.FT...@@@@@)8740
00037130:·3436·3434·3230·e005·464d·0540·f005·3f6d··464420..FM.@..?m00037130:·3137·3339·33e0·0546·4d05·40f0·053f·6d05··17393..FM.@..?m.
00037140:·0517·3405·16a5·0546·690c·0000·0000·0000··..4....Fi.......00037140:·1734·0516·a505·4669·0c00·0000·0000·0004··.4....Fi........
00037150:·e73e·4041·40a0·95a0·0200·5896·9db0·4228··.>@A@.....X...B(00037150:·3f40·4140·a095·a002·0058·969d·b042·2864··?@A@.....X...B(d
00037160:·6465·7269·7669·6e67·91a0·a090·9190·b005··deriving........00037160:·6572·6976·696e·6791·a0a0·9091·90b0·05a2··eriving.........
00037170:·a231·05d5·6302·23dc·ceac·e044·4090·0405··.1..c.#....D@...00037170:·3105·d563·0223·dcce·ace0·4440·9004·0540··1..c.#....D@...@
00037180:·4005·920c·a094·9104·07b0·05d5·9e30·6465··@............0de00037180:·0592·0ca0·9491·0407·b005·d59e·3064·6572··............0der
00037190:·7269·7669·6e67·2e69·6e64·2331·3134·0207··riving.ind#114..00037190:·6976·696e·672e·696e·6423·3131·3402·0748··iving.ind#114..H
000371a0:·48d9·4a40·a095·a002·0058·969d·b042·2864··H.J@.....X...B(d000371a0:·d94a·40a0·95a0·0200·5896·9db0·4228·6465··.J@.....X...B(de
000371b0:·6572·6976·696e·6791·a0a0·9091·90b0·05a2··eriving.........000371b0:·7269·7669·6e67·91a0·a090·9190·b005·a244··riving.........D
000371c0:·4405·b48c·0224·cdc4·b7e0·4440·9004·0540··D....$....D@...@000371c0:·05b4·8c02·24cd·c4b7·e044·4090·0405·4005··....$....D@...@.
000371d0:·0592·1fa0·9491·0407·b005·d5b1·3064·6572··............0der000371d0:·921f·a094·9104·07b0·05d5·b130·6465·7269··...........0deri
000371e0:·6976·696e·672e·696e·6423·3131·3502·0748··iving.ind#115..H000371e0:·7669·6e67·2e69·6e64·2331·3135·0207·48d9··ving.ind#115..H.
000371f0:·d94b·40a0·95a0·0200·5896·9db0·4228·6465··.K@.....X...B(de000371f0:·4b40·a095·a002·0058·969d·b042·2864·6572··K@.....X...B(der
00037200:·7269·7669·6e67·91a0·a090·9190·b005·a257··riving.........W00037200:·6976·696e·6791·a0a0·9091·90b0·05a2·5705··iving.........W.
00037210:·05b4·a502·23e7·dbbc·e044·4090·0405·4005··....#....D@...@.00037210:·b4a5·0223·e7db·bce0·4440·9004·0540·0592··...#....D@...@..
00037220:·9232·a094·9104·07b0·05d5·c430·6465·7269··.2.........0deri00037220:·32a0·9491·0407·b005·d5c4·3064·6572·6976··2.........0deriv
00037230:·7669·6e67·2e69·6e64·2331·3136·0207·48d9··ving.ind#116..H.00037230:·696e·672e·696e·6423·3131·3602·0748·d94c··ing.ind#116..H.L
00037240:·4c40·a095·a002·0058·969d·b042·2864·6572··L@.....X...B(der00037240:·40a0·95a0·0200·5896·9db0·4228·6465·7269··@.....X...B(deri
00037250:·6976·696e·6791·a0a0·9091·05a2·6ae0·4440··iving.......j.D@00037250:·7669·6e67·91a0·a090·9105·a26a·e044·4090··ving.......j.D@.
00037260:·9004·0340·0592·43a0·9491·05a2·6fb0·05d5··...@..C.....o...00037260:·0403·4005·9243·a094·9105·a26f·b005·d5d5··..@..C.....o....
00037270:·d530·6465·7269·7669·6e67·2e69·6e64·2331··.0deriving.ind#100037270:·3064·6572·6976·696e·672e·696e·6423·3131··0deriving.ind#11
00037280:·3137·0207·48d9·4d40·a095·a002·0058·969d··17..H.M@.....X..00037280:·3702·0748·d94d·40a0·95a0·0200·5896·9db0··7..H.M@.....X...
00037290:·b042·2864·6572·6976·696e·6791·a0a0·9091··.B(deriving.....00037290:·4228·6465·7269·7669·6e67·91a0·a090·9190··B(deriving......
000372a0:·90b0·05a2·7b05·a37e·0223·36d6·bee0·4440··....{..~.#6...D@000372a0:·b005·a27b·05a3·7e02·2336·d6be·e044·4090··...{..~.#6...D@.
000372b0:·9004·0540·0592·56a0·9491·0407·b005·d5e8··...@..V.........000372b0:·0405·4005·9256·a094·9104·07b0·05d5·e830··..@..V.........0
000372c0:·3064·6572·6976·696e·672e·696e·6423·3131··0deriving.ind#11000372c0:·6465·7269·7669·6e67·2e69·6e64·2331·3138··deriving.ind#118
000372d0:·3802·0748·d94e·40a0·95a0·0200·5896·9db0··8..H.N@.....X...000372d0:·0207·48d9·4e40·a095·a002·0058·969d·b042··..H.N@.....X...B
000372e0:·4228·6465·7269·7669·6e67·91a0·a090·9190··B(deriving......000372e0:·2864·6572·6976·696e·6791·a0a0·9091·90b0··(deriving.......
000372f0:·b005·a28e·05a2·c502·3441·8e1c·e044·4090··........4A...D@.000372f0:·05a2·8e05·a2c5·0234·418e·1ce0·4440·9004··.......4A...D@..
00037300:·0405·4005·9269·a094·9104·07b0·05d5·fb30··..@..i.........000037300:·0540·0592·69a0·9491·0407·b005·d5fb·3064··.@..i.........0d
00037310:·6465·7269·7669·6e67·2e69·6e64·2331·3139··deriving.ind#11900037310:·6572·6976·696e·672e·696e·6423·3131·3902··eriving.ind#119.
00037320:·0207·48d9·4f40·a0a0·05a2·3ba0·4090·a095··..H.O@....;.@...00037320:·0748·d94f·40a0·a005·a23b·a040·90a0·95a0··.H.O@....;.@....
00037330:·a002·1c4e·24fd·a005·bf4e·90a0·a005·bf51··...N$....N.....Q00037330:·021c·4e24·fda0·05bf·4e90·a0a0·05bf·51a0··..N$....N.....Q.
00037340:·a005·b365·4040·a095·a002·0fc0·a2b8·a0a1··...e@@..........00037340:·05b3·6540·40a0·95a0·020f·c0a2·b8a0·a105··..e@@...........
00037350:·05a1·eae0·4140·4040·4040·a0a0·92a0·05a1··....A@@@@@......00037350:·a1ea·e041·4040·4040·40a0·a092·a005·a1ef··...A@@@@@.......
00037360:·ef40·a0a0·4040·40a0·a093·a004·0741·a0a0··.@..@@@......A..00037360:·40a0·a040·4040·a0a0·93a0·0407·41a0·a040··@..@@@......A..@
00037370:·40a0·90c0·b005·a204·4140·a290·4290·4540··@.......A@..B.E@00037370:·a090·c0b0·05a2·0441·40a2·9042·9045·4041··.......A@..B.E@A
00037380:·41a0·90c0·b005·a20f·4240·a290·4404·0740··A.......B@..D..@00037380:·a090·c0b0·05a2·0f42·40a2·9044·0407·4041··.......B@..D..@A
Max diff block lines reached; -1/637271 bytes (-0.00%) of diff not shown.
4.82 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.vo
    
Offset 25, 28 lines modifiedOffset 25, 28 lines modified
00000180:·ae87·c7a0·a027·6669·6e74·7970·65a0·2973··.....'fintype.)s00000180:·ae87·c7a0·a027·6669·6e74·7970·65a0·2973··.....'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·30d7·5071·6485·42a6·9aef·bc06··mp@.0.Pqd.B.....000001a0:·6d70·4090·30d7·5071·6485·42a6·9aef·bc06··mp@.0.Pqd.B.....
000001b0:·db9b·07e8·25a0·a025·6f72·6465·72a0·2973··....%..%order.)s000001b0:·db9b·07e8·25a0·a025·6f72·6465·72a0·2973··....%..%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·3013·17e4·8e7c·22cf·b75a·68b2··mp@.0....|"..Zh.000001d0:·6d70·4090·3013·17e4·8e7c·22cf·b75a·68b2··mp@.0....|"..Zh.
000001e0:·53da·9cbe·30a0·a024·6261·7365·a028·6465··S...0..$base.(de000001e0:·53da·9cbe·30a0·a024·6261·7365·a028·6465··S...0..$base.(de
000001f0:·7269·7669·6e67·4090·30e7·0931·9e02·f2be··riving@.0..1....000001f0:·7269·7669·6e67·4090·30ac·a52a·738c·88df··riving@.0..*s...
00000200:·f73b·fdce·dacb·5033·3fa0·a023·696e·64a0··.;....P3?..#ind.00000200:·a1d6·ce9e·290a·37fd·1ca0·a023·696e·64a0··....).7....#ind.
00000210:·2864·6572·6976·696e·6740·9030·1c09·3bcd··(deriving@.0..;.00000210:·2864·6572·6976·696e·6740·9030·ef23·cf04··(deriving@.0.#..
00000220:·b3c8·3b3a·585b·a807·068b·6751·a0a0·2774··..;:X[....gQ..'t00000220:·fbe0·7d43·10f2·00fa·56ba·a1c7·a0a0·2774··..}C....V.....'t
00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving
00000240:·4090·3070·4aca·9e43·fdad·1580·c1b6·ee00··@.0pJ..C........00000240:·4090·3093·f011·073f·1ad0·5280·c075·deb4··@.0....?..R..u..
00000250:·bb1e·8425·352e·322e·30a0·4040·19bc·963d··...%5.2.0.@@...=00000250:·cb99·9c25·352e·322e·30a0·4040·25f1·2587··...%5.2.0.@@%.%.
00000260:·89f8·5275·f62f·96e4·2220·0a47·8495·a6be··..Ru./.."·.G....00000260:·8466·f425·65f0·2a4e·5889·f00c·8495·a6be··.f.%e.*NX.......
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·704a·ca9e··(deriving@.0pJ..000002b0:·2864·6572·6976·696e·6740·9030·93f0·1107··(deriving@.0....
000002c0:·43fd·ad15·80c1·b6ee·00bb·1e84·9040·a0a0··C............@..000002c0:·3f1a·d052·80c0·75de·b4cb·999c·9040·a0a0··?..R..u......@..
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·5672·336a·d6c4·9785·c81f··e·]@@@Vr3j......00002360:·6520·5d40·4040·9050·213e·7bec·17f2·c09b··e·]@@@.P!>{.....
00002370:·f6ec·ec02·ca37·8495·a6be·0000·0001·0000··.....7..........00002370:·0755·f489·b4d0·8495·a6be·0000·0001·0000··.U..............
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·5672·336a·d6c4·9785·c81f·f6ec·ec02···.Vr3j..........000023f0:·20fa·9050·213e·7bec·17f2·c09b·0755·f489···..P!>{......U..
00002400:·ca37·0000·0007·6f70·6171·7565·7300·0000··.7....opaques...00002400:·b4d0·0000·0007·6f70·6171·7565·7300·0000··......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·19bc·963d·89f8·5275··.......L...=..Ru 
00002450:·f62f·96e4·2220·0a47·0000·0009·766d·6c69··./.."·.G....vmli00002440:·0000·0000·0000·024c·25f1·2587·8466·f425··.......L%.%..f.%
 00002450:·65f0·2a4e·5889·f00c·0000·0009·766d·6c69··e.*NX.......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/x86_64-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:·30d7·5071·6485·42a6·9aef·bc06·db9b·07e8··0.Pqd.B.........000001b0:·30d7·5071·6485·42a6·9aef·bc06·db9b·07e8··0.Pqd.B.........
000001c0:·25a0·a025·6f72·6465·72a0·2973·7372·6566··%..%order.)ssref000001c0:·25a0·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:·3013·17e4·8e7c·22cf·b75a·68b2·53da·9cbe··0....|"..Zh.S...000001e0:·3013·17e4·8e7c·22cf·b75a·68b2·53da·9cbe··0....|"..Zh.S...
000001f0:·30a0·a024·6261·7365·a028·6465·7269·7669··0..$base.(derivi000001f0:·30a0·a024·6261·7365·a028·6465·7269·7669··0..$base.(derivi
00000200:·6e67·4090·30e7·0931·9e02·f2be·f73b·fdce··ng@.0..1.....;..00000200:·6e67·4090·30ac·a52a·738c·88df·a1d6·ce9e··ng@.0..*s.......
00000210:·dacb·5033·3fa0·a023·696e·64a0·2864·6572··..P3?..#ind.(der00000210:·290a·37fd·1ca0·a023·696e·64a0·2864·6572··).7....#ind.(der
00000220:·6976·696e·6740·9030·1c09·3bcd·b3c8·3b3a··iving@.0..;...;: 
00000230:·585b·a807·068b·6751·a0a0·2774·6163·7469··X[....gQ..'tacti00000220:·6976·696e·6740·9030·ef23·cf04·fbe0·7d43··iving@.0.#....}C
 00000230:·10f2·00fa·56ba·a1c7·a0a0·2774·6163·7469··....V.....'tacti
00000240:·6373·a028·6465·7269·7669·6e67·4090·3070··cs.(deriving@.0p00000240:·6373·a028·6465·7269·7669·6e67·4090·3093··cs.(deriving@.0.
00000250:·4aca·9e43·fdad·1580·c1b6·ee00·bb1e·84a0··J..C............00000250:·f011·073f·1ad0·5280·c075·deb4·cb99·9ca0··...?..R..u......
00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin
00000270:·6740·9030·5672·336a·d6c4·9785·c81f·f6ec··g@.0Vr3j........00000270:·6740·9030·9050·213e·7bec·17f2·c09b·0755··g@.0.P!>{......U
00000280:·ec02·ca37·2535·2e32·2e30·a040·4016·477d··...7%5.2.0.@@.G}00000280:·f489·b4d0·2535·2e32·2e30·a040·4085·2b7d··....%5.2.0.@@.+}
00000290:·8067·4005·aaa5·0743·9628·76f9·5184·95a6··.g@....C.(v.Q...00000290:·43ec·84c9·a8ad·cca2·f0e1·0449·1984·95a6··C..........I....
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·3056·7233·6ad6·c497·85c8·1ff6·ecec··@.0Vr3j.........000046c0:·4090·3090·5021·3e7b·ec17·f2c0·9b07·55f4··@.0.P!>{......U.
000046d0:·02ca·3790·40a0·a0a0·050c·d8a0·4090·40a0··..7.@.......@.@.000046d0:·89b4·d090·40a0·a0a0·050c·d8a0·4090·40a0··....@.......@.@.
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·fc84·ac30·8b49·c5d8·64c7·6b3c·aafd··@@...0.I..d.k<..00005d30:·4040·332c·a9ba·2840·e7ea·5e9e·1e28·740c··@@3,..(@..^..(t.
00005d40:·9f8e·8495·a6be·0000·5347·0000·10cc·0000··........SG......00005d40:·844d·8495·a6be·0000·5347·0000·10cc·0000··.M......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·95fc·84ac·308b··.........Z....0.0000b6f0:·0002·9d00·0000·0000·005a·9533·2ca9·ba28··.........Z.3,..(
0000b700:·49c5·d864·c76b·3caa·fd9f·8e00·0000·076f··I..d.k<........o0000b700:·40e7·ea5e·9e1e·2874·0c84·4d00·0000·076f··@..^..(t..M....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:·7d16·477d·8067·4005·aaa5·0743·9628·76f9··}.G}.g@....C.(v.0000b750:·7d85·2b7d·43ec·84c9·a8ad·cca2·f0e1·0449··}.+}C..........I
0000b760:·5100·0000·0976·6d6c·6962·7261·7279·0000··Q....vmlibrary..0000b760:·1900·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.24 KB
./usr/lib/x86_64-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·d750·7164·8542·a69a·efbc·06db·9b07··.0.Pqd.B........000001b0:·9030·d750·7164·8542·a69a·efbc·06db·9b07··.0.Pqd.B........
000001c0:·e825·a0a0·256f·7264·6572·a029·7373·7265··.%..%order.)ssre000001c0:·e825·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·1317·e48e·7c22·cfb7·5a68·b253·da9c··.0....|"..Zh.S..000001e0:·9030·1317·e48e·7c22·cfb7·5a68·b253·da9c··.0....|"..Zh.S..
000001f0:·be30·a0a0·2462·6173·65a0·2864·6572·6976··.0..$base.(deriv000001f0:·be30·a0a0·2462·6173·65a0·2864·6572·6976··.0..$base.(deriv
00000200:·696e·6740·9030·e709·319e·02f2·bef7·3bfd··ing@.0..1.....;.00000200:·696e·6740·9030·aca5·2a73·8c88·dfa1·d6ce··ing@.0..*s......
00000210:·ceda·cb50·333f·a0a0·2369·6e64·a028·6465··...P3?..#ind.(de00000210:·9e29·0a37·fd1c·a0a0·2369·6e64·a028·6465··.).7....#ind.(de
00000220:·7269·7669·6e67·4090·301c·093b·cdb3·c83b··riving@.0..;...;00000220:·7269·7669·6e67·4090·30ef·23cf·04fb·e07d··riving@.0.#....}
00000230:·3a58·5ba8·0706·8b67·51a0·a027·7461·6374··:X[....gQ..'tact00000230:·4310·f200·fa56·baa1·c7a0·a027·7461·6374··C....V.....'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:·704a·ca9e·43fd·ad15·80c1·b6ee·00bb·1e84··pJ..C...........00000250:·93f0·1107·3f1a·d052·80c0·75de·b4cb·999c··....?..R..u.....
00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi
00000270:·6e67·4090·3056·7233·6ad6·c497·85c8·1ff6··ng@.0Vr3j.......00000270:·6e67·4090·3090·5021·3e7b·ec17·f2c0·9b07··ng@.0.P!>{......
00000280:·ecec·02ca·3725·352e·322e·30a0·4040·e825··....7%5.2.0.@@.%00000280:·55f4·89b4·d025·352e·322e·30a0·4040·18a2··U....%5.2.0.@@..
00000290:·6963·1c99·72d1·146f·0d8e·adc9·e790·8495··ic..r..o........00000290:·8b0b·7d40·661d·1132·00da·ddae·ec57·8495··..}@f..2.....W..
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·3056·7233··.(deriving@.0Vr300005b60:·a028·6465·7269·7669·6e67·4090·3090·5021··.(deriving@.0.P!
00005b70:·6ad6·c497·85c8·1ff6·ecec·02ca·3790·40a0··j...........7.@.00005b70:·3e7b·ec17·f2c0·9b07·55f4·89b4·d090·40a0··>{......U.....@.
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·4c6a·9d7e·c60d·d941·04a1·7354··]@@@Lj.~...A..sT00007780:·5d40·4040·b70a·b362·d6b2·17ff·da6a·b8a7··]@@@...b.....j..
00007790:·9c43·8000·8495·a6be·0000·68a4·0000·16ea··.C........h.....00007790:·beb1·be14·8495·a6be·0000·68a4·0000·16ea··..........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·4c6a·9d7e·c60d·d941·04a1·7354··..t.Lj.~...A..sT0000ebc0:·0000·74e6·b70a·b362·d6b2·17ff·da6a·b8a7··..t....b.....j..
0000ebd0:·9c43·8000·0000·0007·6f70·6171·7565·7300··.C......opaques.0000ebd0:·beb1·be14·0000·0007·6f70·6171·7565·7300··........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·e825·6963·1c99··.........~.%ic..0000ec10:·0010·0000·0000·0000·027e·18a2·8b0b·7d40··.........~....}@
0000ec20:·72d1·146f·0d8e·adc9·e790·0000·0009·766d··r..o..........vm0000ec20:·661d·1132·00da·ddae·ec57·0000·0009·766d··f..2.....W....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/x86_64-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:·d750·7164·8542·a69a·efbc·06db·9b07·e825··.Pqd.B.........%000001b0:·d750·7164·8542·a69a·efbc·06db·9b07·e825··.Pqd.B.........%
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:·1317·e48e·7c22·cfb7·5a68·b253·da9c·be30··....|"..Zh.S...0000001e0:·1317·e48e·7c22·cfb7·5a68·b253·da9c·be30··....|"..Zh.S...0
000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin
00000200:·6740·9030·e709·319e·02f2·bef7·3bfd·ceda··g@.0..1.....;...00000200:·6740·9030·aca5·2a73·8c88·dfa1·d6ce·9e29··g@.0..*s.......)
00000210:·cb50·333f·a0a0·2369·6e64·a028·6465·7269··.P3?..#ind.(deri00000210:·0a37·fd1c·a0a0·2369·6e64·a028·6465·7269··.7....#ind.(deri
00000220:·7669·6e67·4090·301c·093b·cdb3·c83b·3a58··ving@.0..;...;:X00000220:·7669·6e67·4090·30ef·23cf·04fb·e07d·4310··ving@.0.#....}C.
00000230:·5ba8·0706·8b67·51a0·a027·7461·6374·6963··[....gQ..'tactic00000230:·f200·fa56·baa1·c7a0·a027·7461·6374·6963··...V.....'tactic
00000240:·73a0·2864·6572·6976·696e·6740·9030·704a··s.(deriving@.0pJ00000240:·73a0·2864·6572·6976·696e·6740·9030·93f0··s.(deriving@.0..
00000250:·ca9e·43fd·ad15·80c1·b6ee·00bb·1e84·a0a0··..C.............00000250:·1107·3f1a·d052·80c0·75de·b4cb·999c·a0a0··..?..R..u.......
00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving
00000270:·4090·3056·7233·6ad6·c497·85c8·1ff6·ecec··@.0Vr3j.........00000270:·4090·3090·5021·3e7b·ec17·f2c0·9b07·55f4··@.0.P!>{......U.
00000280:·02ca·37a0·a026·636f·6d70·6174·a028·6465··..7..&compat.(de00000280:·89b4·d0a0·a026·636f·6d70·6174·a028·6465··.....&compat.(de
00000290:·7269·7669·6e67·4090·30ed·6e2e·990b·341a··riving@.0.n...4.00000290:·7269·7669·6e67·4090·30ed·6e2e·990b·341a··riving@.0.n...4.
000002a0:·03a9·1024·cbb8·c7f9·f225·352e·322e·30a0··...$.....%5.2.0.000002a0:·03a9·1024·cbb8·c7f9·f225·352e·322e·30a0··...$.....%5.2.0.
000002b0:·4040·86c2·69ee·e333·8dcd·d283·ee85·1cae··@@..i..3........000002b0:·4040·ee39·4f76·5898·2b93·abf2·3d60·2d7a··@@.9OvX.+...=`-z
000002c0:·0c8d·8495·a6be·0000·8e77·0000·213c·0000··.........w..!<..000002c0:·09e3·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·ed6e·2e99··(deriving@.0.n..00005af0:·2864·6572·6976·696e·6740·9030·ed6e·2e99··(deriving@.0.n..
00005b00:·0b34·1a03·a910·24cb·b8c7·f9f2·a0a0·2569··.4....$.......%i00005b00:·0b34·1a03·a910·24cb·b8c7·f9f2·a0a0·2569··.4....$.......%i
00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@.00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@.
00005b20:·3056·7233·6ad6·c497·85c8·1ff6·ecec·02ca··0Vr3j...........00005b20:·3090·5021·3e7b·ec17·f2c0·9b07·55f4·89b4··0.P!>{......U...
00005b30:·3790·40a0·a0a0·0510·dfa0·4090·40a0·95a0··7.@.......@.@...00005b30:·d090·40a0·a0a0·0510·dfa0·4090·40a0·95a0··..@.......@.@...
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·4099·5bd9···'for'·T·]@@@.[.00009140:·2027·666f·7227·2054·205d·4040·40cc·ad82···'for'·T·]@@@...
00009150:·32e4·fe22·f8d1·bd7d·f3b3·1631·c384·95a6··2.."...}...1....00009150:·a7fb·2a41·6671·f3f7·3412·b4a4·6884·95a6··..*Afq..4...h...
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·8b99·5bd9·32e4·fe22·f8d1·bd7d··......[.2.."...}0001ce60:·0000·008e·8bcc·ad82·a7fb·2a41·6671·f3f7··..........*Afq..
0001ce70:·f3b3·1631·c300·0000·076f·7061·7175·6573··...1.....opaques0001ce70:·3412·b4a4·6800·0000·076f·7061·7175·6573··4...h....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·a286·c269·eee3··.............i..0001ceb0:·0000·1000·0000·0000·0002·a2ee·394f·7658··............9OvX
0001cec0:·338d·cdd2·83ee·851c·ae0c·8d00·0000·0976··3..............v0001cec0:·982b·93ab·f23d·602d·7a09·e300·0000·0976··.+...=`-z......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/x86_64-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:·02ae·87c7·a0a0·2766·696e·7479·7065·a029··......'fintype.)00000190:·02ae·87c7·a0a0·2766·696e·7479·7065·a029··......'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·d750·7164·8542·a69a·efbc··omp@.0.Pqd.B....000001b0:·6f6d·7040·9030·d750·7164·8542·a69a·efbc··omp@.0.Pqd.B....
000001c0:·06db·9b07·e825·a0a0·256f·7264·6572·a029··.....%..%order.)000001c0:·06db·9b07·e825·a0a0·256f·7264·6572·a029··.....%..%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·1317·e48e·7c22·cfb7·5a68··omp@.0....|"..Zh000001e0:·6f6d·7040·9030·1317·e48e·7c22·cfb7·5a68··omp@.0....|"..Zh
000001f0:·b253·da9c·be30·a0a0·2462·6173·65a0·2864··.S...0..$base.(d000001f0:·b253·da9c·be30·a0a0·2462·6173·65a0·2864··.S...0..$base.(d
00000200:·6572·6976·696e·6740·9030·e709·319e·02f2··eriving@.0..1...00000200:·6572·6976·696e·6740·9030·aca5·2a73·8c88··eriving@.0..*s..
00000210:·bef7·3bfd·ceda·cb50·333f·a0a0·2369·6e64··..;....P3?..#ind00000210:·dfa1·d6ce·9e29·0a37·fd1c·a0a0·2369·6e64··.....).7....#ind
00000220:·a028·6465·7269·7669·6e67·4090·301c·093b··.(deriving@.0..;00000220:·a028·6465·7269·7669·6e67·4090·30ef·23cf··.(deriving@.0.#.
00000230:·cdb3·c83b·3a58·5ba8·0706·8b67·51a0·a027··...;:X[....gQ..'00000230:·04fb·e07d·4310·f200·fa56·baa1·c7a0·a027··...}C....V.....'
00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin
00000250:·6740·9030·704a·ca9e·43fd·ad15·80c1·b6ee··g@.0pJ..C.......00000250:·6740·9030·93f0·1107·3f1a·d052·80c0·75de··g@.0....?..R..u.
00000260:·00bb·1e84·a0a0·2569·6e66·6572·a028·6465··......%infer.(de00000260:·b4cb·999c·a0a0·2569·6e66·6572·a028·6465··......%infer.(de
00000270:·7269·7669·6e67·4090·3056·7233·6ad6·c497··riving@.0Vr3j...00000270:·7269·7669·6e67·4090·3090·5021·3e7b·ec17··riving@.0.P!>{..
00000280:·85c8·1ff6·ecec·02ca·3725·352e·322e·30a0··........7%5.2.0. 
00000290:·4040·4469·60b7·2c0a·a801·0c46·6ec8·4a61··@@Di`.,....Fn.Ja00000280:·f2c0·9b07·55f4·89b4·d025·352e·322e·30a0··....U....%5.2.0.
 00000290:·4040·5ca3·673d·7cfb·85ab·15d1·b4d5·aaf9··@@\.g=|.........
000002a0:·63ee·8495·a6be·0000·5a3b·0000·13c5·0000··c.......Z;......000002a0:·f930·8495·a6be·0000·5a3b·0000·13c5·0000··.0......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·5672·336a·d6c4·9785··iving@.0Vr3j....00004960:·6976·696e·6740·9030·9050·213e·7bec·17f2··iving@.0.P!>{...
00004970:·c81f·f6ec·ec02·ca37·9040·a0a0·95a0·021d··.......7.@......00004970:·c09b·0755·f489·b4d0·9040·a0a0·95a0·021d··...U.....@......
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:·407f·71b5·db35·2ec4·d47b·db44·005b·7a80··@.q..5...{.D.[z.00005cf0:·400a·478f·81a1·febf·6472·a2d3·2c5a·37a8··@.G.....dr..,Z7.
00005d00:·2c84·95a6·be00·004d·da00·0010·cd00·0038··,......M.......800005d00:·3b84·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·4f7f··.............ZO.0000b740:·0000·0000·0002·a200·0000·0000·005a·4f0a··.............ZO.
0000b750:·71b5·db35·2ec4·d47b·db44·005b·7a80·2c00··q..5...{.D.[z.,.0000b750:·478f·81a1·febf·6472·a2d3·2c5a·37a8·3b00··G.....dr..,Z7.;.
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·8244·6960·b72c·0aa8·010c·466e··.....Di`.,....Fn0000b7a0:·0000·0002·825c·a367·3d7c·fb85·ab15·d1b4··.....\.g=|......
0000b7b0:·c84a·6163·ee00·0000·0976·6d6c·6962·7261··.Jac.....vmlibra0000b7b0:·d5aa·f9f9·3000·0000·0976·6d6c·6962·7261··....0....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.8 MB
./usr/lib/x86_64-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·f153··Coq!..@P.......S00000000:·436f·7121·0001·4050·0000·0000·0005·f181··Coq!..@P........
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·c7f5·9674·0295·790e··.#Coq@.0...t..y.00000050:·a023·436f·7140·9030·c7f5·9674·0295·790e··.#Coq@.0...t..y.
00000060:·84d5·17cb·ca0a·ceef·a0a0·2a73·7472·7563··..........*struc00000060:·84d5·17cb·ca0a·ceef·a0a0·2a73·7472·7563··..........*struc
00000070:·7475·7265·73a0·2248·4240·9030·d221·5a9c··tures."HB@.0.!Z.00000070:·7475·7265·73a0·2248·4240·9030·d221·5a9c··tures."HB@.0.!Z.
Offset 28, 40 lines modifiedOffset 28, 40 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·30d7·5071··.(mathcomp@.0.Pq000001c0:·a028·6d61·7468·636f·6d70·4090·30d7·5071··.(mathcomp@.0.Pq
000001d0:·6485·42a6·9aef·bc06·db9b·07e8·25a0·a025··d.B.........%..%000001d0:·6485·42a6·9aef·bc06·db9b·07e8·25a0·a025··d.B.........%..%
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·3013·17e4··.(mathcomp@.0...000001f0:·a028·6d61·7468·636f·6d70·4090·3013·17e4··.(mathcomp@.0...
00000200:·8e7c·22cf·b75a·68b2·53da·9cbe·30a0·a024··.|"..Zh.S...0..$00000200:·8e7c·22cf·b75a·68b2·53da·9cbe·30a0·a024··.|"..Zh.S...0..$
00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@.00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@.
00000220:·30e7·0931·9e02·f2be·f73b·fdce·dacb·5033··0..1.....;....P300000220:·30ac·a52a·738c·88df·a1d6·ce9e·290a·37fd··0..*s.......).7.
00000230:·3fa0·a023·696e·64a0·2864·6572·6976·696e··?..#ind.(derivin00000230:·1ca0·a023·696e·64a0·2864·6572·6976·696e··...#ind.(derivin
00000240:·6740·9030·1c09·3bcd·b3c8·3b3a·585b·a807··g@.0..;...;:X[..00000240:·6740·9030·ef23·cf04·fbe0·7d43·10f2·00fa··g@.0.#....}C....
00000250:·068b·6751·a0a0·2774·6163·7469·6373·a028··..gQ..'tactics.(00000250:·56ba·a1c7·a0a0·2774·6163·7469·6373·a028··V.....'tactics.(
00000260:·6465·7269·7669·6e67·4090·3070·4aca·9e43··deriving@.0pJ..C00000260:·6465·7269·7669·6e67·4090·3093·f011·073f··deriving@.0....?
00000270:·fdad·1580·c1b6·ee00·bb1e·84a0·a025·696e··.............%in00000270:·1ad0·5280·c075·deb4·cb99·9ca0·a025·696e··..R..u.......%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:·5672·336a·d6c4·9785·c81f·f6ec·ec02·ca37··Vr3j...........700000290:·9050·213e·7bec·17f2·c09b·0755·f489·b4d0··.P!>{......U....
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·ed6e·2e99·0b34·1a03·a910··ing@.0.n...4....000002b0:·696e·6740·9030·ed6e·2e99·0b34·1a03·a910··ing@.0.n...4....
000002c0:·24cb·b8c7·f9f2·a0a0·2665·7174·7970·65a0··$.......&eqtype.000002c0:·24cb·b8c7·f9f2·a0a0·2665·7174·7970·65a0··$.......&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·30fc·84ac·308b·49c5·d864··ving@.0...0.I..d 
000002f0:·c76b·3caa·fd9f·8ea0·a02b·7472·6565·5f6f··.k<......+tree_o000002e0:·7669·6e67·4090·3033·2ca9·ba28·40e7·ea5e··ving@.03,..(@..^
 000002f0:·9e1e·2874·0c84·4da0·a02b·7472·6565·5f6f··..(t..M..+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·307f·71b5··.(deriving@.0.q.00000310:·a028·6465·7269·7669·6e67·4090·300a·478f··.(deriving@.0.G.
00000320:·db35·2ec4·d47b·db44·005b·7a80·2ca0·a027··.5...{.D.[z.,..'00000320:·81a1·febf·6472·a2d3·2c5a·37a8·3ba0·a027··....dr..,Z7.;..'
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·304c··es.(deriving@.0L00000340:·6573·a028·6465·7269·7669·6e67·4090·30b7··es.(deriving@.0.
00000350:·6a9d·7ec6·0dd9·4104·a173·549c·4380·00a0··j.~...A..sT.C...00000350:·0ab3·62d6·b217·ffda·6ab8·a7be·b1be·14a0··..b.....j.......
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·3099··es.(deriving@.0.00000370:·6573·a028·6465·7269·7669·6e67·4090·30cc··es.(deriving@.0.
00000380:·5bd9·32e4·fe22·f8d1·bd7d·f3b3·1631·c325··[.2.."...}...1.% 
00000390:·352e·322e·30a0·4040·4e7f·d64f·479f·5247··5.2.0.@@N..OG.RG 
000003a0:·01ce·9e12·216e·10a1·8495·a6be·0003·850e··....!n..........00000380:·ad82·a7fb·2a41·6671·f3f7·3412·b4a4·6825··....*Afq..4...h%
 00000390:·352e·322e·30a0·4040·0b0b·9ac8·fbc0·63e6··5.2.0.@@......c.
 000003a0:·b2e5·72c6·fd3d·ba46·8495·a6be·0003·853c··..r..=.F.......<
000003b0:·0000·cdac·0002·bbb3·0002·ab34·b0d0·a029··...........4...)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.
00000420:·0ed0·a99c·a0a0·a090·b090·a029·4461·7461··...........)Data00000420:·0ed0·a99c·a0a0·a090·b090·a029·4461·7461··...........)Data
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·30fc·84ac·308b·49c5··&1..&\@.0...0.I.00015980:·2631·a005·265c·4090·3033·2ca9·ba28·40e7··&1..&\@.03,..(@.
00015990:·d864·c76b·3caa·fd9f·8ea0·0522·5990·304c··.d.k<......"Y.0L 
000159a0:·6a9d·7ec6·0dd9·4104·a173·549c·4380·00a0··j.~...A..sT.C... 
000159b0:·052f·a790·3099·5bd9·32e4·fe22·f8d1·bd7d··./..0.[.2.."...} 
000159c0:·f3b3·1631·c3a0·0525·6190·307f·71b5·db35··...1...%a.0.q..5 
000159d0:·2ec4·d47b·db44·005b·7a80·2c90·40a0·a094··...{.D.[z.,.@...00015990:·ea5e·9e1e·2874·0c84·4da0·0522·5990·30b7··.^..(t..M.."Y.0.
 000159a0:·0ab3·62d6·b217·ffda·6ab8·a7be·b1be·14a0··..b.....j.......
 000159b0:·052f·a790·30cc·ad82·a7fb·2a41·6671·f3f7··./..0.....*Afq..
 000159c0:·3412·b4a4·68a0·0525·6190·300a·478f·81a1··4...h..%a.0.G...
 000159d0:·febf·6472·a2d3·2c5a·37a8·3b90·40a0·a094··..dr..,Z7.;.@...
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·2938·3539·3130·3230·3634·e0d0··@@@@)859102064..00016de0:·4040·4040·2939·3737·3031·3137·3233·e0d0··@@@@)977011723..
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 10595, 15 lines modifiedOffset 10595, 15 lines modified
00029620:·6267·0105·58d0·4005·1708·a0a0·9040·a090··bg..X.@......@..00029620:·6267·0105·58d0·4005·1708·a0a0·9040·a090··bg..X.@......@..
00029630:·40a0·9041·a090·4140·e040·0516·6901·01ac··@..A..A@.@..i...00029630:·40a0·9041·a090·4140·e040·0516·6901·01ac··@..A..A@.@..i...
00029640:·0101·d54c·0101·acd0·4005·1707·a0a0·9040··...L....@......@00029640:·0101·d54c·0101·acd0·4005·1707·a0a0·9040··...L....@......@
00029650:·a090·41a0·9041·40e0·4005·1672·0101·d701··..A..A@.@..r....00029650:·a090·41a0·9041·40e0·4005·1672·0101·d701··..A..A@.@..r....
00029660:·0203·4d01·01d7·d040·0517·05a0·a090·40a0··..M....@......@.00029660:·0203·4d01·01d7·d040·0517·05a0·a090·40a0··..M....@......@.
00029670:·9041·40e0·4005·1679·0102·2a01·0242·4f01··.A@.@..y..*..BO.00029670:·9041·40e0·4005·1679·0102·2a01·0242·4f01··.A@.@..y..*..BO.
00029680:·022a·4041·4243·4445·4647·4849·4b4c·0546··.*@ABCDEFGHIKL.F00029680:·022a·4041·4243·4445·4647·4849·4b4c·0546··.*@ABCDEFGHIKL.F
00029690:·140c·0000·0000·0080·ed3e·4041·40a0·95a0··.........>@A@...00029690:·140c·0000·0000·0040·fa3e·4041·40a0·95a0··.......@.>@A@...
000296a0:·020b·7b4f·44a0·40a0·a005·7922·a091·0579··..{OD.@...y"...y000296a0:·020b·7b4f·44a0·40a0·a005·7922·a091·0579··..{OD.@...y"...y
000296b0:·5940·40a0·95a0·0232·0a51·8fa0·0579·45b0··Y@@....2.Q...yE.000296b0:·5940·40a0·95a0·0232·0a51·8fa0·0579·45b0··Y@@....2.Q...yE.
000296c0:·0548·4440·40a0·95a0·020f·c0a2·b8a0·9005··.HD@@...........000296c0:·0548·4440·40a0·95a0·020f·c0a2·b8a0·9005··.HD@@...........
000296d0:·4a4b·a0a0·9105·7905·a0a0·40a0·4040·4040··JK....y...@.@@@@000296d0:·4a4b·a0a0·9105·7905·a0a0·40a0·4040·4040··JK....y...@.@@@@
000296e0:·a095·a002·2760·a06f·d040·9105·790d·a040··....'`.o.@..y..@000296e0:·a095·a002·2760·a06f·d040·9105·790d·a040··....'`.o.@..y..@
000296f0:·40a0·9092·057e·9d40·d0d0·d0d0·4040·a005··@....~.@....@@..000296f0:·40a0·9092·057e·9d40·d0d0·d0d0·4040·a005··@....~.@....@@..
00029700:·4b61·4040·4141·a005·4b5e·40d0·4005·4b5c··Ka@@AA..K^@.@.K\00029700:·4b61·4040·4141·a005·4b5e·40d0·4005·4b5c··Ka@@AA..K^@.@.K\
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·3135·3737··.F....@@@@@)157700029920:·0546·ad90·9090·4040·4040·4029·3231·3136··.F....@@@@@)2116
00029930:·3730·3038·38e0·0546·a605·4148·053f·c505··70088..F..AH.?..00029930:·3530·3834·39e0·0546·a605·4148·053f·c505··50849..F..AH.?..
00029940:·178c·0516·fd05·46c3·0c00·0000·0000·80eb··......F.........00029940:·178c·0516·fd05·46c3·0c00·0000·0000·40fc··......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
Max diff block lines reached; 1872722/1882889 bytes (99.46%) of diff not shown.
4.49 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.vo
    
Offset 7, 25 lines modifiedOffset 7, 25 lines modified
00000060:·ceef·a0a0·2973·7372·6566·6c65·6374·a004··....)ssreflect..00000060:·ceef·a0a0·2973·7372·6566·6c65·6374·a004··....)ssreflect..
00000070:·02a0·286d·6174·6863·6f6d·7040·9030·4119··..(mathcomp@.0A.00000070:·02a0·286d·6174·6863·6f6d·7040·9030·4119··..(mathcomp@.0A.
00000080:·f404·dd11·e8d2·2069·d84f·a006·b42f·a0a0··......·i.O.../..00000080:·f404·dd11·e8d2·2069·d84f·a006·b42f·a0a0··......·i.O.../..
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·303f··ct.(mathcomp@.0?000000a0:·6374·a028·6d61·7468·636f·6d70·4090·303f··ct.(mathcomp@.0?
000000b0:·1fa6·c3d0·bf3b·12be·6df3·e1d8·3261·4ca0··.....;..m...2aL.000000b0:·1fa6·c3d0·bf3b·12be·6df3·e1d8·3261·4ca0··.....;..m...2aL.
000000c0:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving000000c0:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving
000000d0:·4090·30e7·0931·9e02·f2be·f73b·fdce·dacb··@.0..1.....;....000000d0:·4090·30ac·a52a·738c·88df·a1d6·ce9e·290a··@.0..*s.......).
000000e0:·5033·3fa0·a023·696e·64a0·2864·6572·6976··P3?..#ind.(deriv000000e0:·37fd·1ca0·a023·696e·64a0·2864·6572·6976··7....#ind.(deriv
000000f0:·696e·6740·9030·1c09·3bcd·b3c8·3b3a·585b··ing@.0..;...;:X[000000f0:·696e·6740·9030·ef23·cf04·fbe0·7d43·10f2··ing@.0.#....}C..
00000100:·a807·068b·6751·2535·2e32·2e30·a040·40bf··....gQ%5.2.0.@@.00000100:·00fa·56ba·a1c7·2535·2e32·2e30·a040·40ea··..V...%5.2.0.@@.
00000110:·32a3·4aff·9c01·e0a3·a6e2·9b5e·4636·d184··2.J........^F6..00000110:·caee·37b5·fa79·e2d7·1d0e·f9c8·bdfe·3684··..7..y........6.
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·301c·093b··.(deriving@.0..;00000160:·a028·6465·7269·7669·6e67·4090·30ef·23cf··.(deriving@.0.#.
00000170:·cdb3·c83b·3a58·5ba8·0706·8b67·5190·40a0··...;:X[....gQ.@.00000170:·04fb·e07d·4310·f200·fa56·baa1·c790·40a0··...}C....V....@.
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·4070·4aca·9e43··'.....'.@@@pJ..C00001e20:·2780·011a·9701·2781·4040·4093·f011·073f··'.....'.@@@....?
00001e30:·fdad·1580·c1b6·ee00·bb1e·8484·95a6·be00··................00001e30:·1ad0·5280·c075·deb4·cb99·9c84·95a6·be00··..R..u..........
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·0c70·4aca·9e43·fdad··.........pJ..C..00001eb0:·1f00·0000·0000·001d·0c93·f011·073f·1ad0··.............?..
00001ec0:·1580·c1b6·ee00·bb1e·8400·0000·076f·7061··.............opa00001ec0:·5280·c075·deb4·cb99·9c00·0000·076f·7061··R..u.........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·ffbf··................00001f00:·0000·0000·0000·1000·0000·0000·0000·ffea··................
00001f10:·32a3·4aff·9c01·e0a3·a6e2·9b5e·4636·d100··2.J........^F6..00001f10:·caee·37b5·fa79·e2d7·1d0e·f9c8·bdfe·3600··..7..y........6.
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 xsy351 6grn2