⊟
8.28 MB
/srv/reproducible-results/rbuild-debian/r-b-build.VKLhBwR4/b1/mathcomp-finmap_2.1.0-3_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.VKLhBwR4/b2/mathcomp-finmap_2.1.0-3_amd64.changes
⊟
224 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·01c0a8406cf3ac6560dfd2a6de9f309c·850420·ocaml·optional·libcoq-mathcomp-finmap_2.1.0-3_amd64.deb1 ·b87e83bbd4abf51ff7dade26e0b151ac·850544·ocaml·optional·libcoq-mathcomp-finmap_2.1.0-3_amd64.deb
⊟
8.28 MB
libcoq-mathcomp-finmap_2.1.0-3_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-11-24·12:55:20.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-11-24·12:55:20.000000·debian-binary
2 -rw-r--r--···0········0········0·····1148·2024-11-24·12:55:20.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1148·2024-11-24·12:55:20.000000·control.tar.xz
3 -rw-r--r--···0········0········0···849080·2024-11-24·12:55:20.000000·data.tar.xz3 -rw-r--r--···0········0········0···849204·2024-11-24·12:55:20.000000·data.tar.xz
⊟
767 B
control.tar.xz
⊟
739 B
control.tar
⊟
669 B
./control
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Package:·libcoq-mathcomp-finmap1 Package:·libcoq-mathcomp-finmap
2 Source:·mathcomp-finmap2 Source:·mathcomp-finmap
3 Version:·2.1.0-33 Version:·2.1.0-3
4 Architecture:·amd644 Architecture:·amd64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·33066 Installed-Size:·3306
7 Depends:·libcoq-mathcomp-ssreflect-vk1c97 Depends:·libcoq-mathcomp-ssreflect-vk1c9
8 Provides:·libcoq-mathcomp-finmap-l9zh08 Provides:·libcoq-mathcomp-finmap-qwhz9
9 Section:·ocaml9 Section:·ocaml
10 Priority:·optional10 Priority:·optional
11 Homepage:·https://github.com/math-comp/finmap11 Homepage:·https://github.com/math-comp/finmap
12 Description:·finite·sets·and·maps·extension·for·Mathematical·Components12 Description:·finite·sets·and·maps·extension·for·Mathematical·Components
13 ·This·package·provides·an·extension·to·manage·finite·sets,13 ·This·package·provides·an·extension·to·manage·finite·sets,
14 ·finite·maps·and·finitely·supported·functions·extending·for·the14 ·finite·maps·and·finitely·supported·functions·extending·for·the
15 ·Mathematical·Components·library.15 ·Mathematical·Components·library.
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
8.28 MB
data.tar.xz
⊟
8.28 MB
data.tar
⊟
2.47 KB
file list
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/
10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/
11 -rw-r--r--···0·root·········(0)·root·········(0)··1258369·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.glob11 -rw-r--r--···0·root·········(0)·root·········(0)··1258369·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.glob
12 -rw-r--r--···0·root·········(0)·root·········(0)···153018·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.v12 -rw-r--r--···0·root·········(0)·root·········(0)···153018·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.v
13 -rw-r--r--···0·root·········(0)·root·········(0)··1296272·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.vo13 -rw-r--r--···0·root·········(0)·root·········(0)··1296294·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.vo
14 -rw-r--r--···0·root·········(0)·root·········(0)···308439·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.glob14 -rw-r--r--···0·root·········(0)·root·········(0)···308439·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.glob
15 -rw-r--r--···0·root·········(0)·root·········(0)····33498·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.v15 -rw-r--r--···0·root·········(0)·root·········(0)····33498·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.v
16 -rw-r--r--···0·root·········(0)·root·········(0)···281475·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.vo16 -rw-r--r--···0·root·········(0)·root·········(0)···281475·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.vo
17 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/17 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/
18 -rw-r--r--···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/META18 -rw-r--r--···0·root·········(0)·root·········(0)········0·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/META
19 -rw-r--r--···0·root·········(0)·root·········(0)······613·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/dune-package19 -rw-r--r--···0·root·········(0)·root·········(0)······613·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/dune-package
20 -rw-r--r--···0·root·········(0)·root·········(0)·····1189·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/opam20 -rw-r--r--···0·root·········(0)·root·········(0)·····1189·2024-11-24·12:55:20.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mathcomp-finmap/opam
⊟
8.27 MB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/finmap.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0013·c6de··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0013·c6f4··Coq!..@P........
00000010:·8495·a6be·0000·01bf·0000·0057·0000·012d··...........W...-00000010:·8495·a6be·0000·01bf·0000·0057·0000·012d··...........W...-
00000020:·0000·0102·c0a0·2666·696e·6d61·70a0·0402··......&finmap...00000020:·0000·0102·c0a0·2666·696e·6d61·70a0·0402··......&finmap...
00000030:·a028·6d61·7468·636f·6d70·4008·0000·2700··.(mathcomp@...'.00000030:·a028·6d61·7468·636f·6d70·4008·0000·2700··.(mathcomp@...'.
00000040:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init00000040:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init
00000050:·a023·436f·7140·9030·c7f5·9674·0295·790e··.#Coq@.0...t..y.00000050:·a023·436f·7140·9030·c7f5·9674·0295·790e··.#Coq@.0...t..y.
00000060:·84d5·17cb·ca0a·ceef·a0a0·2a73·7472·7563··..........*struc00000060:·84d5·17cb·ca0a·ceef·a0a0·2a73·7472·7563··..........*struc
00000070:·7475·7265·73a0·2248·4240·9030·d221·5a9c··tures."HB@.0.!Z.00000070:·7475·7265·73a0·2248·4240·9030·d221·5a9c··tures."HB@.0.!Z.
Offset 25, 16 lines modifiedOffset 25, 16 lines modified
00000180:·68a0·2973·7372·6566·6c65·6374·a028·6d61··h.)ssreflect.(ma00000180:·68a0·2973·7372·6566·6c65·6374·a028·6d61··h.)ssreflect.(ma
00000190:·7468·636f·6d70·4090·3011·6362·bee7·2f60··thcomp@.0.cb../`00000190:·7468·636f·6d70·4090·3011·6362·bee7·2f60··thcomp@.0.cb../`
000001a0:·1303·9e52·5681·fb07·33a0·a026·6669·6e73··...RV...3..&fins000001a0:·1303·9e52·5681·fb07·33a0·a026·6669·6e73··...RV...3..&fins
000001b0:·6574·a029·7373·7265·666c·6563·74a0·286d··et.)ssreflect.(m000001b0:·6574·a029·7373·7265·666c·6563·74a0·286d··et.)ssreflect.(m
000001c0:·6174·6863·6f6d·7040·9030·8795·3c4b·3131··athcomp@.0..<K11000001c0:·6174·6863·6f6d·7040·9030·8795·3c4b·3131··athcomp@.0..<K11
000001d0:·1d5a·4c8a·f204·2a07·0532·2535·2e32·2e30··.ZL...*..2%5.2.0000001d0:·1d5a·4c8a·f204·2a07·0532·2535·2e32·2e30··.ZL...*..2%5.2.0
000001e0:·a040·4029·4efb·1d73·7a6d·2984·55cd·53af··.@@)N..szm).U.S.000001e0:·a040·4029·4efb·1d73·7a6d·2984·55cd·53af··.@@)N..szm).U.S.
000001f0:·0915·5d84·95a6·be00·0979·ef00·025c·5300··..]......y...\S.000001f0:·0915·5d84·95a6·be00·097a·0500·025c·5300··..]......z...\S.
00000200:·07d1·8c00·07b9·5eb0·d0a0·2666·696e·6d61··......^...&finma00000200:·07d1·9000·07b9·62b0·d0a0·2666·696e·6d61··......b...&finma
00000210:·70a0·0402·a028·6d61·7468·636f·6d70·40e0··p....(mathcomp@.00000210:·70a0·0402·a028·6d61·7468·636f·6d70·40e0··p....(mathcomp@.
00000220:·9004·0741·90a0·a028·5072·6564·5479·7065··...A...(PredType00000220:·9004·0741·90a0·a028·5072·6564·5479·7065··...A...(PredType
00000230:·9008·0000·2700·40a0·8080·919c·a0a0·a090··....'.@.........00000230:·9008·0000·2700·40a0·8080·919c·a0a0·a090··....'.@.........
00000240:·b090·a027·7373·7262·6f6f·6ca0·2373·7372··...'ssrbool.#ssr00000240:·b090·a027·7373·7262·6f6f·6ca0·2373·7372··...'ssrbool.#ssr
00000250:·a023·436f·7140·2870·7265·6454·7970·6502··.#Coq@(predType.00000250:·a023·436f·7140·2870·7265·6454·7970·6502··.#Coq@(predType.
00000260:·346d·d0ab·4041·0410·b6a0·9021·5440·9490··4m..@A.....!T@..00000260:·346d·d0ab·4041·0410·b6a0·9021·5440·9490··4m..@A.....!T@..
00000270:·a0a0·a003·0017·f719·c1b6·ff42·90b0·a004··...........B....00000270:·a0a0·a003·0017·f719·c1b6·ff42·90b0·a004··...........B....
Offset 18055, 5124 lines modifiedOffset 18055, 5124 lines modified
00046860:·e090·366d·6174·6863·6f6d·702e·6669·6e6d··..6mathcomp.finm00046860:·e090·366d·6174·6863·6f6d·702e·6669·6e6d··..6mathcomp.finm
00046870:·6170·2e66·696e·6d61·702a·2e2f·6669·6e6d··ap.finmap*./finm00046870:·6170·2e66·696e·6d61·702a·2e2f·6669·6e6d··ap.finmap*./finm
00046880:·6170·2e76·0168·3b01·6872·0101·fd01·683b··ap.v.h;.hr....h;00046880:·6170·2e76·0168·3b01·6872·0101·fd01·683b··ap.v.h;.hr....h;
00046890:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local-00046890:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local-
000468a0:·6361·6e6f·6e69·6361·6cb0·95a0·9105·f64a··canonical......J000468a0:·6361·6e6f·6e69·6361·6cb0·95a0·9105·f64a··canonical......J
000468b0:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons000468b0:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons
Diff chunk too large, falling back to line-by-line diff (5110 lines added, 5110 lines removed)
000468c0:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@000468c0:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@
000468d0:·4040·2935·3931·3833·3738·3530·e0d0·d0d0··@@)591837850....000468d0:·4040·2a31·3031·3035·3633·3038·33e0·d0d0··@@*1010563083...
000468e0:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T"000468e0:·d0d0·4025·4063·6173·74a0·b0b4·90a0·2154··..@%@cast.....!T
000468f0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@...000468f0:·226c·7040·b0b4·90a0·2254·5904·0640·b0c3··"lp@...."TY..@..
00046900:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS.00046900:·9140·236c·6574·b095·a090·2463·6173·7453··.@#let....$castS
00046910:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el00046910:·e040·3063·6f71·2d62·7569·6c74·696e·2e65··.@0coq-builtin.e
00046920:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$...00046920:·6c70·6901·24e8·0124·ee01·00e1·0124·cfa0··lpi.$..$.....$..
00046930:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@...00046930:·0429·9040·a0b0·a190·0417·0412·e040·0408··.).@.........@..
00046940:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@00046940:·0124·ef01·24f1·0100·e101·24cf·a004·3090··.$..$.....$...0.
00046950:·a0b0·a190·041e·041f·e040·040f·0124·f201··.........@...$..00046950:·40a0·b0a1·9004·1e04·1fe0·4004·0f01·24f2··@.........@...$.
00046960:·24f3·0100·e101·24cf·a004·3790·40a0·b0b4··$.....$...7.@...00046960:·0124·f301·00e1·0124·cfa0·0437·9040·a0b0··.$.....$...7.@..
00046970:·90a0·2178·0427·40b0·a190·042a·0404·e040··..!x.'@....*...@00046970:·b490·a021·7804·2740·b0a1·9004·2a04·04e0··...!x.'@....*...
00046980:·041b·0124·f601·24f7·0100·e101·24cf·a004··...$..$.....$...00046980:·4004·1b01·24f6·0124·f701·00e1·0124·cfa0··@...$..$.....$..
00046990:·4390·40e0·4004·1e01·24f4·0124·f701·00e1··C.@.@...$..$....00046990:·0443·9040·e040·041e·0124·f401·24f7·0100··.C.@.@...$..$...
000469a0:·0124·cfa0·0446·9040·40e0·4004·2101·24e4··.$...F.@@.@.!.$.000469a0:·e101·24cf·a004·4690·4040·e040·0421·0124··..$...F.@@.@.!.$
000469b0:·0124·f701·00e1·0124·cfa0·0449·9040·e040··.$.....$...I.@.@000469b0:·e401·24f7·0100·e101·24cf·a004·4990·40e0··..$.....$...I.@.
000469c0:·0424·0124·dd01·24f7·0100·e101·24cf·a004··.$.$..$.....$...000469c0:·4004·2401·24dd·0124·f701·00e1·0124·cfa0··@.$.$..$.....$..
000469d0:·4c90·40e0·4004·2701·24db·0124·f701·00e1··L.@.@.'.$..$....000469d0:·044c·9040·e040·0427·0124·db01·24f7·0100··.L.@.@.'.$..$...
000469e0:·0124·cfa0·044f·9040·e040·042a·0124·cf01··.$...O.@.@.*.$..000469e0:·e101·24cf·a004·4f90·40e0·4004·2a01·24cf··..$...O.@.@.*.$.
000469f0:·24f8·0100·e101·24cf·d040·2a40·636f·6572··$.....$..@*@coer000469f0:·0124·f801·00e1·0124·cfd0·402a·4063·6f65··.$.....$..@*@coe
00046a00:·6369·6f6e·21a0·b0c3·9140·223a·3ab0·c391··cion!....@"::...00046a00:·7263·696f·6e21·a0b0·c391·4022·3a3a·b0c3··rcion!....@"::..
00046a10:·4028·636f·6572·6369·6f6e·b0a1·9140·2a72··@(coercion...@*r00046a10:·9140·2863·6f65·7263·696f·6eb0·a191·402a··.@(coercion...@*
00046a20:·6576·6572·7369·626c·65e0·4004·3a01·531a··eversible.@.:.S.00046a20:·7265·7665·7273·6962·6c65·e040·043a·0153··reversible.@.:.S
00046a30:·0153·2401·01f2·0152·fca0·0462·9040·40e0··.S$....R...b.@@.00046a30:·1a01·5324·0101·f201·52fc·a004·6290·4040··..S$....R...b.@@
00046a40:·4004·3d01·5311·0153·2401·01f2·0152·fca0··@.=.S..S$....R..00046a40:·e040·043d·0153·1101·5324·0101·f201·52fc··.@.=.S..S$....R.
00046a50:·0465·9040·a0b0·a191·4022·5b5d·e040·0445··.e.@....@"[].@.E00046a50:·a004·6590·40a0·b0a1·9140·225b·5de0·4004··..e.@....@"[].@.
00046a60:·0153·2401·5325·0101·f201·52fc·a004·6d90··.S$.S%....R...m.00046a60:·4501·5324·0153·2501·01f2·0152·fca0·046d··E.S$.S%....R...m
00046a70:·4040·e040·0448·0153·1001·5325·0101·f201··@@.@.H.S..S%....00046a70:·9040·40e0·4004·4801·5310·0153·2501·01f2··.@@.@.H.S..S%...
00046a80:·52fc·a004·7090·40e0·4004·4b01·52fc·0153··R...p.@.@.K.R..S00046a80:·0152·fca0·0470·9040·e040·044b·0152·fc01··.R...p.@.@.K.R..
00046a90:·2501·01f2·0152·fc40·4142·2c40·6465·7072··%....R.@AB,@depr00046a90:·5325·0101·f201·52fc·4041·422c·4064·6570··S%....R.@AB,@dep
00046aa0:·6563·6174·6564·21a0·b0b4·90a0·2553·696e··ecated!.....%Sin00046aa0:·7265·6361·7465·6421·a0b0·b490·a025·5369··recated!.....%Si
00046ab0:·6365·0462·40b0·b490·a023·4d73·6704·6740··ce.b@....#Msg.g@00046ab0:·6e63·6504·6240·b0b4·90a0·234d·7367·0467··nce.b@....#Msg.g
00046ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option.00046ac0:·40b0·c391·402a·6765·742d·6f70·7469·6f6e··@...@*get-option
00046ad0:·95a0·2e63·6f71·3a64·6570·7265·6361·7465··...coq:deprecate00046ad0:·b095·a02e·636f·713a·6465·7072·6563·6174··....coq:deprecat
00046ae0:·6443·e040·0460·0152·8001·5290·0101·ed01··dC.@.`.R..R.....00046ae0:·6564·43e0·4004·6001·5280·0152·9001·01ed··edC.@.`.R..R....
00046af0:·5273·a004·8890·40a0·b0c3·9140·2270·72b0··Rs....@....@"pr.00046af0:·0152·73a0·0488·9040·a0b0·c391·4022·7072··.Rs....@....@"pr
00046b00:·a190·047a·0419·e040·046b·0152·9501·529a··...z...@.k.R..R.00046b00:·b0a1·9004·7a04·19e0·4004·6b01·5295·0152··....z...@.k.R..R
00046b10:·0101·ed01·5273·a004·9390·40a0·b0a1·9004··....Rs....@.....00046b10:·9a01·01ed·0152·73a0·0493·9040·a0b0·a190··.....Rs....@....
00046b20:·8104·1be0·4004·7201·529b·0152·9e01·01ed··....@.r.R..R....00046b20:·0481·041b·e040·0472·0152·9b01·529e·0101··.....@.r.R..R...
00046b30:·0152·73a0·049a·9040·40e0·4004·7501·5292··.Rs....@@.@.u.R.00046b30:·ed01·5273·a004·9a90·4040·e040·0475·0152··..Rs....@@.@.u.R
00046b40:·0152·9e01·01ed·0152·73a0·049d·9040·40e0··.R.....Rs....@@.00046b40:·9201·529e·0101·ed01·5273·a004·9d90·4040··..R.....Rs....@@
00046b50:·4004·7801·5275·0152·9f01·01ed·0152·73a0··@.x.Ru.R.....Rs.00046b50:·e040·0478·0152·7501·529f·0101·ed01·5273··.@.x.Ru.R.....Rs
00046b60:·04a0·9040·e040·047b·0152·6c01·529f·0101··...@.@.{.Rl.R...00046b60:·a004·a090·40e0·4004·7b01·526c·0152·9f01··....@.@.{.Rl.R..
00046b70:·ed01·5273·a004·a390·40e0·4004·7e01·5266··..Rs....@.@.~.Rf00046b70:·01ed·0152·73a0·04a3·9040·e040·047e·0152··...Rs....@.@.~.R
00046b80:·0152·9f01·01ed·0152·73a0·04a6·9040·e040··.R.....Rs....@.@00046b80:·6601·529f·0101·ed01·5273·a004·a690·40e0··f.R.....Rs....@.
00046b90:·0481·0152·5301·529f·0101·ec01·5253·d040··...RS.R.....RS.@00046b90:·4004·8101·5253·0152·9f01·01ec·0152·53d0··@...RS.R.....RS.
00046ba0:·2b40·6472·6f70·756e·6976·7321·a0b0·c391··+@dropunivs!....00046ba0:·402b·4064·726f·7075·6e69·7673·21a0·b0c3··@+@dropunivs!...
00046bb0:·4004·2db0·95a0·2d63·6f71·3a6b·6565·7075··@.-...-coq:keepu00046bb0:·9140·042d·b095·a02d·636f·713a·6b65·6570··.@.-...-coq:keep
00046bc0:·6e69·7673·43e0·4004·8c01·50c2·0150·d101··nivsC.@...P..P..00046bc0:·756e·6976·7343·e040·048c·0150·c201·50d1··univsC.@...P..P.
00046bd0:·01e2·0150·a2a0·04b4·9040·a0b0·a191·4022··...P.....@....@"00046bd0:·0101·e201·50a2·a004·b490·40a0·b0a1·9140··....P.....@....@
00046be0:·6666·e040·0494·0150·d201·50d4·0101·e201··ff.@...P..P.....00046be0:·2266·66e0·4004·9401·50d2·0150·d401·01e2··"ff.@...P..P....
00046bf0:·50a2·a004·bc90·4040·e040·0497·0150·b701··P.....@@.@...P..00046bf0:·0150·a2a0·04bc·9040·40e0·4004·9701·50b7··.P.....@@.@...P.
00046c00:·50d4·0101·e201·50a2·a004·bf90·40e0·4004··P.....P.....@.@.00046c00:·0150·d401·01e2·0150·a2a0·04bf·9040·e040··.P.....P.....@.@
00046c10:·9a01·50a2·0150·d401·01e2·0150·a240·4143··..P..P.....P.@AC00046c10:·049a·0150·a201·50d4·0101·e201·50a2·4041··...P..P.....P.@A
00046c20:·2840·676c·6f62·616c·21a0·b0c3·9140·0445··(@global!....@.E00046c20:·4328·4067·6c6f·6261·6c21·a0b0·c391·4004··C(@global!....@.
00046c30:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality00046c30:·45b0·95a0·2c63·6f71·3a6c·6f63·616c·6974··E...,coq:localit
00046c40:·43e0·4004·a401·1805·0118·1301·0095·0117··C.@.............00046c40:·7943·e040·04a4·0118·0501·1813·0100·9501··yC.@............
00046c50:·e6a0·04cc·9040·a0b0·95a0·2667·6c6f·6261··.....@....&globa00046c50:·17e6·a004·cc90·40a0·b095·a026·676c·6f62··......@....&glob
00046c60:·6c43·e040·04ac·0118·1401·181c·0100·9501··lC.@............00046c60:·616c·43e0·4004·ac01·1814·0118·1c01·0095··alC.@...........
00046c70:·17e6·a004·d490·4040·e040·04af·0117·fa01··......@@.@......00046c70:·0117·e6a0·04d4·9040·40e0·4004·af01·17fa··.......@@.@.....
00046c80:·181c·0100·9501·17e6·a004·d790·40e0·4004··............@.@.00046c80:·0118·1c01·0095·0117·e6a0·04d7·9040·e040··.............@.@
00046c90:·b201·17e6·0118·1c01·0095·0117·e6d0·d0d0··................00046c90:·04b2·0117·e601·181c·0100·9501·17e6·d0d0··................
00046ca0:·4027·4068·6f6c·6573·21a0·b0c3·9140·0460··@'@holes!....@.`00046ca0:·d040·2740·686f·6c65·7321·a0b0·c391·4004··.@'@holes!....@.
00046cb0:·b095·a02a·484f·4153·3a68·6f6c·6573·43e0··...*HOAS:holesC.00046cb0:·60b0·95a0·2a48·4f41·533a·686f·6c65·7343··`...*HOAS:holesC
00046cc0:·4004·bf01·33ad·0133·b901·0143·0133·91a0··@...3..3...C.3..00046cc0:·e040·04bf·0133·ad01·33b9·0101·4301·3391··.@...3..3...C.3.
00046cd0:·04e7·9040·a0b0·a191·4022·7474·e040·04c7··...@....@"tt.@..00046cd0:·a004·e790·40a0·b0a1·9140·2274·74e0·4004··....@....@"tt.@.
00046ce0:·0133·ba01·33bc·0101·4301·3391·a004·ef90··.3..3...C.3.....00046ce0:·c701·33ba·0133·bc01·0143·0133·91a0·04ef··..3..3...C.3....
00046cf0:·4040·e040·04ca·0133·a201·33bc·0101·4301··@@.@...3..3...C.00046cf0:·9040·40e0·4004·ca01·33a2·0133·bc01·0143··.@@.@...3..3...C
00046d00:·3391·a004·f290·40e0·4004·cd01·3391·0133··3.....@.@...3..300046d00:·0133·91a0·04f2·9040·e040·04cd·0133·9101··.3.....@.@...3..
00046d10:·bc01·0143·0133·91d0·4028·4069·6e6c·696e··...C.3..@(@inlin00046d10:·33bc·0101·4301·3391·d040·2840·696e·6c69··3...C.3..@(@inli
00046d20:·6521·a0b0·b490·a021·4e04·e540·b0c3·9140··e!.....!N..@...@00046d20:·6e65·21a0·b0b4·90a0·214e·04e5·40b0·c391··ne!.....!N..@...
00046d30:·047e·b095·a02a·636f·713a·696e·6c69·6e65··.~...*coq:inline00046d30:·4004·7eb0·95a0·2a63·6f71·3a69·6e6c·696e··@.~...*coq:inlin
00046d40:·43e0·4004·dd01·51ac·0151·b801·01e7·0151··C.@...Q..Q.....Q00046d40:·6543·e040·04dd·0151·ac01·51b8·0101·e701··eC.@...Q..Q.....
00046d50:·8da0·0501·0590·40a0·b0a1·9140·3263·6f71··......@....@2coq00046d50:·518d·a005·0105·9040·a0b0·a191·4032·636f··Q......@....@2co
00046d60:·2e69·6e6c·696e·652e·6465·6661·756c·74e0··.inline.default.00046d60:·712e·696e·6c69·6e65·2e64·6566·6175·6c74··q.inline.default
00046d70:·4004·e501·51b9·0151·cb01·01e7·0151·8da0··@...Q..Q.....Q..00046d70:·e040·04e5·0151·b901·51cb·0101·e701·518d··.@...Q..Q.....Q.
00046d80:·0501·0d90·4040·e040·04e8·0151·a101·51cb··....@@.@...Q..Q.00046d80:·a005·010d·9040·40e0·4004·e801·51a1·0151··.....@@.@...Q..Q
00046d90:·0101·e701·518d·a005·0110·9040·e040·04eb··....Q......@.@..00046d90:·cb01·01e7·0151·8da0·0501·1090·40e0·4004··.....Q......@.@.
00046da0:·0151·9c01·51cb·0101·e701·518d·a005·0113··.Q..Q.....Q.....00046da0:·eb01·519c·0151·cb01·01e7·0151·8da0·0501··..Q..Q.....Q....
00046db0:·9040·e040·04ee·0151·8d01·51cb·0101·e701··.@.@...Q..Q.....00046db0:·1390·40e0·4004·ee01·518d·0151·cb01·01e7··..@.@...Q..Q....
00046dc0:·518d·4041·422b·4069·6e6c·696e·652d·6174··Q.@AB+@inline-at00046dc0:·0151·8d40·4142·2b40·696e·6c69·6e65·2d61··.Q.@AB+@inline-a
00046dd0:·21a0·b0b4·90a0·0420·0501·0440·b0c3·9140··!......·...@...@00046dd0:·7421·a0b0·b490·a004·2005·0104·40b0·c391··t!......·...@...
00046de0:·049d·b095·041f·e040·04fa·0151·5c01·5168··.......@...Q\.Qh00046de0:·4004·9db0·9504·1fe0·4004·fa01·515c·0151··@.......@...Q\.Q
00046df0:·0101·e601·513a·a005·0122·9040·a0b0·c391··....Q:...".@....00046df0:·6801·01e6·0151·3aa0·0501·2290·40a0·b0c3··h....Q:...".@...
00046e00:·402d·636f·712e·696e·6c69·6e65·2e61·74b0··@-coq.inline.at.00046e00:·9140·2d63·6f71·2e69·6e6c·696e·652e·6174··.@-coq.inline.at
00046e10:·a190·0501·1404·30e0·4005·0105·0151·7801··......0.@....Qx.00046e10:·b0a1·9005·0114·0430·e040·0501·0501·5178··.......0.@....Qx
00046e20:·5179·0101·e601·513a·a005·012d·9040·40e0··Qy....Q:...-.@@.00046e20:·0151·7901·01e6·0151·3aa0·0501·2d90·4040··.Qy....Q:...-.@@
00046e30:·4005·0108·0151·6a01·5179·0101·e601·513a··@....Qj.Qy....Q:00046e30:·e040·0501·0801·516a·0151·7901·01e6·0151··.@....Qj.Qy....Q
00046e40:·a005·0130·9040·40e0·4005·010b·0151·5101··...0.@@.@....QQ.00046e40:·3aa0·0501·3090·4040·e040·0501·0b01·5151··:...0.@@.@....QQ
00046e50:·517a·0101·e601·513a·a005·0133·9040·e040··Qz....Q:...3.@.@00046e50:·0151·7a01·01e6·0151·3aa0·0501·3390·40e0··.Qz....Q:...3.@.
00046e60:·0501·0e01·514c·0151·7a01·01e6·0151·3aa0··....QL.Qz....Q:.00046e60:·4005·010e·0151·4c01·517a·0101·e601·513a··@....QL.Qz....Q:
00046e70:·0501·3690·40e0·4005·0111·0151·3a01·517a··..6.@.@....Q:.Qz00046e70:·a005·0136·9040·e040·0501·1101·513a·0151··...6.@.@....Q:.Q
00046e80:·0101·e601·513a·d040·2b40·6b65·6570·756e··....Q:.@+@keepun00046e80:·7a01·01e6·0151·3ad0·402b·406b·6565·7075··z....Q:.@+@keepu
00046e90:·6976·7321·a0b0·c391·4004·bdb0·9504·90e0··ivs!....@.......00046e90:·6e69·7673·21a0·b0c3·9140·04bd·b095·0490··nivs!....@......
Max diff block lines reached; 7961458/8669119 bytes (91.84%) of diff not shown.
⊟
5.36 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/finmap/multiset.vo
    
Offset 23, 17 lines modifiedOffset 23, 17 lines modified
00000160:·7061·7468·a029·7373·7265·666c·6563·74a0··path.)ssreflect.00000160:·7061·7468·a029·7373·7265·666c·6563·74a0··path.)ssreflect.
00000170:·286d·6174·6863·6f6d·7040·9030·1163·62be··(mathcomp@.0.cb.00000170:·286d·6174·6863·6f6d·7040·9030·1163·62be··(mathcomp@.0.cb.
00000180:·e72f·6013·039e·5256·81fb·0733·a0a0·2666··./`...RV...3..&f00000180:·e72f·6013·039e·5256·81fb·0733·a0a0·2666··./`...RV...3..&f
00000190:·696e·7365·74a0·2973·7372·6566·6c65·6374··inset.)ssreflect00000190:·696e·7365·74a0·2973·7372·6566·6c65·6374··inset.)ssreflect
000001a0:·a028·6d61·7468·636f·6d70·4090·3087·953c··.(mathcomp@.0..<000001a0:·a028·6d61·7468·636f·6d70·4090·3087·953c··.(mathcomp@.0..<
000001b0:·4b31·311d·5a4c·8af2·042a·0705·32a0·a026··K11.ZL...*..2..&000001b0:·4b31·311d·5a4c·8af2·042a·0705·32a0·a026··K11.ZL...*..2..&
000001c0:·6669·6e6d·6170·a004·02a0·286d·6174·6863··finmap....(mathc000001c0:·6669·6e6d·6170·a004·02a0·286d·6174·6863··finmap....(mathc
000001d0:·6f6d·7040·9030·79a0·5c25·facb·674c·bcc4··omp@.0y.\%..gL.. 
000001e0:·372e·33eb·640d·2535·2e32·2e30·a040·404f··7.3.d.%5.2.0.@@O 
000001f0:·b6f4·7e92·ab98·60ff·6cb0·d081·5af2·3284··..~...`.l...Z.2.000001d0:·6f6d·7040·9030·1683·51d7·d7cc·3eef·4c48··omp@.0..Q...>.LH
 000001e0:·2802·ed4a·7e07·2535·2e32·2e30·a040·4013··(..J~.%5.2.0.@@.
 000001f0:·75f5·a395·dc5e·0f62·8188·17c0·2198·3984··u....^.b....!.9.
00000200:·95a6·be00·0214·6400·007e·b900·01b5·f700··......d..~......00000200:·95a6·be00·0214·6400·007e·b900·01b5·f700··......d..~......
00000210:·01b2·30b0·d0a0·286d·756c·7469·7365·74a0··..0...(multiset.00000210:·01b2·30b0·d0a0·286d·756c·7469·7365·74a0··..0...(multiset.
00000220:·2666·696e·6d61·70a0·286d·6174·6863·6f6d··&finmap.(mathcom00000220:·2666·696e·6d61·70a0·286d·6174·6863·6f6d··&finmap.(mathcom
00000230:·7040·e090·0408·4190·a0a0·2873·756d·6e5f··p@....A...(sumn_00000230:·7040·e090·0408·4190·a0a0·2873·756d·6e5f··p@....A...(sumn_
00000240:·6d61·7090·0800·0027·0040·a080·8092·c040··map....'.@.....@00000240:·6d61·7090·0800·0027·0040·a080·8092·c040··map....'.@.....@
00000250:·4004·1140·b6a0·9021·4940·9490·a0a0·a003··@..@...!I@......00000250:·4004·1140·b6a0·9021·4940·9490·a0a0·a003··@..@...!I@......
00000260:·002f·f574·9ac3·5fee·90b0·a004·1ca0·041b··./.t.._.........00000260:·002f·f574·9ac3·5fee·90b0·a004·1ca0·041b··./.t.._.........
Offset 5307, 16 lines modifiedOffset 5307, 16 lines modified
00014ba0:·019a·4041·b005·0192·4105·01f2·c040·b005··..@A....A....@..00014ba0:·019a·4041·b005·0192·4105·01f2·c040·b005··..@A....A....@..
00014bb0:·0194·4105·018f·c040·b005·018d·4105·0218··..A....@....A...00014bb0:·0194·4105·018f·c040·b005·018d·4105·0218··..A....@....A...
00014bc0:·4041·4243·b004·5641·0461·c040·b004·5841··@ABC..VA.a.@..XA00014bc0:·4041·4243·b004·5641·0461·c040·b004·5841··@ABC..VA.a.@..XA
00014bd0:·045c·4041·4445·46b0·04c6·4105·0223·c0c0··.\@ADEF...A..#..00014bd0:·045c·4041·4445·46b0·04c6·4105·0223·c0c0··.\@ADEF...A..#..
00014be0:·40b0·04c9·4105·01a6·4041·b004·ca41·0501··@...A...@A...A..00014be0:·40b0·04c9·4105·01a6·4041·b004·ca41·0501··@...A...@A...A..
00014bf0:·95c0·40b0·0501·8241·0502·29c0·40b0·0501··..@....A..).@...00014bf0:·95c0·40b0·0501·8241·0502·29c0·40b0·0501··..@....A..).@...
00014c00:·8441·0501·abc0·40b0·0501·8641·0501·9b40··.A....@....A...@00014c00:·8441·0501·abc0·40b0·0501·8641·0501·9b40··.A....@....A...@
00014c10:·4142·4344·4749·4a90·a005·3d02·9030·79a0··ABCDGIJ...=..0y.00014c10:·4142·4344·4749·4a90·a005·3d02·9030·1683··ABCDGIJ...=..0..
00014c20:·5c25·facb·674c·bcc4·372e·33eb·640d·9040··\%..gL..7.3.d..@00014c20:·51d7·d7cc·3eef·4c48·2802·ed4a·7e07·9040··Q...>.LH(..J~..@
00014c30:·a0a0·95a0·021d·041a·fca0·40a0·a040·297b··..........@..@){00014c30:·a0a0·95a0·021d·041a·fca0·40a0·a040·297b··..........@..@){
00014c40:·6d73·6574·205f·207d·c0a0·a040·40a0·4040··mset·_·}...@@.@@00014c40:·6d73·6574·205f·207d·c0a0·a040·40a0·4040··mset·_·}...@@.@@
00014c50:·a0b1·4040·a041·4040·90a0·d0a0·a040·4004··..@@.A@@.....@@.00014c50:·a0b1·4040·a041·4040·90a0·d0a0·a040·4004··..@@.A@@.....@@.
00014c60:·0940·040e·a0a0·a041·257b·6d73·6574·a0a1··.@.....A%{mset..00014c60:·0940·040e·a0a0·a041·257b·6d73·6574·a0a1··.@.....A%{mset..
00014c70:·a140·040d·9005·3ada·a0a0·4121·7d40·40a0··.@....:...A!}@@.00014c70:·a140·040d·9005·3ada·a0a0·4121·7d40·40a0··.@....:...A!}@@.
00014c80:·0413·4040·90a0·40a0·a094·040e·a094·2120··..@@..@.......!·00014c80:·0413·4040·90a0·40a0·a094·040e·a094·2120··..@@..@.......!·
00014c90:·a090·b040·4040·a094·040f·4040·a095·a002··...@@@....@@....00014c90:·a090·b040·4040·a094·040f·4040·a095·a002··...@@@....@@....
Offset 8545, 16 lines modifiedOffset 8545, 16 lines modified
00021600:·40a0·95a0·0227·60a0·6fd0·4091·040f·a040··@....'`.o.@....@00021600:·40a0·95a0·0227·60a0·6fd0·4091·040f·a040··@....'`.o.@....@
00021610:·a040·40a0·9092·057b·37a0·9091·057a·c940··.@@....{7....z.@00021610:·a040·40a0·9092·057b·37a0·9091·057a·c940··.@@....{7....z.@
00021620:·d0d0·d040·40a0·053b·3140·4041·41a0·053b··...@@..;1@@AA..;00021620:·d0d0·d040·40a0·053b·3140·4041·41a0·053b··...@@..;1@@AA..;
00021630:·2f40·d040·053b·2ca0·053b·2840·4041·4205··/@.@.;,..;(@@AB.00021630:·2f40·d040·053b·2ca0·053b·2840·4041·4205··/@.@.;,..;(@@AB.
00021640:·3b24·a005·3b20·40d0·d040·053b·1fa0·053b··;$..;·@..@.;...;00021640:·3b24·a005·3b20·40d0·d040·053b·1fa0·053b··;$..;·@..@.;...;
00021650:·1b40·4041·053b·16a0·053b·1540·d040·053b··.@@A.;...;.@.@.;00021650:·1b40·4041·053b·16a0·053b·1540·d040·053b··.@@A.;...;.@.@.;
00021660:·14a0·053b·0f40·d040·053b·0ca0·053b·0740··...;.@.@.;...;.@00021660:·14a0·053b·0f40·d040·053b·0ca0·053b·0740··...;.@.@.;...;.@
00021670:·4041·4243·4440·4083·583e·f2f6·3207·ba75··@ABCD@@.X>..2..u 
00021680:·701b·4a53·775f·0284·95a6·be00·022e·0a00··p.JSw_..........00021670:·4041·4243·4440·4018·2223·a28a·6b7d·f73b··@ABCD@@."#..k}.;
 00021680:·b398·517d·d7b6·1c84·95a6·be00·022e·0a00··..Q}............
00021690:·006d·8f00·0178·6400·0176·0008·0003·5300··.m...xd..v....S.00021690:·006d·8f00·0178·6400·0176·0008·0003·5300··.m...xd..v....S.
000216a0:·90a0·b7a0·9021·4940·9490·a0a0·a003·002f··.....!I@......./000216a0:·90a0·b7a0·9021·4940·9490·a0a0·a003·002f··.....!I@......./
000216b0:·f574·9ac3·5fee·90b0·a028·6d75·6c74·6973··.t.._....(multis000216b0:·f574·9ac3·5fee·90b0·a028·6d75·6c74·6973··.t.._....(multis
000216c0:·6574·a026·6669·6e6d·6170·a028·6d61·7468··et.&finmap.(math000216c0:·6574·a026·6669·6e6d·6170·a028·6d61·7468··et.&finmap.(math
000216d0:·636f·6d70·4020·0103·9a40·40b7·a090·2166··comp@·...@@...!f000216d0:·636f·6d70·4020·0103·9a40·40b7·a090·2166··comp@·...@@...!f
000216e0:·40b6·a040·4090·419b·a0a0·90b0·90a0·2944··@..@@.A.......)D000216e0:·40b6·a040·4090·419b·a0a0·90b0·90a0·2944··@..@@.A.......)D
000216f0:·6174·6174·7970·6573·a024·496e·6974·a023··atatypes.$Init.#000216f0:·6174·6174·7970·6573·a024·496e·6974·a023··atatypes.$Init.#
Offset 17577, 17 lines modifiedOffset 17577, 17 lines modified
00044a80:·2418·1c0c·0c80·c009·2e2d·0002·8c00·3700··$........-....7.00044a80:·2418·1c0c·0c80·c009·2e2d·0002·8c00·3700··$........-....7.
00044a90:·210a·3701·210b·3702·210c·3703·210d·3704··!.7.!.7.!.7.!.7.00044a90:·210a·3701·210b·3702·210c·3703·210d·3704··!.7.!.7.!.7.!.7.
00044aa0:·210e·3705·210f·3706·213a·013a·013a·013a··!.7.!.7.!:.:.:.:00044aa0:·210e·3705·210f·3706·213a·013a·013a·013a··!.7.!.7.!:.:.:.:
00044ab0:·013a·013a·0129·0180·2718·1010·1010·1010··.:.:.)..'.......00044ab0:·013a·013a·0129·0180·2718·1010·1010·1010··.:.:.)..'.......
00044ac0:·80b9·fe72·b845·6a98·a378·ea19·42e7·7a69··...r.Ej..x..B.zi00044ac0:·80b9·fe72·b845·6a98·a378·ea19·42e7·7a69··...r.Ej..x..B.zi
00044ad0:·9600·0000·0400·0000·076c·6962·7261·7279··.........library00044ad0:·9600·0000·0400·0000·076c·6962·7261·7279··.........library
00044ae0:·0000·0000·0000·01ff·0000·0000·0002·1478··...............x00044ae0:·0000·0000·0000·01ff·0000·0000·0002·1478··...............x
00044af0:·8358·3ef2·f632·07ba·7570·1b4a·5377·5f02··.X>..2..up.JSw_.00044af0:·1822·23a2·8a6b·7df7·3bb3·9851·7dd7·b61c··."#..k}.;..Q}...
00044b00:·0000·0007·6f70·6171·7565·7300·0000·0000··....opaques.....00044b00:·0000·0007·6f70·6171·7565·7300·0000·0000··....opaques.....
00044b10:·0216·8700·0000·0000·022e·1ebd·c40d·ae63··...............c00044b10:·0216·8700·0000·0000·022e·1ebd·c40d·ae63··...............c
00044b20:·6397·da33·6db9·c8d1·bf7e·0a00·0000·0773··c..3m....~.....s00044b20:·6397·da33·6db9·c8d1·bf7e·0a00·0000·0773··c..3m....~.....s
00044b30:·756d·6d61·7279·0000·0000·0000·0010·0000··ummary..........00044b30:·756d·6d61·7279·0000·0000·0000·0010·0000··ummary..........
00044b40:·0000·0000·01df·4fb6·f47e·92ab·9860·ff6c··......O..~...`.l00044b40:·0000·0000·01df·1375·f5a3·95dc·5e0f·6281··.......u....^.b.
00044b50:·b0d0·815a·f232·0000·0009·766d·6c69·6272··...Z.2....vmlibr00044b50:·8817·c021·9839·0000·0009·766d·6c69·6272··...!.9....vmlibr
00044b60:·6172·7900·0000·0000·0444·b500·0000·0000··ary......D......00044b60:·6172·7900·0000·0000·0444·b500·0000·0000··ary......D......
00044b70:·0006·0cb9·fe72·b845·6a98·a378·ea19·42e7··.....r.Ej..x..B.00044b70:·0006·0cb9·fe72·b845·6a98·a378·ea19·42e7··.....r.Ej..x..B.
00044b80:·7a69·96··································zi.00044b80:·7a69·96··································zi.
⊟
132 B
./var/lib/coq/md5sums/libcoq-mathcomp-finmap.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 l9zh01 qwhz9
Generated by diffoscope 284