1.0 MB
/srv/reproducible-results/rbuild-debian/r-b-build.shMFSB17/b1/mathcomp-zify_1.5.0+2.0+8.16-4_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.shMFSB17/b2/mathcomp-zify_1.5.0+2.0+8.16-4_arm64.changes
238 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·36d7898d9691a00071c5c34065edeeed·272500·ocaml·optional·libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64.deb1 ·b67380d33fd977ee8c0c53d4ec1b22f3·272596·ocaml·optional·libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64.deb
1.0 MB
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64.deb
367 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·····1180·2024-12-05·16:01:11.000000·control.tar.xz
3 -rw-r--r--···0········0········0···271128·2024-12-05·16:01:11.000000·data.tar.xz3 -rw-r--r--···0········0········0···271224·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:·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:·9766 Installed-Size:·976
7 Depends:·libcoq-mathcomp-algebra-7pf507 Depends:·libcoq-mathcomp-algebra-7pf50
8 Suggests:·ocaml-findlib8 Suggests:·ocaml-findlib
9 Provides:·libcoq-mathcomp-zify-ukpf09 Provides:·libcoq-mathcomp-zify-iza15
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.0 MB
data.tar.xz
1.0 MB
data.tar
2.54 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/aarch64-linux-gnu/ocaml/5.3.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/
10 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.v
13 -rw-r--r--···0·root·········(0)·root·········(0)···268218·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.vo13 -rw-r--r--···0·root·········(0)·root·········(0)···268203·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob
1010 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.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·1708··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0004·16f9··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·30d7·81b7·d17d·1c12··t.#Coq@.0....}..00000050:·74a0·2343·6f71·4090·30d7·81b7·d17d·1c12··t.#Coq@.0....}..
00000060:·1541·cd2f·630b·4087·b2a0·a026·5a41·7269··.A./c.@....&ZAri00000060:·1541·cd2f·630b·4087·b2a0·a026·5a41·7269··.A./c.@....&ZAri
00000070:·7468·a004·02a0·2343·6f71·4090·307f·dee3··th....#Coq@.0...00000070:·7468·a004·02a0·2343·6f71·4090·307f·dee3··th....#Coq@.0...
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·3050·2792·ab01·8155·e406·89c1·29e0··@.0P'....U....).00000490:·4090·3050·2792·ab01·8155·e406·89c1·29e0··@.0P'....U....).
000004a0:·6b31·33a0·a02e·7a69·6679·5f73·7372·6566··k13...zify_ssref000004a0:·6b31·33a0·a02e·7a69·6679·5f73·7372·6566··k13...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·30a5·7b87·28d6·c867·fae4··comp@.0.{.(..g..000004c0:·636f·6d70·4090·30a5·7b87·28d6·c867·fae4··comp@.0.{.(..g..
000004d0:·3270·917f·9de7·9625·352e·332e·30a0·4040··2p.....%5.3.0.@@000004d0:·3270·917f·9de7·9625·352e·332e·30a0·4040··2p.....%5.3.0.@@
000004e0:·c67c·e294·c27e·53a3·d85a·5557·552f·3bd4··.|...~S..ZUWU/;.000004e0:·c67c·e294·c27e·53a3·d85a·5557·552f·3bd4··.|...~S..ZUWU/;.
000004f0:·8495·a6be·0003·9246·0000·d2e0·0002·c78e··.......F........000004f0:·8495·a6be·0003·9237·0000·d2e0·0002·c78e··.......7........
00000500:·0002·b415·b0d0·a024·7373·725a·a024·7a69··.......$ssrZ.$zi00000500:·0002·b415·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, 16 lines modifiedOffset 4280, 16 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
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·3730··.......@@@@@)27000010be0:·14a0·0407·9090·9040·4040·4040·2933·3632··.......@@@@@)362
00010bf0:·3638·3630·3331·e0d0·d0d0·d040·2540·6361··686031.....@%@ca00010bf0:·3836·3635·3132·e0d0·d0d0·d040·2540·6361··866512.....@%@ca
00010c00:·7374·a0b0·b490·a021·5422·6c70·40b0·b490··st.....!T"lp@...00010c00:·7374·a0b0·b490·a021·5422·6c70·40b0·b490··st.....!T"lp@...
00010c10:·a022·5459·0406·40b0·c391·4023·6c65·74b0··."TY..@...@#let.00010c10:·a022·5459·0406·40b0·c391·4023·6c65·74b0··."TY..@...@#let.
00010c20:·95a0·9024·6361·7374·53e0·4030·636f·712d··...$castS.@0coq-00010c20:·95a0·9024·6361·7374·53e0·4030·636f·712d··...$castS.@0coq-
00010c30:·6275·696c·7469·6e2e·656c·7069·0124·e801··builtin.elpi.$..00010c30:·6275·696c·7469·6e2e·656c·7069·0124·e801··builtin.elpi.$..
00010c40:·24ee·0100·e101·24cf·a004·2990·40a0·b0a1··$.....$...).@...00010c40:·24ee·0100·e101·24cf·a004·2990·40a0·b0a1··$.....$...).@...
00010c50:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$..00010c50:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$..
00010c60:·00e1·0124·cfa0·0430·9040·a0b0·a190·041e··...$...0.@......00010c60:·00e1·0124·cfa0·0430·9040·a0b0·a190·041e··...$...0.@......
Offset 9027, 16 lines modifiedOffset 9027, 16 lines modified
00023420:·0545·c101·0558·0105·6267·0105·58d0·4005··.E...X..bg..X.@.00023420:·0545·c101·0558·0105·6267·0105·58d0·4005··.E...X..bg..X.@.
00023430:·1708·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@00023430:·1708·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@
00023440:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L....00023440:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L....
00023450:·4005·1707·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@.00023450:·4005·1707·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@.
00023460:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@00023460:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@
00023470:·0517·05a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y00023470:·0517·05a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y
00023480:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE00023480:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE
00023490:·4647·4849·4b4c·0546·140c·0000·0000·0080··FGHIKL.F........00023490:·4647·4849·4b4c·0546·140c·0000·0000·0000··FGHIKL.F........
000234a0:·ed3e·4041·40a0·95a0·020b·7b4f·44a0·40a0··.>@A@.....{OD.@.000234a0:·e93e·4041·40a0·95a0·020b·7b4f·44a0·40a0··.>@A@.....{OD.@.
000234b0:·a005·68f5·a091·056c·ee40·40a0·95a0·020b··..h....l.@@.....000234b0:·a005·68f5·a091·056c·ee40·40a0·95a0·020b··..h....l.@@.....
000234c0:·7b4f·44a0·40a0·a005·690e·a091·0569·6640··{OD.@...i....if@000234c0:·7b4f·44a0·40a0·a005·690e·a091·0569·6640··{OD.@...i....if@
000234d0:·40a0·95a0·020b·7b4f·44a0·40a0·a005·691c··@.....{OD.@...i.000234d0:·40a0·95a0·020b·7b4f·44a0·40a0·a005·691c··@.....{OD.@...i.
000234e0:·a091·0569·9e40·40a0·95a0·020b·7b4f·44a0··...i.@@.....{OD.000234e0:·a091·0569·9e40·40a0·95a0·020b·7b4f·44a0··...i.@@.....{OD.
000234f0:·40a0·a005·6918·a091·0569·3d40·40a0·95a0··@...i....i=@@...000234f0:·40a0·a005·6918·a091·0569·3d40·40a0·95a0··@...i....i=@@...
00023500:·020b·7b4f·44a0·40a0·a005·6931·a091·0569··..{OD.@...i1...i00023500:·020b·7b4f·44a0·40a0·a005·6931·a091·0569··..{OD.@...i1...i
00023510:·b540·40a0·95a0·0232·0a51·8fa0·0569·6eb0··.@@....2.Q...in.00023510:·b540·40a0·95a0·0232·0a51·8fa0·0569·6eb0··.@@....2.Q...in.
Offset 9047, 15 lines modifiedOffset 9047, 15 lines modified
00023560:·885a·a0a0·9104·0f05·697e·40a0·95a0·0234··.Z......i~@....400023560:·885a·a0a0·9104·0f05·697e·40a0·95a0·0234··.Z......i~@....4
00023570:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h00023570:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h
00023580:·62a0·2264·6240·a0a0·b005·6695·2132·0221··b."db@....f.!2.!00023580:·62a0·2264·6240·a0a0·b005·6695·2132·0221··b."db@....f.!2.!
00023590:·bfd8·e1d0·0546·6bd0·e040·4040·4040·0546··.....Fk..@@@@@.F00023590:·bfd8·e1d0·0546·6bd0·e040·4040·4040·0546··.....Fk..@@@@@.F
000235a0:·6a40·a0c0·0546·6905·4665·b0c3·9140·0546··j@...Fi.Fe...@.F000235a0:·6a40·a0c0·0546·6905·4665·b0c3·9140·0546··j@...Fi.Fe...@.F
000235b0:·64b0·95a0·9104·2958·0546·70a0·0546·6390··d.....)X.Fp..Fc.000235b0:·64b0·95a0·9104·2958·0546·70a0·0546·6390··d.....)X.Fp..Fc.
000235c0:·9090·0546·6240·0546·74a0·0546·6790·9090··...Fb@.Ft..Fg...000235c0:·9090·0546·6240·0546·74a0·0546·6790·9090··...Fb@.Ft..Fg...
000235d0:·4040·4040·4029·3637·3638·3437·3632·35e0··@@@@@)676847625.000235d0:·4040·4040·4029·3730·3931·3431·3539·39e0··@@@@@)709141599.
000235e0:·0546·6005·4102·053f·7f05·1746·0516·b705··.F`.A..?...F....000235e0:·0546·6005·4102·053f·7f05·1746·0516·b705··.F`.A..?...F....
000235f0:·467d·0c00·0000·0000·00e9·3e40·4140·a095··F}........>@A@..000235f0:·467d·0c00·0000·0000·00e9·3e40·4140·a095··F}........>@A@..
00023600:·a002·0b7b·4f44·a040·a0a0·0569·03a0·9105··...{OD.@...i....00023600:·a002·0b7b·4f44·a040·a0a0·0569·03a0·9105··...{OD.@...i....
00023610:·6d57·4040·a095·a002·0b7b·4f44·a040·a0a0··mW@@.....{OD.@..00023610:·6d57·4040·a095·a002·0b7b·4f44·a040·a0a0··mW@@.....{OD.@..
00023620:·0569·1fa0·9105·69cf·4040·a095·a002·0b7b··.i....i.@@.....{00023620:·0569·1fa0·9105·69cf·4040·a095·a002·0b7b··.i....i.@@.....{
00023630:·4f44·a040·a0a0·0569·2da0·9105·6a07·4040··OD.@...i-...j.@@00023630:·4f44·a040·a0a0·0569·2da0·9105·6a07·4040··OD.@...i-...j.@@
00023640:·a095·a002·0b7b·4f44·a040·a0a0·0569·29a0··.....{OD.@...i).00023640:·a095·a002·0b7b·4f44·a040·a0a0·0569·29a0··.....{OD.@...i).
Offset 9070, 772 lines modifiedOffset 9070, 772 lines modified
000236d0:·5aa0·a091·040f·0569·9840·a095·a002·347d··Z......i.@....4}000236d0:·5aa0·a091·040f·0569·9840·a095·a002·347d··Z......i.@....4}
000236e0:·c1ff·a027·5f45·4c50·495f·33c0·a022·6862··...'_ELPI_3.."hb000236e0:·c1ff·a027·5f45·4c50·495f·33c0·a022·6862··...'_ELPI_3.."hb
000236f0:·a022·6462·40a0·a0b0·0567·0621·3302·21bf··."db@....g.!3.!.000236f0:·a022·6462·40a0·a0b0·0567·0621·3302·21bf··."db@....g.!3.!.
00023700:·d8e2·d005·46dc·d0e0·4040·4040·4005·46db··....F...@@@@@.F.00023700:·d8e2·d005·46dc·d0e0·4040·4040·4005·46db··....F...@@@@@.F.
00023710:·40a0·c005·46da·0546·d6b0·c391·4005·46d5··@...F..F....@.F.00023710:·40a0·c005·46da·0546·d6b0·c391·4005·46d5··@...F..F....@.F.
00023720:·b095·a091·0429·5805·46e1·a005·46d4·9090··.....)X.F...F...00023720:·b095·a091·0429·5805·46e1·a005·46d4·9090··.....)X.F...F...
Diff chunk too large, falling back to line-by-line diff (758 lines added, 758 lines removed)
00023730:·9005·46d3·4005·46e5·a005·46d8·9090·9040··..F.@.F...F....@00023730:·9005·46d3·4005·46e5·a005·46d8·9090·9040··..F.@.F...F....@
00023740:·4040·4040·2931·3134·3030·3134·3739·e005··@@@@)114001479..00023740:·4040·4040·2834·3430·3936·3637·39e0·0546··@@@@(44096679..F
00023750:·46d1·0541·7305·3ff0·0517·b705·1728·0546··F..As.?......(.F00023750:·d105·4173·053f·f005·17b7·0517·2805·46ee··..As.?......(.F.
00023760:·ee0c·0000·0000·0000·e73e·4041·40a0·95a0··.........>@A@...00023760:·0c00·0000·0000·00e9·3e40·4140·a095·a002··........>@A@....
00023770:·0234·7dc1·ffa0·275f·454c·5049·5f34·c0a0··.4}...'_ELPI_4..00023770:·347d·c1ff·a027·5f45·4c50·495f·34c0·a022··4}...'_ELPI_4.."
00023780:·2268·62a0·2264·6240·a0a0·b005·672b·2134··"hb."db@....g+!400023780:·6862·a022·6462·40a0·a0b0·0567·2b21·3402··hb."db@....g+!4.
00023790:·0221·bfd8·e3d0·0547·01d0·e040·4040·4040··.!.....G...@@@@@00023790:·21bf·d8e3·d005·4701·d0e0·4040·4040·4005··!.....G...@@@@@.
000237a0:·0547·0040·a0c0·0546·ff05·46fb·b0c3·9140··.G.@...F..F....@000237a0:·4700·40a0·c005·46ff·0546·fbb0·c391·4005··G.@...F..F....@.
000237b0:·052a·13b0·95a0·0547·0243·0547·05a0·0546··.*.....G.C.G...F000237b0:·2a13·b095·a005·4702·4305·4705·a005·46f8··*.....G.C.G...F.
000237c0:·f890·9090·052a·15a0·b095·a009·2f44·6174··.....*....../Dat000237c0:·9090·9005·2a15·a0b0·95a0·092f·4461·7461··....*....../Data
000237d0:·6174·7970·6573·5f6e·6174·5f5f·6361·6e6f··atypes_nat__cano000237d0:·7479·7065·735f·6e61·745f·5f63·616e·6f6e··types_nat__canon
000237e0:·6e69·6361·6c5f·5f43·6f75·6e74·5269·6e67··nical__CountRing000237e0:·6963·616c·5f5f·436f·756e·7452·696e·675f··ical__CountRing_
000237f0:·5f43·6f6d·5365·6d69·5269·6e67·4305·470e··_ComSemiRingC.G.000237f0:·436f·6d53·656d·6952·696e·6743·0547·0ea0··ComSemiRingC.G..
00023800:·a005·4701·9090·9005·2a1c·a0b0·9504·3605··..G.....*.....6.00023800:·0547·0190·9090·052a·1ca0·b095·0436·0547··.G.....*.....6.G
00023810:·4715·a005·4708·9090·9005·2a21·4005·4719··G...G.....*!@.G.00023810:·15a0·0547·0890·9090·052a·2140·0547·19a0··...G.....*!@.G..
00023820:·a005·470c·9090·9040·4040·4040·2932·3335··..G....@@@@@)23500023820:·0547·0c90·9090·4040·4040·4029·3333·3937··.G....@@@@@)3397
00023830:·3831·3538·3036·e005·4705·0541·a705·4024··815806..G..A..@$00023830:·3235·3631·35e0·0547·0505·41a7·0540·2405··25615..G..A..@$.
00023840:·0517·eb05·175c·0547·220c·0000·0000·0000··.....\.G".......00023840:·17eb·0517·5c05·4722·0c00·0000·0000·c0f1··....\.G"........
00023850:·f23e·a0a0·b005·6755·2135·0221·bfd8·e4d0··.>....gU!5.!....00023850:·3ea0·a0b0·0567·5521·3502·21bf·d8e4·d005··>....gU!5.!.....
00023860:·0547·2bd0·e040·4040·4040·0547·2a40·a0c0··.G+..@@@@@.G*@..00023860:·472b·d0e0·4040·4040·4005·472a·40a0·c005··G+..@@@@@.G*@...
00023870:·0547·2905·4725·b0c3·9140·052a·3db0·9504··.G).G%...@.*=...00023870:·4729·0547·25b0·c391·4005·2a3d·b095·042a··G).G%...@.*=...*
00023880:·2a05·472e·a005·4721·9090·9005·2a3e·a0b0··*.G...G!....*>..00023880:·0547·2ea0·0547·2190·9090·052a·3ea0·b095··.G...G!....*>...
00023890:·95a0·092c·4461·7461·7479·7065·735f·6e61··...,Datatypes_na00023890:·a009·2c44·6174·6174·7970·6573·5f6e·6174··..,Datatypes_nat
000238a0:·745f·5f63·616e·6f6e·6963·616c·5f5f·436f··t__canonical__Co000238a0:·5f5f·6361·6e6f·6e69·6361·6c5f·5f43·6f75··__canonical__Cou
000238b0:·756e·7452·696e·675f·5365·6d69·5269·6e67··untRing_SemiRing000238b0:·6e74·5269·6e67·5f53·656d·6952·696e·6743··ntRing_SemiRingC
000238c0:·4305·4737·a005·472a·9090·9005·2a45·a0b0··C.G7..G*....*E..000238c0:·0547·37a0·0547·2a90·9090·052a·45a0·b095··.G7..G*....*E...
000238d0:·9504·d005·473e·a005·4731·9090·9005·2a4a··....G>..G1....*J000238d0:·04d0·0547·3ea0·0547·3190·9090·052a·4a40··...G>..G1....*J@
000238e0:·4005·4742·a005·4735·9090·9040·4040·4040··@.GB..G5...@@@@@000238e0:·0547·42a0·0547·3590·9090·4040·4040·4029··.GB..G5...@@@@@)
000238f0:·2932·3335·3831·3538·3036·e005·472e·0541··)235815806..G..A000238f0:·3333·3937·3235·3631·35e0·0547·2e05·41d0··339725615..G..A.
00023900:·d005·404d·0518·1405·1785·0547·4b0c·0000··..@M.......GK...00023900:·0540·4d05·1814·0517·8505·474b·0c00·0000··.@M.......GK....
00023910:·0000·0000·ca3e·a0a0·b005·677e·2136·0221··.....>....g~!6.!00023910:·0000·00ca·3ea0·a0b0·0567·7e21·3602·21bf··....>....g~!6.!.
00023920:·bfd8·e5d0·0547·54d0·e040·4040·4040·0547··.....GT..@@@@@.G00023920:·d8e5·d005·4754·d0e0·4040·4040·4005·4753··....GT..@@@@@.GS
00023930:·5340·a0c0·0547·5205·474e·b0c3·9140·052a··S@...GR.GN...@.*00023930:·40a0·c005·4752·0547·4eb0·c391·4005·2a66··@...GR.GN...@.*f
00023940:·66b0·9504·5305·4757·a005·474a·9090·9005··f...S.GW..GJ....00023940:·b095·0453·0547·57a0·0547·4a90·9090·052a··...S.GW..GJ....*
00023950:·2a67·a0b0·95a0·092b·4461·7461·7479·7065··*g.....+Datatype00023950:·67a0·b095·a009·2b44·6174·6174·7970·6573··g.....+Datatypes
00023960:·735f·6e61·745f·5f63·616e·6f6e·6963·616c··s_nat__canonical00023960:·5f6e·6174·5f5f·6361·6e6f·6e69·6361·6c5f··_nat__canonical_
00023970:·5f5f·436f·756e·7452·696e·675f·4e6d·6f64··__CountRing_Nmod00023970:·5f43·6f75·6e74·5269·6e67·5f4e·6d6f·6475··_CountRing_Nmodu
00023980:·756c·6543·0547·60a0·0547·5390·9090·052a··uleC.G`..GS....*00023980:·6c65·4305·4760·a005·4753·9090·9005·2a6e··leC.G`..GS....*n
00023990:·6ea0·b095·0547·5c05·4767·a005·475a·9090··n....G\.Gg..GZ..00023990:·a0b0·9505·475c·0547·67a0·0547·5a90·9090··....G\.Gg..GZ...
000239a0:·9005·2a73·4005·476b·a005·475e·9090·9040··..*s@.Gk..G^...@000239a0:·052a·7340·0547·6ba0·0547·5e90·9090·4040··.*s@.Gk..G^...@@
000239b0:·4040·4040·2932·3335·3831·3538·3036·e005··@@@@)235815806..000239b0:·4040·4029·3333·3937·3235·3631·35e0·0547··@@@)339725615..G
000239c0:·4757·0541·f905·4076·0518·3d05·17ae·0547··GW.A..@v..=....G000239c0:·5705·41f9·0540·7605·183d·0517·ae05·4774··W.A..@v..=....Gt
000239d0:·740c·0000·0000·0000·ca3e·a0a0·b005·67a7··t........>....g.000239d0:·0c00·0000·0000·00ca·3ea0·a0b0·0567·a721··........>....g.!
000239e0:·2137·0221·bfd8·e6d0·0547·7dd0·e040·4040··!7.!.....G}..@@@000239e0:·3702·21bf·d8e6·d005·477d·d0e0·4040·4040··7.!.....G}..@@@@
000239f0:·4040·0547·7c40·a0c0·0547·7b05·4777·b0c3··@@.G|@...G{.Gw..000239f0:·4005·477c·40a0·c005·477b·0547·77b0·c391··@.G|@...G{.Gw...
Max diff block lines reached; 926614/1037217 bytes (89.34%) of diff not shown.
4.21 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.vo
    
Offset 8, 49 lines modifiedOffset 8, 49 lines modified
00000070:·6567·61a0·2343·6f71·4090·307c·6658·83eb··ega.#Coq@.0|fX..00000070:·6567·61a0·2343·6f71·4090·307c·6658·83eb··ega.#Coq@.0|fX..
00000080:·4e7d·03cb·41cf·867d·b8b4·28a0·a02e·7a69··N}..A..}..(...zi00000080:·4e7d·03cb·41cf·867d·b8b4·28a0·a02e·7a69··N}..A..}..(...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·30a5··fy.(mathcomp@.0.000000a0:·6679·a028·6d61·7468·636f·6d70·4090·30a5··fy.(mathcomp@.0.
000000b0:·7b87·28d6·c867·fae4·3270·917f·9de7·96a0··{.(..g..2p......000000b0:·7b87·28d6·c867·fae4·3270·917f·9de7·96a0··{.(..g..2p......
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:·3069·02d6·a12f·f924·8b9e·0eb8·ae8f·4315··0i.../.$......C.000000e0:·3044·7b85·fa97·1184·65be·8880·5b6f·d998··0D{.....e...[o..
000000f0:·4525·352e·332e·30a0·4040·9751·d358·0527··E%5.3.0.@@.Q.X.'000000f0:·7f25·352e·332e·30a0·4040·1421·c9d8·6ca6··.%5.3.0.@@.!..l.
00000100:·d593·d4dd·ef09·1be4·92f4·8495·a6be·0000··................00000100:·91b7·b72d·6f6b·e25a·055e·8495·a6be·0000··...-ok.Z.^......
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·3069·02d6·a12f·f924·8b9e··comp@.0i.../.$..00000160:·636f·6d70·4090·3044·7b85·fa97·1184·65be··comp@.0D{.....e.
00000170:·0eb8·ae8f·4315·4590·40a0·a094·a0a0·4090··....C.E.@.....@.00000170:·8880·5b6f·d998·7f90·40a0·a094·a0a0·4090··..[o....@.....@.
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·4022·1edb·e035··@....@..@@@"...500000250:·40a0·94a0·a040·041c·4040·408a·2c2b·9133··@....@..@@@.,+.3
00000260:·3265·2506·6c1b·3541·62ea·7a84·95a6·be00··2e%.l.5Ab.z.....00000260:·ce59·d845·f407·d700·23be·5a84·95a6·be00··.Y.E....#.Z.....
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·5122·1edb·e035·3265··........Q"...52e000002e0:·0a00·0000·0000·0001·518a·2c2b·9133·ce59··........Q.,+.3.Y
000002f0:·2506·6c1b·3541·62ea·7a00·0000·076f·7061··%.l.5Ab.z....opa000002f0:·d845·f407·d700·23be·5a00·0000·076f·7061··.E....#.Z....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·ea97··................00000330:·0000·0000·0000·1000·0000·0000·0000·ea14··................
00000340:·51d3·5805·27d5·93d4·ddef·091b·e492·f400··Q.X.'...........00000340:·21c9·d86c·a691·b7b7·2d6f·6be2·5a05·5e00··!..l....-ok.Z.^.
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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo
    
Offset 79, 18 lines modifiedOffset 79, 18 lines modified
000004e0:·96a0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge000004e0:·96a0·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:·07dc·ddcf·679c·112a·66df·9908·74f5·c59d··....g..*f...t...00000500:·07dc·ddcf·679c·112a·66df·9908·74f5·c59d··....g..*f...t...
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·a57b·8728·d6c8·67fa·e432·7091··p@.0.{.(..g..2p.00000530:·7040·9030·a57b·8728·d6c8·67fa·e432·7091··p@.0.{.(..g..2p.
00000540:·7f9d·e796·a0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif00000540:·7f9d·e796·a0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif
00000550:·79a0·286d·6174·6863·6f6d·7040·9030·ad26··y.(mathcomp@.0.&00000550:·79a0·286d·6174·6863·6f6d·7040·9030·0916··y.(mathcomp@.0..
00000560:·26fc·3a8a·cf94·15d4·a5dd·20c6·eb3d·2535··&.:.......·..=%5 
00000570:·2e33·2e30·a040·40ca·778e·27c9·d15f·077c··.3.0.@@.w.'.._.| 
00000580:·217a·0157·b2f5·c884·95a6·be00·01b1·7000··!z.W..........p.00000560:·0360·d4dd·d637·8888·edf6·fa5f·a2fe·2535··.`...7....._..%5
 00000570:·2e33·2e30·a040·40c5·f090·342c·a0a3·0e93··.3.0.@@...4,....
 00000580:·5966·f8ab·b44a·5184·95a6·be00·01b1·7000··Yf...JQ.......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·07dc·ddcf·679c·112a·66df·9908··.@.0....g..*f...00015270:·8740·9030·07dc·ddcf·679c·112a·66df·9908··.@.0....g..*f...
00015280:·74f5·c59d·a005·3429·9030·ad26·26fc·3a8a··t.....4).0.&&.:.00015280:·74f5·c59d·a005·3429·9030·0916·0360·d4dd··t.....4).0...`..
00015290:·cf94·15d4·a5dd·20c6·eb3d·9040·a0a0·94a0··......·..=.@....00015290:·d637·8888·edf6·fa5f·a2fe·9040·a0a0·94a0··.7....._...@....
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·4069·02d6·a12f··....@..D@@@i.../0001b700:·a094·a0a0·4005·1a44·4040·4044·7b85·fa97··....@..D@@@D{...
0001b710:·f924·8b9e·0eb8·ae8f·4315·4584·95a6·be00··.$......C.E.....0001b710:·1184·65be·8880·5b6f·d998·7f84·95a6·be00··..e...[o........
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·8469·02d6·a12f·f924·8b9e··.......i.../.$..000411e0:·0000·0000·01b1·8444·7b85·fa97·1184·65be··.......D{.....e.
000411f0:·0eb8·ae8f·4315·4500·0000·076f·7061·7175··....C.E....opaqu000411f0:·8880·5b6f·d998·7f00·0000·076f·7061·7175··..[o.......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·67ca·778e··............g.w.00041230:·0000·0000·1000·0000·0000·0005·67c5·f090··............g...
00041240:·27c9·d15f·077c·217a·0157·b2f5·c800·0000··'.._.|!z.W......00041240:·342c·a0a3·0e93·5966·f8ab·b44a·5100·0000··4,....Yf...JQ...
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 ukpf01 iza15