4.26 MB
/srv/reproducible-results/rbuild-debian/r-b-build.E3Nrd73M/b1/coq-deriving_0.2.1-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.E3Nrd73M/b2/coq-deriving_0.2.1-1_amd64.changes
210 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·f05f73e892ed510315a934ca2c39acc1·493340·ocaml·optional·libcoq-deriving_0.2.1-1_amd64.deb1 ·a5548c022100c1614362febb9c23c1e2·493616·ocaml·optional·libcoq-deriving_0.2.1-1_amd64.deb
4.26 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·····1640·2024-12-04·13:30:14.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1636·2024-12-04·13:30:14.000000·control.tar.xz
3 -rw-r--r--···0········0········0···491508·2024-12-04·13:30:14.000000·data.tar.xz3 -rw-r--r--···0········0········0···491788·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-eojd5,·libcoq-stdlib-p29e77 Depends:·libcoq-mathcomp-ssreflect-eojd5,·libcoq-stdlib-p29e7
8 Provides:·libcoq-deriving-dk6008 Provides:·libcoq-deriving-4gw98
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.26 MB
data.tar.xz
4.26 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)···299600·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)···299586·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)···298696·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)···298698·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)···389644·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)···389654·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.19 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·919e··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·9190··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·30bb·d18a·1421·a48f·e9a2··."HB@.0....!....00000070:·a022·4842·4090·30bb·d18a·1421·a48f·e9a2··."HB@.0....!....
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·4836·96d9·2a34·f9e2··hcomp@.0H6..*4..000001c0:·6863·6f6d·7040·9030·4836·96d9·2a34·f9e2··hcomp@.0H6..*4..
000001d0:·7158·4bc7·5884·d73a·a0a0·256f·7264·6572··qXK.X..:..%order000001d0:·7158·4bc7·5884·d73a·a0a0·256f·7264·6572··qXK.X..:..%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·0c54·b076·ea6a·a843··hcomp@.0.T.v.j.C000001f0:·6863·6f6d·7040·9030·0c54·b076·ea6a·a843··hcomp@.0.T.v.j.C
00000200:·ff92·4129·91a9·c95d·2535·2e32·2e30·a040··..A)...]%5.2.0.@00000200:·ff92·4129·91a9·c95d·2535·2e32·2e30·a040··..A)...]%5.2.0.@
00000210:·40c6·a21f·41a8·0ea3·2af2·1f11·a311·91c3··@...A...*.......00000210:·40c6·a21f·41a8·0ea3·2af2·1f11·a311·91c3··@...A...*.......
00000220:·a284·95a6·be00·0341·f700·00d0·8e00·02b4··.......A........00000220:·a284·95a6·be00·0341·e900·00d0·8e00·02b4··.......A........
00000230:·7200·02a5·deb0·d0a0·2462·6173·65a0·2864··r.......$base.(d00000230:·6b00·02a5·d7b0·d0a0·2462·6173·65a0·2864··k.......$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, 15 lines modifiedOffset 4860, 15 lines modified
00012fb0:·4040·4040·a040·4040·a0c0·e090·2d64·6572··@@@@.@@@....-der00012fb0:·4040·4040·a040·4040·a0c0·e090·2d64·6572··@@@@.@@@....-der
00012fc0:·6976·696e·672e·6261·7365·312e·2f74·6865··iving.base1./the00012fc0:·6976·696e·672e·6261·7365·312e·2f74·6865··iving.base1./the
00012fd0:·6f72·6965·732f·6261·7365·2e76·0102·ea01··ories/base.v....00012fd0:·6f72·6965·732f·6261·7365·2e76·0102·ea01··ories/base.v....
00012fe0:·0325·5d01·02ea·c040·4040·41b0·c391·402f··.%]....@@@A...@/00012fe0:·0325·5d01·02ea·c040·4040·41b0·c391·402f··.%]....@@@A...@/
00012ff0:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical.00012ff0:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical.
00013000:·95a0·9104·5158·040d·a022·5479·9090·9090··....QX..."Ty....00013000:·95a0·9104·5158·040d·a022·5479·9090·9090··....QX..."Ty....
00013010:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@......00013010:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@......
00013020:·9090·4040·4040·4029·3136·3339·3236·3339··..@@@@@)1639263900013020:·9090·4040·4040·4029·3438·3739·3937·3336··..@@@@@)48799736
00013030:·33e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··3.....@%@cast...00013030:·33e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··3.....@%@cast...
00013040:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY.00013040:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY.
00013050:·0640·b0c3·9140·236c·6574·b095·a090·053c··.@...@#let.....<00013050:·0640·b0c3·9140·236c·6574·b095·a090·053c··.@...@#let.....<
00013060:·3a53·e040·3063·6f71·2d62·7569·6c74·696e··:S.@0coq-builtin00013060:·3a53·e040·3063·6f71·2d62·7569·6c74·696e··:S.@0coq-builtin
00013070:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$00013070:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$
00013080:·cfa0·0428·9040·a0b0·a190·0416·0411·e040··...(.@.........@00013080:·cfa0·0428·9040·a0b0·a190·0416·0411·e040··...(.@.........@
00013090:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$...00013090:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$...
Offset 9607, 3274 lines modifiedOffset 9607, 3274 lines modified
00025860:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@.00025860:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@.
00025870:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i..00025870:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i..
00025880:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@......00025880:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@......
00025890:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r...00025890:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r...
000258a0:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@000258a0:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@
000258b0:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO000258b0:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO
000258c0:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL.000258c0:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL.
000258d0:·4613·0c00·0000·0000·00e7·3e40·4140·a095··F.........>@A@..000258d0:·4613·0c00·0000·0000·40f8·3e40·4140·a095··F.......@.>@A@..
000258e0:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2.000258e0:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2.
000258f0:·a022·6862·a022·6462·40a0·a0b0·0587·9421··."hb."db@......!000258f0:·a022·6862·a022·6462·40a0·a0b0·0587·9421··."hb."db@......!
00025900:·3202·398b·af24·d005·4626·d0e0·4040·4040··2.9..$..F&..@@@@00025900:·3202·398b·af24·d005·4626·d0e0·4040·4040··2.9..$..F&..@@@@
00025910:·4005·4625·40a0·c005·4624·0546·20b0·c391··@.F%@...F$.F·...00025910:·4005·4625·40a0·c005·4624·0546·20b0·c391··@.F%@...F$.F·...
00025920:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@.00025920:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@.
00025930:·2973·b095·a005·8252·5705·4630·a005·4623··)s.....RW.F0..F#00025930:·2973·b095·a005·8252·5705·4630·a005·4623··)s.....RW.F0..F#
00025940:·9090·9005·2975·4005·4634·a005·4627·9090··....)u@.F4..F'..00025940:·9090·9005·2975·4005·4634·a005·4627·9090··....)u@.F4..F'..
00025950:·9005·2cf3·4005·4638·a005·462b·9090·9005··..,.@.F8..F+....00025950:·9005·2cf3·4005·4638·a005·462b·9090·9005··..,.@.F8..F+....
00025960:·2a29·a0b0·c391·4005·2986·b095·a005·46a2··*)....@.).....F.00025960:·2a29·a0b0·c391·4005·2986·b095·a005·46a2··*)....@.).....F.
00025970:·5705·4643·a005·4636·9090·9005·2988·4005··W.FC..F6....).@.00025970:·5705·4643·a005·4636·9090·9005·2988·4005··W.FC..F6....).@.
00025980:·4647·a005·463a·9090·9005·2a35·a0b0·c391··FG..F:....*5....00025980:·4647·a005·463a·9090·9005·2a35·a0b0·c391··FG..F:....*5....
00025990:·4005·3d08·b095·a091·0582·7958·0546·53a0··@.=.......yX.FS.00025990:·4005·3d08·b095·a091·0582·7958·0546·53a0··@.=.......yX.FS.
000259a0:·0546·4690·9090·053d·0b40·0546·57a0·0546··.FF....=.@.FW..F000259a0:·0546·4690·9090·053d·0b40·0546·57a0·0546··.FF....=.@.FW..F
Diff chunk too large, falling back to line-by-line diff (3243 lines added, 3243 lines removed)
000259b0:·4a90·9090·052a·4340·0546·5ba0·0546·4e90··J....*C@.F[..FN.000259b0:·4a90·9090·052a·4340·0546·5ba0·0546·4e90··J....*C@.F[..FN.
000259c0:·9090·4040·4040·4029·3231·3534·3430·3937··..@@@@@)21544097000259c0:·9090·4040·4040·402a·3130·3131·3632·3635··..@@@@@*10116265
000259d0:·39e0·0546·4705·40ea·053f·6705·172e·0516··9..FG.@..?g.....000259d0:·3733·e005·4647·0540·ea05·3f67·0517·2e05··73..FG.@..?g....
000259e0:·9f05·4664·0c00·0000·0000·c0f0·3e40·4140··..Fd........>@A@000259e0:·169f·0546·640c·0000·0000·0000·063f·4041··...Fd........?@A
000259f0:·a095·a002·1b83·229d·b090·0582·6e40·a005··......".....n@..000259f0:·40a0·95a0·021b·8322·9db0·9005·826e·40a0··@......".....n@.
00025a00:·8256·a005·8265·40a0·95a0·0232·0a51·8fa0··.V...e@....2.Q..00025a00:·0582·56a0·0582·6540·a095·a002·320a·518f··..V...e@....2.Q.
00025a10:·0582·74b0·9140·4040·a095·a002·0fc0·a2b8··..t..@@@........00025a10:·a005·8274·b091·4040·40a0·95a0·020f·c0a2··...t..@@@.......
00025a20:·a090·e041·4040·4040·40a0·a091·90b0·0587··...A@@@@@.......00025a20:·b8a0·90e0·4140·4040·4040·a0a0·9190·b005··....A@@@@@......
00025a30:·f005·8281·0239·969d·39a0·a040·a090·c0b0··.....9..9..@....00025a30:·87f0·0582·8102·3996·9d39·a0a0·40a0·90c0··......9..9..@...
00025a40:·0587·eb41·4090·9042·4041·a090·c0b0·0582··...A@..B@A......00025a40:·b005·87eb·4140·9090·4240·41a0·90c0·b005··....A@..B@A.....
00025a50:·7e42·4091·9046·4041·a090·c0b0·0587·e443··~B@..F@A.......C00025a50:·827e·4240·9190·4640·41a0·90c0·b005·87e4··.~B@..F@A.......
00025a60:·4090·9045·4041·a090·c0b0·0587·de44·4090··@..E@A.......D@.00025a60:·4340·9090·4540·41a0·90c0·b005·87de·4440··C@..E@A.......D@
00025a70:·0406·4041·a040·a040·4040·40a0·95a0·0227··..@A.@.@@@@....'00025a70:·9004·0640·41a0·40a0·4040·4040·a095·a002··...@A.@.@@@@....
00025a80:·60a0·6fd0·4091·0422·a0a0·0547·a640·a0a0··`.o.@.."...G.@..00025a80:·2760·a06f·d040·9104·22a0·a005·47a6·40a0··'`.o.@.."...G.@.
00025a90:·0547·a440·a040·a040·a040·a040·40a0·9040··.G.@.@.@.@.@@..@00025a90:·a005·47a4·40a0·40a0·40a0·40a0·4040·a090··..G.@.@.@.@.@@..
00025aa0:·a090·41a0·40a0·40a0·9092·0587·eba0·4040··..A.@.@.......@@00025aa0:·40a0·9041·a040·a040·a090·9205·87eb·a040··@..A.@.@.......@
00025ab0:·d0d0·4040·a005·47bb·4040·4141·a005·47b8··..@@..G.@@AA..G.00025ab0:·40d0·d040·40a0·0547·bb40·4041·41a0·0547··@..@@..G.@@AA..G
00025ac0:·40d0·d040·0547·b5a0·0547·aa40·4041·0547··@..@.G...G.@@A.G00025ac0:·b840·d0d0·4005·47b5·a005·47aa·4040·4105··.@..@.G...G.@@A.
00025ad0:·a7a0·0547·a340·d0d0·4005·47a1·a005·47a0··...G.@..@.G...G.00025ad0:·47a7·a005·47a3·40d0·d040·0547·a1a0·0547··G...G.@..@.G...G
00025ae0:·4040·4105·479c·a005·4798·4040·4243·44a0··@@A.G...G.@@BCD.00025ae0:·a040·4041·0547·9ca0·0547·9840·4042·4344··.@@A.G...G.@@BCD
00025af0:·95a0·020f·c0a2·b8a0·a204·4990·46a0·a091··..........I.F...00025af0:·a095·a002·0fc0·a2b8·a0a2·0449·9046·a0a0··...........I.F..
00025b00:·0582·07a0·a040·a090·c0b0·0588·3241·4040··.....@......2A@@00025b00:·9105·8207·a0a0·40a0·90c0·b005·8832·4140··......@......2A@
00025b10:·4141·a040·a090·c0b0·0588·2443·4040·4141··AA.@......$C@@AA00025b10:·4041·41a0·40a0·90c0·b005·8824·4340·4041··@AA.@......$C@@A
00025b20:·a090·c0b0·0588·1c44·4040·4141·a040·a040··.......D@@AA.@.@00025b20:·41a0·90c0·b005·881c·4440·4041·41a0·40a0··A.......D@@AA.@.
00025b30:·4040·40a0·95a0·0200·5896·9db0·4228·6465··@@@.....X...B(de00025b30:·4040·4040·a095·a002·0058·969d·b042·2864··@@@@.....X...B(d
00025b40:·7269·7669·6e67·91a0·a090·9105·8222·e044··riving.......".D00025b40:·6572·6976·696e·6791·a0a0·9091·0582·22e0··eriving.......".
00025b50:·4090·0403·40a0·4040·a094·9105·8228·b005··@...@.@@.....(..00025b50:·4440·9004·0340·a040·40a0·9491·0582·28b0··D@...@.@@.....(.
00025b60:·8859·2f64·6572·6976·696e·672e·6261·7365··.Y/deriving.base00025b60:·0588·592f·6465·7269·7669·6e67·2e62·6173··..Y/deriving.bas
00025b70:·2331·0218·b539·b340·a095·a002·2563·f63f··#1...9.@....%c.?00025b70:·6523·3102·18b5·39b3·40a0·95a0·0225·63f6··e#1...9.@....%c.
00025b80:·0800·0023·0040·902e·6465·7269·7669·6e67··...#.@..deriving00025b80:·3f08·0000·2300·4090·2e64·6572·6976·696e··?...#.@..derivin
00025b90:·5f73·636f·7065·a0a0·a005·7fea·b0a0·b040··_scope.........@00025b90:·675f·7363·6f70·65a0·a0a0·057f·eab0·a0b0··g_scope.........
00025ba0:·9168·9040·a040·4040·40a0·a005·7fec·b0a0··.h.@.@@@@.......00025ba0:·4091·6890·40a0·4040·4040·a0a0·057f·ecb0··@.h.@.@@@@......
00025bb0:·b040·9068·9041·a040·4040·4040·a2a0·9190··.@.h.A.@@@@@....00025bb0:·a0b0·4090·6890·41a0·4040·4040·40a2·a091··..@.h.A.@@@@@...
00025bc0:·b005·8241·2665·7472·616e·7302·154c·7c0c··...A&etrans..L|.00025bc0:·90b0·0582·4126·6574·7261·6e73·0215·4c7c··....A&etrans..L|
00025bd0:·40a0·94b0·0407·a041·9021·4141·a094·b004··@......A.!AA....00025bd0:·0c40·a094·b004·07a0·4190·2141·41a0·94b0··.@......A.!AA...
00025be0:·0da0·4290·2178·41a0·94b0·0413·a043·9021··..B.!xA......C.!00025be0:·040d·a042·9021·7841·a094·b004·13a0·4390··...B.!xA......C.
00025bf0:·7941·a094·b004·19a0·4490·217a·41a0·9105··yA......D.!zA...00025bf0:·2179·41a0·94b0·0419·a044·9021·7a41·a091··!yA......D.!zA..
00025c00:·8018·a091·0580·1440·4090·4240·a005·4b04··.......@@.B@..K.00025c00:·0580·18a0·9105·8014·4040·9042·40a0·054b··........@@.B@..K
00025c10:·a0a0·0588·9c40·2765·3120·2a20·6532·40a0··.....@'e1·*·e2@.00025c10:·04a0·a005·889c·4027·6531·202a·2065·3240··......@'e1·*·e2@
00025c20:·95a0·0225·63f6·3f08·0000·2300·4090·2e64··...%c.?...#.@..d00025c20:·a095·a002·2563·f63f·0800·0023·0040·902e··....%c.?...#.@..
00025c30:·6572·6976·696e·675f·7363·6f70·65a0·a0a0··eriving_scope...00025c30:·6465·7269·7669·6e67·5f73·636f·7065·a0a0··deriving_scope..
00025c40:·0583·13b0·a0b0·4091·4390·40a0·4040·4040··......@.C.@.@@@@00025c40:·a005·8313·b0a0·b040·9143·9040·a040·4040··.......@.C.@.@@@
00025c50:·40a2·a091·90b0·0582·7724·6573·796d·0205··@.......w$esym..00025c50:·4040·a2a0·9190·b005·8277·2465·7379·6d02··@@.......w$esym.
00025c60:·7c8b·c740·a094·b004·07a0·4190·0436·41a0··|..@......A..6A.00025c60:·057c·8bc7·40a0·94b0·0407·a041·9004·3641··.|..@......A..6A
00025c70:·94b0·040c·a042·9004·3541·a094·b004·11a0··.....B..5A......00025c70:·a094·b004·0ca0·4290·0435·41a0·94b0·0411··......B..5A.....
00025c80:·4390·0434·41a0·9105·8330·4040·042b·40a0··C..4A....0@@.+@.00025c80:·a043·9004·3441·a091·0583·3040·4004·2b40··.C..4A....0@@.+@
00025c90:·054a·e3a0·a005·88c6·4025·6520·5e2d·3140··.J......@%e·^-1@00025c90:·a005·4ae3·a0a0·0588·c640·2565·205e·2d31··..J......@%e·^-1
00025ca0:·a095·a002·1b83·229d·b090·0583·0140·a005··......"......@..00025ca0:·40a0·95a0·021b·8322·9db0·9005·8301·40a0··@......"......@.
00025cb0:·82ee·a005·82f8·40a0·95a0·0232·0a51·8fa0··......@....2.Q..00025cb0:·0582·eea0·0582·f840·a095·a002·320a·518f··.......@....2.Q.
00025cc0:·0583·07b0·9140·4040·a095·a002·0fc0·a2b8··.....@@@........00025cc0:·a005·8307·b091·4040·40a0·95a0·020f·c0a2··......@@@.......
00025cd0:·a090·04ea·a0a0·9190·b005·88d9·0583·1302··................00025cd0:·b8a0·9004·eaa0·a091·90b0·0588·d905·8313··................
00025ce0:·3a5b·5e82·a0a0·40a0·90c0·b005·88d4·4140··:[^...@.......A@00025ce0:·023a·5b5e·82a0·a040·a090·c0b0·0588·d441··.:[^...@.......A
00025cf0:·9090·4240·41a0·90c0·b005·8367·4240·9190··..B@A......gB@..00025cf0:·4090·9042·4041·a090·c0b0·0583·6742·4091··@..B@A......gB@.
00025d00:·4640·41a0·90c0·b005·88cd·4340·9090·4540··F@A.......C@..E@00025d00:·9046·4041·a090·c0b0·0588·cd43·4090·9045··.F@A.......C@..E
00025d10:·41a0·90c0·b005·88c7·4440·9004·0640·41a0··A.......D@...@A.00025d10:·4041·a090·c0b0·0588·c744·4090·0406·4041··@A.......D@...@A
00025d20:·40a0·4040·4040·a095·a002·2760·a06f·d040··@.@@@@....'`.o.@00025d20:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o.
00025d30:·9104·22a0·a005·488f·40a0·a005·488d·40a0··.."...H.@...H.@.00025d30:·4091·0422·a0a0·0548·8f40·a0a0·0548·8d40··@.."...H.@...H.@
00025d40:·40a0·40a0·4040·a090·40a0·9041·a040·a040··@.@.@@..@..A.@.@00025d40:·a040·a040·a040·40a0·9040·a090·41a0·40a0··.@.@.@@..@..A.@.
00025d50:·a090·9205·88d3·4004·e7a0·95a0·021b·8322··......@........"00025d50:·40a0·9092·0588·d340·04e7·a095·a002·1b83··@......@........
00025d60:·9db0·9005·82cf·40a0·0582·bca0·0582·c640··......@........@00025d60:·229d·b090·0582·cf40·a005·82bc·a005·82c6··"......@........
00025d70:·a095·a002·320a·518f·a005·82d5·b091·4040··....2.Q.......@@00025d70:·40a0·95a0·0232·0a51·8fa0·0582·d5b0·9140··@....2.Q.......@
00025d80:·40a0·95a0·020f·c0a2·b8a0·9005·0131·a0a0··@............1..00025d80:·4040·a095·a002·0fc0·a2b8·a090·0501·31a0··@@............1.
00025d90:·9190·b005·8920·0582·e102·08f5·b6f8·a0a0··.....·..........00025d90:·a091·90b0·0589·2005·82e1·0208·f5b6·f8a0··......·.........
Max diff block lines reached; 792492/1244737 bytes (63.67%) 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·304f··nd.(deriving@.0O00000060:·6e64·a028·6465·7269·7669·6e67·4090·30fa··nd.(deriving@.0.
00000070:·93c3·716b·6701·fffb·15c0·425f·ab3a·2da0··..qkg.....B_.:-.00000070:·c528·0727·6f1a·a728·5b2a·b0d8·8287·afa0··.(.'o..([*......
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·a8f7·12e8·5a5b·97c5·c8bd··ing@.0....Z[....00000090:·696e·6740·9030·0be2·80cc·517f·88cf·035d··ing@.0....Q....]
000000a0:·5cce·2143·595d·a0a0·2569·6e66·6572·a028··\.!CY]..%infer.(000000a0:·dc8d·d328·272d·a0a0·2569·6e66·6572·a028··...('-..%infer.(
000000b0:·6465·7269·7669·6e67·4090·30a2·8739·d4ce··deriving@.0..9..000000b0:·6465·7269·7669·6e67·4090·30bb·fecf·91b2··deriving@.0.....
000000c0:·7d7b·745d·db16·2ebc·4359·2ba0·a029·696e··}{t]....CY+..)in000000c0:·34c0·32ed·9c3f·b3b6·e079·e2a0·a029·696e··4.2..?...y...)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·a4ca·29ea·43cd·ec99·15de·95c8··g@.0..).C.......000000e0:·6740·9030·1a1c·7fd0·555d·ce2d·6b56·e8e2··g@.0....U].-kV..
000000f0:·7ec7·e0a8·2535·2e32·2e30·a040·4096·b07c··~...%5.2.0.@@..|000000f0:·45c0·d27c·2535·2e32·2e30·a040·40a5·dad6··E..|%5.2.0.@@...
00000100:·6f70·52b9·1fef·6960·5a1e·0091·cd84·95a6··opR...i`Z.......00000100:·0c76·99e5·54d5·ffd6·f3f8·e232·e284·95a6··.v..T......2....
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·30a4·ca29·ea43··deriving@.0..).C00000150:·6465·7269·7669·6e67·4090·301a·1c7f·d055··deriving@.0....U
00000160:·cdec·9915·de95·c87e·c7e0·a890·40a0·a094··.......~....@...00000160:·5dce·2d6b·56e8·e245·c0d2·7c90·40a0·a094··].-kV..E..|.@...
00000170:·a0a0·4090·a023·696e·6404·1840·a094·a0a0··..@..#ind..@....00000170:·a0a0·4090·a023·696e·6404·1840·a094·a0a0··..@..#ind..@....
00000180:·4090·a027·7461·6374·6963·7304·1f40·a094··@..'tactics..@..00000180:·4090·a027·7461·6374·6963·7304·1f40·a094··@..'tactics..@..
00000190:·a0a0·4090·a025·696e·6665·7204·2640·a094··..@..%infer.&@..00000190:·a0a0·4090·a025·696e·6665·7204·2640·a094··..@..%infer.&@..
000001a0:·a0a0·4090·a029·696e·7374·616e·6365·7304··..@..)instances.000001a0:·a0a0·4090·a029·696e·7374·616e·6365·7304··..@..)instances.
000001b0:·2d40·a094·a0a0·4090·a026·636f·6d70·6174··-@....@..&compat000001b0:·2d40·a094·a0a0·4090·a026·636f·6d70·6174··-@....@..&compat
000001c0:·0434·40a0·94a0·a040·9004·2340·a094·a0a0··.4@....@..#@....000001c0:·0434·40a0·94a0·a040·9004·2340·a094·a0a0··.4@....@..#@....
000001d0:·4090·0421·40a0·94a0·a040·9004·1f40·a094··@..!@....@...@..000001d0:·4090·0421·40a0·94a0·a040·9004·1f40·a094··@..!@....@...@..
000001e0:·a0a0·4090·041d·40a0·94a0·a040·9004·1b40··..@...@....@...@000001e0:·a0a0·4090·041d·40a0·94a0·a040·9004·1b40··..@...@....@...@
000001f0:·4040·a0a0·94a0·a040·041a·40a0·94a0·a040··@@.....@..@....@000001f0:·4040·a0a0·94a0·a040·041a·40a0·94a0·a040··@@.....@..@....@
00000200:·0419·40a0·94a0·a040·0418·40a0·94a0·a040··..@....@..@....@00000200:·0419·40a0·94a0·a040·0418·40a0·94a0·a040··..@....@..@....@
00000210:·0417·40a0·94a0·a040·0416·4040·40fa·6240··..@....@..@@@.b@00000210:·0417·40a0·94a0·a040·0416·4040·4083·b2d3··..@....@..@@@...
00000220:·fb4e·389b·a337·351e·43f6·3fe4·5784·95a6··.N8..75.C.?.W...00000220:·d51c·5112·1fcb·4275·3377·4d0e·3984·95a6··..Q...Bu3wM.9...
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·10fa·6240·fb4e·389b·a337·351e··......b@.N8..75.000002a0:·0000·0001·1083·b2d3·d51c·5112·1fcb·4275··..........Q...Bu
000002b0:·43f6·3fe4·5700·0000·076f·7061·7175·6573··C.?.W....opaques000002b0:·3377·4d0e·3900·0000·076f·7061·7175·6573··3wM.9....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·ed96·b07c·6f70··.............|op000002f0:·0000·1000·0000·0000·0000·eda5·dad6·0c76··...............v
00000300:·52b9·1fef·6960·5a1e·0091·cd00·0000·0976··R...i`Z........v00000300:·99e5·54d5·ffd6·f3f8·e232·e200·0000·0976··..T......2.....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
1.23 MB
./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·8e16··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·8e18··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·bbd1·8a14·21a4·8fe9·a2a4··"HB@.0....!.....00000070:·2248·4240·9030·bbd1·8a14·21a4·8fe9·a2a4··"HB@.0....!.....
Offset 24, 20 lines modifiedOffset 24, 20 lines modified
00000170:·6ac7·e1ab·a0a0·2663·686f·6963·65a0·2973··j.....&choice.)s00000170:·6ac7·e1ab·a0a0·2663·686f·6963·65a0·2973··j.....&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·309d·5e10·bb8d·dbf1·436b·c828··mp@.0.^.....Ck.(00000190:·6d70·4090·309d·5e10·bb8d·dbf1·436b·c828··mp@.0.^.....Ck.(
000001a0:·ef3b·fc43·a1a0·a027·6669·6e74·7970·65a0··.;.C...'fintype.000001a0:·ef3b·fc43·a1a0·a027·6669·6e74·7970·65a0··.;.C...'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·3048·3696·d92a·34f9·e271··comp@.0H6..*4..q000001c0:·636f·6d70·4090·3048·3696·d92a·34f9·e271··comp@.0H6..*4..q
000001d0:·584b·c758·84d7·3aa0·a024·6261·7365·a028··XK.X..:..$base.(000001d0:·584b·c758·84d7·3aa0·a024·6261·7365·a028··XK.X..:..$base.(
000001e0:·6465·7269·7669·6e67·4090·30a7·e1d4·b76a··deriving@.0....j000001e0:·6465·7269·7669·6e67·4090·3055·bbae·c074··deriving@.0U...t
000001f0:·e384·acc5·3a61·867c·9b93·95a0·a026·5a41··....:a.|.....&ZA000001f0:·8f3a·7973·5de3·8de7·64a4·5fa0·a026·5a41··.:ys]...d._..&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·6c01·71e3·edbd·7141··5.2.0.@@l.q...qA 
00000230:·dc56·474a·5145·ef21·8495·a6be·0003·a5c9··.VGJQE.!........00000220:·352e·322e·30a0·4040·49f7·4d0b·954c·3322··5.2.0.@@I.M..L3"
 00000230:·0e94·a0db·47e7·7a83·8495·a6be·0003·a5cb··....G.z.........
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·a7e1·d4b7·6ae3·84ac·c53a·6186·7c9b··.0....j....:a.|.00013300:·9030·55bb·aec0·748f·3a79·735d·e38d·e764··.0U...t.:ys]...d
00013310:·9395·9040·a0a0·95a0·021d·041a·fca0·40a0··...@..........@.00013310:·a45f·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, 9341 lines modifiedOffset 9329, 9341 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..
Diff chunk too large, falling back to line-by-line diff (9334 lines added, 9334 lines removed)
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·4028·3634·3537·3537··....@@@@@(64575700024770:·0790·9090·4040·4040·4029·3236·3337·3331··....@@@@@)263731
00024780:·3031·e0d0·d0d0·d040·2540·6361·7374·a0b0··01.....@%@cast..00024780:·3434·34e0·d0d0·d0d0·4025·4063·6173·74a0··444.....@%@cast.
00024790:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY00024790:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T
000247a0:·0406·40b0·c391·4023·6c65·74b0·95a0·9005··..@...@#let.....000247a0:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let....
000247b0:·86aa·53e0·4030·636f·712d·6275·696c·7469··..S.@0coq-builti000247b0:·0586·aa53·e040·3063·6f71·2d62·7569·6c74··...S.@0coq-built
000247c0:·6e2e·656c·7069·0124·e801·24ee·0100·e101··n.elpi.$..$.....000247c0:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$....
000247d0:·24cf·a004·2890·40a0·b0a1·9004·1604·11e0··$...(.@.........000247d0:·0124·cfa0·0428·9040·a0b0·a190·0416·0411··.$...(.@........
000247e0:·4004·0801·24ef·0124·f101·00e1·0124·cfa0··@...$..$.....$..000247e0:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$.
000247f0:·042f·9040·a0b0·a190·041d·041e·e040·040f··./.@.........@..000247f0:·a004·2f90·40a0·b0a1·9004·1d04·1ee0·4004··../.@.........@.
00024800:·0124·f201·24f3·0100·e101·24cf·a004·3690··.$..$.....$...6.00024800:·0f01·24f2·0124·f301·00e1·0124·cfa0·0436··..$..$.....$...6
00024810:·40a0·b0b4·90a0·2178·0426·40b0·a190·0429··@.....!x.&@....)00024810:·9040·a0b0·b490·a021·7804·2640·b0a1·9004··.@.....!x.&@....
00024820:·0404·e040·041b·0124·f601·24f7·0100·e101··...@...$..$.....00024820:·2904·04e0·4004·1b01·24f6·0124·f701·00e1··)...@...$..$....
00024830:·24cf·a004·4290·40e0·4004·1e01·24f4·0124··$...B.@.@...$..$00024830:·0124·cfa0·0442·9040·e040·041e·0124·f401··.$...B.@.@...$..
00024840:·f701·00e1·0124·cfa0·0445·9040·40e0·4004··.....$...E.@@.@.00024840:·24f7·0100·e101·24cf·a004·4590·4040·e040··$.....$...E.@@.@
00024850:·2101·24e4·0124·f701·00e1·0124·cfa0·0448··!.$..$.....$...H00024850:·0421·0124·e401·24f7·0100·e101·24cf·a004··.!.$..$.....$...
00024860:·9040·e040·0424·0124·dd01·24f7·0100·e101··.@.@.$.$..$.....00024860:·4890·40e0·4004·2401·24dd·0124·f701·00e1··H.@.@.$.$..$....
00024870:·24cf·a004·4b90·40e0·4004·2701·24db·0124··$...K.@.@.'.$..$00024870:·0124·cfa0·044b·9040·e040·0427·0124·db01··.$...K.@.@.'.$..
00024880:·f701·00e1·0124·cfa0·044e·9040·e040·042a··.....$...N.@.@.*00024880:·24f7·0100·e101·24cf·a004·4e90·40e0·4004··$.....$...N.@.@.
00024890:·0124·cf01·24f8·0100·e101·24cf·d040·2a40··.$..$.....$..@*@00024890:·2a01·24cf·0124·f801·00e1·0124·cfd0·402a··*.$..$.....$..@*
000248a0:·636f·6572·6369·6f6e·21a0·b0c3·9140·223a··coercion!....@":000248a0:·4063·6f65·7263·696f·6e21·a0b0·c391·4022··@coercion!....@"
000248b0:·3ab0·c391·4028·636f·6572·6369·6f6e·b0a1··:...@(coercion..000248b0:·3a3a·b0c3·9140·2863·6f65·7263·696f·6eb0··::...@(coercion.
000248c0:·9140·2a72·6576·6572·7369·626c·65e0·4004··.@*reversible.@.000248c0:·a191·402a·7265·7665·7273·6962·6c65·e040··..@*reversible.@
000248d0:·3a01·531a·0153·2401·01f2·0152·fca0·0461··:.S..S$....R...a000248d0:·043a·0153·1a01·5324·0101·f201·52fc·a004··.:.S..S$....R...
000248e0:·9040·40e0·4004·3d01·5311·0153·2401·01f2··.@@.@.=.S..S$...000248e0:·6190·4040·e040·043d·0153·1101·5324·0101··a.@@.@.=.S..S$..
000248f0:·0152·fca0·0464·9040·a0b0·a191·4022·5b5d··.R...d.@....@"[]000248f0:·f201·52fc·a004·6490·40a0·b0a1·9140·225b··..R...d.@....@"[
00024900:·e040·0445·0153·2401·5325·0101·f201·52fc··.@.E.S$.S%....R.00024900:·5de0·4004·4501·5324·0153·2501·01f2·0152··].@.E.S$.S%....R
00024910:·a004·6c90·4040·e040·0448·0153·1001·5325··..l.@@.@.H.S..S%00024910:·fca0·046c·9040·40e0·4004·4801·5310·0153··...l.@@.@.H.S..S
00024920:·0101·f201·52fc·a004·6f90·40e0·4004·4b01··....R...o.@.@.K.00024920:·2501·01f2·0152·fca0·046f·9040·e040·044b··%....R...o.@.@.K
00024930:·52fc·0153·2501·01f2·0152·fc40·4142·2c40··R..S%....R.@AB,@00024930:·0152·fc01·5325·0101·f201·52fc·4041·422c··.R..S%....R.@AB,
00024940:·6465·7072·6563·6174·6564·21a0·b0b4·90a0··deprecated!.....00024940:·4064·6570·7265·6361·7465·6421·a0b0·b490··@deprecated!....
00024950:·2553·696e·6365·0461·40b0·b490·a023·4d73··%Since.a@....#Ms00024950:·a025·5369·6e63·6504·6140·b0b4·90a0·234d··.%Since.a@....#M
00024960:·6704·6640·b0c3·9140·2a67·6574·2d6f·7074··g.f@...@*get-opt00024960:·7367·0466·40b0·c391·402a·6765·742d·6f70··sg.f@...@*get-op
00024970:·696f·6eb0·95a0·2e63·6f71·3a64·6570·7265··ion....coq:depre00024970:·7469·6f6e·b095·a02e·636f·713a·6465·7072··tion....coq:depr
00024980:·6361·7465·6443·e040·0460·0152·8001·5290··catedC.@.`.R..R.00024980:·6563·6174·6564·43e0·4004·6001·5280·0152··ecatedC.@.`.R..R
00024990:·0101·ed01·5273·a004·8790·40a0·b0c3·9140··....Rs....@....@00024990:·9001·01ed·0152·73a0·0487·9040·a0b0·c391··.....Rs....@....
000249a0:·2270·72b0·a190·0479·0419·e040·046b·0152··"pr....y...@.k.R000249a0:·4022·7072·b0a1·9004·7904·19e0·4004·6b01··@"pr....y...@.k.
000249b0:·9501·529a·0101·ed01·5273·a004·9290·40a0··..R.....Rs....@.000249b0:·5295·0152·9a01·01ed·0152·73a0·0492·9040··R..R.....Rs....@
000249c0:·b0a1·9004·8004·1be0·4004·7201·529b·0152··........@.r.R..R000249c0:·a0b0·a190·0480·041b·e040·0472·0152·9b01··.........@.r.R..
000249d0:·9e01·01ed·0152·73a0·0499·9040·40e0·4004··.....Rs....@@.@.000249d0:·529e·0101·ed01·5273·a004·9990·4040·e040··R.....Rs....@@.@
000249e0:·7501·5292·0152·9e01·01ed·0152·73a0·049c··u.R..R.....Rs...000249e0:·0475·0152·9201·529e·0101·ed01·5273·a004··.u.R..R.....Rs..
000249f0:·9040·40e0·4004·7801·5275·0152·9f01·01ed··.@@.@.x.Ru.R....000249f0:·9c90·4040·e040·0478·0152·7501·529f·0101··..@@.@.x.Ru.R...
00024a00:·0152·73a0·049f·9040·e040·047b·0152·6c01··.Rs....@.@.{.Rl.00024a00:·ed01·5273·a004·9f90·40e0·4004·7b01·526c··..Rs....@.@.{.Rl
00024a10:·529f·0101·ed01·5273·a004·a290·40e0·4004··R.....Rs....@.@.00024a10:·0152·9f01·01ed·0152·73a0·04a2·9040·e040··.R.....Rs....@.@
00024a20:·7e01·5266·0152·9f01·01ed·0152·73a0·04a5··~.Rf.R.....Rs...00024a20:·047e·0152·6601·529f·0101·ed01·5273·a004··.~.Rf.R.....Rs..
00024a30:·9040·e040·0481·0152·5301·529f·0101·ec01··.@.@...RS.R.....00024a30:·a590·40e0·4004·8101·5253·0152·9f01·01ec··..@.@...RS.R....
00024a40:·5253·d040·2b40·6472·6f70·756e·6976·7321··RS.@+@dropunivs!00024a40:·0152·53d0·402b·4064·726f·7075·6e69·7673··.RS.@+@dropunivs
00024a50:·a0b0·c391·4004·2db0·95a0·2d63·6f71·3a6b··....@.-...-coq:k00024a50:·21a0·b0c3·9140·042d·b095·a02d·636f·713a··!....@.-...-coq:
00024a60:·6565·7075·6e69·7673·43e0·4004·8c01·50c2··eepunivsC.@...P.00024a60:·6b65·6570·756e·6976·7343·e040·048c·0150··keepunivsC.@...P
00024a70:·0150·d101·01e2·0150·a2a0·04b3·9040·a0b0··.P.....P.....@..00024a70:·c201·50d1·0101·e201·50a2·a004·b390·40a0··..P.....P.....@.
00024a80:·a191·4022·6666·e040·0494·0150·d201·50d4··..@"ff.@...P..P.00024a80:·b0a1·9140·2266·66e0·4004·9401·50d2·0150··...@"ff.@...P..P
00024a90:·0101·e201·50a2·a004·bb90·4040·e040·0497··....P.....@@.@..00024a90:·d401·01e2·0150·a2a0·04bb·9040·40e0·4004··.....P.....@@.@.
00024aa0:·0150·b701·50d4·0101·e201·50a2·a004·be90··.P..P.....P.....00024aa0:·9701·50b7·0150·d401·01e2·0150·a2a0·04be··..P..P.....P....
00024ab0:·40e0·4004·9a01·50a2·0150·d401·01e2·0150··@.@...P..P.....P00024ab0:·9040·e040·049a·0150·a201·50d4·0101·e201··.@.@...P..P.....
00024ac0:·a240·4143·2840·676c·6f62·616c·21a0·b0c3··.@AC(@global!...00024ac0:·50a2·4041·4328·4067·6c6f·6261·6c21·a0b0··P.@AC(@global!..
00024ad0:·9140·0445·b095·a02c·636f·713a·6c6f·6361··.@.E...,coq:loca00024ad0:·c391·4004·45b0·95a0·2c63·6f71·3a6c·6f63··..@.E...,coq:loc
00024ae0:·6c69·7479·43e0·4004·a401·1805·0118·1301··lityC.@.........00024ae0:·616c·6974·7943·e040·04a4·0118·0501·1813··alityC.@........
00024af0:·0095·0117·e6a0·04cb·9040·a0b0·95a0·2667··.........@....&g00024af0:·0100·9501·17e6·a004·cb90·40a0·b095·a026··..........@....&
00024b00:·6c6f·6261·6c43·e040·04ac·0118·1401·181c··lobalC.@........00024b00:·676c·6f62·616c·43e0·4004·ac01·1814·0118··globalC.@.......
00024b10:·0100·9501·17e6·a004·d390·4040·e040·04af··..........@@.@..00024b10:·1c01·0095·0117·e6a0·04d3·9040·40e0·4004··...........@@.@.
00024b20:·0117·fa01·181c·0100·9501·17e6·a004·d690··................00024b20:·af01·17fa·0118·1c01·0095·0117·e6a0·04d6··................
00024b30:·40e0·4004·b201·17e6·0118·1c01·0095·0117··@.@.............00024b30:·9040·e040·04b2·0117·e601·181c·0100·9501··.@.@............
00024b40:·e6d0·d0d0·4027·4068·6f6c·6573·21a0·b0c3··....@'@holes!...00024b40:·17e6·d0d0·d040·2740·686f·6c65·7321·a0b0··.....@'@holes!..
00024b50:·9140·0460·b095·a02a·484f·4153·3a68·6f6c··.@.`...*HOAS:hol00024b50:·c391·4004·60b0·95a0·2a48·4f41·533a·686f··..@.`...*HOAS:ho
00024b60:·6573·43e0·4004·bf01·33ad·0133·b901·0143··esC.@...3..3...C00024b60:·6c65·7343·e040·04bf·0133·ad01·33b9·0101··lesC.@...3..3...
00024b70:·0133·91a0·04e6·9040·a0b0·a191·4022·7474··.3.....@....@"tt00024b70:·4301·3391·a004·e690·40a0·b0a1·9140·2274··C.3.....@....@"t
00024b80:·e040·04c7·0133·ba01·33bc·0101·4301·3391··.@...3..3...C.3.00024b80:·74e0·4004·c701·33ba·0133·bc01·0143·0133··t.@...3..3...C.3
00024b90:·a004·ee90·4040·e040·04ca·0133·a201·33bc··....@@.@...3..3.00024b90:·91a0·04ee·9040·40e0·4004·ca01·33a2·0133··.....@@.@...3..3
00024ba0:·0101·4301·3391·a004·f190·40e0·4004·cd01··..C.3.....@.@...00024ba0:·bc01·0143·0133·91a0·04f1·9040·e040·04cd··...C.3.....@.@..
00024bb0:·3391·0133·bc01·0143·0133·91d0·4028·4069··3..3...C.3..@(@i00024bb0:·0133·9101·33bc·0101·4301·3391·d040·2840··.3..3...C.3..@(@
00024bc0:·6e6c·696e·6521·a0b0·b490·a021·4e04·e440··nline!.....!N..@00024bc0:·696e·6c69·6e65·21a0·b0b4·90a0·214e·04e4··inline!.....!N..
00024bd0:·b0c3·9140·047e·b095·a02a·636f·713a·696e··...@.~...*coq:in00024bd0:·40b0·c391·4004·7eb0·95a0·2a63·6f71·3a69··@...@.~...*coq:i
Max diff block lines reached; -1/1292168 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:·fc43·a1a0·a027·6669·6e74·7970·65a0·2973··.C...'fintype.)s00000180:·fc43·a1a0·a027·6669·6e74·7970·65a0·2973··.C...'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·3048·3696·d92a·34f9·e271·584b··mp@.0H6..*4..qXK000001a0:·6d70·4090·3048·3696·d92a·34f9·e271·584b··mp@.0H6..*4..qXK
000001b0:·c758·84d7·3aa0·a025·6f72·6465·72a0·2973··.X..:..%order.)s000001b0:·c758·84d7·3aa0·a025·6f72·6465·72a0·2973··.X..:..%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·300c·54b0·76ea·6aa8·43ff·9241··mp@.0.T.v.j.C..A000001d0:·6d70·4090·300c·54b0·76ea·6aa8·43ff·9241··mp@.0.T.v.j.C..A
000001e0:·2991·a9c9·5da0·a024·6261·7365·a028·6465··)...]..$base.(de000001e0:·2991·a9c9·5da0·a024·6261·7365·a028·6465··)...]..$base.(de
000001f0:·7269·7669·6e67·4090·30a7·e1d4·b76a·e384··riving@.0....j..000001f0:·7269·7669·6e67·4090·3055·bbae·c074·8f3a··riving@.0U...t.:
00000200:·acc5·3a61·867c·9b93·95a0·a023·696e·64a0··..:a.|.....#ind.00000200:·7973·5de3·8de7·64a4·5fa0·a023·696e·64a0··ys]...d._..#ind.
00000210:·2864·6572·6976·696e·6740·9030·4f93·c371··(deriving@.0O..q00000210:·2864·6572·6976·696e·6740·9030·fac5·2807··(deriving@.0..(.
00000220:·6b67·01ff·fb15·c042·5fab·3a2d·a0a0·2774··kg.....B_.:-..'t00000220:·276f·1aa7·285b·2ab0·d882·87af·a0a0·2774··'o..([*.......'t
00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving
00000240:·4090·30a8·f712·e85a·5b97·c5c8·bd5c·ce21··@.0....Z[....\.!00000240:·4090·300b·e280·cc51·7f88·cf03·5ddc·8dd3··@.0....Q....]...
00000250:·4359·5d25·352e·322e·30a0·4040·9d48·bfc5··CY]%5.2.0.@@.H..00000250:·2827·2d25·352e·322e·30a0·4040·8d8c·d364··('-%5.2.0.@@...d
00000260:·a7ce·0143·4852·9673·21a0·85e6·8495·a6be··...CHR.s!.......00000260:·2043·c816·d157·b258·d322·3558·8495·a6be···C...W.X."5X....
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·a8f7·12e8··(deriving@.0....000002b0:·2864·6572·6976·696e·6740·9030·0be2·80cc··(deriving@.0....
000002c0:·5a5b·97c5·c8bd·5cce·2143·595d·9040·a0a0··Z[....\.!CY].@..000002c0:·517f·88cf·035d·dc8d·d328·272d·9040·a0a0··Q....]...('-.@..
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·a287·39d4·ce7d·7b74·5ddb··e·]@@@..9..}{t].00002360:·6520·5d40·4040·bbfe·cf91·b234·c032·ed9c··e·]@@@.....4.2..
00002370:·162e·bc43·592b·8495·a6be·0000·0001·0000··...CY+..........00002370:·3fb3·b6e0·79e2·8495·a6be·0000·0001·0000··?...y...........
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·a287·39d4·ce7d·7b74·5ddb·162e·bc43···...9..}{t]....C000023f0:·20fa·bbfe·cf91·b234·c032·ed9c·3fb3·b6e0···......4.2..?...
00002400:·592b·0000·0007·6f70·6171·7565·7300·0000··Y+....opaques...00002400:·79e2·0000·0007·6f70·6171·7565·7300·0000··y.....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·9d48·bfc5·a7ce·0143··.......L.H.....C00002440:·0000·0000·0000·024c·8d8c·d364·2043·c816··.......L...d·C..
00002450:·4852·9673·21a0·85e6·0000·0009·766d·6c69··HR.s!.......vmli00002450:·d157·b258·d322·3558·0000·0009·766d·6c69··.W.X."5X....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:·3048·3696·d92a·34f9·e271·584b·c758·84d7··0H6..*4..qXK.X..000001b0:·3048·3696·d92a·34f9·e271·584b·c758·84d7··0H6..*4..qXK.X..
000001c0:·3aa0·a025·6f72·6465·72a0·2973·7372·6566··:..%order.)ssref000001c0:·3aa0·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:·300c·54b0·76ea·6aa8·43ff·9241·2991·a9c9··0.T.v.j.C..A)...000001e0:·300c·54b0·76ea·6aa8·43ff·9241·2991·a9c9··0.T.v.j.C..A)...
000001f0:·5da0·a024·6261·7365·a028·6465·7269·7669··]..$base.(derivi000001f0:·5da0·a024·6261·7365·a028·6465·7269·7669··]..$base.(derivi
00000200:·6e67·4090·30a7·e1d4·b76a·e384·acc5·3a61··ng@.0....j....:a00000200:·6e67·4090·3055·bbae·c074·8f3a·7973·5de3··ng@.0U...t.:ys].
00000210:·867c·9b93·95a0·a023·696e·64a0·2864·6572··.|.....#ind.(der00000210:·8de7·64a4·5fa0·a023·696e·64a0·2864·6572··..d._..#ind.(der
00000220:·6976·696e·6740·9030·4f93·c371·6b67·01ff··iving@.0O..qkg.. 
00000230:·fb15·c042·5fab·3a2d·a0a0·2774·6163·7469··...B_.:-..'tacti00000220:·6976·696e·6740·9030·fac5·2807·276f·1aa7··iving@.0..(.'o..
 00000230:·285b·2ab0·d882·87af·a0a0·2774·6163·7469··([*.......'tacti
00000240:·6373·a028·6465·7269·7669·6e67·4090·30a8··cs.(deriving@.0.00000240:·6373·a028·6465·7269·7669·6e67·4090·300b··cs.(deriving@.0.
00000250:·f712·e85a·5b97·c5c8·bd5c·ce21·4359·5da0··...Z[....\.!CY].00000250:·e280·cc51·7f88·cf03·5ddc·8dd3·2827·2da0··...Q....]...('-.
00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin
00000270:·6740·9030·a287·39d4·ce7d·7b74·5ddb·162e··g@.0..9..}{t]...00000270:·6740·9030·bbfe·cf91·b234·c032·ed9c·3fb3··g@.0.....4.2..?.
00000280:·bc43·592b·2535·2e32·2e30·a040·4098·72bd··.CY+%5.2.0.@@.r.00000280:·b6e0·79e2·2535·2e32·2e30·a040·4060·5e4b··..y.%5.2.0.@@`^K
00000290:·c1db·5f7c·672f·86cf·ee21·0f8c·eb84·95a6··.._|g/...!......00000290:·3ddb·43db·a0df·eb3b·68c3·1fab·3784·95a6··=.C....;h...7...
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·30a2·8739·d4ce·7d7b·745d·db16·2ebc··@.0..9..}{t]....000046c0:·4090·30bb·fecf·91b2·34c0·32ed·9c3f·b3b6··@.0.....4.2..?..
000046d0:·4359·2b90·40a0·a0a0·050c·d8a0·4090·40a0··CY+.@.......@.@.000046d0:·e079·e290·40a0·a0a0·050c·d8a0·4090·40a0··.y..@.......@.@.
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·c679·deeb·652e·3a99·aaeb·dd5c·7341··@@.y..e.:....\sA00005d30:·4040·7e02·394d·3d1b·9389·2895·13ca·a14a··@@~.9M=...(....J
00005d40:·0e61·8495·a6be·0000·5347·0000·10cc·0000··.a......SG......00005d40:·2e33·8495·a6be·0000·5347·0000·10cc·0000··.3......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·95c6·79de·eb65··.........Z..y..e0000b6f0:·0002·9d00·0000·0000·005a·957e·0239·4d3d··.........Z.~.9M=
0000b700:·2e3a·99aa·ebdd·5c73·410e·6100·0000·076f··.:....\sA.a....o0000b700:·1b93·8928·9513·caa1·4a2e·3300·0000·076f··...(....J.3....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:·7d98·72bd·c1db·5f7c·672f·86cf·ee21·0f8c··}.r..._|g/...!..0000b750:·7d60·5e4b·3ddb·43db·a0df·eb3b·68c3·1fab··}`^K=.C....;h...
0000b760:·eb00·0000·0976·6d6c·6962·7261·7279·0000··.....vmlibrary..0000b760:·3700·0000·0976·6d6c·6962·7261·7279·0000··7....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·4836·96d9·2a34·f9e2·7158·4bc7·5884··.0H6..*4..qXK.X.000001b0:·9030·4836·96d9·2a34·f9e2·7158·4bc7·5884··.0H6..*4..qXK.X.
000001c0:·d73a·a0a0·256f·7264·6572·a029·7373·7265··.:..%order.)ssre000001c0:·d73a·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·0c54·b076·ea6a·a843·ff92·4129·91a9··.0.T.v.j.C..A)..000001e0:·9030·0c54·b076·ea6a·a843·ff92·4129·91a9··.0.T.v.j.C..A)..
000001f0:·c95d·a0a0·2462·6173·65a0·2864·6572·6976··.]..$base.(deriv000001f0:·c95d·a0a0·2462·6173·65a0·2864·6572·6976··.]..$base.(deriv
00000200:·696e·6740·9030·a7e1·d4b7·6ae3·84ac·c53a··ing@.0....j....:00000200:·696e·6740·9030·55bb·aec0·748f·3a79·735d··ing@.0U...t.:ys]
00000210:·6186·7c9b·9395·a0a0·2369·6e64·a028·6465··a.|.....#ind.(de00000210:·e38d·e764·a45f·a0a0·2369·6e64·a028·6465··...d._..#ind.(de
00000220:·7269·7669·6e67·4090·304f·93c3·716b·6701··riving@.0O..qkg.00000220:·7269·7669·6e67·4090·30fa·c528·0727·6f1a··riving@.0..(.'o.
00000230:·fffb·15c0·425f·ab3a·2da0·a027·7461·6374··....B_.:-..'tact00000230:·a728·5b2a·b0d8·8287·afa0·a027·7461·6374··.([*.......'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:·a8f7·12e8·5a5b·97c5·c8bd·5cce·2143·595d··....Z[....\.!CY]00000250:·0be2·80cc·517f·88cf·035d·dc8d·d328·272d··....Q....]...('-
00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi
00000270:·6e67·4090·30a2·8739·d4ce·7d7b·745d·db16··ng@.0..9..}{t]..00000270:·6e67·4090·30bb·fecf·91b2·34c0·32ed·9c3f··ng@.0.....4.2..?
00000280:·2ebc·4359·2b25·352e·322e·30a0·4040·bee3··..CY+%5.2.0.@@..00000280:·b3b6·e079·e225·352e·322e·30a0·4040·1e7d··...y.%5.2.0.@@.}
00000290:·6a72·f360·a544·a98c·89c2·b3aa·7dd7·8495··jr.`.D......}...00000290:·63aa·c821·3544·12db·9465·1925·b76e·8495··c..!5D...e.%.n..
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·30a2·8739··.(deriving@.0..900005b60:·a028·6465·7269·7669·6e67·4090·30bb·fecf··.(deriving@.0...
00005b70:·d4ce·7d7b·745d·db16·2ebc·4359·2b90·40a0··..}{t]....CY+.@.00005b70:·91b2·34c0·32ed·9c3f·b3b6·e079·e290·40a0··..4.2..?...y..@.
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·598e·96be·dc8a·bc75·e082·6c91··]@@@Y......u..l.00007780:·5d40·4040·6b6f·41c7·dd46·9f78·8359·6953··]@@@koA..F.x.YiS
00007790:·2e50·2815·8495·a6be·0000·68a4·0000·16ea··.P(.......h.....00007790:·dbea·3c0d·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·598e·96be·dc8a·bc75·e082·6c91··..t.Y......u..l.0000ebc0:·0000·74e6·6b6f·41c7·dd46·9f78·8359·6953··..t.koA..F.x.YiS
0000ebd0:·2e50·2815·0000·0007·6f70·6171·7565·7300··.P(.....opaques.0000ebd0:·dbea·3c0d·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·bee3·6a72·f360··.........~..jr.`0000ec10:·0010·0000·0000·0000·027e·1e7d·63aa·c821··.........~.}c..!
0000ec20:·a544·a98c·89c2·b3aa·7dd7·0000·0009·766d··.D......}.....vm0000ec20:·3544·12db·9465·1925·b76e·0000·0009·766d··5D...e.%.n....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:·4836·96d9·2a34·f9e2·7158·4bc7·5884·d73a··H6..*4..qXK.X..:000001b0:·4836·96d9·2a34·f9e2·7158·4bc7·5884·d73a··H6..*4..qXK.X..:
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:·0c54·b076·ea6a·a843·ff92·4129·91a9·c95d··.T.v.j.C..A)...]000001e0:·0c54·b076·ea6a·a843·ff92·4129·91a9·c95d··.T.v.j.C..A)...]
000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin
00000200:·6740·9030·a7e1·d4b7·6ae3·84ac·c53a·6186··g@.0....j....:a.00000200:·6740·9030·55bb·aec0·748f·3a79·735d·e38d··g@.0U...t.:ys]..
00000210:·7c9b·9395·a0a0·2369·6e64·a028·6465·7269··|.....#ind.(deri00000210:·e764·a45f·a0a0·2369·6e64·a028·6465·7269··.d._..#ind.(deri
00000220:·7669·6e67·4090·304f·93c3·716b·6701·fffb··ving@.0O..qkg...00000220:·7669·6e67·4090·30fa·c528·0727·6f1a·a728··ving@.0..(.'o..(
00000230:·15c0·425f·ab3a·2da0·a027·7461·6374·6963··..B_.:-..'tactic00000230:·5b2a·b0d8·8287·afa0·a027·7461·6374·6963··[*.......'tactic
00000240:·73a0·2864·6572·6976·696e·6740·9030·a8f7··s.(deriving@.0..00000240:·73a0·2864·6572·6976·696e·6740·9030·0be2··s.(deriving@.0..
00000250:·12e8·5a5b·97c5·c8bd·5cce·2143·595d·a0a0··..Z[....\.!CY]..00000250:·80cc·517f·88cf·035d·dc8d·d328·272d·a0a0··..Q....]...('-..
00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving
00000270:·4090·30a2·8739·d4ce·7d7b·745d·db16·2ebc··@.0..9..}{t]....00000270:·4090·30bb·fecf·91b2·34c0·32ed·9c3f·b3b6··@.0.....4.2..?..
00000280:·4359·2ba0·a026·636f·6d70·6174·a028·6465··CY+..&compat.(de00000280:·e079·e2a0·a026·636f·6d70·6174·a028·6465··.y...&compat.(de
00000290:·7269·7669·6e67·4090·3047·5d04·1137·e343··riving@.0G]..7.C00000290:·7269·7669·6e67·4090·3047·5d04·1137·e343··riving@.0G]..7.C
000002a0:·048d·3348·64e3·ccf9·3b25·352e·322e·30a0··..3Hd...;%5.2.0.000002a0:·048d·3348·64e3·ccf9·3b25·352e·322e·30a0··..3Hd...;%5.2.0.
000002b0:·4040·9fbd·b9ec·5183·9b67·6dc2·3097·817e··@@....Q..gm.0..~000002b0:·4040·ef59·d535·1c7f·a966·d4ea·4f92·0f40··@@.Y.5...f..O..@
000002c0:·06d2·8495·a6be·0000·8e77·0000·213c·0000··.........w..!<..000002c0:·f313·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·475d·0411··(deriving@.0G]..00005af0:·2864·6572·6976·696e·6740·9030·475d·0411··(deriving@.0G]..
00005b00:·37e3·4304·8d33·4864·e3cc·f93b·a0a0·2569··7.C..3Hd...;..%i00005b00:·37e3·4304·8d33·4864·e3cc·f93b·a0a0·2569··7.C..3Hd...;..%i
00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@.00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@.
00005b20:·30a2·8739·d4ce·7d7b·745d·db16·2ebc·4359··0..9..}{t]....CY00005b20:·30bb·fecf·91b2·34c0·32ed·9c3f·b3b6·e079··0.....4.2..?...y
00005b30:·2b90·40a0·a0a0·0510·dfa0·4090·40a0·95a0··+.@.......@.@...00005b30:·e290·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·40dd·4d6c···'for'·T·]@@@.Ml00009140:·2027·666f·7227·2054·205d·4040·405b·2407···'for'·T·]@@@[$.
00009150:·20f8·0c07·9883·8cc7·13ea·cc30·2284·95a6···..........0"...00009150:·1095·6d96·3471·4411·5fa8·af87·e684·95a6··..m.4qD._.......
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·8bdd·4d6c·20f8·0c07·9883·8cc7··......Ml·.......0001ce60:·0000·008e·8b5b·2407·1095·6d96·3471·4411··.....[$...m.4qD.
0001ce70:·13ea·cc30·2200·0000·076f·7061·7175·6573··...0"....opaques0001ce70:·5fa8·af87·e600·0000·076f·7061·7175·6573··_........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·a29f·bdb9·ec51··...............Q0001ceb0:·0000·1000·0000·0000·0002·a2ef·59d5·351c··............Y.5.
0001cec0:·839b·676d·c230·9781·7e06·d200·0000·0976··..gm.0..~......v0001cec0:·7fa9·66d4·ea4f·920f·40f3·1300·0000·0976··..f..O..@......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:·3bfc·43a1·a0a0·2766·696e·7479·7065·a029··;.C...'fintype.)00000190:·3bfc·43a1·a0a0·2766·696e·7479·7065·a029··;.C...'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·4836·96d9·2a34·f9e2·7158··omp@.0H6..*4..qX000001b0:·6f6d·7040·9030·4836·96d9·2a34·f9e2·7158··omp@.0H6..*4..qX
000001c0:·4bc7·5884·d73a·a0a0·256f·7264·6572·a029··K.X..:..%order.)000001c0:·4bc7·5884·d73a·a0a0·256f·7264·6572·a029··K.X..:..%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·0c54·b076·ea6a·a843·ff92··omp@.0.T.v.j.C..000001e0:·6f6d·7040·9030·0c54·b076·ea6a·a843·ff92··omp@.0.T.v.j.C..
000001f0:·4129·91a9·c95d·a0a0·2462·6173·65a0·2864··A)...]..$base.(d000001f0:·4129·91a9·c95d·a0a0·2462·6173·65a0·2864··A)...]..$base.(d
00000200:·6572·6976·696e·6740·9030·a7e1·d4b7·6ae3··eriving@.0....j.00000200:·6572·6976·696e·6740·9030·55bb·aec0·748f··eriving@.0U...t.
00000210:·84ac·c53a·6186·7c9b·9395·a0a0·2369·6e64··...:a.|.....#ind00000210:·3a79·735d·e38d·e764·a45f·a0a0·2369·6e64··:ys]...d._..#ind
00000220:·a028·6465·7269·7669·6e67·4090·304f·93c3··.(deriving@.0O..00000220:·a028·6465·7269·7669·6e67·4090·30fa·c528··.(deriving@.0..(
00000230:·716b·6701·fffb·15c0·425f·ab3a·2da0·a027··qkg.....B_.:-..'00000230:·0727·6f1a·a728·5b2a·b0d8·8287·afa0·a027··.'o..([*.......'
00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin
00000250:·6740·9030·a8f7·12e8·5a5b·97c5·c8bd·5cce··g@.0....Z[....\.00000250:·6740·9030·0be2·80cc·517f·88cf·035d·dc8d··g@.0....Q....]..
00000260:·2143·595d·a0a0·2569·6e66·6572·a028·6465··!CY]..%infer.(de00000260:·d328·272d·a0a0·2569·6e66·6572·a028·6465··.('-..%infer.(de
00000270:·7269·7669·6e67·4090·30a2·8739·d4ce·7d7b··riving@.0..9..}{00000270:·7269·7669·6e67·4090·30bb·fecf·91b2·34c0··riving@.0.....4.
00000280:·745d·db16·2ebc·4359·2b25·352e·322e·30a0··t]....CY+%5.2.0. 
00000290:·4040·308c·5f99·1b51·47fb·8cd3·2959·7d50··@@0._..QG...)Y}P00000280:·32ed·9c3f·b3b6·e079·e225·352e·322e·30a0··2..?...y.%5.2.0.
 00000290:·4040·9f55·b12b·0b6e·4a02·dc96·98f3·e2b5··@@.U.+.nJ.......
000002a0:·f04b·8495·a6be·0000·5a3b·0000·13c5·0000··.K......Z;......000002a0:·e64c·8495·a6be·0000·5a3b·0000·13c5·0000··.L......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·a287·39d4·ce7d·7b74··iving@.0..9..}{t00004960:·6976·696e·6740·9030·bbfe·cf91·b234·c032··iving@.0.....4.2
00004970:·5ddb·162e·bc43·592b·9040·a0a0·95a0·021d··]....CY+.@......00004970:·ed9c·3fb3·b6e0·79e2·9040·a0a0·95a0·021d··..?...y..@......
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:·4003·7f80·588f·f152·737e·d021·5c42·346c··@...X..Rs~.!\B4l00005cf0:·409e·cbd9·f9f9·ddf4·6ebf·0f64·c0fc·bc13··@.......n..d....
00005d00:·5384·95a6·be00·004d·da00·0010·cd00·0038··S......M.......800005d00:·bd84·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·4f03··.............ZO.0000b740:·0000·0000·0002·a200·0000·0000·005a·4f9e··.............ZO.
0000b750:·7f80·588f·f152·737e·d021·5c42·346c·5300··..X..Rs~.!\B4lS.0000b750:·cbd9·f9f9·ddf4·6ebf·0f64·c0fc·bc13·bd00··......n..d......
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·8230·8c5f·991b·5147·fb8c·d329··.....0._..QG...)0000b7a0:·0000·0002·829f·55b1·2b0b·6e4a·02dc·9698··......U.+.nJ....
0000b7b0:·597d·50f0·4b00·0000·0976·6d6c·6962·7261··Y}P.K....vmlibra0000b7b0:·f3e2·b5e6·4c00·0000·0976·6d6c·6962·7261··....L....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·f15a··Coq!..@P.......Z00000000:·436f·7121·0001·4050·0000·0000·0005·f164··Coq!..@P.......d
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·bbd1·8a14··tures."HB@.0....00000070:·7475·7265·73a0·2248·4240·9030·bbd1·8a14··tures."HB@.0....
Offset 28, 39 lines modifiedOffset 28, 39 lines modified
000001b0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect000001b0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect
000001c0:·a028·6d61·7468·636f·6d70·4090·3048·3696··.(mathcomp@.0H6.000001c0:·a028·6d61·7468·636f·6d70·4090·3048·3696··.(mathcomp@.0H6.
000001d0:·d92a·34f9·e271·584b·c758·84d7·3aa0·a025··.*4..qXK.X..:..%000001d0:·d92a·34f9·e271·584b·c758·84d7·3aa0·a025··.*4..qXK.X..:..%
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·300c·54b0··.(mathcomp@.0.T.000001f0:·a028·6d61·7468·636f·6d70·4090·300c·54b0··.(mathcomp@.0.T.
00000200:·76ea·6aa8·43ff·9241·2991·a9c9·5da0·a024··v.j.C..A)...]..$00000200:·76ea·6aa8·43ff·9241·2991·a9c9·5da0·a024··v.j.C..A)...]..$
00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@.00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@.
00000220:·30a7·e1d4·b76a·e384·acc5·3a61·867c·9b93··0....j....:a.|..00000220:·3055·bbae·c074·8f3a·7973·5de3·8de7·64a4··0U...t.:ys]...d.
00000230:·95a0·a023·696e·64a0·2864·6572·6976·696e··...#ind.(derivin00000230:·5fa0·a023·696e·64a0·2864·6572·6976·696e··_..#ind.(derivin
00000240:·6740·9030·4f93·c371·6b67·01ff·fb15·c042··g@.0O..qkg.....B00000240:·6740·9030·fac5·2807·276f·1aa7·285b·2ab0··g@.0..(.'o..([*.
00000250:·5fab·3a2d·a0a0·2774·6163·7469·6373·a028··_.:-..'tactics.(00000250:·d882·87af·a0a0·2774·6163·7469·6373·a028··......'tactics.(
00000260:·6465·7269·7669·6e67·4090·30a8·f712·e85a··deriving@.0....Z00000260:·6465·7269·7669·6e67·4090·300b·e280·cc51··deriving@.0....Q
00000270:·5b97·c5c8·bd5c·ce21·4359·5da0·a025·696e··[....\.!CY]..%in00000270:·7f88·cf03·5ddc·8dd3·2827·2da0·a025·696e··....]...('-..%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:·a287·39d4·ce7d·7b74·5ddb·162e·bc43·592b··..9..}{t]....CY+00000290:·bbfe·cf91·b234·c032·ed9c·3fb3·b6e0·79e2··.....4.2..?...y.
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·475d·0411·37e3·4304·8d33··ing@.0G]..7.C..3000002b0:·696e·6740·9030·475d·0411·37e3·4304·8d33··ing@.0G]..7.C..3
000002c0:·4864·e3cc·f93b·a0a0·2665·7174·7970·65a0··Hd...;..&eqtype.000002c0:·4864·e3cc·f93b·a0a0·2665·7174·7970·65a0··Hd...;..&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·30c6·79de·eb65·2e3a·99aa··ving@.0.y..e.:..000002e0:·7669·6e67·4090·307e·0239·4d3d·1b93·8928··ving@.0~.9M=...(
000002f0:·ebdd·5c73·410e·61a0·a02b·7472·6565·5f6f··..\sA.a..+tree_o000002f0:·9513·caa1·4a2e·33a0·a02b·7472·6565·5f6f··....J.3..+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·3003·7f80··.(deriving@.0...00000310:·a028·6465·7269·7669·6e67·4090·309e·cbd9··.(deriving@.0...
00000320:·588f·f152·737e·d021·5c42·346c·53a0·a027··X..Rs~.!\B4lS..'00000320:·f9f9·ddf4·6ebf·0f64·c0fc·bc13·bda0·a027··....n..d.......'
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·3059··es.(deriving@.0Y00000340:·6573·a028·6465·7269·7669·6e67·4090·306b··es.(deriving@.0k
00000350:·8e96·bedc·8abc·75e0·826c·912e·5028·15a0··......u..l..P(..00000350:·6f41·c7dd·469f·7883·5969·53db·ea3c·0da0··oA..F.x.YiS..<..
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·30dd··es.(deriving@.0.00000370:·6573·a028·6465·7269·7669·6e67·4090·305b··es.(deriving@.0[
00000380:·4d6c·20f8·0c07·9883·8cc7·13ea·cc30·2225··Ml·..........0"% 
00000390:·352e·322e·30a0·4040·1dc3·5c41·cf38·ec91··5.2.0.@@..\A.8.. 
000003a0:·e7ab·344e·7920·e485·8495·a6be·0003·8515··..4Ny·..........00000380:·2407·1095·6d96·3471·4411·5fa8·af87·e625··$...m.4qD._....%
 00000390:·352e·322e·30a0·4040·1029·7cfd·9ff0·5f1a··5.2.0.@@.)|..._.
 000003a0:·6015·7156·708e·4efa·8495·a6be·0003·851f··`.qVp.N.........
000003b0:·0000·cdac·0002·bbb4·0002·ab35·b0d0·a029··...........5...)000003b0:·0000·cdac·0002·bbb4·0002·ab35·b0d0·a029··...........5...)
000003c0:·696e·7374·616e·6365·73a0·2864·6572·6976··instances.(deriv000003c0:·696e·7374·616e·6365·73a0·2864·6572·6976··instances.(deriv
000003d0:·696e·6740·e090·0406·4190·a0a0·316c·7461··ing@....A...1lta000003d0:·696e·6740·e090·0406·4190·a0a0·316c·7461··ing@....A...1lta
000003e0:·635f·6765·6e5f·7375·6270·726f·6f66·9008··c_gen_subproof..000003e0:·635f·6765·6e5f·7375·6270·726f·6f66·9008··c_gen_subproof..
000003f0:·0000·2700·40a0·8080·9040·a99a·a090·b0a2··..'.@....@......000003f0:·0000·2700·40a0·8080·9040·a99a·a090·b0a2··..'.@....@......
00000400:·90a0·2369·6e64·a004·1540·2349·6e64·2b72··..#ind...@#Ind+r00000400:·90a0·2369·6e64·a004·1540·2349·6e64·2b72··..#ind...@#Ind+r
00000410:·6563·7572·736f·725f·6571·0232·18b2·4a04··ecursor_eq.2..J.00000410:·6563·7572·736f·725f·6571·0232·18b2·4a04··ecursor_eq.2..J.
Offset 5522, 20 lines modifiedOffset 5522, 20 lines modified
00015910:·01cf·0991·770a·ef18·90b0·0504·e305·04e1··....w...........00015910:·01cf·0991·770a·ef18·90b0·0504·e305·04e1··....w...........
00015920:·0200·0090·ce40·4142·b005·0254·42a0·0301··.....@AB...TB...00015920:·0200·0090·ce40·4142·b005·0254·42a0·0301··.....@AB...TB...
00015930:·cddb·c3be·541e·3190·b005·2fb7·0504·e002··....T.1.../.....00015930:·cddb·c3be·541e·3190·b005·2fb7·0504·e002··....T.1.../.....
00015940:·0000·910c·4043·4445·b005·049d·4205·0497··....@CDE....B...00015940:·0000·910c·4043·4445·b005·049d·4205·0497··....@CDE....B...
00015950:·c0c0·c040·b005·0497·4205·048e·4041·b005··...@....B...@A..00015950:·c0c0·c040·b005·0497·4205·048e·4041·b005··...@....B...@A..
00015960:·048b·4205·0487·4042·b005·0484·4205·047d··..B...@B....B..}00015960:·048b·4205·0487·4042·b005·0484·4205·047d··..B...@B....B..}
00015970:·4043·4648·494a·4b4c·c0a0·a005·2650·a005··@CFHIJKL....&P..00015970:·4043·4648·494a·4b4c·c0a0·a005·2650·a005··@CFHIJKL....&P..
00015980:·2631·a005·265c·4090·30c6·79de·eb65·2e3a··&1..&\@.0.y..e.:00015980:·2631·a005·265c·4090·307e·0239·4d3d·1b93··&1..&\@.0~.9M=..
00015990:·99aa·ebdd·5c73·410e·61a0·0522·5990·3059··....\sA.a.."Y.0Y 
000159a0:·8e96·bedc·8abc·75e0·826c·912e·5028·15a0··......u..l..P(.. 
000159b0:·052f·a790·30dd·4d6c·20f8·0c07·9883·8cc7··./..0.Ml·....... 
000159c0:·13ea·cc30·22a0·0525·6190·3003·7f80·588f··...0"..%a.0...X. 
000159d0:·f152·737e·d021·5c42·346c·5390·40a0·a094··.Rs~.!\B4lS.@...00015990:·8928·9513·caa1·4a2e·33a0·0522·5990·306b··.(....J.3.."Y.0k
 000159a0:·6f41·c7dd·469f·7883·5969·53db·ea3c·0da0··oA..F.x.YiS..<..
 000159b0:·052f·a790·305b·2407·1095·6d96·3471·4411··./..0[$...m.4qD.
 000159c0:·5fa8·af87·e6a0·0525·6190·309e·cbd9·f9f9··_......%a.0.....
 000159d0:·ddf4·6ebf·0f64·c0fc·bc13·bd90·40a0·a094··..n..d......@...
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·2939·3238·3436·3238·3139·e0d0··@@@@)928462819..00016de0:·4040·4040·2939·3135·3130·3733·3233·e0d0··@@@@)915107323..
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·0000·e73e·4041·40a0·95a0··.........>@A@...00029690:·140c·0000·0000·0000·d03e·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·3338·3838··.F....@@@@@)388800029920:·0546·ad90·9090·4040·4040·4029·3238·3735··.F....@@@@@)2875
00029930:·3139·3132·34e0·0546·a605·4148·053f·c505··19124..F..AH.?..00029930:·3231·3434·37e0·0546·a605·4148·053f·c505··21447..F..AH.?..
00029940:·178c·0516·fd05·46c3·0c00·0000·0000·00e5··......F.........00029940:·178c·0516·fd05·46c3·0c00·0000·0000·40f7··......F.......@.
00029950:·3e40·4140·a095·a002·0b7b·4f44·a040·a0a0··>@A@.....{OD.@..00029950:·3e40·4140·a095·a002·0b7b·4f44·a040·a0a0··>@A@.....{OD.@..
00029960:·0579·6fa0·9105·7a08·4040·a095·a002·320a··.yo...z.@@....2.00029960:·0579·6fa0·9105·7a08·4040·a095·a002·320a··.yo...z.@@....2.
00029970:·518f·a005·7991·b005·48f3·4040·a095·a002··Q...y...H.@@....00029970:·518f·a005·7991·b005·48f3·4040·a095·a002··Q...y...H.@@....
00029980:·0fc0·a2b8·a090·054a·faa0·a091·0579·52a0··.......J.....yR.00029980:·0fc0·a2b8·a090·054a·faa0·a091·0579·52a0··.......J.....yR.
00029990:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o.00029990:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o.
000299a0:·4091·0579·5aa0·4040·a090·9205·7f4c·40d0··@..yZ.@@.....L@.000299a0:·4091·0579·5aa0·4040·a090·9205·7f4c·40d0··@..yZ.@@.....L@.
000299b0:·d0d0·d040·40a0·054c·1040·4041·41a0·054c··...@@..L.@@AA..L000299b0:·d0d0·d040·40a0·054c·1040·4041·41a0·054c··...@@..L.@@AA..L
Offset 10680, 519 lines modifiedOffset 10680, 519 lines modified
00029b70:·6102·3eea·8801·4040·a095·a002·347d·c1ff··a.>...@@....4}..00029b70:·6102·3eea·8801·4040·a095·a002·347d·c1ff··a.>...@@....4}..
Max diff block lines reached; 1875259/1885428 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·30a7·e1d4·b76a·e384·acc5·3a61·867c··@.0....j....:a.|000000d0:·4090·3055·bbae·c074·8f3a·7973·5de3·8de7··@.0U...t.:ys]...
000000e0:·9b93·95a0·a023·696e·64a0·2864·6572·6976··.....#ind.(deriv000000e0:·64a4·5fa0·a023·696e·64a0·2864·6572·6976··d._..#ind.(deriv
000000f0:·696e·6740·9030·4f93·c371·6b67·01ff·fb15··ing@.0O..qkg.... 
00000100:·c042·5fab·3a2d·2535·2e32·2e30·a040·406d··.B_.:-%5.2.0.@@m 
00000110:·03b9·4f1c·c726·b427·6c16·f8ce·1090·3b84··..O..&.'l.....;.000000f0:·696e·6740·9030·fac5·2807·276f·1aa7·285b··ing@.0..(.'o..([
 00000100:·2ab0·d882·87af·2535·2e32·2e30·a040·40c2··*.....%5.2.0.@@.
 00000110:·1fd9·3be5·5be2·edc6·664f·eded·5210·a684··..;.[...fO..R...
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·304f·93c3··.(deriving@.0O..00000160:·a028·6465·7269·7669·6e67·4090·30fa·c528··.(deriving@.0..(
00000170:·716b·6701·fffb·15c0·425f·ab3a·2d90·40a0··qkg.....B_.:-.@.00000170:·0727·6f1a·a728·5b2a·b0d8·8287·af90·40a0··.'o..([*......@.
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·40a8·f712·e85a··'.....'.@@@....Z00001e20:·2780·011a·9701·2781·4040·400b·e280·cc51··'.....'.@@@....Q
00001e30:·5b97·c5c8·bd5c·ce21·4359·5d84·95a6·be00··[....\.!CY].....00001e30:·7f88·cf03·5ddc·8dd3·2827·2d84·95a6·be00··....]...('-.....
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·0ca8·f712·e85a·5b97··.............Z[.00001eb0:·1f00·0000·0000·001d·0c0b·e280·cc51·7f88··.............Q..
00001ec0:·c5c8·bd5c·ce21·4359·5d00·0000·076f·7061··...\.!CY]....opa00001ec0:·cf03·5ddc·8dd3·2827·2d00·0000·076f·7061··..]...('-....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·ff6d··...............m00001f00:·0000·0000·0000·1000·0000·0000·0000·ffc2··................
00001f10:·03b9·4f1c·c726·b427·6c16·f8ce·1090·3b00··..O..&.'l.....;.00001f10:·1fd9·3be5·5be2·edc6·664f·eded·5210·a600··..;.[...fO..R...
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 dk6001 4gw98