9.9 MB
/srv/reproducible-results/rbuild-debian/r-b-build.rSj58ckX/b1/coq-extructures_0.5.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.rSj58ckX/b2/coq-extructures_0.5.0-1_arm64.changes
216 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·10666837d1f88af52ee01d49677a17bd·747692·ocaml·optional·libcoq-extructures_0.5.0-1_arm64.deb1 ·1950d828c74a187dca5a5fb2d73ce61f·747820·ocaml·optional·libcoq-extructures_0.5.0-1_arm64.deb
9.9 MB
libcoq-extructures_0.5.0-1_arm64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-18·11:18:51.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-12-18·11:18:51.000000·debian-binary
2 -rw-r--r--···0········0········0·····1172·2024-12-18·11:18:51.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1168·2024-12-18·11:18:51.000000·control.tar.xz
3 -rw-r--r--···0········0········0···746328·2024-12-18·11:18:51.000000·data.tar.xz3 -rw-r--r--···0········0········0···746460·2024-12-18·11:18:51.000000·data.tar.xz
741 B
control.tar.xz
713 B
control.tar
643 B
./control
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Package:·libcoq-extructures1 Package:·libcoq-extructures
2 Source:·coq-extructures2 Source:·coq-extructures
3 Version:·0.5.0-13 Version:·0.5.0-1
4 Architecture:·arm644 Architecture:·arm64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·26906 Installed-Size:·2690
7 Depends:·libcoq-deriving-d36y1,·libcoq-mathcomp-ssreflect-f6101,·libcoq-stdlib-z3q117 Depends:·libcoq-deriving-d36y1,·libcoq-mathcomp-ssreflect-f6101,·libcoq-stdlib-z3q11
8 Provides:·libcoq-extructures-6lpw98 Provides:·libcoq-extructures-bfrn4
9 Section:·ocaml9 Section:·ocaml
10 Priority:·optional10 Priority:·optional
11 Homepage:·https://github.com/arthuraa/extructures/11 Homepage:·https://github.com/arthuraa/extructures/
12 Description:·data·structures·with·extensional·reasoning·for·Coq12 Description:·data·structures·with·extensional·reasoning·for·Coq
13 ·This·Coq·plugin·provides·finite·sets,·maps·and13 ·This·Coq·plugin·provides·finite·sets,·maps·and
14 ·other·data·structures·with·extensional·reasoning.14 ·other·data·structures·with·extensional·reasoning.
15 ·.15 ·.
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
9.9 MB
data.tar.xz
9.9 MB
data.tar
4.69 KB
file list
    
Offset 5, 27 lines modifiedOffset 5, 27 lines modified
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/
10 -rw-r--r--···0·root·········(0)·root·········(0)····37210·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.glob10 -rw-r--r--···0·root·········(0)·root·········(0)····37210·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.glob
11 -rw-r--r--···0·root·········(0)·root·········(0)·····6906·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.v11 -rw-r--r--···0·root·········(0)·root·········(0)·····6906·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.v
12 -rw-r--r--···0·root·········(0)·root·········(0)···170194·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.vo12 -rw-r--r--···0·root·········(0)·root·········(0)···170195·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.vo
13 -rw-r--r--···0·root·········(0)·root·········(0)···235466·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.glob13 -rw-r--r--···0·root·········(0)·root·········(0)···235466·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.glob
14 -rw-r--r--···0·root·········(0)·root·········(0)····38448·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.v14 -rw-r--r--···0·root·········(0)·root·········(0)····38448·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.v
15 -rw-r--r--···0·root·········(0)·root·········(0)···426026·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.vo15 -rw-r--r--···0·root·········(0)·root·········(0)···426020·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.vo
16 -rw-r--r--···0·root·········(0)·root·········(0)···115803·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.glob16 -rw-r--r--···0·root·········(0)·root·········(0)···115803·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.glob
17 -rw-r--r--···0·root·········(0)·root·········(0)····19744·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.v17 -rw-r--r--···0·root·········(0)·root·········(0)····19744·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.v
18 -rw-r--r--···0·root·········(0)·root·········(0)···268317·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.vo18 -rw-r--r--···0·root·········(0)·root·········(0)···268321·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.vo
19 -rw-r--r--···0·root·········(0)·root·········(0)···313420·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.glob19 -rw-r--r--···0·root·········(0)·root·········(0)···313420·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.glob
20 -rw-r--r--···0·root·········(0)·root·········(0)····42036·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.v20 -rw-r--r--···0·root·········(0)·root·········(0)····42036·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.v
21 -rw-r--r--···0·root·········(0)·root·········(0)···394779·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.vo21 -rw-r--r--···0·root·········(0)·root·········(0)···394768·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.vo
22 -rw-r--r--···0·root·········(0)·root·········(0)····81922·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.glob22 -rw-r--r--···0·root·········(0)·root·········(0)····81922·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.glob
23 -rw-r--r--···0·root·········(0)·root·········(0)····21265·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.v23 -rw-r--r--···0·root·········(0)·root·········(0)····21265·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.v
24 -rw-r--r--···0·root·········(0)·root·········(0)···549734·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.vo24 -rw-r--r--···0·root·········(0)·root·········(0)···549708·2024-12-18·11:18:51.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.vo
25 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/25 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/
26 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/26 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/
27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/
28 -rw-r--r--···0·root·········(0)·root·········(0)······616·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/changelog.Debian.gz28 -rw-r--r--···0·root·········(0)·root·········(0)······616·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/changelog.Debian.gz
29 -rw-r--r--···0·root·········(0)·root·········(0)·····1338·2024-12-09·18:16:09.000000·./usr/share/doc/libcoq-extructures/changelog.gz29 -rw-r--r--···0·root·········(0)·root·········(0)·····1338·2024-12-09·18:16:09.000000·./usr/share/doc/libcoq-extructures/changelog.gz
30 -rw-r--r--···0·root·········(0)·root·········(0)·····1267·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/copyright30 -rw-r--r--···0·root·········(0)·root·········(0)·····1267·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/copyright
31 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./var/31 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./var/
1.11 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0002·9820··Coq!..@P.......·00000000:·436f·7121·0001·4050·0000·0000·0002·9821··Coq!..@P.......!
00000010:·8495·a6be·0000·01d4·0000·0059·0000·0135··...........Y...500000010:·8495·a6be·0000·01d4·0000·0059·0000·0135··...........Y...5
00000020:·0000·0108·c0a0·2466·6675·6ea0·2b65·7874··......$ffun.+ext00000020:·0000·0108·c0a0·2466·6675·6ea0·2b65·7874··......$ffun.+ext
00000030:·7275·6374·7572·6573·4008·0000·2b00·a0a0··ructures@...+...00000030:·7275·6374·7572·6573·4008·0000·2b00·a0a0··ructures@...+...
00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.#00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.#
00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e.00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e.
00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu
00000070:·7265·73a0·2248·4240·9030·66fa·fe75·08e0··res."HB@.0f..u..00000070:·7265·73a0·2248·4240·9030·66fa·fe75·08e0··res."HB@.0f..u..
Offset 19, 22 lines modifiedOffset 19, 22 lines modified
00000120:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m00000120:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m
00000130:·6174·6863·6f6d·7040·9030·8862·7b73·8800··athcomp@.0.b{s..00000130:·6174·6863·6f6d·7040·9030·8862·7b73·8800··athcomp@.0.b{s..
00000140:·dc86·fcf1·3487·e353·d88a·a0a0·2663·686f··....4..S....&cho00000140:·dc86·fcf1·3487·e353·d88a·a0a0·2663·686f··....4..S....&cho
00000150:·6963·65a0·2973·7372·6566·6c65·6374·a028··ice.)ssreflect.(00000150:·6963·65a0·2973·7372·6566·6c65·6374·a028··ice.)ssreflect.(
00000160:·6d61·7468·636f·6d70·4090·30e5·7cb2·fae8··mathcomp@.0.|...00000160:·6d61·7468·636f·6d70·4090·30e5·7cb2·fae8··mathcomp@.0.|...
00000170:·3861·91a7·7fcf·bb7e·62a2·21a0·a023·6f72··8a.....~b.!..#or00000170:·3861·91a7·7fcf·bb7e·62a2·21a0·a023·6f72··8a.....~b.!..#or
00000180:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@.00000180:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@.
00000190:·30a5·3cdc·6a38·0a8a·5d14·3c6e·ff82·6c59··0.<.j8..].<n..lY00000190:·3087·30f7·a0af·5450·ea9b·d2d9·03b1·9359··0.0...TP.......Y
000001a0:·d2a0·a024·6673·6574·a02b·6578·7472·7563··...$fset.+extruc000001a0:·7da0·a024·6673·6574·a02b·6578·7472·7563··}..$fset.+extruc
000001b0:·7475·7265·7340·9030·ed48·83dd·a7b6·15eb··tures@.0.H......000001b0:·7475·7265·7340·9030·0bce·76d1·62dd·98da··tures@.0..v.b...
000001c0:·d8b6·791f·e62f·7c5c·a0a0·2466·6d61·70a0··..y../|\..$fmap.000001c0:·189a·a82e·68d9·4847·a0a0·2466·6d61·70a0··....h.HG..$fmap.
000001d0:·2b65·7874·7275·6374·7572·6573·4090·306b··+extructures@.0k000001d0:·2b65·7874·7275·6374·7572·6573·4090·307b··+extructures@.0{
000001e0:·692d·2333·f5bb·17ec·62dd·5536·e12f·5e25··i-#3....b.U6./^%000001e0:·ce53·48e7·a755·533d·8818·fa07·8988·1925··.SH..US=.......%
000001f0:·352e·322e·30a0·4040·ca33·1b7c·2cfd·7f13··5.2.0.@@.3.|,...000001f0:·352e·322e·30a0·4040·9784·1ca5·80d6·791f··5.2.0.@@......y.
00000200:·b0fb·be22·0805·5106·8495·a6be·0001·f687··..."..Q.........00000200:·7204·56ac·6ec8·0fd2·8495·a6be·0001·f688··r.V.n...........
00000210:·0000·73f5·0001·8ffa·0001·8441·b0d0·a024··..s........A...$00000210:·0000·73f5·0001·8ffa·0001·8441·b0d0·a024··..s........A...$
00000220:·6666·756e·a02b·6578·7472·7563·7475·7265··ffun.+extructure00000220:·6666·756e·a02b·6578·7472·7563·7475·7265··ffun.+extructure
00000230:·7340·e090·0406·4190·a0a0·0408·9108·0000··s@....A.........00000230:·7340·e090·0406·4190·a0a0·0408·9108·0000··s@....A.........
00000240:·3f00·9008·0000·4300·040c·a0a0·a090·2364··?.....C.......#d00000240:·3f00·9008·0000·4300·040c·a0a0·a090·2364··?.....C.......#d
00000250:·6566·40b6·a040·40a9·9aa0·90b0·a2a2·90a0··ef@..@@.........00000250:·6566·40b6·a040·40a9·9aa0·90b0·a2a2·90a0··ef@..@@.........
00000260:·236f·7264·a004·1c40·234f·7264·0401·2473··#ord...@#Ord..$s00000260:·236f·7264·a004·1c40·234f·7264·0401·2473··#ord...@#Ord..$s
00000270:·6f72·7402·16cf·2850·a080·8090·9042·a99a··ort...(P.....B..00000270:·6f72·7402·16cf·2850·a080·8090·9042·a99a··ort...(P.....B..
Offset 2161, 16 lines modifiedOffset 2161, 16 lines modified
00008700:·1744·4104·46c0·40b0·0517·4641·0444·4041··.DA.F.@...FA.D@A00008700:·1744·4104·46c0·40b0·0517·4641·0444·4041··.DA.F.@...FA.D@A
00008710:·4243·44b0·0517·4741·0508·64c0·c0c0·c040··BCD...GA..d....@00008710:·4243·44b0·0517·4741·0508·64c0·c0c0·c040··BCD...GA..d....@
00008720:·b005·174c·4105·0730·4041·b005·174d·4105··...LA..0@A...MA.00008720:·b005·174c·4105·0730·4041·b005·174d·4105··...LA..0@A...MA.
00008730:·045d·4042·b004·de41·049b·c0c0·40b0·04e1··.]@B...A....@...00008730:·045d·4042·b004·de41·049b·c0c0·40b0·04e1··.]@B...A....@...
00008740:·4104·4540·41b0·04e2·4104·e640·4243·b004··A.E@A...A..@BC..00008740:·4104·4540·41b0·04e2·4104·e640·4243·b004··A.E@A...A..@BC..
00008750:·e341·04d9·c0c0·40b0·04e6·4104·3840·41b0··.A....@...A.8@A.00008750:·e341·04d9·c0c0·40b0·04e6·4104·3840·41b0··.A....@...A.8@A.
00008760:·0501·5c42·04e7·4042·4445·4748·4990·a005··..\B..@BDEGHI...00008760:·0501·5c42·04e7·4042·4445·4748·4990·a005··..\B..@BDEGHI...
00008770:·14d4·9030·6b69·2d23·33f5·bb17·ec62·dd55··...0ki-#3....b.U00008770:·14d4·9030·7bce·5348·e7a7·5553·3d88·18fa··...0{.SH..US=...
00008780:·36e1·2f5e·9040·a040·40a0·a095·a002·1c4e··6./^.@.@@......N00008780:·0789·8819·9040·a040·40a0·a095·a002·1c4e··.....@.@@......N
00008790:·24fd·a005·17bd·90a0·a005·17c0·a005·1760··$..............`00008790:·24fd·a005·17bd·90a0·a005·17c0·a005·1760··$..............`
000087a0:·4040·a095·a002·0fc0·a2b8·a0a1·0516·bce0··@@..............000087a0:·4040·a095·a002·0fc0·a2b8·a0a1·0516·bce0··@@..............
000087b0:·4140·4040·4040·a0a0·92a0·0516·c140·a0a0··A@@@@@.......@..000087b0:·4140·4040·4040·a0a0·92a0·0516·c140·a0a0··A@@@@@.......@..
000087c0:·40a0·90c0·b090·0517·9241·4040·4141·a090··@........A@@AA..000087c0:·40a0·90c0·b090·0517·9241·4040·4141·a090··@........A@@AA..
000087d0:·c0b0·9005·17a2·4240·4041·41a0·90c0·b090··......B@@AA.....000087d0:·c0b0·9005·17a2·4240·4041·41a0·90c0·b090··......B@@AA.....
000087e0:·0517·cc43·4040·4141·4040·a0a0·93a0·0416··...C@@AA@@......000087e0:·0517·cc43·4040·4141·4040·a0a0·93a0·0416··...C@@AA@@......
000087f0:·41a0·a040·a090·c0b0·9005·17a7·4140·4041··A..@........A@@A000087f0:·41a0·a040·a090·c0b0·9005·17a7·4140·4041··A..@........A@@A
Offset 2249, 8390 lines modifiedOffset 2249, 8390 lines modified
00008c80:·a040·4040·a0c0·e090·3065·7874·7275·6374··.@@@....0extruct00008c80:·a040·4040·a0c0·e090·3065·7874·7275·6374··.@@@....0extruct
00008c90:·7572·6573·2e66·6675·6e31·2e2f·7468·656f··ures.ffun1./theo00008c90:·7572·6573·2e66·6675·6e31·2e2f·7468·656f··ures.ffun1./theo
00008ca0:·7269·6573·2f66·6675·6e2e·7601·07ba·0107··ries/ffun.v.....00008ca0:·7269·6573·2f66·6675·6e2e·7601·07ba·0107··ries/ffun.v.....
00008cb0:·f06c·0107·bac0·4040·4041·b0c3·9140·2f6c··.l....@@@A...@/l00008cb0:·f06c·0107·bac0·4040·4041·b0c3·9140·2f6c··.l....@@@A...@/l
00008cc0:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical..00008cc0:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical..
00008cd0:·a091·0510·9a58·040d·a022·5479·9090·9090··.....X..."Ty....00008cd0:·a091·0510·9a58·040d·a022·5479·9090·9090··.....X..."Ty....
Diff chunk too large, falling back to line-by-line diff (5798 lines added, 5798 lines removed)
00008ce0:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@......00008ce0:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@......
00008cf0:·9090·4040·4040·402a·3130·3030·3038·3730··..@@@@@*1000087000008cf0:·9090·4040·4040·4029·3534·3830·3933·3037··..@@@@@)54809307
00008d00:·3336·e0d0·d0d0·d040·2540·6361·7374·a0b0··36.....@%@cast..00008d00:·39e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··9.....@%@cast...
00008d10:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY00008d10:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY.
00008d20:·0406·40b0·c391·4023·6c65·74b0·95a0·9024··..@...@#let....$00008d20:·0640·b0c3·9140·236c·6574·b095·a090·2463··.@...@#let....$c
00008d30:·6361·7374·53e0·4030·636f·712d·6275·696c··castS.@0coq-buil00008d30:·6173·7453·e040·3063·6f71·2d62·7569·6c74··astS.@0coq-built
00008d40:·7469·6e2e·656c·7069·0124·e801·24ee·0100··tin.elpi.$..$...00008d40:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$....
00008d50:·e101·24cf·a004·2990·40a0·b0a1·9004·1704··..$...).@.......00008d50:·0124·cfa0·0429·9040·a0b0·a190·0417·0412··.$...).@........
00008d60:·12e0·4004·0801·24ef·0124·f101·00e1·0124··..@...$..$.....$00008d60:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$.
00008d70:·cfa0·0430·9040·a0b0·a190·041e·041f·e040··...0.@.........@00008d70:·a004·3090·40a0·b0a1·9004·1e04·1fe0·4004··..0.@.........@.
00008d80:·040f·0124·f201·24f3·0100·e101·24cf·a004··...$..$.....$...00008d80:·0f01·24f2·0124·f301·00e1·0124·cfa0·0437··..$..$.....$...7
00008d90:·3790·40a0·b0b4·90a0·2178·0427·40b0·a190··7.@.....!x.'@...00008d90:·9040·a0b0·b490·a021·7804·2740·b0a1·9004··.@.....!x.'@....
00008da0:·042a·0404·e040·041b·0124·f601·24f7·0100··.*...@...$..$...00008da0:·2a04·04e0·4004·1b01·24f6·0124·f701·00e1··*...@...$..$....
00008db0:·e101·24cf·a004·4390·40e0·4004·1e01·24f4··..$...C.@.@...$.00008db0:·0124·cfa0·0443·9040·e040·041e·0124·f401··.$...C.@.@...$..
00008dc0:·0124·f701·00e1·0124·cfa0·0446·9040·40e0··.$.....$...F.@@.00008dc0:·24f7·0100·e101·24cf·a004·4690·4040·e040··$.....$...F.@@.@
00008dd0:·4004·2101·24e4·0124·f701·00e1·0124·cfa0··@.!.$..$.....$..00008dd0:·0421·0124·e401·24f7·0100·e101·24cf·a004··.!.$..$.....$...
00008de0:·0449·9040·e040·0424·0124·dd01·24f7·0100··.I.@.@.$.$..$...00008de0:·4990·40e0·4004·2401·24dd·0124·f701·00e1··I.@.@.$.$..$....
00008df0:·e101·24cf·a004·4c90·40e0·4004·2701·24db··..$...L.@.@.'.$.00008df0:·0124·cfa0·044c·9040·e040·0427·0124·db01··.$...L.@.@.'.$..
00008e00:·0124·f701·00e1·0124·cfa0·044f·9040·e040··.$.....$...O.@.@00008e00:·24f7·0100·e101·24cf·a004·4f90·40e0·4004··$.....$...O.@.@.
00008e10:·042a·0124·cf01·24f8·0100·e101·24cf·d040··.*.$..$.....$..@00008e10:·2a01·24cf·0124·f801·00e1·0124·cfd0·402a··*.$..$.....$..@*
00008e20:·2a40·636f·6572·6369·6f6e·21a0·b0c3·9140··*@coercion!....@00008e20:·4063·6f65·7263·696f·6e21·a0b0·c391·4022··@coercion!....@"
00008e30:·223a·3ab0·c391·4028·636f·6572·6369·6f6e··"::...@(coercion00008e30:·3a3a·b0c3·9140·2863·6f65·7263·696f·6eb0··::...@(coercion.
00008e40:·b0a1·9140·2a72·6576·6572·7369·626c·65e0··...@*reversible.00008e40:·a191·402a·7265·7665·7273·6962·6c65·e040··..@*reversible.@
00008e50:·4004·3a01·531a·0153·2401·01f2·0152·fca0··@.:.S..S$....R..00008e50:·043a·0153·1a01·5324·0101·f201·52fc·a004··.:.S..S$....R...
00008e60:·0462·9040·40e0·4004·3d01·5311·0153·2401··.b.@@.@.=.S..S$.00008e60:·6290·4040·e040·043d·0153·1101·5324·0101··b.@@.@.=.S..S$..
00008e70:·01f2·0152·fca0·0465·9040·a0b0·a191·4022··...R...e.@....@"00008e70:·f201·52fc·a004·6590·40a0·b0a1·9140·225b··..R...e.@....@"[
00008e80:·5b5d·e040·0445·0153·2401·5325·0101·f201··[].@.E.S$.S%....00008e80:·5de0·4004·4501·5324·0153·2501·01f2·0152··].@.E.S$.S%....R
00008e90:·52fc·a004·6d90·4040·e040·0448·0153·1001··R...m.@@.@.H.S..00008e90:·fca0·046d·9040·40e0·4004·4801·5310·0153··...m.@@.@.H.S..S
00008ea0:·5325·0101·f201·52fc·a004·7090·40e0·4004··S%....R...p.@.@.00008ea0:·2501·01f2·0152·fca0·0470·9040·e040·044b··%....R...p.@.@.K
00008eb0:·4b01·52fc·0153·2501·01f2·0152·fc40·4142··K.R..S%....R.@AB00008eb0:·0152·fc01·5325·0101·f201·52fc·4041·422c··.R..S%....R.@AB,
00008ec0:·2c40·6465·7072·6563·6174·6564·21a0·b0b4··,@deprecated!...00008ec0:·4064·6570·7265·6361·7465·6421·a0b0·b490··@deprecated!....
00008ed0:·90a0·2553·696e·6365·0462·40b0·b490·a023··..%Since.b@....#00008ed0:·a025·5369·6e63·6504·6240·b0b4·90a0·234d··.%Since.b@....#M
00008ee0:·4d73·6704·6740·b0c3·9140·2a67·6574·2d6f··Msg.g@...@*get-o00008ee0:·7367·0467·40b0·c391·402a·6765·742d·6f70··sg.g@...@*get-op
00008ef0:·7074·696f·6eb0·95a0·2e63·6f71·3a64·6570··ption....coq:dep00008ef0:·7469·6f6e·b095·a02e·636f·713a·6465·7072··tion....coq:depr
00008f00:·7265·6361·7465·6443·e040·0460·0152·8001··recatedC.@.`.R..00008f00:·6563·6174·6564·43e0·4004·6001·5280·0152··ecatedC.@.`.R..R
00008f10:·5290·0101·ed01·5273·a004·8890·40a0·b0c3··R.....Rs....@...00008f10:·9001·01ed·0152·73a0·0488·9040·a0b0·c391··.....Rs....@....
00008f20:·9140·2270·72b0·a190·047a·0419·e040·046b··.@"pr....z...@.k00008f20:·4022·7072·b0a1·9004·7a04·19e0·4004·6b01··@"pr....z...@.k.
00008f30:·0152·9501·529a·0101·ed01·5273·a004·9390··.R..R.....Rs....00008f30:·5295·0152·9a01·01ed·0152·73a0·0493·9040··R..R.....Rs....@
00008f40:·40a0·b0a1·9004·8104·1be0·4004·7201·529b··@.........@.r.R.00008f40:·a0b0·a190·0481·041b·e040·0472·0152·9b01··.........@.r.R..
00008f50:·0152·9e01·01ed·0152·73a0·049a·9040·40e0··.R.....Rs....@@.00008f50:·529e·0101·ed01·5273·a004·9a90·4040·e040··R.....Rs....@@.@
00008f60:·4004·7501·5292·0152·9e01·01ed·0152·73a0··@.u.R..R.....Rs.00008f60:·0475·0152·9201·529e·0101·ed01·5273·a004··.u.R..R.....Rs..
00008f70:·049d·9040·40e0·4004·7801·5275·0152·9f01··...@@.@.x.Ru.R..00008f70:·9d90·4040·e040·0478·0152·7501·529f·0101··..@@.@.x.Ru.R...
00008f80:·01ed·0152·73a0·04a0·9040·e040·047b·0152··...Rs....@.@.{.R00008f80:·ed01·5273·a004·a090·40e0·4004·7b01·526c··..Rs....@.@.{.Rl
00008f90:·6c01·529f·0101·ed01·5273·a004·a390·40e0··l.R.....Rs....@.00008f90:·0152·9f01·01ed·0152·73a0·04a3·9040·e040··.R.....Rs....@.@
00008fa0:·4004·7e01·5266·0152·9f01·01ed·0152·73a0··@.~.Rf.R.....Rs.00008fa0:·047e·0152·6601·529f·0101·ed01·5273·a004··.~.Rf.R.....Rs..
00008fb0:·04a6·9040·e040·0481·0152·5301·529f·0101··...@.@...RS.R...00008fb0:·a690·40e0·4004·8101·5253·0152·9f01·01ec··..@.@...RS.R....
00008fc0:·ec01·5253·d040·2b40·6472·6f70·756e·6976··..RS.@+@dropuniv00008fc0:·0152·53d0·402b·4064·726f·7075·6e69·7673··.RS.@+@dropunivs
00008fd0:·7321·a0b0·c391·4004·2db0·95a0·2d63·6f71··s!....@.-...-coq00008fd0:·21a0·b0c3·9140·042d·b095·a02d·636f·713a··!....@.-...-coq:
00008fe0:·3a6b·6565·7075·6e69·7673·43e0·4004·8c01··:keepunivsC.@...00008fe0:·6b65·6570·756e·6976·7343·e040·048c·0150··keepunivsC.@...P
00008ff0:·50c2·0150·d101·01e2·0150·a2a0·04b4·9040··P..P.....P.....@00008ff0:·c201·50d1·0101·e201·50a2·a004·b490·40a0··..P.....P.....@.
00009000:·a0b0·a191·4022·6666·e040·0494·0150·d201··....@"ff.@...P..00009000:·b0a1·9140·2266·66e0·4004·9401·50d2·0150··...@"ff.@...P..P
00009010:·50d4·0101·e201·50a2·a004·bc90·4040·e040··P.....P.....@@.@00009010:·d401·01e2·0150·a2a0·04bc·9040·40e0·4004··.....P.....@@.@.
00009020:·0497·0150·b701·50d4·0101·e201·50a2·a004··...P..P.....P...00009020:·9701·50b7·0150·d401·01e2·0150·a2a0·04bf··..P..P.....P....
00009030:·bf90·40e0·4004·9a01·50a2·0150·d401·01e2··..@.@...P..P....00009030:·9040·e040·049a·0150·a201·50d4·0101·e201··.@.@...P..P.....
00009040:·0150·a240·4143·2840·676c·6f62·616c·21a0··.P.@AC(@global!.00009040:·50a2·4041·4328·4067·6c6f·6261·6c21·a0b0··P.@AC(@global!..
00009050:·b0c3·9140·0445·b095·a02c·636f·713a·6c6f··...@.E...,coq:lo00009050:·c391·4004·45b0·95a0·2c63·6f71·3a6c·6f63··..@.E...,coq:loc
00009060:·6361·6c69·7479·43e0·4004·a401·1805·0118··calityC.@.......00009060:·616c·6974·7943·e040·04a4·0118·0501·1813··alityC.@........
00009070:·1301·0095·0117·e6a0·04cc·9040·a0b0·95a0··...........@....00009070:·0100·9501·17e6·a004·cc90·40a0·b095·a026··..........@....&
00009080:·2667·6c6f·6261·6c43·e040·04ac·0118·1401··&globalC.@......00009080:·676c·6f62·616c·43e0·4004·ac01·1814·0118··globalC.@.......
00009090:·181c·0100·9501·17e6·a004·d490·4040·e040··............@@.@00009090:·1c01·0095·0117·e6a0·04d4·9040·40e0·4004··...........@@.@.
000090a0:·04af·0117·fa01·181c·0100·9501·17e6·a004··................000090a0:·af01·17fa·0118·1c01·0095·0117·e6a0·04d7··................
000090b0:·d790·40e0·4004·b201·17e6·0118·1c01·0095··..@.@...........000090b0:·9040·e040·04b2·0117·e601·181c·0100·9501··.@.@............
000090c0:·0117·e6d0·d0d0·4027·4068·6f6c·6573·21a0··......@'@holes!.000090c0:·17e6·d0d0·d040·2740·686f·6c65·7321·a0b0··.....@'@holes!..
000090d0:·b0c3·9140·0460·b095·a02a·484f·4153·3a68··...@.`...*HOAS:h000090d0:·c391·4004·60b0·95a0·2a48·4f41·533a·686f··..@.`...*HOAS:ho
000090e0:·6f6c·6573·43e0·4004·bf01·33ad·0133·b901··olesC.@...3..3..000090e0:·6c65·7343·e040·04bf·0133·ad01·33b9·0101··lesC.@...3..3...
000090f0:·0143·0133·91a0·04e7·9040·a0b0·a191·4022··.C.3.....@....@"000090f0:·4301·3391·a004·e790·40a0·b0a1·9140·2274··C.3.....@....@"t
00009100:·7474·e040·04c7·0133·ba01·33bc·0101·4301··tt.@...3..3...C.00009100:·74e0·4004·c701·33ba·0133·bc01·0143·0133··t.@...3..3...C.3
00009110:·3391·a004·ef90·4040·e040·04ca·0133·a201··3.....@@.@...3..00009110:·91a0·04ef·9040·40e0·4004·ca01·33a2·0133··.....@@.@...3..3
00009120:·33bc·0101·4301·3391·a004·f290·40e0·4004··3...C.3.....@.@.00009120:·bc01·0143·0133·91a0·04f2·9040·e040·04cd··...C.3.....@.@..
00009130:·cd01·3391·0133·bc01·0143·0133·91d0·4028··..3..3...C.3..@(00009130:·0133·9101·33bc·0101·4301·3391·d040·2840··.3..3...C.3..@(@
00009140:·4069·6e6c·696e·6521·a0b0·b490·a021·4e04··@inline!.....!N.00009140:·696e·6c69·6e65·21a0·b0b4·90a0·214e·04e5··inline!.....!N..
Max diff block lines reached; 356082/1160779 bytes (30.68%) of diff not shown.
2.88 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0006·7f78··Coq!..@P.......x00000000:·436f·7121·0001·4050·0000·0000·0006·7f72··Coq!..@P.......r
00000010:·8495·a6be·0000·023d·0000·006d·0000·017b··.......=...m...{00000010:·8495·a6be·0000·023d·0000·006d·0000·017b··.......=...m...{
00000020:·0000·0144·c0a0·2466·6d61·70a0·2b65·7874··...D..$fmap.+ext00000020:·0000·0144·c0a0·2466·6d61·70a0·2b65·7874··...D..$fmap.+ext
00000030:·7275·6374·7572·6573·4008·0000·3300·a0a0··ructures@...3...00000030:·7275·6374·7572·6573·4008·0000·3300·a0a0··ructures@...3...
00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.#00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.#
00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e.00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e.
00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu
00000070:·7265·73a0·2248·4240·9030·66fa·fe75·08e0··res."HB@.0f..u..00000070:·7265·73a0·2248·4240·9030·66fa·fe75·08e0··res."HB@.0f..u..
Offset 28, 20 lines modifiedOffset 28, 20 lines modified
000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.(000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.(
000001c0:·6d61·7468·636f·6d70·4090·3099·5f3a·4a03··mathcomp@.0._:J.000001c0:·6d61·7468·636f·6d70·4090·3099·5f3a·4a03··mathcomp@.0._:J.
000001d0:·b104·d9d0·e41a·6be8·b2bd·e2a0·a025·6269··......k......%bi000001d0:·b104·d9d0·e41a·6be8·b2bd·e2a0·a025·6269··......k......%bi
000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.(000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.(
000001f0:·6d61·7468·636f·6d70·4090·303e·8503·53a6··mathcomp@.0>..S.000001f0:·6d61·7468·636f·6d70·4090·303e·8503·53a6··mathcomp@.0>..S.
00000200:·1fdd·71ad·27dd·8f6c·5006·47a0·a023·6f72··..q.'..lP.G..#or00000200:·1fdd·71ad·27dd·8f6c·5006·47a0·a023·6f72··..q.'..lP.G..#or
00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@.00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@.
00000220:·30a5·3cdc·6a38·0a8a·5d14·3c6e·ff82·6c59··0.<.j8..].<n..lY00000220:·3087·30f7·a0af·5450·ea9b·d2d9·03b1·9359··0.0...TP.......Y
00000230:·d2a0·a024·6673·6574·a02b·6578·7472·7563··...$fset.+extruc00000230:·7da0·a024·6673·6574·a02b·6578·7472·7563··}..$fset.+extruc
00000240:·7475·7265·7340·9030·ed48·83dd·a7b6·15eb··tures@.0.H......00000240:·7475·7265·7340·9030·0bce·76d1·62dd·98da··tures@.0..v.b...
00000250:·d8b6·791f·e62f·7c5c·2535·2e32·2e30·a040··..y../|\%5.2.0.@ 
00000260:·4039·0613·07e5·44bb·422d·61cf·5e8e·e64f··@9....D.B-a.^..O00000250:·189a·a82e·68d9·4847·2535·2e32·2e30·a040··....h.HG%5.2.0.@
 00000260:·40c0·8bf9·334a·67da·cec4·e111·acec·e95c··@...3Jg........\
00000270:·4384·95a6·be00·02f6·6f00·00b4·f100·026b··C.......o......k00000270:·ee84·95a6·be00·02f6·6900·00b4·f100·026b··........i......k
00000280:·2700·025e·05b0·d0a0·2466·6d61·70a0·2b65··'..^....$fmap.+e00000280:·2700·025e·05b0·d0a0·2466·6d61·70a0·2b65··'..^....$fmap.+e
00000290:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A00000290:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A
000002a0:·90a0·a024·464d·6170·93e0·a204·0804·0441··...$FMap.......A000002a0:·90a0·a024·464d·6170·93e0·a204·0804·0441··...$FMap.......A
000002b0:·90a0·a029·666d·6170·5f74·7970·6591·0800··...)fmap_type...000002b0:·90a0·a029·666d·6170·5f74·7970·6591·0800··...)fmap_type...
000002c0:·003f·0090·0800·0043·0004·05a0·a0a0·9021··.?.....C.......!000002c0:·003f·0090·0800·0043·0004·05a0·a0a0·9021··.?.....C.......!
000002d0:·5340·9490·a0a0·a003·d8e0·cc1a·731a·a066··S@..........s..f000002d0:·5340·9490·a0a0·a003·d8e0·cc1a·731a·a066··S@..........s..f
000002e0:·90b0·a004·21a0·0420·4020·0103·a140·40a0··....!..·@·...@@.000002e0:·90b0·a004·21a0·0420·4020·0103·a140·40a0··....!..·@·...@@.
Offset 4265, 15 lines modifiedOffset 4265, 15 lines modified
00010a80:·b005·0838·4105·1f29·c040·b005·083a·4105··...8A..).@...:A.00010a80:·b005·0838·4105·1f29·c040·b005·083a·4105··...8A..).@...:A.
00010a90:·193a·c040·b005·04e2·4205·30d1·4041·4243··.:.@....B.0.@ABC00010a90:·193a·c040·b005·04e2·4205·30d1·4041·4243··.:.@....B.0.@ABC
00010aa0:·44b0·0503·eb42·0530·d2c0·c040·b005·03b8··D....B.0...@....00010aa0:·44b0·0503·eb42·0530·d2c0·c040·b005·03b8··D....B.0...@....
00010ab0:·4205·30d5·4041·b005·30d6·4205·04e7·c040··B.0.@A..0.B....@00010ab0:·4205·30d5·4041·b005·30d6·4205·04e7·c040··B.0.@A..0.B....@
00010ac0:·b005·30d8·4205·03f1·c040·b005·30da·4205··..0.B....@..0.B.00010ac0:·b005·30d8·4205·03f1·c040·b005·30da·4205··..0.B....@..0.B.
00010ad0:·03bd·c040·b005·1f38·4205·30dc·4041·4243··...@...8B.0.@ABC00010ad0:·03bd·c040·b005·1f38·4205·30dc·4041·4243··...@...8B.0.@ABC
00010ae0:·4445·4647·4849·4a4b·4c90·a005·2eaa·9030··DEFGHIJKL......000010ae0:·4445·4647·4849·4a4b·4c90·a005·2eaa·9030··DEFGHIJKL......0
00010af0:·ed48·83dd·a7b6·15eb·d8b6·791f·e62f·7c5c··.H........y../|\00010af0:·0bce·76d1·62dd·98da·189a·a82e·68d9·4847··..v.b.......h.HG
00010b00:·9040·a0a0·a005·30f9·a040·90a0·a005·29c6··.@....0..@....).00010b00:·9040·a0a0·a005·30f9·a040·90a0·a005·29c6··.@....0..@....).
00010b10:·a040·90a0·95a0·021d·041a·fca0·40a0·a040··.@..........@..@00010b10:·a040·90a0·95a0·021d·041a·fca0·40a0·a040··.@..........@..@
00010b20:·2a7b·2066·6d61·7020·5f20·7dc0·a0a0·4040··*{·fmap·_·}...@@00010b20:·2a7b·2066·6d61·7020·5f20·7dc0·a0a0·4040··*{·fmap·_·}...@@
00010b30:·a040·40a0·b140·40a0·4140·4090·a0d0·a0a0··.@@..@@.A@@.....00010b30:·a040·40a0·b140·40a0·4140·4090·a0d0·a0a0··.@@..@@.A@@.....
00010b40:·4040·0409·4004·0ea0·a0a0·4121·7ba0·a040··@@..@.....A!{..@00010b40:·4040·0409·4004·0ea0·a0a0·4121·7ba0·a040··@@..@.....A!{..@
00010b50:·2466·6d61·70a0·a1a1·4004·1090·0530·fea0··$fmap...@....0..00010b50:·2466·6d61·70a0·a1a1·4004·1090·0530·fea0··$fmap...@....0..
00010b60:·a041·217d·4040·a004·1640·4090·a040·a0a0··.A!}@@...@@..@..00010b60:·a041·217d·4040·a004·1640·4090·a040·a0a0··.A!}@@...@@..@..
Offset 4403, 4777 lines modifiedOffset 4403, 4777 lines modified
00011320:·3065·7874·7275·6374·7572·6573·2e66·6d61··0extructures.fma00011320:·3065·7874·7275·6374·7572·6573·2e66·6d61··0extructures.fma
00011330:·7031·2e2f·7468·656f·7269·6573·2f66·6d61··p1./theories/fma00011330:·7031·2e2f·7468·656f·7269·6573·2f66·6d61··p1./theories/fma
00011340:·702e·7601·154e·0115·9600·6201·154e·c040··p.v..N....b..N.@00011340:·702e·7601·154e·0115·9600·6201·154e·c040··p.v..N....b..N.@
00011350:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca00011350:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca
00011360:·6e6f·6e69·6361·6cb0·95a0·9105·2b2b·5804··nonical.....++X.00011360:·6e6f·6e69·6361·6cb0·95a0·9105·2b2b·5804··nonical.....++X.
00011370:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta00011370:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta
Diff chunk too large, falling back to line-by-line diff (4763 lines added, 4763 lines removed)
00011380:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@00011380:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@
00011390:·2a31·3030·3031·3637·3835·31e0·d0d0·d0d0··*1000167851.....00011390:·2935·3730·3232·3430·3334·e0d0·d0d0·d040··)570224034.....@
000113a0:·4025·4063·6173·74a0·b0b4·90a0·2154·226c··@%@cast.....!T"l000113a0:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp
000113b0:·7040·b0b4·90a0·2254·5904·0640·b0c3·9140··p@...."TY..@...@000113b0:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@#
000113c0:·236c·6574·b095·a090·2463·6173·7453·e040··#let....$castS.@000113c0:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0
000113d0:·3063·6f71·2d62·7569·6c74·696e·2e65·6c70··0coq-builtin.elp000113d0:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi
000113e0:·6901·24e8·0124·ee01·00e1·0124·cfa0·0429··i.$..$.....$...)000113e0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...).
000113f0:·9040·a0b0·a190·0417·0412·e040·0408·0124··.@.........@...$000113f0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$.
00011400:·ef01·24f1·0100·e101·24cf·a004·3090·40a0··..$.....$...0.@.00011400:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@..
00011410:·b0a1·9004·1e04·1fe0·4004·0f01·24f2·0124··........@...$..$00011410:·a190·041e·041f·e040·040f·0124·f201·24f3··.......@...$..$.
00011420:·f301·00e1·0124·cfa0·0437·9040·a0b0·b490··.....$...7.@....00011420:·0100·e101·24cf·a004·3790·40a0·b0b4·90a0··....$...7.@.....
00011430:·a021·7804·2740·b0a1·9004·2a04·04e0·4004··.!x.'@....*...@.00011430:·2178·0427·40b0·a190·042a·0404·e040·041b··!x.'@....*...@..
00011440:·1b01·24f6·0124·f701·00e1·0124·cfa0·0443··..$..$.....$...C00011440:·0124·f601·24f7·0100·e101·24cf·a004·4390··.$..$.....$...C.
00011450:·9040·e040·041e·0124·f401·24f7·0100·e101··.@.@...$..$.....00011450:·40e0·4004·1e01·24f4·0124·f701·00e1·0124··@.@...$..$.....$
00011460:·24cf·a004·4690·4040·e040·0421·0124·e401··$...F.@@.@.!.$..00011460:·cfa0·0446·9040·40e0·4004·2101·24e4·0124··...F.@@.@.!.$..$
00011470:·24f7·0100·e101·24cf·a004·4990·40e0·4004··$.....$...I.@.@.00011470:·f701·00e1·0124·cfa0·0449·9040·e040·0424··.....$...I.@.@.$
00011480:·2401·24dd·0124·f701·00e1·0124·cfa0·044c··$.$..$.....$...L00011480:·0124·dd01·24f7·0100·e101·24cf·a004·4c90··.$..$.....$...L.
00011490:·9040·e040·0427·0124·db01·24f7·0100·e101··.@.@.'.$..$.....00011490:·40e0·4004·2701·24db·0124·f701·00e1·0124··@.@.'.$..$.....$
000114a0:·24cf·a004·4f90·40e0·4004·2a01·24cf·0124··$...O.@.@.*.$..$000114a0:·cfa0·044f·9040·e040·042a·0124·cf01·24f8··...O.@.@.*.$..$.
000114b0:·f801·00e1·0124·cfd0·402a·4063·6f65·7263··.....$..@*@coerc000114b0:·0100·e101·24cf·d040·2a40·636f·6572·6369··....$..@*@coerci
000114c0:·696f·6e21·a0b0·c391·4022·3a3a·b0c3·9140··ion!....@"::...@000114c0:·6f6e·21a0·b0c3·9140·223a·3ab0·c391·4028··on!....@"::...@(
000114d0:·2863·6f65·7263·696f·6eb0·a191·402a·7265··(coercion...@*re000114d0:·636f·6572·6369·6f6e·b0a1·9140·2a72·6576··coercion...@*rev
000114e0:·7665·7273·6962·6c65·e040·043a·0153·1a01··versible.@.:.S..000114e0:·6572·7369·626c·65e0·4004·3a01·531a·0153··ersible.@.:.S..S
000114f0:·5324·0101·f201·52fc·a004·6290·4040·e040··S$....R...b.@@.@000114f0:·2401·01f2·0152·fca0·0462·9040·40e0·4004··$....R...b.@@.@.
00011500:·043d·0153·1101·5324·0101·f201·52fc·a004··.=.S..S$....R...00011500:·3d01·5311·0153·2401·01f2·0152·fca0·0465··=.S..S$....R...e
00011510:·6590·40a0·b0a1·9140·225b·5de0·4004·4501··e.@....@"[].@.E.00011510:·9040·a0b0·a191·4022·5b5d·e040·0445·0153··.@....@"[].@.E.S
00011520:·5324·0153·2501·01f2·0152·fca0·046d·9040··S$.S%....R...m.@00011520:·2401·5325·0101·f201·52fc·a004·6d90·4040··$.S%....R...m.@@
00011530:·40e0·4004·4801·5310·0153·2501·01f2·0152··@.@.H.S..S%....R00011530:·e040·0448·0153·1001·5325·0101·f201·52fc··.@.H.S..S%....R.
00011540:·fca0·0470·9040·e040·044b·0152·fc01·5325··...p.@.@.K.R..S%00011540:·a004·7090·40e0·4004·4b01·52fc·0153·2501··..p.@.@.K.R..S%.
00011550:·0101·f201·52fc·4041·422c·4064·6570·7265··....R.@AB,@depre00011550:·01f2·0152·fc40·4142·2c40·6465·7072·6563··...R.@AB,@deprec
00011560:·6361·7465·6421·a0b0·b490·a025·5369·6e63··cated!.....%Sinc00011560:·6174·6564·21a0·b0b4·90a0·2553·696e·6365··ated!.....%Since
00011570:·6504·6240·b0b4·90a0·234d·7367·0467·40b0··e.b@....#Msg.g@.00011570:·0462·40b0·b490·a023·4d73·6704·6740·b0c3··.b@....#Msg.g@..
00011580:·c391·402a·6765·742d·6f70·7469·6f6e·b095··..@*get-option..00011580:·9140·2a67·6574·2d6f·7074·696f·6eb0·95a0··.@*get-option...
00011590:·a02e·636f·713a·6465·7072·6563·6174·6564··..coq:deprecated00011590:·2e63·6f71·3a64·6570·7265·6361·7465·6443··.coq:deprecatedC
000115a0:·43e0·4004·6001·5280·0152·9001·01ed·0152··C.@.`.R..R.....R000115a0:·e040·0460·0152·8001·5290·0101·ed01·5273··.@.`.R..R.....Rs
000115b0:·73a0·0488·9040·a0b0·c391·4022·7072·b0a1··s....@....@"pr..000115b0:·a004·8890·40a0·b0c3·9140·2270·72b0·a190··....@....@"pr...
000115c0:·9004·7a04·19e0·4004·6b01·5295·0152·9a01··..z...@.k.R..R..000115c0:·047a·0419·e040·046b·0152·9501·529a·0101··.z...@.k.R..R...
000115d0:·01ed·0152·73a0·0493·9040·a0b0·a190·0481··...Rs....@......000115d0:·ed01·5273·a004·9390·40a0·b0a1·9004·8104··..Rs....@.......
000115e0:·041b·e040·0472·0152·9b01·529e·0101·ed01··...@.r.R..R.....000115e0:·1be0·4004·7201·529b·0152·9e01·01ed·0152··..@.r.R..R.....R
000115f0:·5273·a004·9a90·4040·e040·0475·0152·9201··Rs....@@.@.u.R..000115f0:·73a0·049a·9040·40e0·4004·7501·5292·0152··s....@@.@.u.R..R
00011600:·529e·0101·ed01·5273·a004·9d90·4040·e040··R.....Rs....@@.@00011600:·9e01·01ed·0152·73a0·049d·9040·40e0·4004··.....Rs....@@.@.
00011610:·0478·0152·7501·529f·0101·ed01·5273·a004··.x.Ru.R.....Rs..00011610:·7801·5275·0152·9f01·01ed·0152·73a0·04a0··x.Ru.R.....Rs...
00011620:·a090·40e0·4004·7b01·526c·0152·9f01·01ed··..@.@.{.Rl.R....00011620:·9040·e040·047b·0152·6c01·529f·0101·ed01··.@.@.{.Rl.R.....
00011630:·0152·73a0·04a3·9040·e040·047e·0152·6601··.Rs....@.@.~.Rf.00011630:·5273·a004·a390·40e0·4004·7e01·5266·0152··Rs....@.@.~.Rf.R
00011640:·529f·0101·ed01·5273·a004·a690·40e0·4004··R.....Rs....@.@.00011640:·9f01·01ed·0152·73a0·04a6·9040·e040·0481··.....Rs....@.@..
00011650:·8101·5253·0152·9f01·01ec·0152·53d0·402b··..RS.R.....RS.@+00011650:·0152·5301·529f·0101·ec01·5253·d040·2b40··.RS.R.....RS.@+@
00011660:·4064·726f·7075·6e69·7673·21a0·b0c3·9140··@dropunivs!....@00011660:·6472·6f70·756e·6976·7321·a0b0·c391·4004··dropunivs!....@.
00011670:·042d·b095·a02d·636f·713a·6b65·6570·756e··.-...-coq:keepun00011670:·2db0·95a0·2d63·6f71·3a6b·6565·7075·6e69··-...-coq:keepuni
00011680:·6976·7343·e040·048c·0150·c201·50d1·0101··ivsC.@...P..P...00011680:·7673·43e0·4004·8c01·50c2·0150·d101·01e2··vsC.@...P..P....
00011690:·e201·50a2·a004·b490·40a0·b0a1·9140·2266··..P.....@....@"f00011690:·0150·a2a0·04b4·9040·a0b0·a191·4022·6666··.P.....@....@"ff
000116a0:·66e0·4004·9401·50d2·0150·d401·01e2·0150··f.@...P..P.....P000116a0:·e040·0494·0150·d201·50d4·0101·e201·50a2··.@...P..P.....P.
000116b0:·a2a0·04bc·9040·40e0·4004·9701·50b7·0150··.....@@.@...P..P000116b0:·a004·bc90·4040·e040·0497·0150·b701·50d4··....@@.@...P..P.
000116c0:·d401·01e2·0150·a2a0·04bf·9040·e040·049a··.....P.....@.@..000116c0:·0101·e201·50a2·a004·bf90·40e0·4004·9a01··....P.....@.@...
000116d0:·0150·a201·50d4·0101·e201·50a2·4041·4328··.P..P.....P.@AC(000116d0:·50a2·0150·d401·01e2·0150·a240·4143·2840··P..P.....P.@AC(@
000116e0:·4067·6c6f·6261·6c21·a0b0·c391·4004·45b0··@global!....@.E.000116e0:·676c·6f62·616c·21a0·b0c3·9140·0445·b095··global!....@.E..
000116f0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC000116f0:·a02c·636f·713a·6c6f·6361·6c69·7479·43e0··.,coq:localityC.
00011700:·e040·04a4·0118·0501·1813·0100·9501·17e6··.@..............00011700:·4004·a401·1805·0118·1301·0095·0117·e6a0··@...............
00011710:·a004·cc90·40a0·b095·a026·676c·6f62·616c··....@....&global00011710:·04cc·9040·a0b0·95a0·2667·6c6f·6261·6c43··...@....&globalC
00011720:·43e0·4004·ac01·1814·0118·1c01·0095·0117··C.@.............00011720:·e040·04ac·0118·1401·181c·0100·9501·17e6··.@..............
00011730:·e6a0·04d4·9040·40e0·4004·af01·17fa·0118··.....@@.@.......00011730:·a004·d490·4040·e040·04af·0117·fa01·181c··....@@.@........
00011740:·1c01·0095·0117·e6a0·04d7·9040·e040·04b2··...........@.@..00011740:·0100·9501·17e6·a004·d790·40e0·4004·b201··..........@.@...
00011750:·0117·e601·181c·0100·9501·17e6·d0d0·d040··...............@00011750:·17e6·0118·1c01·0095·0117·e6d0·d0d0·4027··..............@'
00011760:·2740·686f·6c65·7321·a0b0·c391·4004·60b0··'@holes!....@.`.00011760:·4068·6f6c·6573·21a0·b0c3·9140·0460·b095··@holes!....@.`..
00011770:·95a0·2a48·4f41·533a·686f·6c65·7343·e040··..*HOAS:holesC.@00011770:·a02a·484f·4153·3a68·6f6c·6573·43e0·4004··.*HOAS:holesC.@.
00011780:·04bf·0133·ad01·33b9·0101·4301·3391·a004··...3..3...C.3...00011780:·bf01·33ad·0133·b901·0143·0133·91a0·04e7··..3..3...C.3....
00011790:·e790·40a0·b0a1·9140·2274·74e0·4004·c701··..@....@"tt.@...00011790:·9040·a0b0·a191·4022·7474·e040·04c7·0133··.@....@"tt.@...3
000117a0:·33ba·0133·bc01·0143·0133·91a0·04ef·9040··3..3...C.3.....@000117a0:·ba01·33bc·0101·4301·3391·a004·ef90·4040··..3...C.3.....@@
000117b0:·40e0·4004·ca01·33a2·0133·bc01·0143·0133··@.@...3..3...C.3000117b0:·e040·04ca·0133·a201·33bc·0101·4301·3391··.@...3..3...C.3.
000117c0:·91a0·04f2·9040·e040·04cd·0133·9101·33bc··.....@.@...3..3.000117c0:·a004·f290·40e0·4004·cd01·3391·0133·bc01··....@.@...3..3..
000117d0:·0101·4301·3391·d040·2840·696e·6c69·6e65··..C.3..@(@inline000117d0:·0143·0133·91d0·4028·4069·6e6c·696e·6521··.C.3..@(@inline!
000117e0:·21a0·b0b4·90a0·214e·04e5·40b0·c391·4004··!.....!N..@...@.000117e0:·a0b0·b490·a021·4e04·e540·b0c3·9140·047e··.....!N..@...@.~
000117f0:·7eb0·95a0·2a63·6f71·3a69·6e6c·696e·6543··~...*coq:inlineC000117f0:·b095·a02a·636f·713a·696e·6c69·6e65·43e0··...*coq:inlineC.
00011800:·e040·04dd·0151·ac01·51b8·0101·e701·518d··.@...Q..Q.....Q.00011800:·4004·dd01·51ac·0151·b801·01e7·0151·8da0··@...Q..Q.....Q..
Max diff block lines reached; 2357862/3019315 bytes (78.09%) of diff not shown.
1.19 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0004·176b··Coq!..@P.......k00000000:·436f·7121·0001·4050·0000·0000·0004·176f··Coq!..@P.......o
00000010:·8495·a6be·0000·028c·0000·007b·0000·01ad··...........{....00000010:·8495·a6be·0000·028c·0000·007b·0000·01ad··...........{....
00000020:·0000·016e·c0a0·2566·7065·726d·a02b·6578··...n..%fperm.+ex00000020:·0000·016e·c0a0·2566·7065·726d·a02b·6578··...n..%fperm.+ex
00000030:·7472·7563·7475·7265·7340·0800·003b·00a0··tructures@...;..00000030:·7472·7563·7475·7265·7340·0800·003b·00a0··tructures@...;..
00000040:·a027·5072·656c·7564·65a0·2449·6e69·74a0··.'Prelude.$Init.00000040:·a027·5072·656c·7564·65a0·2449·6e69·74a0··.'Prelude.$Init.
00000050:·2343·6f71·4090·306e·1ea7·6653·34e4·bc65··#Coq@.0n..fS4..e00000050:·2343·6f71·4090·306e·1ea7·6653·34e4·bc65··#Coq@.0n..fS4..e
00000060:·c3cc·25eb·7fca·42a0·a02a·7374·7275·6374··..%...B..*struct00000060:·c3cc·25eb·7fca·42a0·a02a·7374·7275·6374··..%...B..*struct
00000070:·7572·6573·a022·4842·4090·3066·fafe·7508··ures."HB@.0f..u.00000070:·7572·6573·a022·4842·4090·3066·fafe·7508··ures."HB@.0f..u.
Offset 28, 25 lines modifiedOffset 28, 25 lines modified
000001b0:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect.000001b0:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect.
000001c0:·286d·6174·6863·6f6d·7040·9030·995f·3a4a··(mathcomp@.0._:J000001c0:·286d·6174·6863·6f6d·7040·9030·995f·3a4a··(mathcomp@.0._:J
000001d0:·03b1·04d9·d0e4·1a6b·e8b2·bde2·a0a0·2562··.......k......%b000001d0:·03b1·04d9·d0e4·1a6b·e8b2·bde2·a0a0·2562··.......k......%b
000001e0:·6967·6f70·a029·7373·7265·666c·6563·74a0··igop.)ssreflect.000001e0:·6967·6f70·a029·7373·7265·666c·6563·74a0··igop.)ssreflect.
000001f0:·286d·6174·6863·6f6d·7040·9030·3e85·0353··(mathcomp@.0>..S000001f0:·286d·6174·6863·6f6d·7040·9030·3e85·0353··(mathcomp@.0>..S
00000200:·a61f·dd71·ad27·dd8f·6c50·0647·a0a0·236f··...q.'..lP.G..#o00000200:·a61f·dd71·ad27·dd8f·6c50·0647·a0a0·236f··...q.'..lP.G..#o
00000210:·7264·a02b·6578·7472·7563·7475·7265·7340··rd.+extructures@00000210:·7264·a02b·6578·7472·7563·7475·7265·7340··rd.+extructures@
00000220:·9030·a53c·dc6a·380a·8a5d·143c·6eff·826c··.0.<.j8..].<n..l00000220:·9030·8730·f7a0·af54·50ea·9bd2·d903·b193··.0.0...TP.......
00000230:·59d2·a0a0·2466·7365·74a0·2b65·7874·7275··Y...$fset.+extru00000230:·597d·a0a0·2466·7365·74a0·2b65·7874·7275··Y}..$fset.+extru
00000240:·6374·7572·6573·4090·30ed·4883·dda7·b615··ctures@.0.H.....00000240:·6374·7572·6573·4090·300b·ce76·d162·dd98··ctures@.0..v.b..
00000250:·ebd8·b679·1fe6·2f7c·5ca0·a024·666d·6170··...y../|\..$fmap00000250:·da18·9aa8·2e68·d948·47a0·a024·666d·6170··.....h.HG..$fmap
00000260:·a02b·6578·7472·7563·7475·7265·7340·9030··.+extructures@.000000260:·a02b·6578·7472·7563·7475·7265·7340·9030··.+extructures@.0
00000270:·6b69·2d23·33f5·bb17·ec62·dd55·36e1·2f5e··ki-#3....b.U6./^00000270:·7bce·5348·e7a7·5553·3d88·18fa·0789·8819··{.SH..US=.......
00000280:·a0a0·2466·6675·6ea0·2b65·7874·7275·6374··..$ffun.+extruct00000280:·a0a0·2466·6675·6ea0·2b65·7874·7275·6374··..$ffun.+extruct
00000290:·7572·6573·4090·30ae·5986·3523·6534·7415··ures@.0.Y.5#e4t.00000290:·7572·6573·4090·3020·0b3d·17e5·0bff·714c··ures@.0·.=....qL
000002a0:·d36d·7384·8249·a825·352e·322e·30a0·4040··.ms..I.%5.2.0.@@000002a0:·d2e9·5258·5617·7a25·352e·322e·30a0·4040··..RXV.z%5.2.0.@@
000002b0:·d6ea·96a2·4609·75c3·65c5·709b·7820·12dc··....F.u.e.p.x·..000002b0:·7e3c·492b·a4f0·9e69·1ecc·f9a0·57c3·c20a··~<I+...i....W...
000002c0:·8495·a6be·0002·552f·0000·8a48·0001·dd69··......U/...H...i000002c0:·8495·a6be·0002·5533·0000·8a48·0001·dd69··......U3...H...i
000002d0:·0001·d07b·b0d0·a025·6670·6572·6da0·2b65··...{...%fperm.+e000002d0:·0001·d07b·b0d0·a025·6670·6572·6da0·2b65··...{...%fperm.+e
000002e0:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A000002e0:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A
000002f0:·90a0·a025·4650·6572·6d93·e0a2·0408·0404··...%FPerm.......000002f0:·90a0·a025·4650·6572·6d93·e0a2·0408·0404··...%FPerm.......
00000300:·4190·a0a0·2561·7869·6f6d·9008·0000·2700··A...%axiom....'.00000300:·4190·a0a0·2561·7869·6f6d·9008·0000·2700··A...%axiom....'.
00000310:·40a0·8080·91b7·a090·2154·409b·a0a0·90b0··@.......!T@.....00000310:·40a0·8080·91b7·a090·2154·409b·a0a0·90b0··@.......!T@.....
00000320:·a2a2·90a0·236f·7264·a004·2140·234f·7264··....#ord..!@#Ord00000320:·a2a2·90a0·236f·7264·a004·2140·234f·7264··....#ord..!@#Ord
00000330:·0401·2474·7970·6502·16cf·5100·4004·13b7··..$type...Q.@...00000330:·0401·2474·7970·6502·16cf·5100·4004·13b7··..$type...Q.@...
Offset 2799, 16 lines modifiedOffset 2799, 16 lines modified
0000aee0:·0501·b041·0501·93c0·40b0·0501·b241·045b··...A....@....A.[0000aee0:·0501·b041·0501·93c0·40b0·0501·b241·045b··...A....@....A.[
0000aef0:·4041·4243·b005·01a7·4105·0272·c0c0·40b0··@ABC....A..r..@.0000aef0:·4041·4243·b005·01a7·4105·0272·c0c0·40b0··@ABC....A..r..@.
0000af00:·0501·aa41·0502·5bc0·40b0·0504·2c41·0501··...A..[.@...,A..0000af00:·0501·aa41·0502·5bc0·40b0·0504·2c41·0501··...A..[.@...,A..
0000af10:·3340·4142·b005·042d·41a0·0300·0000·ac31··3@AB...-A......10000af10:·3340·4142·b005·042d·41a0·0300·0000·ac31··3@AB...-A......1
0000af20:·46b5·6490·b005·021c·0502·164a·c040·b005··F.d........J.@..0000af20:·46b5·6490·b005·021c·0502·164a·c040·b005··F.d........J.@..
0000af30:·0432·41a0·0300·0000·ac31·4cb6·de90·b005··.2A......1L.....0000af30:·0432·41a0·0300·0000·ac31·4cb6·de90·b005··.2A......1L.....
0000af40:·0221·0502·1b50·4041·4344·4546·4748·4990··.!...P@ACDEFGHI.0000af40:·0221·0502·1b50·4041·4344·4546·4748·4990··.!...P@ACDEFGHI.
0000af50:·a005·1d89·9030·ae59·8635·2365·3474·15d3··.....0.Y.5#e4t..0000af50:·a005·1d89·9030·200b·3d17·e50b·ff71·4cd2··.....0·.=....qL.
0000af60:·6d73·8482·49a8·9040·a0a0·a005·1e31·a040··ms..I..@.....1.@0000af60:·e952·5856·177a·9040·a0a0·a005·1e31·a040··.RXV.z.@.....1.@
0000af70:·90a0·a005·1e00·a040·90a0·95a0·021d·041a··.......@........0000af70:·90a0·a005·1e00·a040·90a0·95a0·021d·041a··.......@........
0000af80:·fca0·40a0·a040·2b7b·2066·7065·726d·205f··..@..@+{·fperm·_0000af80:·fca0·40a0·a040·2b7b·2066·7065·726d·205f··..@..@+{·fperm·_
0000af90:·207d·c0a0·a040·40a0·4040·a0b1·4040·a041···}...@@.@@..@@.A0000af90:·207d·c0a0·a040·40a0·4040·a0b1·4040·a041···}...@@.@@..@@.A
0000afa0:·4040·90a0·d0a0·a040·4004·0940·040e·a0a0··@@.....@@..@....0000afa0:·4040·90a0·d0a0·a040·4004·0940·040e·a0a0··@@.....@@..@....
0000afb0:·a041·217b·a0a0·4025·6670·6572·6da0·a1a1··.A!{..@%fperm...0000afb0:·a041·217b·a0a0·4025·6670·6572·6da0·a1a1··.A!{..@%fperm...
0000afc0:·4004·1090·051e·46a0·a041·217d·4040·a004··@.....F..A!}@@..0000afc0:·4004·1090·051e·46a0·a041·217d·4040·a004··@.....F..A!}@@..
0000afd0:·1640·4090·a040·a0a0·9404·11a0·9404·10a0··.@@..@..........0000afd0:·1640·4090·a040·a0a0·9404·11a0·9404·10a0··.@@..@..........
Offset 2945, 15 lines modifiedOffset 2945, 15 lines modified
0000b800:·9031·6578·7472·7563·7475·7265·732e·6670··.1extructures.fp0000b800:·9031·6578·7472·7563·7475·7265·732e·6670··.1extructures.fp
0000b810:·6572·6d32·2e2f·7468·656f·7269·6573·2f66··erm2./theories/f0000b810:·6572·6d32·2e2f·7468·656f·7269·6573·2f66··erm2./theories/f
0000b820:·7065·726d·2e76·0108·eb01·092c·7c01·08eb··perm.v.....,|...0000b820:·7065·726d·2e76·0108·eb01·092c·7c01·08eb··perm.v.....,|...
0000b830:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local-0000b830:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local-
0000b840:·6361·6e6f·6e69·6361·6cb0·95a0·9105·1855··canonical......U0000b840:·6361·6e6f·6e69·6361·6cb0·95a0·9105·1855··canonical......U
0000b850:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons0000b850:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons
0000b860:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@0000b860:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@
0000b870:·4040·2933·3239·3033·3636·3931·e0d0·d0d0··@@)329036691....0000b870:·4040·2931·3139·3035·3333·3430·e0d0·d0d0··@@)119053340....
0000b880:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T"0000b880:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T"
0000b890:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@...0000b890:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@...
0000b8a0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS.0000b8a0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS.
0000b8b0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el0000b8b0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el
0000b8c0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$...0000b8c0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$...
0000b8d0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@...0000b8d0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@...
0000b8e0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@0000b8e0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@
Offset 7692, 32 lines modifiedOffset 7692, 32 lines modified
0001e0b0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@.0001e0b0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@.
0001e0c0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i.....0001e0c0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i.....
0001e0d0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@..0001e0d0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@..
0001e0e0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r......0001e0e0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r......
0001e0f0:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A0001e0f0:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A
0001e100:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..*0001e100:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..*
0001e110:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F..0001e110:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F..
0001e120:·0000·0000·0000·e53e·4041·40a0·95a0·0234··.......>@A@....40001e120:·0000·0000·0000·e33e·4041·40a0·95a0·0234··.......>@A@....4
0001e130:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h0001e130:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h
0001e140:·62a0·2264·6240·a0a0·b005·4628·2132·0219··b."db@....F(!2..0001e140:·62a0·2264·6240·a0a0·b005·4628·2132·0219··b."db@....F(!2..
0001e150:·3530·00d0·0546·27d0·e040·4040·4040·0546··50...F'..@@@@@.F0001e150:·3530·00d0·0546·27d0·e040·4040·4040·0546··50...F'..@@@@@.F
0001e160:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.*0001e160:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.*
0001e170:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s.0001e170:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s.
0001e180:·95a0·055e·d657·0546·31a0·0546·2490·9090··...^.W.F1..F$...0001e180:·95a0·055e·d657·0546·31a0·0546·2490·9090··...^.W.F1..F$...
0001e190:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(....,0001e190:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(....,
0001e1a0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*).0001e1a0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*).
0001e1b0:·b0c3·9140·0529·86b0·95a0·0546·9457·0546··...@.).....F.W.F0001e1b0:·b0c3·9140·0529·86b0·95a0·0546·9457·0546··...@.).....F.W.F
0001e1c0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH.0001e1c0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH.
0001e1d0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.=0001e1d0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.=
0001e1e0:·08b0·95a0·9105·5efc·5805·4654·a005·4647··......^.X.FT..FG0001e1e0:·08b0·95a0·9105·5efc·5805·4654·a005·4647··......^.X.FT..FG
0001e1f0:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK..0001e1f0:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK..
0001e200:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@0001e200:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@
0001e210:·4040·4040·2932·3536·3934·3032·3433·e005··@@@@)256940243..0001e210:·4040·4040·2933·3737·3532·3530·3738·e005··@@@@)377525078..
0001e220:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F0001e220:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F
0001e230:·650c·0000·0000·00c0·f43e·4041·40a0·95a0··e........>@A@...0001e230:·650c·0000·0000·0000·ed3e·4041·40a0·95a0··e........>@A@...
0001e240:·021b·8322·9db0·9005·5ef8·40a0·055e·cda0··..."....^.@..^..0001e240:·021b·8322·9db0·9005·5ef8·40a0·055e·cda0··..."....^.@..^..
0001e250:·055e·d1a0·055e·c740·a095·a002·320a·518f··.^...^.@....2.Q.0001e250:·055e·d1a0·055e·c740·a095·a002·320a·518f··.^...^.@....2.Q.
0001e260:·a005·5eff·b005·46e7·4040·a095·a002·0fc0··..^...F.@@......0001e260:·a005·5eff·b005·46e7·4040·a095·a002·0fc0··..^...F.@@......
0001e270:·a2b8·a090·0547·65a0·a091·055e·80a0·a040··.....Ge....^...@0001e270:·a2b8·a090·0547·65a0·a091·055e·80a0·a040··.....Ge....^...@
0001e280:·a040·4040·40a0·95a0·0227·60a0·6fd0·4091··.@@@@....'`.o.@.0001e280:·a040·4040·40a0·95a0·0227·60a0·6fd0·4091··.@@@@....'`.o.@.
0001e290:·055e·88a0·4040·a090·9205·678e·40d0·d040··.^..@@....g.@..@0001e290:·055e·88a0·4040·a090·9205·678e·40d0·d040··.^..@@....g.@..@
0001e2a0:·40a0·0548·8940·4041·41a0·0548·8640·d0d0··@..H.@@AA..H.@..0001e2a0:·40a0·0548·8940·4041·41a0·0548·8640·d0d0··@..H.@@AA..H.@..
Offset 7759, 17 lines modifiedOffset 7759, 17 lines modified
0001e4e0:·6240·a0a0·b005·4733·2135·0219·3530·03d0··b@....G3!5..50..0001e4e0:·6240·a0a0·b005·4733·2135·0219·3530·03d0··b@....G3!5..50..
0001e4f0:·0547·32d0·e040·4040·4040·0547·3140·a0c0··.G2..@@@@@.G1@..0001e4f0:·0547·32d0·e040·4040·4040·0547·3140·a0c0··.G2..@@@@@.G1@..
0001e500:·e090·0547·3032·2e2f·7468·656f·7269·6573··...G02./theories0001e500:·e090·0547·3032·2e2f·7468·656f·7269·6573··...G02./theories
0001e510:·2f66·7065·726d·2e76·0109·2d01·096a·7d01··/fperm.v..-..j}.0001e510:·2f66·7065·726d·2e76·0109·2d01·096a·7d01··/fperm.v..-..j}.
0001e520:·092d·0547·2fb0·c391·4005·472e·b095·a091··.-.G/...@.G.....0001e520:·092d·0547·2fb0·c391·4005·472e·b095·a091··.-.G/...@.G.....
0001e530:·055a·8358·040a·a005·472d·9090·9005·472c··.Z.X....G-....G,0001e530:·055a·8358·040a·a005·472d·9090·9005·472c··.Z.X....G-....G,
0001e540:·4004·0ea0·0547·3190·9090·4040·4040·4029··@....G1...@@@@@)0001e540:·4004·0ea0·0547·3190·9090·4040·4040·4029··@....G1...@@@@@)
0001e550:·3133·3830·3531·3039·32e0·0547·2a05·41cc··138051092..G*.A.0001e550:·3539·3535·3735·3732·37e0·0547·2a05·41cc··595575727..G*.A.
0001e560:·0540·4905·1810·0517·8105·4747·0c00·0000··.@I.......GG....0001e560:·0540·4905·1810·0517·8105·4747·0c00·0000··.@I.......GG....
0001e570:·0000·00e5·3e40·4140·a095·a002·0b7b·4f44··....>@A@.....{OD0001e570:·0000·80e2·3e40·4140·a095·a002·0b7b·4f44··....>@A@.....{OD
0001e580:·a040·a0a0·055e·dda0·9105·5f20·4040·a095··.@...^...._·@@..0001e580:·a040·a0a0·055e·dda0·9105·5f20·4040·a095··.@...^...._·@@..
0001e590:·a002·0b7b·4f44·a040·a0a0·055e·d9a0·9105··...{OD.@...^....0001e590:·a002·0b7b·4f44·a040·a0a0·055e·d9a0·9105··...{OD.@...^....
0001e5a0:·5ffd·4040·a095·a002·320a·518f·a005·5f1a··_.@@....2.Q..._.0001e5a0:·5ffd·4040·a095·a002·320a·518f·a005·5f1a··_.@@....2.Q..._.
0001e5b0:·b005·47d1·4040·a095·a002·0fc0·a2b8·a090··..G.@@..........0001e5b0:·b005·47d1·4040·a095·a002·0fc0·a2b8·a090··..G.@@..........
0001e5c0:·0548·4fa0·a091·90b0·0560·ba05·5f25·0215··.HO......`.._%..0001e5c0:·0548·4fa0·a091·90b0·0560·ba05·5f25·0215··.HO......`.._%..
0001e5d0:·3ebd·f3a0·a040·a040·4040·40a0·95a0·0227··>....@.@@@@....'0001e5d0:·3ebd·f3a0·a040·a040·4040·40a0·95a0·0227··>....@.@@@@....'
0001e5e0:·60a0·6fd0·4091·040a·a040·40a0·9092·0568··`.o.@....@@....h0001e5e0:·60a0·6fd0·4091·040a·a040·40a0·9092·0568··`.o.@....@@....h
Offset 7781, 16 lines modifiedOffset 7781, 16 lines modified
0001e640:·b0a2·0567·eb05·5f39·0547·9d02·0271·a2a8··...g.._9.G...q..0001e640:·b0a2·0567·eb05·5f39·0547·9d02·0271·a2a8··...g.._9.G...q..
0001e650:·4040·a095·a002·347d·c1ff·a027·5f45·4c50··@@....4}...'_ELP0001e650:·4040·a095·a002·347d·c1ff·a027·5f45·4c50··@@....4}...'_ELP
0001e660:·495f·35c0·a022·6862·a022·6462·40a0·a0b0··I_5.."hb."db@...0001e660:·495f·35c0·a022·6862·a022·6462·40a0·a0b0··I_5.."hb."db@...
0001e670:·0547·9c21·3602·1935·3004·d005·479b·d0e0··.G.!6..50...G...0001e670:·0547·9c21·3602·1935·3004·d005·479b·d0e0··.G.!6..50...G...
0001e680:·4040·4040·4005·479a·40a0·c004·6905·4795··@@@@@.G.@...i.G.0001e680:·4040·4040·4005·479a·40a0·c004·6905·4795··@@@@@.G.@...i.G.
0001e690:·b0c3·9140·0547·94b0·95a0·9104·3e58·0470··...@.G......>X.p0001e690:·b0c3·9140·0547·94b0·95a0·9104·3e58·0470··...@.G......>X.p
0001e6a0:·a005·4793·9090·9005·4792·4004·74a0·0547··..G.....G.@.t..G0001e6a0:·a005·4793·9090·9005·4792·4004·74a0·0547··..G.....G.@.t..G
0001e6b0:·9790·9090·4040·4040·4029·3231·3736·3637··....@@@@@)2176670001e6b0:·9790·9090·4040·4040·4029·3430·3436·3633··....@@@@@)404663
Max diff block lines reached; 1237732/1247755 bytes (99.20%) of diff not shown.
1.94 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0006·0569··Coq!..@P.......i00000000:·436f·7121·0001·4050·0000·0000·0006·055e··Coq!..@P.......^
00000010:·8495·a6be·0000·0216·0000·0066·0000·0162··...........f...b00000010:·8495·a6be·0000·0216·0000·0066·0000·0162··...........f...b
00000020:·0000·012f·c0a0·2466·7365·74a0·2b65·7874··.../..$fset.+ext00000020:·0000·012f·c0a0·2466·7365·74a0·2b65·7874··.../..$fset.+ext
00000030:·7275·6374·7572·6573·4008·0000·2f00·a0a0··ructures@.../...00000030:·7275·6374·7572·6573·4008·0000·2f00·a0a0··ructures@.../...
00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.#00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.#
00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e.00000050:·436f·7140·9030·6e1e·a766·5334·e4bc·65c3··Coq@.0n..fS4..e.
00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu00000060:·cc25·eb7f·ca42·a0a0·2a73·7472·7563·7475··.%...B..*structu
00000070:·7265·73a0·2248·4240·9030·66fa·fe75·08e0··res."HB@.0f..u..00000070:·7265·73a0·2248·4240·9030·66fa·fe75·08e0··res."HB@.0f..u..
Offset 28, 18 lines modifiedOffset 28, 18 lines modified
000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.(000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.(
000001c0:·6d61·7468·636f·6d70·4090·3099·5f3a·4a03··mathcomp@.0._:J.000001c0:·6d61·7468·636f·6d70·4090·3099·5f3a·4a03··mathcomp@.0._:J.
000001d0:·b104·d9d0·e41a·6be8·b2bd·e2a0·a025·6269··......k......%bi000001d0:·b104·d9d0·e41a·6be8·b2bd·e2a0·a025·6269··......k......%bi
000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.(000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.(
000001f0:·6d61·7468·636f·6d70·4090·303e·8503·53a6··mathcomp@.0>..S.000001f0:·6d61·7468·636f·6d70·4090·303e·8503·53a6··mathcomp@.0>..S.
00000200:·1fdd·71ad·27dd·8f6c·5006·47a0·a023·6f72··..q.'..lP.G..#or00000200:·1fdd·71ad·27dd·8f6c·5006·47a0·a023·6f72··..q.'..lP.G..#or
00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@.00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@.
00000220:·30a5·3cdc·6a38·0a8a·5d14·3c6e·ff82·6c59··0.<.j8..].<n..lY00000220:·3087·30f7·a0af·5450·ea9b·d2d9·03b1·9359··0.0...TP.......Y
00000230:·d225·352e·322e·30a0·4040·d1e8·1855·a7de··.%5.2.0.@@...U..00000230:·7d25·352e·322e·30a0·4040·431e·6502·ae64··}%5.2.0.@@C.e..d
00000240:·af64·5d1b·477c·6e36·d5f5·8495·a6be·0003··.d].G|n6........00000240:·54c9·3042·87b7·6ad9·e4c0·8495·a6be·0003··T.0B..j.........
00000250:·80b3·0000·d77b·0002·e244·0002·d3be·b0d0··.....{...D......00000250:·80a8·0000·d77b·0002·e244·0002·d3be·b0d0··.....{...D......
00000260:·a024·6673·6574·a02b·6578·7472·7563·7475··.$fset.+extructu00000260:·a024·6673·6574·a02b·6578·7472·7563·7475··.$fset.+extructu
00000270:·7265·7340·e090·0406·4190·a0a0·2446·5365··res@....A...$FSe00000270:·7265·7340·e090·0406·4190·a0a0·2446·5365··res@....A...$FSe
00000280:·7493·e0a2·0408·0404·4190·a0a0·2966·7365··t.......A...)fse00000280:·7493·e0a2·0408·0404·4190·a0a0·2966·7365··t.......A...)fse
00000290:·745f·7479·7065·9108·0000·3f00·9008·0000··t_type....?.....00000290:·745f·7479·7065·9108·0000·3f00·9008·0000··t_type....?.....
000002a0:·4300·0405·a0a0·a090·2154·409b·a0a0·90b0··C.......!T@.....000002a0:·4300·0405·a0a0·a090·2154·409b·a0a0·90b0··C.......!T@.....
000002b0:·a2a2·90a0·236f·7264·a004·2240·234f·7264··....#ord.."@#Ord000002b0:·a2a2·90a0·236f·7264·a004·2240·234f·7264··....#ord.."@#Ord
000002c0:·0401·2474·7970·6502·16cf·5100·40a0·8080··..$type...Q.@...000002c0:·0401·2474·7970·6502·16cf·5100·40a0·8080··..$type...Q.@...
Offset 4669, 16 lines modifiedOffset 4669, 16 lines modified
000123c0:·c0c0·40b0·0505·d041·0464·4041·b005·05d1··..@....A.d@A....000123c0:·c0c0·40b0·0505·d041·0464·4041·b005·05d1··..@....A.d@A....
000123d0:·4104·5ec0·c040·b005·05d4·41a0·0301·f84b··A.^..@....A....K000123d0:·4104·5ec0·c040·b005·05d4·41a0·0301·f84b··A.^..@....A....K
000123e0:·1248·ff4d·d490·b005·01ee·0501·eb01·143c··.H.M...........<000123e0:·1248·ff4d·d490·b005·01ee·0501·eb01·143c··.H.M...........<
000123f0:·4041·b005·0523·4105·0290·4042·43b0·0505··@A...#A...@BC...000123f0:·4041·b005·0523·4105·0290·4042·43b0·0505··@A...#A...@BC...
00012400:·2441·0501·f3c0·40b0·0505·2641·0501·edc0··$A....@...&A....00012400:·2441·0501·f3c0·40b0·0505·2641·0501·edc0··$A....@...&A....
00012410:·40b0·0505·2841·0501·e6c0·40b0·0501·f141··@...(A....@....A00012410:·40b0·0505·2841·0501·e6c0·40b0·0501·f141··@...(A....@....A
00012420:·0502·9740·4142·4344·4547·4849·4a90·a005··...@ABCDEGHIJ...00012420:·0502·9740·4142·4344·4547·4849·4a90·a005··...@ABCDEGHIJ...
00012430:·3233·9030·a53c·dc6a·380a·8a5d·143c·6eff··23.0.<.j8..].<n.00012430:·3233·9030·8730·f7a0·af54·50ea·9bd2·d903··23.0.0...TP.....
00012440:·826c·59d2·9040·a0a0·a005·33bc·a040·90a0··.lY..@....3..@..00012440:·b193·597d·9040·a0a0·a005·33bc·a040·90a0··..Y}.@....3..@..
00012450:·a005·2cde·a040·90a0·95a0·021d·041a·fca0··..,..@..........00012450:·a005·2cde·a040·90a0·95a0·021d·041a·fca0··..,..@..........
00012460:·40a0·a040·2a7b·2066·7365·7420·5f20·7dc0··@..@*{·fset·_·}.00012460:·40a0·a040·2a7b·2066·7365·7420·5f20·7dc0··@..@*{·fset·_·}.
00012470:·a0a0·4040·a040·40a0·b140·40a0·4140·4090··..@@.@@..@@.A@@.00012470:·a0a0·4040·a040·40a0·b140·40a0·4140·4090··..@@.@@..@@.A@@.
00012480:·a0d0·a0a0·4040·0409·4004·0ea0·a0a0·4121··....@@..@.....A!00012480:·a0d0·a0a0·4040·0409·4004·0ea0·a0a0·4121··....@@..@.....A!
00012490:·7ba0·a040·2466·7365·74a0·a1a1·4004·1090··{..@$fset...@...00012490:·7ba0·a040·2466·7365·74a0·a1a1·4004·1090··{..@$fset...@...
000124a0:·0533·d0a0·a041·217d·4040·a004·1640·4090··.3...A!}@@...@@.000124a0:·0533·d0a0·a041·217d·4040·a004·1640·4090··.3...A!}@@...@@.
000124b0:·a040·a0a0·9404·11a0·9404·10a0·9421·20a0··.@...........!·.000124b0:·a040·a0a0·9404·11a0·9404·10a0·9421·20a0··.@...........!·.
Offset 5103, 15 lines modifiedOffset 5103, 15 lines modified
00013ee0:·3065·7874·7275·6374·7572·6573·2e66·7365··0extructures.fse00013ee0:·3065·7874·7275·6374·7572·6573·2e66·7365··0extructures.fse
00013ef0:·7431·2e2f·7468·656f·7269·6573·2f66·7365··t1./theories/fse00013ef0:·7431·2e2f·7468·656f·7269·6573·2f66·7365··t1./theories/fse
00013f00:·742e·7601·0f9f·010f·df00·5601·0f9f·c040··t.v.......V....@00013f00:·742e·7601·0f9f·010f·df00·5601·0f9f·c040··t.v.......V....@
00013f10:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca00013f10:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca
00013f20:·6e6f·6e69·6361·6cb0·95a0·9105·3663·5804··nonical.....6cX.00013f20:·6e6f·6e69·6361·6cb0·95a0·9105·3663·5804··nonical.....6cX.
00013f30:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta00013f30:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta
00013f40:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@00013f40:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@
00013f50:·2936·3136·3933·3031·3738·e0d0·d0d0·d040··)616930178.....@00013f50:·2935·3136·3638·3835·3733·e0d0·d0d0·d040··)516688573.....@
00013f60:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp00013f60:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp
00013f70:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@#00013f70:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@#
00013f80:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@000013f80:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0
00013f90:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi00013f90:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi
00013fa0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...).00013fa0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...).
00013fb0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$.00013fb0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$.
00013fc0:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@..00013fc0:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@..
Offset 9850, 32 lines modifiedOffset 9850, 32 lines modified
00026790:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A00026790:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A
000267a0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L000267a0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L
000267b0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A.000267b0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A.
000267c0:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M.000267c0:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M.
000267d0:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@.000267d0:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@.
000267e0:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A000267e0:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A
000267f0:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F....000267f0:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F....
00026800:·0000·0080·e73e·4041·40a0·95a0·0234·7dc1··.....>@A@....4}.00026800:·0000·0000·e93e·4041·40a0·95a0·0234·7dc1··.....>@A@....4}.
00026810:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb.00026810:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb.
00026820:·2264·6240·a0a0·b005·776f·2132·0233·d6c2··"db@....wo!2.3..00026820:·2264·6240·a0a0·b005·776f·2132·0233·d6c2··"db@....wo!2.3..
00026830:·34d0·0546·27d0·e040·4040·4040·0546·2640··4..F'..@@@@@.F&@00026830:·34d0·0546·27d0·e040·4040·4040·0546·2640··4..F'..@@@@@.F&@
00026840:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*..00026840:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*..
00026850:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s...00026850:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s...
00026860:·057d·9f57·0546·31a0·0546·2490·9090·0529··.}.W.F1..F$....)00026860:·057d·9f57·0546·31a0·0546·2490·9090·0529··.}.W.F1..F$....)
00026870:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@00026870:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@
00026880:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)...00026880:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)...
00026890:·9140·0529·86b0·95a0·0546·9257·0546·44a0··.@.).....F.W.FD.00026890:·9140·0529·86b0·95a0·0546·9257·0546·44a0··.@.).....F.W.FD.
000268a0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F000268a0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F
000268b0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=..000268b0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=..
000268c0:·95a0·9105·7d07·5805·4654·a005·4647·9090··....}.X.FT..FG..000268c0:·95a0·9105·7d07·5805·4654·a005·4647·9090··....}.X.FT..FG..
000268d0:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK....000268d0:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK....
000268e0:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@000268e0:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@
000268f0:·4040·2935·3437·3331·3930·3236·e005·4648··@@)547319026..FH000268f0:·4040·2933·3832·3237·3532·3635·e005·4648··@@)382275265..FH
00026900:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe.00026900:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe.
00026910:·0000·0000·00c0·f13e·4041·40a0·95a0·021b··.......>@A@.....00026910:·0000·0000·0000·f33e·4041·40a0·95a0·021b··.......>@A@.....
00026920:·8322·9db0·9005·7d08·40a0·057c·dba0·057c··."....}.@..|...|00026920:·8322·9db0·9005·7d08·40a0·057c·dba0·057c··."....}.@..|...|
00026930:·dfa0·057c·d540·a095·a002·320a·518f·a005··...|.@....2.Q...00026930:·dfa0·057c·d540·a095·a002·320a·518f·a005··...|.@....2.Q...
00026940:·7d0f·b005·46e5·4040·a095·a002·0fc0·a2b8··}...F.@@........00026940:·7d0f·b005·46e5·4040·a095·a002·0fc0·a2b8··}...F.@@........
00026950:·a090·0547·84a0·a091·057c·89a0·a040·a040··...G.....|...@.@00026950:·a090·0547·84a0·a091·057c·89a0·a040·a040··...G.....|...@.@
00026960:·4040·40a0·95a0·0227·60a0·6fd0·4091·057c··@@@....'`.o.@..|00026960:·4040·40a0·95a0·0227·60a0·6fd0·4091·057c··@@@....'`.o.@..|
00026970:·91a0·4040·a090·9205·84e7·40d0·d040·40a0··..@@......@..@@.00026970:·91a0·4040·a090·9205·84e7·40d0·d040·40a0··..@@......@..@@.
00026980:·0548·5f40·4041·41a0·0548·5c40·d0d0·4005··.H_@@AA..H\@..@.00026980:·0548·5f40·4041·41a0·0548·5c40·d0d0·4005··.H_@@AA..H\@..@.
Offset 9916, 15 lines modifiedOffset 9916, 15 lines modified
00026bb0:·2264·6240·a0a0·b005·7877·2135·0233·d6c2··"db@....xw!5.3..00026bb0:·2264·6240·a0a0·b005·7877·2135·0233·d6c2··"db@....xw!5.3..
00026bc0:·37d0·0547·2fd0·e040·4040·4040·0547·2e40··7..G/..@@@@@.G.@00026bc0:·37d0·0547·2fd0·e040·4040·4040·0547·2e40··7..G/..@@@@@.G.@
00026bd0:·a0c0·e090·0547·2d31·2e2f·7468·656f·7269··.....G-1./theori00026bd0:·a0c0·e090·0547·2d31·2e2f·7468·656f·7269··.....G-1./theori
00026be0:·6573·2f66·7365·742e·7601·0fe0·0110·1c00··es/fset.v.......00026be0:·6573·2f66·7365·742e·7601·0fe0·0110·1c00··es/fset.v.......
00026bf0:·5701·0fe0·0547·2cb0·c391·4005·472b·b095··W....G,...@.G+..00026bf0:·5701·0fe0·0547·2cb0·c391·4005·472b·b095··W....G,...@.G+..
00026c00:·a091·0578·6f58·040a·a005·472a·9090·9005··...xoX....G*....00026c00:·a091·0578·6f58·040a·a005·472a·9090·9005··...xoX....G*....
00026c10:·4729·4004·0ea0·0547·2e90·9090·4040·4040··G)@....G....@@@@00026c10:·4729·4004·0ea0·0547·2e90·9090·4040·4040··G)@....G....@@@@
00026c20:·4029·3138·3230·3734·3330·35e0·0547·2705··@)182074305..G'.00026c20:·4029·3531·3031·3136·3638·33e0·0547·2705··@)510116683..G'.
00026c30:·41c9·0540·4605·180d·0517·7e05·4744·0c00··A..@F.....~.GD..00026c30:·41c9·0540·4605·180d·0517·7e05·4744·0c00··A..@F.....~.GD..
00026c40:·0000·0000·00e7·3e40·4140·a095·a002·0b7b··......>@A@.....{00026c40:·0000·0000·00e7·3e40·4140·a095·a002·0b7b··......>@A@.....{
00026c50:·4f44·a040·a0a0·057c·d5a0·9105·7d26·4040··OD.@...|....}&@@00026c50:·4f44·a040·a0a0·057c·d5a0·9105·7d26·4040··OD.@...|....}&@@
00026c60:·a095·a002·0b7b·4f44·a040·a0a0·057c·e8a0··.....{OD.@...|..00026c60:·a095·a002·0b7b·4f44·a040·a0a0·057c·e8a0··.....{OD.@...|..
00026c70:·9105·7e05·4040·a095·a002·320a·518f·a005··..~.@@....2.Q...00026c70:·9105·7e05·4040·a095·a002·320a·518f·a005··..~.@@....2.Q...
00026c80:·7d1e·b005·47cc·4040·a095·a002·0fc0·a2b8··}...G.@@........00026c80:·7d1e·b005·47cc·4040·a095·a002·0fc0·a2b8··}...G.@@........
00026c90:·a090·0548·6ba0·a091·90b0·057e·ee05·7d29··...Hk......~..})00026c90:·a090·0548·6ba0·a091·90b0·057e·ee05·7d29··...Hk......~..})
Offset 9938, 34 lines modifiedOffset 9938, 34 lines modified
00026d10:·a090·b0a2·0584·a605·7d3d·0560·7702·0271··........}=.`w..q00026d10:·a090·b0a2·0584·a605·7d3d·0560·7702·0271··........}=.`w..q
00026d20:·a2a8·4040·a095·a002·347d·c1ff·a027·5f45··..@@....4}...'_E00026d20:·a2a8·4040·a095·a002·347d·c1ff·a027·5f45··..@@....4}...'_E
00026d30:·4c50·495f·35c0·a022·6862·a022·6462·40a0··LPI_5.."hb."db@.00026d30:·4c50·495f·35c0·a022·6862·a022·6462·40a0··LPI_5.."hb."db@.
00026d40:·a0b0·0578·e021·3602·33d6·c238·d005·4798··...x.!6.3..8..G.00026d40:·a0b0·0578·e021·3602·33d6·c238·d005·4798··...x.!6.3..8..G.
00026d50:·d0e0·4040·4040·4005·4797·40a0·c004·6905··..@@@@@.G.@...i.00026d50:·d0e0·4040·4040·4005·4797·40a0·c004·6905··..@@@@@.G.@...i.
00026d60:·4792·b0c3·9140·0547·91b0·95a0·9104·3e58··G....@.G......>X00026d60:·4792·b0c3·9140·0547·91b0·95a0·9104·3e58··G....@.G......>X
00026d70:·0470·a005·4790·9090·9005·478f·4004·74a0··.p..G.....G.@.t.00026d70:·0470·a005·4790·9090·9005·478f·4004·74a0··.p..G.....G.@.t.
00026d80:·0547·9490·9090·4040·4040·4029·3830·3135··.G....@@@@@)801500026d80:·0547·9490·9090·4040·4040·4029·3633·3638··.G....@@@@@)6368
00026d90:·3331·3637·36e0·0547·8d05·422f·0540·ac05··31676..G..B/.@..00026d90:·3731·3933·39e0·0547·8d05·422f·0540·ac05··71939..G..B/.@..
00026da0:·1873·0517·e405·47aa·0c00·0000·0000·00e9··.s....G.........00026da0:·1873·0517·e405·47aa·0c00·0000·0000·00e7··.s....G.........
00026db0:·3e40·4140·a095·a002·347d·c1ff·a027·5f45··>@A@....4}...'_E00026db0:·3e40·4140·a095·a002·347d·c1ff·a027·5f45··>@A@....4}...'_E
00026dc0:·4c50·495f·36c0·a022·6862·a022·6462·40a0··LPI_6.."hb."db@.00026dc0:·4c50·495f·36c0·a022·6862·a022·6462·40a0··LPI_6.."hb."db@.
00026dd0:·a0b0·0579·0521·3702·33d6·c239·d005·47bd··...y.!7.3..9..G.00026dd0:·a0b0·0579·0521·3702·33d6·c239·d005·47bd··...y.!7.3..9..G.
00026de0:·d0e0·4040·4040·4005·47bc·40a0·c004·8e05··..@@@@@.G.@.....00026de0:·d0e0·4040·4040·4005·47bc·40a0·c004·8e05··..@@@@@.G.@.....
00026df0:·47b7·b0c3·9140·052b·afb0·c391·4005·2e80··G....@.+....@...00026df0:·47b7·b0c3·9140·052b·afb0·c391·4005·2e80··G....@.+....@...
00026e00:·b0c3·9140·052b·09b0·9505·0196·0499·a005··...@.+..........00026e00:·b0c3·9140·052b·09b0·9505·0196·0499·a005··...@.+..........
00026e10:·47b9·9090·9005·2b0a·4004·9da0·0547·bd90··G.....+.@....G..00026e10:·47b9·9090·9005·2b0a·4004·9da0·0547·bd90··G.....+.@....G..
Max diff block lines reached; 2019683/2029292 bytes (99.53%) of diff not shown.
2.78 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0008·62b4··Coq!..@P......b.00000000:·436f·7121·0001·4050·0000·0000·0008·629a··Coq!..@P......b.
00000010:·8495·a6be·0000·026f·0000·0075·0000·019b··.......o...u....00000010:·8495·a6be·0000·026f·0000·0075·0000·019b··.......o...u....
00000020:·0000·015f·c0a0·236f·7264·a02b·6578·7472··..._..#ord.+extr00000020:·0000·015f·c0a0·236f·7264·a02b·6578·7472··..._..#ord.+extr
00000030:·7563·7475·7265·7340·0800·0037·00a0·a027··uctures@...7...'00000030:·7563·7475·7265·7340·0800·0037·00a0·a027··uctures@...7...'
00000040:·5072·656c·7564·65a0·2449·6e69·74a0·2343··Prelude.$Init.#C00000040:·5072·656c·7564·65a0·2449·6e69·74a0·2343··Prelude.$Init.#C
00000050:·6f71·4090·306e·1ea7·6653·34e4·bc65·c3cc··oq@.0n..fS4..e..00000050:·6f71·4090·306e·1ea7·6653·34e4·bc65·c3cc··oq@.0n..fS4..e..
00000060:·25eb·7fca·42a0·a02a·7374·7275·6374·7572··%...B..*structur00000060:·25eb·7fca·42a0·a02a·7374·7275·6374·7572··%...B..*structur
00000070:·6573·a022·4842·4090·3066·fafe·7508·e07c··es."HB@.0f..u..|00000070:·6573·a022·4842·4090·3066·fafe·7508·e07c··es."HB@.0f..u..|
Offset 36, 16 lines modifiedOffset 36, 16 lines modified
00000230:·6d70·4090·301b·4e63·b1ab·a333·d3ce·ffe1··mp@.0.Nc...3....00000230:·6d70·4090·301b·4e63·b1ab·a333·d3ce·ffe1··mp@.0.Nc...3....
00000240:·68a8·e2ce·aba0·a024·6261·7365·a028·6465··h......$base.(de00000240:·68a8·e2ce·aba0·a024·6261·7365·a028·6465··h......$base.(de
00000250:·7269·7669·6e67·4090·3021·db6f·61b4·2305··riving@.0!.oa.#.00000250:·7269·7669·6e67·4090·3021·db6f·61b4·2305··riving@.0!.oa.#.
00000260:·52b6·5ac4·572e·baa6·afa0·a028·6465·7269··R.Z.W......(deri00000260:·52b6·5ac4·572e·baa6·afa0·a028·6465·7269··R.Z.W......(deri
00000270:·7669·6e67·a004·0240·9030·26b1·b5a4·b71c··ving...@.0&.....00000270:·7669·6e67·a004·0240·9030·26b1·b5a4·b71c··ving...@.0&.....
00000280:·5aed·069c·6551·c0fe·0861·2535·2e32·2e30··Z...eQ...a%5.2.000000280:·5aed·069c·6551·c0fe·0861·2535·2e32·2e30··Z...eQ...a%5.2.0
00000290:·a040·401b·a5b7·b88c·bf97·9425·355e·623d··.@@........%5^b=00000290:·a040·401b·a5b7·b88c·bf97·9425·355e·623d··.@@........%5^b=
000002a0:·8091·e184·95a6·be00·0486·b800·0117·9700··................000002a0:·8091·e184·95a6·be00·0486·9e00·0117·9700··................
000002b0:·03af·7d00·039e·d3b0·d0a0·236f·7264·a02b··..}.......#ord.+000002b0:·03af·7c00·039e·d2b0·d0a0·236f·7264·a02b··..|.......#ord.+
000002c0:·6578·7472·7563·7475·7265·7340·e090·0406··extructures@....000002c0:·6578·7472·7563·7475·7265·7340·e090·0406··extructures@....
000002d0:·4190·a0a0·2668·6173·4f72·6493·e0a2·0408··A...&hasOrd.....000002d0:·4190·a0a0·2668·6173·4f72·6493·e0a2·0408··A...&hasOrd.....
000002e0:·0404·4190·a0a0·2761·7869·6f6d·735f·9108··..A...'axioms_..000002e0:·0404·4190·a0a0·2761·7869·6f6d·735f·9108··..A...'axioms_..
000002f0:·0000·3f00·9008·0000·4300·0405·a0a0·a090··..?.....C.......000002f0:·0000·3f00·9008·0000·4300·0405·a0a0·a090··..?.....C.......
00000300:·2154·4094·90a0·a0a0·03d8·e0cc·0fc6·d2e0··!T@.............00000300:·2154·4094·90a0·a0a0·03d8·e0cc·0fc6·d2e0··!T@.............
00000310:·0e90·b0a0·0421·a004·2040·2001·02d2·4040··.....!..·@·...@@00000310:·0e90·b0a0·0421·a004·2040·2001·02d2·4040··.....!..·@·...@@
00000320:·4090·a0b6·a004·1040·040e·9490·a0a0·a003··@......@........00000320:·4090·a0b6·a004·1040·040e·9490·a0a0·a003··@......@........
Offset 6152, 15 lines modifiedOffset 6152, 15 lines modified
00018070:·6f72·6430·2e2f·7468·656f·7269·6573·2f6f··ord0./theories/o00018070:·6f72·6430·2e2f·7468·656f·7269·6573·2f6f··ord0./theories/o
00018080:·7264·2e76·010c·4801·0ce7·7601·0c48·c040··rd.v..H...v..H.@00018080:·7264·2e76·010c·4801·0ce7·7601·0c48·c040··rd.v..H...v..H.@
00018090:·4040·41b0·c391·4030·6d6f·6475·6c65·2d74··@@A...@0module-t00018090:·4040·41b0·c391·4030·6d6f·6475·6c65·2d74··@@A...@0module-t
000180a0:·6f2d·6578·706f·7274·b095·a004·0943·040c··o-export.....C..000180a0:·6f2d·6578·706f·7274·b095·a004·0943·040c··o-export.....C..
000180b0:·a022·5479·9090·9090·2673·7472·696e·67a0··."Ty....&string.000180b0:·a022·5479·9090·9090·2673·7472·696e·67a0··."Ty....&string.
000180c0:·b095·a004·2e5b·0417·a004·0b90·9090·9027··.....[.........'000180c0:·b095·a004·2e5b·0417·a004·0b90·9090·9027··.....[.........'
000180d0:·6d6f·6470·6174·6840·041d·a004·1190·9090··modpath@........000180d0:·6d6f·6470·6174·6840·041d·a004·1190·9090··modpath@........
000180e0:·4040·4040·4029·3434·3939·3336·3733·32e0··@@@@@)449936732.000180e0:·4040·4040·4029·3234·3534·3034·3637·37e0··@@@@@)245404677.
000180f0:·d040·2840·676c·6f62·616c·21a0·b0c3·9140··.@(@global!....@000180f0:·d040·2840·676c·6f62·616c·21a0·b0c3·9140··.@(@global!....@
00018100:·2a67·6574·2d6f·7074·696f·6eb0·95a0·2c63··*get-option...,c00018100:·2a67·6574·2d6f·7074·696f·6eb0·95a0·2c63··*get-option...,c
00018110:·6f71·3a6c·6f63·616c·6974·7943·e040·3863··oq:localityC.@8c00018110:·6f71·3a6c·6f63·616c·6974·7943·e040·3863··oq:localityC.@8c
00018120:·6f71·2d62·7569·6c74·696e·2d73·796e·7465··oq-builtin-synte00018120:·6f71·2d62·7569·6c74·696e·2d73·796e·7465··oq-builtin-synte
00018130:·7270·2e65·6c70·6901·1b0d·011b·1b01·00b0··rp.elpi.........00018130:·7270·2e65·6c70·6901·1b0d·011b·1b01·00b0··rp.elpi.........
00018140:·011a·eea0·0424·9040·a0b0·95a0·2667·6c6f··.....$.@....&glo00018140:·011a·eea0·0424·9040·a0b0·95a0·2667·6c6f··.....$.@....&glo
00018150:·6261·6c43·e040·0409·011b·1c01·1b24·0100··balC.@.......$..00018150:·6261·6c43·e040·0409·011b·1c01·1b24·0100··balC.@.......$..
Offset 8204, 42 lines modifiedOffset 8204, 42 lines modified
000200b0:·0090·4901·0087·4041·050b·67a0·a090·40a0··..I...@A..g...@.000200b0:·0090·4901·0087·4041·050b·67a0·a090·40a0··..I...@A..g...@.
000200c0:·9041·40e0·4005·2080·016f·ff01·703c·0100··.A@.@.·..o..p<..000200c0:·9041·40e0·4005·2080·016f·ff01·703c·0100··.A@.@.·..o..p<..
000200d0:·c001·6fff·d040·050b·66a0·a090·40a0·9040··..o..@..f...@..@000200d0:·c001·6fff·d040·050b·66a0·a090·40a0·9040··..o..@..f...@..@
000200e0:·a090·40a0·9041·a090·4140·e040·0520·8d01··..@..A..A@.@.·..000200e0:·a090·40a0·9041·a090·4140·e040·0520·8d01··..@..A..A@.@.·..
000200f0:·6f33·016f·b801·00bc·016f·33d0·4005·0b40··o3.o.....o3.@..@000200f0:·6f33·016f·b801·00bc·016f·33d0·4005·0b40··o3.o.....o3.@..@
00020100:·a040·e040·0521·0601·0860·0108·6a00·4201··.@.@.!...`..j.B.00020100:·a040·e040·0521·0601·0860·0108·6a00·4201··.@.@.!...`..j.B.
00020110:·0860·4041·4243·4445·4647·4849·4a05·2138··.`@ABCDEFGHIJ.!800020110:·0860·4041·4243·4445·4647·4849·4a05·2138··.`@ABCDEFGHIJ.!8
00020120:·0c00·0000·0000·80e4·3e40·4140·a0a0·0564··........>@A@...d00020120:·0c00·0000·0000·00e1·3e40·4140·a0a0·0564··........>@A@...d
00020130:·10a0·4090·a0a0·0564·14a0·4090·a0a0·0564··..@....d..@....d00020130:·10a0·4090·a0a0·0564·14a0·4090·a0a0·0564··..@....d..@....d
00020140:·22a0·4090·4040·a094·a0a0·40a2·a205·60d1··".@.@@....@...`.00020140:·22a0·4090·4040·a094·a0a0·40a2·a205·60d1··".@.@@....@...`.
00020150:·0564·2005·642a·40a0·a005·6128·a040·9040··.d·.d*@...a(.@.@00020150:·0564·2005·642a·40a0·a005·6128·a040·9040··.d·.d*@...a(.@.@
00020160:·a094·a0a0·40a2·0560·da05·612f·40a0·95a0··....@..`..a/@...00020160:·a094·a0a0·40a2·0560·da05·612f·40a0·95a0··....@..`..a/@...
00020170:·021b·9b7f·79a0·275f·454c·5049·5f32·c0a0··....y.'_ELPI_2..00020170:·021b·9b7f·79a0·275f·454c·5049·5f32·c0a0··....y.'_ELPI_2..
00020180:·2665·7870·6f72·74a0·2264·6240·a0a0·b005··&export."db@....00020180:·2665·7870·6f72·74a0·2264·6240·a0a0·b005··&export."db@....
00020190:·60e7·2132·020b·9dc2·aed0·0521·66d0·e040··`.!2.......!f..@00020190:·60e7·2132·020b·9dc2·aed0·0521·66d0·e040··`.!2.......!f..@
000201a0:·4040·4040·0521·6540·a0c0·e090·0521·6430··@@@@.!e@.....!d0000201a0:·4040·4040·0521·6540·a0c0·e090·0521·6430··@@@@.!e@.....!d0
000201b0:·2e2f·7468·656f·7269·6573·2f6f·7264·2e76··./theories/ord.v000201b0:·2e2f·7468·656f·7269·6573·2f6f·7264·2e76··./theories/ord.v
000201c0:·010c·f601·0d49·0040·010c·f605·2163·b0c3··.....I.@....!c..000201c0:·010c·f601·0d49·0040·010c·f605·2163·b0c3··.....I.@....!c..
000201d0:·9140·0521·62b0·9505·2161·0408·a005·2160··.@.!b...!a....!`000201d0:·9140·0521·62b0·9505·2161·0408·a005·2160··.@.!b...!a....!`
000201e0:·9090·9005·215f·a0b0·95a0·042e·5b04·10a0··....!_......[...000201e0:·9090·9005·215f·a0b0·95a0·042e·5b04·10a0··....!_......[...
000201f0:·0521·6890·9090·0521·5d40·0414·a005·216c··.!h....!]@....!l000201f0:·0521·6890·9090·0521·5d40·0414·a005·216c··.!h....!]@....!l
00020200:·9090·9040·4040·4040·2938·3131·3231·3436··...@@@@@)811214600020200:·9090·9040·4040·4040·2938·3334·3037·3435··...@@@@@)8340745
00020210:·3133·e005·215b·0521·2905·205c·050b·6b05··13..![.!).·\..k.00020210:·3735·e005·215b·0521·2905·205c·050b·6b05··75..![.!).·\..k.
00020220:·0b5e·0521·810c·0000·0000·0000·e73e·4041··.^.!.........>@A00020220:·0b5e·0521·810c·0000·0000·0000·e73e·4041··.^.!.........>@A
00020230:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI00020230:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI
00020240:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@00020240:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@
00020250:·a0a0·b005·6115·2133·020b·9dc2·afd0·0521··....a.!3.......!00020250:·a0a0·b005·6115·2133·020b·9dc2·afd0·0521··....a.!3.......!
00020260:·94d0·e040·4040·4040·0521·9340·a0c0·042e··...@@@@@.!.@....00020260:·94d0·e040·4040·4040·0521·9340·a0c0·042e··...@@@@@.!.@....
00020270:·0521·8eb0·c391·4005·218d·b095·0521·8c04··.!....@.!....!..00020270:·0521·8eb0·c391·4005·218d·b095·0521·8c04··.!....@.!....!..
00020280:·33a0·0521·8b90·9090·0521·8aa0·b095·a004··3..!.....!......00020280:·33a0·0521·8b90·9090·0521·8aa0·b095·a004··3..!.....!......
00020290:·4f5b·043b·a005·2193·9090·9005·2188·4004··O[.;..!.....!.@.00020290:·4f5b·043b·a005·2193·9090·9005·2188·4004··O[.;..!.....!.@.
000202a0:·3fa0·0521·9790·9090·4040·4040·4029·3331··?..!....@@@@@)31000202a0:·3fa0·0521·9790·9090·4040·4040·4029·3438··?..!....@@@@@)48
000202b0:·3536·3730·3531·37e0·0521·8605·2154·0520··5670517..!..!T.·000202b0:·3831·3036·3437·39e0·0521·8605·2154·0520··8106479..!..!T.·
000202c0:·8705·0b96·050b·8905·21ac·0c00·0000·0000··........!.......000202c0:·8705·0b96·050b·8905·21ac·0c00·0000·0000··........!.......
000202d0:·00ca·3e40·4140·a095·a002·1d04·1afc·a040··..>@A@.........@000202d0:·00c2·3e40·4140·a095·a002·1d04·1afc·a040··..>@A@.........@
000202e0:·a0a0·4026·5f20·3c3d·205f·c0a0·a040·0046··..@&_·<=·_...@.F000202e0:·a0a0·4026·5f20·3c3d·205f·c0a0·a040·0046··..@&_·<=·_...@.F
000202f0:·a090·0046·a090·0046·40a0·b140·40a0·9000··...F...F@..@@...000202f0:·a090·0046·a090·0046·40a0·b140·40a0·9000··...F...F@..@@...
00020300:·46a0·4090·40a0·b140·40a0·9000·46a0·4104··F.@.@..@@...F.A.00020300:·46a0·4090·40a0·b140·40a0·9000·46a0·4104··F.@.@..@@...F.A.
00020310:·0640·90a0·d0a0·a040·0046·0414·40a0·4026··.@.....@.F..@.@&00020310:·0640·90a0·d0a0·a040·0046·0414·40a0·4026··.@.....@.F..@.@&
00020320:·5f20·3c3d·205f·a0a0·a1a1·4004·1490·2178··_·<=·_....@...!x00020320:·5f20·3c3d·205f·a0a0·a1a1·4004·1490·2178··_·<=·_....@...!x
00020330:·a0a0·4122·3c3d·a0a1·a140·0416·9021·7940··..A"<=...@...!y@00020330:·a0a0·4122·3c3d·a0a1·a140·0416·9021·7940··..A"<=...@...!y@
00020340:·40a0·0420·a004·1b40·4090·a041·a0a0·a590··@..·...@@..A....00020340:·40a0·0420·a004·1b40·4090·a041·a0a0·a590··@..·...@@..A....
Offset 8647, 15 lines modifiedOffset 8647, 15 lines modified
00021c60:·7240·0413·a005·2a57·9090·9090·2467·7265··r@....*W....$gre00021c60:·7240·0413·a005·2a57·9090·9090·2467·7265··r@....*W....$gre
00021c70:·66a0·b0c3·9140·2563·6f6e·7374·b095·a091··f....@%const....00021c70:·66a0·b0c3·9140·2563·6f6e·7374·b095·a091··f....@%const....
00021c80:·0562·9758·0422·a005·2a66·9090·9090·0527··.b.X."..*f.....'00021c80:·0562·9758·0422·a005·2a66·9090·9090·0527··.b.X."..*f.....'
00021c90:·8d40·0427·a005·2a6b·9090·9090·0414·a0b0··.@.'..*k........00021c90:·8d40·0427·a005·2a6b·9090·9090·0414·a0b0··.@.'..*k........
00021ca0:·95a0·b005·2a97·04b7·020d·738a·c45a·0431··....*.....s..Z.100021ca0:·95a0·b005·2a97·04b7·020d·738a·c45a·0431··....*.....s..Z.1
00021cb0:·a005·2a75·9090·9090·2c61·6262·7265·7669··..*u....,abbrevi00021cb0:·a005·2a75·9090·9090·2c61·6262·7265·7669··..*u....,abbrevi
00021cc0:·6174·696f·6e40·0437·a005·2a7b·9090·9040··ation@.7..*{...@00021cc0:·6174·696f·6e40·0437·a005·2a7b·9090·9040··ation@.7..*{...@
00021cd0:·4040·4040·2933·3530·3433·3834·3739·e0d0··@@@@)350438479..00021cd0:·4040·4040·2935·3932·3733·3432·3639·e0d0··@@@@)592734269..
00021ce0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....!00021ce0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....!
00021cf0:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@.00021cf0:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@.
00021d00:·c391·4023·6c65·74b0·95a0·9005·64a7·53e0··..@#let.....d.S.00021d00:·c391·4023·6c65·74b0·95a0·9005·64a7·53e0··..@#let.....d.S.
00021d10:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el00021d10:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el
00021d20:·7069·0124·e801·24ee·0100·e101·24cf·a005··pi.$..$.....$...00021d20:·7069·0124·e801·24ee·0100·e101·24cf·a005··pi.$..$.....$...
00021d30:·2a9c·9040·a0b0·a190·0416·0411·e040·0408··*..@.........@..00021d30:·2a9c·9040·a0b0·a190·0416·0411·e040·0408··*..@.........@..
00021d40:·0124·ef01·24f1·0100·e101·24cf·a005·2aa3··.$..$.....$...*.00021d40:·0124·ef01·24f1·0100·e101·24cf·a005·2aa3··.$..$.....$...*.
Offset 13095, 43 lines modifiedOffset 13095, 43 lines modified
00033260:·0543·ae01·0558·0105·6267·0105·58d0·4005··.C...X..bg..X.@.00033260:·0543·ae01·0558·0105·6267·0105·58d0·4005··.C...X..bg..X.@.
00033270:·1707·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@00033270:·1707·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@
00033280:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L....00033280:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L....
00033290:·4005·1706·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@.00033290:·4005·1706·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@.
000332a0:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@000332a0:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@
000332b0:·0517·04a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y000332b0:·0517·04a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y
000332c0:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE000332c0:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE
000332d0:·4647·4849·4b4c·0544·230c·0000·0000·0000··FGHIKL.D#.......000332d0:·4647·4849·4b4c·0544·230c·0000·0000·0040··FGHIKL.D#......@
000332e0:·f63e·a0a0·b005·6e8b·054d·1602·3e38·e1b0··.>....n..M..>8..000332e0:·f83e·a0a0·b005·6e8b·054d·1602·3e38·e1b0··.>....n..M..>8..
000332f0:·d005·6e7b·d0e0·4040·4040·4005·442a·40a0··..n{..@@@@@.D*@.000332f0:·d005·6e7b·d0e0·4040·4040·4005·442a·40a0··..n{..@@@@@.D*@.
00033300:·c005·4429·056e·75b0·c391·4005·2a88·b095··..D).nu...@.*...00033300:·c005·4429·056e·75b0·c391·4005·2a88·b095··..D).nu...@.*...
00033310:·0544·0e05·442e·a005·6e72·9090·9005·2a89··.D..D...nr....*.00033310:·0544·0e05·442e·a005·6e72·9090·9005·2a89··.D..D...nr....*.
00033320:·a0b0·95a0·4042·0544·36a0·056e·7a90·9090··....@B.D6..nz...00033320:·a0b0·95a0·4042·0544·36a0·056e·7a90·9090··....@B.D6..nz...
00033330:·052a·8f40·0544·3aa0·056e·7e90·9090·4040··.*.@.D:..n~...@@00033330:·052a·8f40·0544·3aa0·056e·7e90·9090·4040··.*.@.D:..n~...@@
00033340:·4040·4029·3335·3034·3338·3437·39e0·0544··@@@)350438479..D00033340:·4040·4029·3539·3237·3334·3236·39e0·0544··@@@)592734269..D
00033350:·0305·3ebe·053d·7005·16fd·0516·6e05·4443··..>..=p.....n.DC00033350:·0305·3ebe·053d·7005·16fd·0516·6e05·4443··..>..=p.....n.DC
00033360:·0c00·0000·0000·00e1·3ea0·a0b0·056e·ab05··........>....n..00033360:·0c00·0000·0000·00dd·3ea0·a0b0·056e·ab05··........>....n..
00033370:·4d08·023e·38e1·b1d0·056e·9bd0·e040·4040··M..>8....n...@@@00033370:·4d08·023e·38e1·b1d0·056e·9bd0·e040·4040··M..>8....n...@@@
00033380:·4040·0544·4a40·a0c0·0544·4905·6e95·b0c3··@@.DJ@...DI.n...00033380:·4040·0544·4a40·a0c0·0544·4905·6e95·b0c3··@@.DJ@...DI.n...
00033390:·9140·052a·96b0·c391·4005·2856·b095·a005··.@.*....@.(V....00033390:·9140·052a·96b0·c391·4005·2856·b095·a005··.@.*....@.(V....
000333a0:·b0f8·5705·4452·a005·6e96·9090·9005·2858··..W.DR..n.....(X000333a0:·b0f8·5705·4452·a005·6e96·9090·9005·2858··..W.DR..n.....(X
000333b0:·4005·4456·a005·6e9a·9090·9005·2a9f·a0b0··@.DV..n.....*...000333b0:·4005·4456·a005·6e9a·9090·9005·2a9f·a0b0··@.DV..n.....*...
000333c0:·9504·2805·445d·a005·6ea1·9090·9005·2aa4··..(.D]..n.....*.000333c0:·9504·2805·445d·a005·6ea1·9090·9005·2aa4··..(.D]..n.....*.
000333d0:·4005·4461·a005·6ea5·9090·9040·4040·4040··@.Da..n....@@@@@000333d0:·4005·4461·a005·6ea5·9090·9040·4040·4040··@.Da..n....@@@@@
000333e0:·2933·3530·3433·3834·3739·e005·442a·053e··)350438479..D*.>000333e0:·2935·3932·3733·3432·3639·e005·442a·053e··)592734269..D*.>
000333f0:·e505·3d97·0517·2405·1695·0544·6a0c·0000··..=...$....Dj...000333f0:·e505·3d97·0517·2405·1695·0544·6a0c·0000··..=...$....Dj...
Max diff block lines reached; 2908455/2918180 bytes (99.67%) of diff not shown.
124 B
./var/lib/coq/md5sums/libcoq-extructures.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 6lpw91 bfrn4