⊟
1.65 MB
/srv/reproducible-results/rbuild-debian/r-b-build.UYvnkzSS/b1/mathcomp-zify_1.5.0+2.0+8.16-4_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.UYvnkzSS/b2/mathcomp-zify_1.5.0+2.0+8.16-4_amd64.changes
⊟
238 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·9ff4fb6f3da62e1aed0be2cdfcbb64bd·272692·ocaml·optional·libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_amd64.deb1 ·ab5a1b9c612f91a016f0ac8c36c734b6·272792·ocaml·optional·libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_amd64.deb
⊟
1.65 MB
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_amd64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-05·16:01:11.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-12-05·16:01:11.000000·debian-binary
2 -rw-r--r--···0········0········0·····1180·2024-12-05·16:01:11.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1188·2024-12-05·16:01:11.000000·control.tar.xz
3 -rw-r--r--···0········0········0···271320·2024-12-05·16:01:11.000000·data.tar.xz3 -rw-r--r--···0········0········0···271412·2024-12-05·16:01:11.000000·data.tar.xz
⊟
764 B
control.tar.xz
⊟
736 B
control.tar
⊟
666 B
./control
    
Offset 2, 15 lines modifiedOffset 2, 15 lines modified
2 Source:·mathcomp-zify2 Source:·mathcomp-zify
3 Version:·1.5.0+2.0+8.16-43 Version:·1.5.0+2.0+8.16-4
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:·9766 Installed-Size:·976
7 Depends:·libcoq-mathcomp-algebra-fvoy47 Depends:·libcoq-mathcomp-algebra-fvoy4
8 Suggests:·ocaml-findlib8 Suggests:·ocaml-findlib
9 Provides:·libcoq-mathcomp-zify-g3gr09 Provides:·libcoq-mathcomp-zify-edaj6
10 Section:·ocaml10 Section:·ocaml
11 Priority:·optional11 Priority:·optional
12 Homepage:·https://github.com/math-comp/mczify12 Homepage:·https://github.com/math-comp/mczify
13 Description:·Micromega·arithmetic·solvers·for·Mathematical·Components13 Description:·Micromega·arithmetic·solvers·for·Mathematical·Components
14 ·This·package·enables·the·use·of·the·micromega·arithmetic·solvers14 ·This·package·enables·the·use·of·the·micromega·arithmetic·solvers
15 ·of·Coq·for·goals·stated·with·the·Mathematical·Components·library,15 ·of·Coq·for·goals·stated·with·the·Mathematical·Components·library,
16 ·by·extending·the·zify·tactic.16 ·by·extending·the·zify·tactic.
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.65 MB
data.tar.xz
⊟
1.65 MB
data.tar
⊟
2.53 KB
file list
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.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-12-05·16:01:11.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-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/
11 -rw-r--r--···0·root·········(0)·root·········(0)····37256·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.glob11 -rw-r--r--···0·root·········(0)·root·········(0)····37256·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.glob
12 -rw-r--r--···0·root·········(0)·root·········(0)·····8219·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.v12 -rw-r--r--···0·root·········(0)·root·········(0)·····8219·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.v
13 -rw-r--r--···0·root·········(0)·root·········(0)···268226·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.vo13 -rw-r--r--···0·root·········(0)·root·········(0)···268218·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.vo
14 -rw-r--r--···0·root·········(0)·root·········(0)······332·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.glob14 -rw-r--r--···0·root·········(0)·root·········(0)······332·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.glob
15 -rw-r--r--···0·root·········(0)·root·········(0)······163·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.v15 -rw-r--r--···0·root·········(0)·root·········(0)······163·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.v
16 -rw-r--r--···0·root·········(0)·root·········(0)······892·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.vo16 -rw-r--r--···0·root·········(0)·root·········(0)······892·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.vo
17 -rw-r--r--···0·root·········(0)·root·········(0)····61923·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.glob17 -rw-r--r--···0·root·········(0)·root·········(0)····61923·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.glob
18 -rw-r--r--···0·root·········(0)·root·········(0)····18045·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.v18 -rw-r--r--···0·root·········(0)·root·········(0)····18045·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.v
19 -rw-r--r--···0·root·········(0)·root·········(0)···266874·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo19 -rw-r--r--···0·root·········(0)·root·········(0)···266874·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo
20 -rw-r--r--···0·root·········(0)·root·········(0)····77489·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob20 -rw-r--r--···0·root·········(0)·root·········(0)····77489·2024-12-05·16:01:11.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob
⊟
1.64 MB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/ssrZ.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0004·1710··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·1708··Coq!..@P........
00000010:·8495·a6be·0000·04bc·0000·00e7·0000·0328··...............(00000010:·8495·a6be·0000·04bc·0000·00e7·0000·0328··...............(
00000020:·0000·02ae·c0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif00000020:·0000·02ae·c0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif
00000030:·79a0·286d·6174·6863·6f6d·7040·0800·0067··y.(mathcomp@...g00000030:·79a0·286d·6174·6863·6f6d·7040·0800·0067··y.(mathcomp@...g
00000040:·00a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini00000040:·00a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini
00000050:·74a0·2343·6f71·4090·30c7·f596·7402·9579··t.#Coq@.0...t..y00000050:·74a0·2343·6f71·4090·30c7·f596·7402·9579··t.#Coq@.0...t..y
00000060:·0e84·d517·cbca·0ace·efa0·a026·5a41·7269··...........&ZAri00000060:·0e84·d517·cbca·0ace·efa0·a026·5a41·7269··...........&ZAri
00000070:·7468·a004·02a0·2343·6f71·4090·3030·fc2e··th....#Coq@.00..00000070:·7468·a004·02a0·2343·6f71·4090·3030·fc2e··th....#Coq@.00..
Offset 73, 15 lines modifiedOffset 73, 15 lines modified
00000480:·6c67·6562·7261·a028·6d61·7468·636f·6d70··lgebra.(mathcomp00000480:·6c67·6562·7261·a028·6d61·7468·636f·6d70··lgebra.(mathcomp
00000490:·4090·3026·1d48·9598·e209·bf4d·131f·1459··@.0&.H.....M...Y00000490:·4090·3026·1d48·9598·e209·bf4d·131f·1459··@.0&.H.....M...Y
000004a0:·993c·bda0·a02e·7a69·6679·5f73·7372·6566··.<....zify_ssref000004a0:·993c·bda0·a02e·7a69·6679·5f73·7372·6566··.<....zify_ssref
000004b0:·6c65·6374·a024·7a69·6679·a028·6d61·7468··lect.$zify.(math000004b0:·6c65·6374·a024·7a69·6679·a028·6d61·7468··lect.$zify.(math
000004c0:·636f·6d70·4090·3026·8282·5b87·435b·9504··comp@.0&..[.C[..000004c0:·636f·6d70·4090·3026·8282·5b87·435b·9504··comp@.0&..[.C[..
000004d0:·9725·f42d·d429·7e25·352e·322e·30a0·4040··.%.-.)~%5.2.0.@@000004d0:·9725·f42d·d429·7e25·352e·322e·30a0·4040··.%.-.)~%5.2.0.@@
000004e0:·e2d6·eb46·abba·b22f·eab2·7ff3·859b·d09f··...F.../........000004e0:·e2d6·eb46·abba·b22f·eab2·7ff3·859b·d09f··...F.../........
000004f0:·8495·a6be·0003·924e·0000·d2e0·0002·c792··.......N........000004f0:·8495·a6be·0003·9246·0000·d2e0·0002·c792··.......F........
00000500:·0002·b419·b0d0·a024·7373·725a·a024·7a69··.......$ssrZ.$zi00000500:·0002·b419·b0d0·a024·7373·725a·a024·7a69··.......$ssrZ.$zi
00000510:·6679·a028·6d61·7468·636f·6d70·40e0·9004··fy.(mathcomp@...00000510:·6679·a028·6d61·7468·636f·6d70·40e0·9004··fy.(mathcomp@...
00000520:·0841·90a0·a028·696e·745f·6f66·5f5a·9008··.A...(int_of_Z..00000520:·0841·90a0·a028·696e·745f·6f66·5f5a·9008··.A...(int_of_Z..
00000530:·0000·2700·40a0·8080·91b7·a090·216e·409b··..'.@.......!n@.00000530:·0000·2700·40a0·8080·91b7·a090·216e·409b··..'.@.......!n@.
00000540:·a0a0·90b0·90a0·2742·696e·4e75·6d73·a027··......'BinNums.'00000540:·a0a0·90b0·90a0·2742·696e·4e75·6d73·a027··......'BinNums.'
00000550:·4e75·6d62·6572·73a0·2343·6f71·4021·5a02··Numbers.#Coq@!Z.00000550:·4e75·6d62·6572·73a0·2343·6f71·4021·5a02··Numbers.#Coq@!Z.
00000560:·1237·97de·4004·13fd·d004·0d40·b040·4141··.7..@......@.@AA00000560:·1237·97de·4004·13fd·d004·0d40·b040·4141··.7..@......@.@AA
Offset 4280, 5883 lines modifiedOffset 4280, 5883 lines modified
00010b70:·4040·4040·a040·4040·a0c0·e090·326d·6174··@@@@.@@@....2mat00010b70:·4040·4040·a040·4040·a0c0·e090·326d·6174··@@@@.@@@....2mat
00010b80:·6863·6f6d·702e·7a69·6679·2e73·7372·5a31··hcomp.zify.ssrZ100010b80:·6863·6f6d·702e·7a69·6679·2e73·7372·5a31··hcomp.zify.ssrZ1
00010b90:·2e2f·7468·656f·7269·6573·2f73·7372·5a2e··./theories/ssrZ.00010b90:·2e2f·7468·656f·7269·6573·2f73·7372·5a2e··./theories/ssrZ.
00010ba0:·7601·0460·0104·b26a·0104·60c0·4040·4041··v..`...j..`.@@@A00010ba0:·7601·0460·0104·b26a·0104·60c0·4040·4041··v..`...j..`.@@@A
00010bb0:·b0c3·9140·2f6c·6f63·616c·2d63·616e·6f6e··...@/local-canon00010bb0:·b0c3·9140·2f6c·6f63·616c·2d63·616e·6f6e··...@/local-canon
00010bc0:·6963·616c·b095·a091·0431·5804·0da0·2254··ical.....1X..."T00010bc0:·6963·616c·b095·a091·0431·5804·0da0·2254··ical.....1X..."T
Diff chunk too large, falling back to line-by-line diff (5831 lines added, 5831 lines removed)
00010bd0:·7990·9090·9028·636f·6e73·7461·6e74·4004··y....(constant@.00010bd0:·7990·9090·9028·636f·6e73·7461·6e74·4004··y....(constant@.
00010be0:·14a0·0407·9090·9040·4040·4040·2932·3837··.......@@@@@)28700010be0:·14a0·0407·9090·9040·4040·4040·2a31·3033··.......@@@@@*103
00010bf0:·3434·3339·3735·e0d0·d0d0·d040·2540·6361··443975.....@%@ca00010bf0:·3034·3334·3431·36e0·d0d0·d0d0·4025·4063··0434416.....@%@c
00010c00:·7374·a0b0·b490·a021·5422·6c70·40b0·b490··st.....!T"lp@...00010c00:·6173·74a0·b0b4·90a0·2154·226c·7040·b0b4··ast.....!T"lp@..
00010c10:·a022·5459·0406·40b0·c391·4023·6c65·74b0··."TY..@...@#let.00010c10:·90a0·2254·5904·0640·b0c3·9140·236c·6574··.."TY..@...@#let
00010c20:·95a0·9024·6361·7374·53e0·4030·636f·712d··...$castS.@0coq-00010c20:·b095·a090·2463·6173·7453·e040·3063·6f71··....$castS.@0coq
00010c30:·6275·696c·7469·6e2e·656c·7069·0124·e801··builtin.elpi.$..00010c30:·2d62·7569·6c74·696e·2e65·6c70·6901·24e8··-builtin.elpi.$.
00010c40:·24ee·0100·e101·24cf·a004·2990·40a0·b0a1··$.....$...).@...00010c40:·0124·ee01·00e1·0124·cfa0·0429·9040·a0b0··.$.....$...).@..
00010c50:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$..00010c50:·a190·0417·0412·e040·0408·0124·ef01·24f1··.......@...$..$.
00010c60:·00e1·0124·cfa0·0430·9040·a0b0·a190·041e··...$...0.@......00010c60:·0100·e101·24cf·a004·3090·40a0·b0a1·9004··....$...0.@.....
00010c70:·041f·e040·040f·0124·f201·24f3·0100·e101··...@...$..$.....00010c70:·1e04·1fe0·4004·0f01·24f2·0124·f301·00e1··....@...$..$....
00010c80:·24cf·a004·3790·40a0·b0b4·90a0·2178·0427··$...7.@.....!x.'00010c80:·0124·cfa0·0437·9040·a0b0·b490·a021·7804··.$...7.@.....!x.
00010c90:·40b0·a190·042a·0404·e040·041b·0124·f601··@....*...@...$..00010c90:·2740·b0a1·9004·2a04·04e0·4004·1b01·24f6··'@....*...@...$.
00010ca0:·24f7·0100·e101·24cf·a004·4390·40e0·4004··$.....$...C.@.@.00010ca0:·0124·f701·00e1·0124·cfa0·0443·9040·e040··.$.....$...C.@.@
00010cb0:·1e01·24f4·0124·f701·00e1·0124·cfa0·0446··..$..$.....$...F00010cb0:·041e·0124·f401·24f7·0100·e101·24cf·a004··...$..$.....$...
00010cc0:·9040·40e0·4004·2101·24e4·0124·f701·00e1··.@@.@.!.$..$....00010cc0:·4690·4040·e040·0421·0124·e401·24f7·0100··F.@@.@.!.$..$...
00010cd0:·0124·cfa0·0449·9040·e040·0424·0124·dd01··.$...I.@.@.$.$..00010cd0:·e101·24cf·a004·4990·40e0·4004·2401·24dd··..$...I.@.@.$.$.
00010ce0:·24f7·0100·e101·24cf·a004·4c90·40e0·4004··$.....$...L.@.@.00010ce0:·0124·f701·00e1·0124·cfa0·044c·9040·e040··.$.....$...L.@.@
00010cf0:·2701·24db·0124·f701·00e1·0124·cfa0·044f··'.$..$.....$...O00010cf0:·0427·0124·db01·24f7·0100·e101·24cf·a004··.'.$..$.....$...
00010d00:·9040·e040·042a·0124·cf01·24f8·0100·e101··.@.@.*.$..$.....00010d00:·4f90·40e0·4004·2a01·24cf·0124·f801·00e1··O.@.@.*.$..$....
00010d10:·24cf·d040·2a40·636f·6572·6369·6f6e·21a0··$..@*@coercion!.00010d10:·0124·cfd0·402a·4063·6f65·7263·696f·6e21··.$..@*@coercion!
00010d20:·b0c3·9140·223a·3ab0·c391·4028·636f·6572··...@"::...@(coer00010d20:·a0b0·c391·4022·3a3a·b0c3·9140·2863·6f65··....@"::...@(coe
00010d30:·6369·6f6e·b0a1·9140·2a72·6576·6572·7369··cion...@*reversi00010d30:·7263·696f·6eb0·a191·402a·7265·7665·7273··rcion...@*revers
00010d40:·626c·65e0·4004·3a01·531a·0153·2401·01f2··ble.@.:.S..S$...00010d40:·6962·6c65·e040·043a·0153·1a01·5324·0101··ible.@.:.S..S$..
00010d50:·0152·fca0·0462·9040·40e0·4004·3d01·5311··.R...b.@@.@.=.S.00010d50:·f201·52fc·a004·6290·4040·e040·043d·0153··..R...b.@@.@.=.S
00010d60:·0153·2401·01f2·0152·fca0·0465·9040·a0b0··.S$....R...e.@..00010d60:·1101·5324·0101·f201·52fc·a004·6590·40a0··..S$....R...e.@.
00010d70:·a191·4022·5b5d·e040·0445·0153·2401·5325··..@"[].@.E.S$.S%00010d70:·b0a1·9140·225b·5de0·4004·4501·5324·0153··...@"[].@.E.S$.S
00010d80:·0101·f201·52fc·a004·6d90·4040·e040·0448··....R...m.@@.@.H00010d80:·2501·01f2·0152·fca0·046d·9040·40e0·4004··%....R...m.@@.@.
00010d90:·0153·1001·5325·0101·f201·52fc·a004·7090··.S..S%....R...p.00010d90:·4801·5310·0153·2501·01f2·0152·fca0·0470··H.S..S%....R...p
00010da0:·40e0·4004·4b01·52fc·0153·2501·01f2·0152··@.@.K.R..S%....R00010da0:·9040·e040·044b·0152·fc01·5325·0101·f201··.@.@.K.R..S%....
00010db0:·fc40·4142·2c40·6465·7072·6563·6174·6564··.@AB,@deprecated00010db0:·52fc·4041·422c·4064·6570·7265·6361·7465··R.@AB,@deprecate
00010dc0:·21a0·b0b4·90a0·2553·696e·6365·0462·40b0··!.....%Since.b@.00010dc0:·6421·a0b0·b490·a025·5369·6e63·6504·6240··d!.....%Since.b@
00010dd0:·b490·a023·4d73·6704·6740·b0c3·9140·2a67··...#Msg.g@...@*g00010dd0:·b0b4·90a0·234d·7367·0467·40b0·c391·402a··....#Msg.g@...@*
00010de0:·6574·2d6f·7074·696f·6eb0·95a0·2e63·6f71··et-option....coq00010de0:·6765·742d·6f70·7469·6f6e·b095·a02e·636f··get-option....co
00010df0:·3a64·6570·7265·6361·7465·6443·e040·0460··:deprecatedC.@.`00010df0:·713a·6465·7072·6563·6174·6564·43e0·4004··q:deprecatedC.@.
00010e00:·0152·8001·5290·0101·ed01·5273·a004·8890··.R..R.....Rs....00010e00:·6001·5280·0152·9001·01ed·0152·73a0·0488··`.R..R.....Rs...
00010e10:·40a0·b0c3·9140·2270·72b0·a190·047a·0419··@....@"pr....z..00010e10:·9040·a0b0·c391·4022·7072·b0a1·9004·7a04··.@....@"pr....z.
00010e20:·e040·046b·0152·9501·529a·0101·ed01·5273··.@.k.R..R.....Rs00010e20:·19e0·4004·6b01·5295·0152·9a01·01ed·0152··..@.k.R..R.....R
00010e30:·a004·9390·40a0·b0a1·9004·8104·1be0·4004··....@.........@.00010e30:·73a0·0493·9040·a0b0·a190·0481·041b·e040··s....@.........@
00010e40:·7201·529b·0152·9e01·01ed·0152·73a0·049a··r.R..R.....Rs...00010e40:·0472·0152·9b01·529e·0101·ed01·5273·a004··.r.R..R.....Rs..
00010e50:·9040·40e0·4004·7501·5292·0152·9e01·01ed··.@@.@.u.R..R....00010e50:·9a90·4040·e040·0475·0152·9201·529e·0101··..@@.@.u.R..R...
00010e60:·0152·73a0·049d·9040·40e0·4004·7801·5275··.Rs....@@.@.x.Ru00010e60:·ed01·5273·a004·9d90·4040·e040·0478·0152··..Rs....@@.@.x.R
00010e70:·0152·9f01·01ed·0152·73a0·04a0·9040·e040··.R.....Rs....@.@00010e70:·7501·529f·0101·ed01·5273·a004·a090·40e0··u.R.....Rs....@.
00010e80:·047b·0152·6c01·529f·0101·ed01·5273·a004··.{.Rl.R.....Rs..00010e80:·4004·7b01·526c·0152·9f01·01ed·0152·73a0··@.{.Rl.R.....Rs.
00010e90:·a390·40e0·4004·7e01·5266·0152·9f01·01ed··..@.@.~.Rf.R....00010e90:·04a3·9040·e040·047e·0152·6601·529f·0101··...@.@.~.Rf.R...
00010ea0:·0152·73a0·04a6·9040·e040·0481·0152·5301··.Rs....@.@...RS.00010ea0:·ed01·5273·a004·a690·40e0·4004·8101·5253··..Rs....@.@...RS
00010eb0:·529f·0101·ec01·5253·d040·2b40·6472·6f70··R.....RS.@+@drop00010eb0:·0152·9f01·01ec·0152·53d0·402b·4064·726f··.R.....RS.@+@dro
00010ec0:·756e·6976·7321·a0b0·c391·4004·2db0·95a0··univs!....@.-...00010ec0:·7075·6e69·7673·21a0·b0c3·9140·042d·b095··punivs!....@.-..
00010ed0:·2d63·6f71·3a6b·6565·7075·6e69·7673·43e0··-coq:keepunivsC.00010ed0:·a02d·636f·713a·6b65·6570·756e·6976·7343··.-coq:keepunivsC
00010ee0:·4004·8c01·50c2·0150·d101·01e2·0150·a2a0··@...P..P.....P..00010ee0:·e040·048c·0150·c201·50d1·0101·e201·50a2··.@...P..P.....P.
00010ef0:·04b4·9040·a0b0·a191·4022·6666·e040·0494··...@....@"ff.@..00010ef0:·a004·b490·40a0·b0a1·9140·2266·66e0·4004··....@....@"ff.@.
00010f00:·0150·d201·50d4·0101·e201·50a2·a004·bc90··.P..P.....P.....00010f00:·9401·50d2·0150·d401·01e2·0150·a2a0·04bc··..P..P.....P....
00010f10:·4040·e040·0497·0150·b701·50d4·0101·e201··@@.@...P..P.....00010f10:·9040·40e0·4004·9701·50b7·0150·d401·01e2··.@@.@...P..P....
00010f20:·50a2·a004·bf90·40e0·4004·9a01·50a2·0150··P.....@.@...P..P00010f20:·0150·a2a0·04bf·9040·e040·049a·0150·a201··.P.....@.@...P..
00010f30:·d401·01e2·0150·a240·4143·2840·676c·6f62··.....P.@AC(@glob00010f30:·50d4·0101·e201·50a2·4041·4328·4067·6c6f··P.....P.@AC(@glo
00010f40:·616c·21a0·b0c3·9140·0445·b095·a02c·636f··al!....@.E...,co00010f40:·6261·6c21·a0b0·c391·4004·45b0·95a0·2c63··bal!....@.E...,c
00010f50:·713a·6c6f·6361·6c69·7479·43e0·4004·a401··q:localityC.@...00010f50:·6f71·3a6c·6f63·616c·6974·7943·e040·04a4··oq:localityC.@..
00010f60:·1805·0118·1301·0095·0117·e6a0·04cc·9040··...............@00010f60:·0118·0501·1813·0100·9501·17e6·a004·cc90··................
00010f70:·a0b0·95a0·2667·6c6f·6261·6c43·e040·04ac··....&globalC.@..00010f70:·40a0·b095·a026·676c·6f62·616c·43e0·4004··@....&globalC.@.
00010f80:·0118·1401·181c·0100·9501·17e6·a004·d490··................00010f80:·ac01·1814·0118·1c01·0095·0117·e6a0·04d4··................
00010f90:·4040·e040·04af·0117·fa01·181c·0100·9501··@@.@............00010f90:·9040·40e0·4004·af01·17fa·0118·1c01·0095··.@@.@...........
00010fa0:·17e6·a004·d790·40e0·4004·b201·17e6·0118··......@.@.......00010fa0:·0117·e6a0·04d7·9040·e040·04b2·0117·e601··.......@.@......
00010fb0:·1c01·0095·0117·e6d0·d0d0·4027·4068·6f6c··..........@'@hol00010fb0:·181c·0100·9501·17e6·d0d0·d040·2740·686f··...........@'@ho
00010fc0:·6573·21a0·b0c3·9140·0460·b095·a02a·484f··es!....@.`...*HO00010fc0:·6c65·7321·a0b0·c391·4004·60b0·95a0·2a48··les!....@.`...*H
00010fd0:·4153·3a68·6f6c·6573·43e0·4004·bf01·33ad··AS:holesC.@...3.00010fd0:·4f41·533a·686f·6c65·7343·e040·04bf·0133··OAS:holesC.@...3
00010fe0:·0133·b901·0143·0133·91a0·04e7·9040·a0b0··.3...C.3.....@..00010fe0:·ad01·33b9·0101·4301·3391·a004·e790·40a0··..3...C.3.....@.
00010ff0:·a191·4022·7474·e040·04c7·0133·ba01·33bc··..@"tt.@...3..3.00010ff0:·b0a1·9140·2274·74e0·4004·c701·33ba·0133··...@"tt.@...3..3
00011000:·0101·4301·3391·a004·ef90·4040·e040·04ca··..C.3.....@@.@..00011000:·bc01·0143·0133·91a0·04ef·9040·40e0·4004··...C.3.....@@.@.
00011010:·0133·a201·33bc·0101·4301·3391·a004·f290··.3..3...C.3.....00011010:·ca01·33a2·0133·bc01·0143·0133·91a0·04f2··..3..3...C.3....
00011020:·40e0·4004·cd01·3391·0133·bc01·0143·0133··@.@...3..3...C.300011020:·9040·e040·04cd·0133·9101·33bc·0101·4301··.@.@...3..3...C.
00011030:·91d0·4028·4069·6e6c·696e·6521·a0b0·b490··..@(@inline!....00011030:·3391·d040·2840·696e·6c69·6e65·21a0·b0b4··3..@(@inline!...
00011040:·a021·4e04·e540·b0c3·9140·047e·b095·a02a··.!N..@...@.~...*00011040:·90a0·214e·04e5·40b0·c391·4004·7eb0·95a0··..!N..@...@.~...
00011050:·636f·713a·696e·6c69·6e65·43e0·4004·dd01··coq:inlineC.@...00011050:·2a63·6f71·3a69·6e6c·696e·6543·e040·04dd··*coq:inlineC.@..
00011060:·51ac·0151·b801·01e7·0151·8da0·0501·0590··Q..Q.....Q......00011060:·0151·ac01·51b8·0101·e701·518d·a005·0105··.Q..Q.....Q.....
00011070:·40a0·b0a1·9140·3263·6f71·2e69·6e6c·696e··@....@2coq.inlin00011070:·9040·a0b0·a191·4032·636f·712e·696e·6c69··.@....@2coq.inli
00011080:·652e·6465·6661·756c·74e0·4004·e501·51b9··e.default.@...Q.00011080:·6e65·2e64·6566·6175·6c74·e040·04e5·0151··ne.default.@...Q
00011090:·0151·cb01·01e7·0151·8da0·0501·0d90·4040··.Q.....Q......@@00011090:·b901·51cb·0101·e701·518d·a005·010d·9040··..Q.....Q......@
000110a0:·e040·04e8·0151·a101·51cb·0101·e701·518d··.@...Q..Q.....Q.000110a0:·40e0·4004·e801·51a1·0151·cb01·01e7·0151··@.@...Q..Q.....Q
000110b0:·a005·0110·9040·e040·04eb·0151·9c01·51cb··.....@.@...Q..Q.000110b0:·8da0·0501·1090·40e0·4004·eb01·519c·0151··......@.@...Q..Q
000110c0:·0101·e701·518d·a005·0113·9040·e040·04ee··....Q......@.@..000110c0:·cb01·01e7·0151·8da0·0501·1390·40e0·4004··.....Q......@.@.
000110d0:·0151·8d01·51cb·0101·e701·518d·4041·422b··.Q..Q.....Q.@AB+000110d0:·ee01·518d·0151·cb01·01e7·0151·8d40·4142··..Q..Q.....Q.@AB
000110e0:·4069·6e6c·696e·652d·6174·21a0·b0b4·90a0··@inline-at!.....000110e0:·2b40·696e·6c69·6e65·2d61·7421·a0b0·b490··+@inline-at!....
000110f0:·0420·0501·0440·b0c3·9140·049d·b095·041f··.·...@...@......000110f0:·a004·2005·0104·40b0·c391·4004·9db0·9504··..·...@...@.....
00011100:·e040·04fa·0151·5c01·5168·0101·e601·513a··.@...Q\.Qh....Q:00011100:·1fe0·4004·fa01·515c·0151·6801·01e6·0151··..@...Q\.Qh....Q
00011110:·a005·0122·9040·a0b0·c391·402d·636f·712e··...".@....@-coq.00011110:·3aa0·0501·2290·40a0·b0c3·9140·2d63·6f71··:...".@....@-coq
00011120:·696e·6c69·6e65·2e61·74b0·a190·0501·1404··inline.at.......00011120:·2e69·6e6c·696e·652e·6174·b0a1·9005·0114··.inline.at......
00011130:·30e0·4005·0105·0151·7801·5179·0101·e601··0.@....Qx.Qy....00011130:·0430·e040·0501·0501·5178·0151·7901·01e6··.0.@....Qx.Qy...
00011140:·513a·a005·012d·9040·40e0·4005·0108·0151··Q:...-.@@.@....Q00011140:·0151·3aa0·0501·2d90·4040·e040·0501·0801··.Q:...-.@@.@....
00011150:·6a01·5179·0101·e601·513a·a005·0130·9040··j.Qy....Q:...0.@00011150:·516a·0151·7901·01e6·0151·3aa0·0501·3090··Qj.Qy....Q:...0.
00011160:·40e0·4005·010b·0151·5101·517a·0101·e601··@.@....QQ.Qz....00011160:·4040·e040·0501·0b01·5151·0151·7a01·01e6··@@.@....QQ.Qz...
00011170:·513a·a005·0133·9040·e040·0501·0e01·514c··Q:...3.@.@....QL00011170:·0151·3aa0·0501·3390·40e0·4005·010e·0151··.Q:...3.@.@....Q
00011180:·0151·7a01·01e6·0151·3aa0·0501·3690·40e0··.Qz....Q:...6.@.00011180:·4c01·517a·0101·e601·513a·a005·0136·9040··L.Qz....Q:...6.@
00011190:·4005·0111·0151·3a01·517a·0101·e601·513a··@....Q:.Qz....Q:00011190:·e040·0501·1101·513a·0151·7a01·01e6·0151··.@....Q:.Qz....Q
000111a0:·d040·2b40·6b65·6570·756e·6976·7321·a0b0··.@+@keepunivs!..000111a0:·3ad0·402b·406b·6565·7075·6e69·7673·21a0··:.@+@keepunivs!.
000111b0:·c391·4004·bdb0·9504·90e0·4005·011a·0150··..@.......@....P000111b0:·b0c3·9140·04bd·b095·0490·e040·0501·1a01··...@.......@....
Max diff block lines reached; 912052/1719071 bytes (53.05%) of diff not shown.
⊟
4.21 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify.vo
    
Offset 8, 49 lines modifiedOffset 8, 49 lines modified
00000070:·6567·61a0·2343·6f71·4090·30bb·46b6·4934··ega.#Coq@.0.F.I400000070:·6567·61a0·2343·6f71·4090·30bb·46b6·4934··ega.#Coq@.0.F.I4
00000080:·6f7b·e600·3343·f488·1175·03a0·a02e·7a69··o{..3C...u....zi00000080:·6f7b·e600·3343·f488·1175·03a0·a02e·7a69··o{..3C...u....zi
00000090:·6679·5f73·7372·6566·6c65·6374·a024·7a69··fy_ssreflect.$zi00000090:·6679·5f73·7372·6566·6c65·6374·a024·7a69··fy_ssreflect.$zi
000000a0:·6679·a028·6d61·7468·636f·6d70·4090·3026··fy.(mathcomp@.0&000000a0:·6679·a028·6d61·7468·636f·6d70·4090·3026··fy.(mathcomp@.0&
000000b0:·8282·5b87·435b·9504·9725·f42d·d429·7ea0··..[.C[...%.-.)~.000000b0:·8282·5b87·435b·9504·9725·f42d·d429·7ea0··..[.C[...%.-.)~.
000000c0:·a02c·7a69·6679·5f61·6c67·6562·7261·a024··.,zify_algebra.$000000c0:·a02c·7a69·6679·5f61·6c67·6562·7261·a024··.,zify_algebra.$
000000d0:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@.000000d0:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@.
000000e0:·3051·67f7·d402·7cb7·88f2·58fb·0c75·4315··0Qg...|...X..uC.000000e0:·304b·a461·113d·a280·8c26·f1fd·cdfb·3654··0K.a.=...&....6T
000000f0:·4725·352e·322e·30a0·4040·b1ce·21ab·f66d··G%5.2.0.@@..!..m000000f0:·7625·352e·322e·30a0·4040·5726·e827·bc2b··v%5.2.0.@@W&.'.+
00000100:·c33a·426d·ef60·8d1f·cd0e·8495·a6be·0000··.:Bm.`..........00000100:·f79d·8e9c·d3ff·1f0a·417c·8495·a6be·0000··........A|......
00000110:·013d·0000·005c·0000·011d·0000·0104·b0d0··.=...\..........00000110:·013d·0000·005c·0000·011d·0000·0104·b0d0··.=...\..........
00000120:·a024·7a69·6679·a004·02a0·286d·6174·6863··.$zify....(mathc00000120:·a024·7a69·6679·a004·02a0·286d·6174·6863··.$zify....(mathc
00000130:·6f6d·7040·e090·0407·4190·4040·a040·4090··omp@....A.@@.@@.00000130:·6f6d·7040·e090·0407·4190·4040·a040·4090··omp@....A.@@.@@.
00000140:·40a0·4040·90a0·a02c·7a69·6679·5f61·6c67··@.@@...,zify_alg00000140:·40a0·4040·90a0·a02c·7a69·6679·5f61·6c67··@.@@...,zify_alg
00000150:·6562·7261·a024·7a69·6679·a028·6d61·7468··ebra.$zify.(math00000150:·6562·7261·a024·7a69·6679·a028·6d61·7468··ebra.$zify.(math
00000160:·636f·6d70·4090·3051·67f7·d402·7cb7·88f2··comp@.0Qg...|... 
00000170:·58fb·0c75·4315·4790·40a0·a094·a0a0·4090··X..uC.G.@.....@.00000160:·636f·6d70·4090·304b·a461·113d·a280·8c26··comp@.0K.a.=...&
 00000170:·f1fd·cdfb·3654·7690·40a0·a094·a0a0·4090··....6Tv.@.....@.
00000180:·a023·4c69·61a0·296d·6963·726f·6d65·6761··.#Lia.)micromega00000180:·a023·4c69·61a0·296d·6963·726f·6d65·6761··.#Lia.)micromega
00000190:·a023·436f·7140·40a0·94a0·a040·9004·0b40··.#Coq@@....@...@00000190:·a023·436f·7140·40a0·94a0·a040·9004·0b40··.#Coq@@....@...@
000001a0:·a094·a0a0·40a2·a290·a02e·7a69·6679·5f73··....@.....zify_s000001a0:·a094·a0a0·40a2·a290·a02e·7a69·6679·5f73··....@.....zify_s
000001b0:·7372·6566·6c65·6374·a024·7a69·6679·a028··sreflect.$zify.(000001b0:·7372·6566·6c65·6374·a024·7a69·6679·a028··sreflect.$zify.(
000001c0:·6d61·7468·636f·6d70·4036·5373·7265·666c··mathcomp@6Ssrefl000001c0:·6d61·7468·636f·6d70·4036·5373·7265·666c··mathcomp@6Ssrefl
000001d0:·6563·745a·6966·7949·6e73·7461·6e63·6573··ectZifyInstances000001d0:·6563·745a·6966·7949·6e73·7461·6e63·6573··ectZifyInstances
000001e0:·2745·7870·6f72·7473·40a0·94a0·a040·040f··'Exports@....@..000001e0:·2745·7870·6f72·7473·40a0·94a0·a040·040f··'Exports@....@..
000001f0:·40a0·94a0·a040·a2a2·90a0·2c7a·6966·795f··@....@....,zify_000001f0:·40a0·94a0·a040·a2a2·90a0·2c7a·6966·795f··@....@....,zify_
00000200:·616c·6765·6272·61a0·247a·6966·79a0·286d··algebra.$zify.(m00000200:·616c·6765·6272·61a0·247a·6966·79a0·286d··algebra.$zify.(m
00000210:·6174·6863·6f6d·7040·3441·6c67·6562·7261··athcomp@4Algebra00000210:·6174·6863·6f6d·7040·3441·6c67·6562·7261··athcomp@4Algebra
00000220:·5a69·6679·496e·7374·616e·6365·7327·4578··ZifyInstances'Ex00000220:·5a69·6679·496e·7374·616e·6365·7327·4578··ZifyInstances'Ex
00000230:·706f·7274·7340·a094·a0a0·4004·0f40·4040··ports@....@..@@@00000230:·706f·7274·7340·a094·a0a0·4004·0f40·4040··ports@....@..@@@
00000240:·a0a0·94a0·a040·042c·40a0·94a0·a040·042b··.....@.,@....@.+00000240:·a0a0·94a0·a040·042c·40a0·94a0·a040·042b··.....@.,@....@.+
00000250:·40a0·94a0·a040·041c·4040·40ef·7577·4cd1··@....@..@@@.uwL.00000250:·40a0·94a0·a040·041c·4040·4049·4273·d0ec··@....@..@@@IBs..
00000260:·863c·0b34·e7a9·7456·d2ae·ba84·95a6·be00··.<.4..tV........00000260:·d7db·ff4f·b38c·f464·107f·ce84·95a6·be00··...O...d........
00000270:·0000·0100·0000·0000·0000·0000·0000·0080··................00000270:·0000·0100·0000·0000·0000·0000·0000·0080··................
00000280:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\."..00000280:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\."..
00000290:·8495·a6be·0000·0016·0000·0006·0000·0013··................00000290:·8495·a6be·0000·0016·0000·0006·0000·0013··................
000002a0:·0000·0011·a0a0·247a·6966·79a0·0402·a028··......$zify....(000002a0:·0000·0011·a0a0·247a·6966·79a0·0402·a028··......$zify....(
000002b0:·6d61·7468·636f·6d70·4080·61b3·3621·ede7··mathcomp@.a.6!..000002b0:·6d61·7468·636f·6d70·4080·61b3·3621·ede7··mathcomp@.a.6!..
000002c0:·a9ac·19e3·8912·d8f0·fac9·0000·0004·0000··................000002c0:·a9ac·19e3·8912·d8f0·fac9·0000·0004·0000··................
000002d0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library.......000002d0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library.......
000002e0:·0a00·0000·0000·0001·51ef·7577·4cd1·863c··........Q.uwL..< 
000002f0:·0b34·e7a9·7456·d2ae·ba00·0000·076f·7061··.4..tV.......opa000002e0:·0a00·0000·0000·0001·5149·4273·d0ec·d7db··........QIBs....
 000002f0:·ff4f·b38c·f464·107f·ce00·0000·076f·7061··.O...d.......opa
00000300:·7175·6573·0000·0000·0000·026b·0000·0000··ques.......k....00000300:·7175·6573·0000·0000·0000·026b·0000·0000··ques.......k....
00000310:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\00000310:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\
00000320:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary.00000320:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary.
00000330:·0000·0000·0000·1000·0000·0000·0000·eab1··................00000330:·0000·0000·0000·1000·0000·0000·0000·ea57··...............W
00000340:·ce21·abf6·6dc3·3a42·6def·608d·1fcd·0e00··.!..m.:Bm.`.....00000340:·26e8·27bc·2bf7·9d8e·9cd3·ff1f·0a41·7c00··&.'.+........A|.
00000350:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary....00000350:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary....
00000360:·0000·0290·0000·0000·0000·002a·61b3·3621··...........*a.6!00000360:·0000·0290·0000·0000·0000·002a·61b3·3621··...........*a.6!
00000370:·ede7·a9ac·19e3·8912·d8f0·fac9············............00000370:·ede7·a9ac·19e3·8912·d8f0·fac9············............
⊟
5.58 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo
    
Offset 79, 18 lines modifiedOffset 79, 18 lines modified
000004e0:·cda0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge000004e0:·cda0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge
000004f0:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0000004f0:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0
00000500:·9689·57b2·819c·3cf4·4d25·9ec6·39df·7c99··..W...<.M%..9.|.00000500:·9689·57b2·819c·3cf4·4d25·9ec6·39df·7c99··..W...<.M%..9.|.
00000510:·a0a0·2e7a·6966·795f·7373·7265·666c·6563··...zify_ssreflec00000510:·a0a0·2e7a·6966·795f·7373·7265·666c·6563··...zify_ssreflec
00000520:·74a0·247a·6966·79a0·286d·6174·6863·6f6d··t.$zify.(mathcom00000520:·74a0·247a·6966·79a0·286d·6174·6863·6f6d··t.$zify.(mathcom
00000530:·7040·9030·2682·825b·8743·5b95·0497·25f4··p@.0&..[.C[...%.00000530:·7040·9030·2682·825b·8743·5b95·0497·25f4··p@.0&..[.C[...%.
00000540:·2dd4·297e·a0a0·2473·7372·5aa0·247a·6966··-.)~..$ssrZ.$zif00000540:·2dd4·297e·a0a0·2473·7372·5aa0·247a·6966··-.)~..$ssrZ.$zif
00000550:·79a0·286d·6174·6863·6f6d·7040·9030·f713··y.(mathcomp@.0..00000550:·79a0·286d·6174·6863·6f6d·7040·9030·672e··y.(mathcomp@.0g.
00000560:·e49d·9b24·8678·a3c1·4c90·54a9·2630·2535··...$.x..L.T.&0%5 
00000570:·2e32·2e30·a040·40ef·7554·3541·dd79·06bd··.2.0.@@.uT5A.y..00000560:·5590·8482·c47e·e526·743f·6cc1·da7b·2535··U....~.&t?l..{%5
 00000570:·2e32·2e30·a040·40e3·8ea3·a968·188e·7398··.2.0.@@....h..s.
00000580:·edbe·82c9·24ec·2d84·95a6·be00·01b1·7000··....$.-.......p.00000580:·a180·68ad·4d2c·e184·95a6·be00·01b1·7000··..h.M,........p.
00000590:·0051·d400·0120·6700·0116·7fb0·d0a0·2c7a··.Q...·g.......,z00000590:·0051·d400·0120·6700·0116·7fb0·d0a0·2c7a··.Q...·g.......,z
000005a0:·6966·795f·616c·6765·6272·61a0·247a·6966··ify_algebra.$zif000005a0:·6966·795f·616c·6765·6272·61a0·247a·6966··ify_algebra.$zif
000005b0:·79a0·286d·6174·6863·6f6d·7040·e090·0408··y.(mathcomp@....000005b0:·79a0·286d·6174·6863·6f6d·7040·e090·0408··y.(mathcomp@....
000005c0:·4190·a0a0·3441·6c67·6562·7261·5a69·6679··A...4AlgebraZify000005c0:·4190·a0a0·3441·6c67·6562·7261·5a69·6679··A...4AlgebraZify
000005d0:·496e·7374·616e·6365·7393·e0a2·0408·0404··Instances.......000005d0:·496e·7374·616e·6365·7393·e0a2·0408·0404··Instances.......
000005e0:·4190·a0a0·246e·6174·6e90·0800·0027·0040··A...$natn....'.@000005e0:·4190·a0a0·246e·6174·6e90·0800·0027·0040··A...$natn....'.@
000005f0:·a080·8092·c040·4004·1840·b6a0·9021·6e40··.....@@..@...!n@000005f0:·a080·8092·c040·4004·1840·b6a0·9021·6e40··.....@@..@...!n@
Offset 5410, 16 lines modifiedOffset 5410, 16 lines modified
00015210:·190a·3c0e·544b·f090·b0a0·0516·a1a0·0516··..<.TK..........00015210:·190a·3c0e·544b·f090·b0a0·0516·a1a0·0516··..<.TK..........
00015220:·a0a0·0516·9f40·2002·0000·bcea·41a0·0300··.....@·.....A...00015220:·a0a0·0516·9f40·2002·0000·bcea·41a0·0300··.....@·.....A...
00015230:·190a·3c0d·df2f·2590·b004·0704·0402·0000··..<../%.........00015230:·190a·3c0d·df2f·2590·b004·0704·0402·0000··..<../%.........
00015240:·bc75·4042·b0a0·0300·190a·3c10·7fd4·8590··.u@B......<.....00015240:·bc75·4042·b0a0·0300·190a·3c10·7fd4·8590··.u@B......<.....
00015250:·b004·0b04·0802·0000·bf15·4104·5840·4344··..........A.X@CD00015250:·b004·0b04·0802·0000·bf15·4104·5840·4344··..........A.X@CD
00015260:·4546·47a0·a0a0·0501·dea0·0503·88a0·0503··EFG.............00015260:·4546·47a0·a0a0·0501·dea0·0503·88a0·0503··EFG.............
00015270:·8740·9030·9689·57b2·819c·3cf4·4d25·9ec6··.@.0..W...<.M%..00015270:·8740·9030·9689·57b2·819c·3cf4·4d25·9ec6··.@.0..W...<.M%..
00015280:·39df·7c99·a005·3429·9030·f713·e49d·9b24··9.|...4).0.....$00015280:·39df·7c99·a005·3429·9030·672e·5590·8482··9.|...4).0g.U...
00015290:·8678·a3c1·4c90·54a9·2630·9040·a0a0·94a0··.x..L.T.&0.@....00015290:·c47e·e526·743f·6cc1·da7b·9040·a0a0·94a0··.~.&t?l..{.@....
000152a0:·a040·90a0·234c·6961·a005·2d3e·a005·374a··.@..#Lia..->..7J000152a0:·a040·90a0·234c·6961·a005·2d3e·a005·374a··.@..#Lia..->..7J
000152b0:·4040·a094·a0a0·4090·0409·40a0·a005·376d··@@....@...@...7m000152b0:·4040·a094·a0a0·4090·0409·40a0·a005·376d··@@....@...@...7m
000152c0:·a040·90a0·a005·372f·a040·9040·40a0·94a0··.@....7/.@.@@...000152c0:·a040·90a0·a005·372f·a040·9040·40a0·94a0··.@....7/.@.@@...
000152d0:·a040·a2a2·9005·050a·0505·0427·4578·706f··.@.........'Expo000152d0:·a040·a2a2·9005·050a·0505·0427·4578·706f··.@.........'Expo
000152e0:·7274·7340·a094·a0a0·4004·0840·a094·a0a0··rts@....@..@....000152e0:·7274·7340·a094·a0a0·4004·0840·a094·a0a0··rts@....@..@....
000152f0:·40a2·a205·3789·0537·8505·3743·40a0·94a0··@...7..7..7C@...000152f0:·40a2·a205·3789·0537·8505·3743·40a0·94a0··@...7..7..7C@...
00015300:·a040·0406·4040·40a0·a094·a0a0·4004·2440··.@..@@@.....@.$@00015300:·a040·0406·4040·40a0·a094·a0a0·4004·2440··.@..@@@.....@.$@
Offset 7018, 16 lines modifiedOffset 7018, 16 lines modified
0001b690:·03a8·a080·80a0·95a0·021a·c203·3b9a·a005··............;...0001b690:·03a8·a080·80a0·95a0·021a·c203·3b9a·a005··............;...
0001b6a0:·0376·a080·80a0·95a0·021a·c203·3b9a·a005··.v..........;...0001b6a0:·0376·a080·80a0·95a0·021a·c203·3b9a·a005··.v..........;...
0001b6b0:·0320·a080·80a0·95a0·021a·c203·3b9a·a005··.·..........;...0001b6b0:·0320·a080·80a0·95a0·021a·c203·3b9a·a005··.·..........;...
0001b6c0:·02ee·a080·80a0·95a0·021a·c203·3b9a·a005··............;...0001b6c0:·02ee·a080·80a0·95a0·021a·c203·3b9a·a005··............;...
0001b6d0:·02bc·a080·80a0·95a0·021a·c203·3b9a·a005··............;...0001b6d0:·02bc·a080·80a0·95a0·021a·c203·3b9a·a005··............;...
0001b6e0:·0266·a080·80a0·95a0·021a·c203·3b9a·a005··.f..........;...0001b6e0:·0266·a080·80a0·95a0·021a·c203·3b9a·a005··.f..........;...
0001b6f0:·0234·a080·8040·40a0·94a0·a040·051a·4c40··.4...@@....@..L@0001b6f0:·0234·a080·8040·40a0·94a0·a040·051a·4c40··.4...@@....@..L@
0001b700:·a094·a0a0·4005·1a44·4040·4051·67f7·d402··....@..D@@@Qg...0001b700:·a094·a0a0·4005·1a44·4040·404b·a461·113d··....@..D@@@K.a.=
0001b710:·7cb7·88f2·58fb·0c75·4315·4784·95a6·be00··|...X..uC.G.....0001b710:·a280·8c26·f1fd·cdfb·3654·7684·95a6·be00··...&....6Tv.....
0001b720:·00af·a600·0020·7600·0072·1200·0071·2e08··.....·v..r...q..0001b720:·00af·a600·0020·7600·0072·1200·0071·2e08··.....·v..r...q..
0001b730:·0000·2b00·90a0·b7a0·9021·6e40·9ba0·a090··..+......!n@....0001b730:·0000·2b00·90a0·b7a0·9021·6e40·9ba0·a090··..+......!n@....
0001b740:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I0001b740:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I
0001b750:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat...0001b750:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat...
0001b760:·1606·40a0·8080·a9b7·a090·285f·6576·6172··..@.......(_evar0001b760:·1606·40a0·8080·a9b7·a090·285f·6576·6172··..@.......(_evar
0001b770:·5f30·5f40·a9b7·0418·0415·a99b·a0a0·90b0··_0_@............0001b770:·5f30·5f40·a9b7·0418·0415·a99b·a0a0·90b0··_0_@............
0001b780:·90a0·254c·6f67·6963·0416·2265·7102·10d0··..%Logic.."eq...0001b780:·90a0·254c·6f67·6963·0416·2265·7102·10d0··..%Logic.."eq...
Offset 16664, 17 lines modifiedOffset 16664, 17 lines modified
00041170:·100c·0800·0037·0094·0503·3f93·0502·a694··.....7....?.....00041170:·100c·0800·0037·0094·0503·3f93·0502·a694··.....7....?.....
00041180:·0502·ff94·aa05·0292·0502·9298·b005·0318··................00041180:·0502·ff94·aa05·0292·0502·9298·b005·0318··................
00041190:·4142·98b0·0503·1a41·6a94·0502·fc94·0502··AB.....Aj.......00041190:·4142·98b0·0503·1a41·6a94·0502·fc94·0502··AB.....Aj.......
000411a0:·f794·0502·f298·b005·031f·416d·9405·02e8··..........Am....000411a0:·f794·0502·f298·b005·031f·416d·9405·02e8··..........Am....
000411b0:·9405·02e3·9405·02de·3ac0·eb90·b590·2e93··........:.......000411b0:·9405·02e3·9405·02de·3ac0·eb90·b590·2e93··........:.......
000411c0:·3519·f67f·b1c9·b08e·0000·0004·0000·0007··5...............000411c0:·3519·f67f·b1c9·b08e·0000·0004·0000·0007··5...............
000411d0:·6c69·6272·6172·7900·0000·0000·0005·8700··library.........000411d0:·6c69·6272·6172·7900·0000·0000·0005·8700··library.........
000411e0:·0000·0000·01b1·8451·67f7·d402·7cb7·88f2··.......Qg...|... 
000411f0:·58fb·0c75·4315·4700·0000·076f·7061·7175··X..uC.G....opaqu000411e0:·0000·0000·01b1·844b·a461·113d·a280·8c26··.......K.a.=...&
 000411f0:·f1fd·cdfb·3654·7600·0000·076f·7061·7175··....6Tv....opaqu
00041200:·6573·0000·0000·0001·b71b·0000·0000·0000··es..............00041200:·6573·0000·0000·0001·b71b·0000·0000·0000··es..............
00041210:·afba·1f3e·dfc5·fcce·7b20·8c82·6919·209f··...>....{·..i.·.00041210:·afba·1f3e·dfc5·fcce·7b20·8c82·6919·209f··...>....{·..i.·.
00041220:·a3c8·0000·0007·7375·6d6d·6172·7900·0000··......summary...00041220:·a3c8·0000·0007·7375·6d6d·6172·7900·0000··......summary...
00041230:·0000·0000·1000·0000·0000·0005·67ef·7554··............g.uT00041230:·0000·0000·1000·0000·0000·0005·67e3·8ea3··............g...
00041240:·3541·dd79·06bd·edbe·82c9·24ec·2d00·0000··5A.y......$.-...00041240:·a968·188e·7398·a180·68ad·4d2c·e100·0000··.h..s...h.M,....
00041250:·0976·6d6c·6962·7261·7279·0000·0000·0002··.vmlibrary......00041250:·0976·6d6c·6962·7261·7279·0000·0000·0002··.vmlibrary......
00041260:·66e5·0000·0000·0001·aad3·3ac0·eb90·b590··f.........:.....00041260:·66e5·0000·0000·0001·aad3·3ac0·eb90·b590··f.........:.....
00041270:·2e93·3519·f67f·b1c9·b08e·················..5.......00041270:·2e93·3519·f67f·b1c9·b08e·················..5.......
⊟
128 B
./var/lib/coq/md5sums/libcoq-mathcomp-zify.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 g3gr01 edaj6
Generated by diffoscope 284