| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·6430ccba230380183e1059df6cd940e7·272632·ocaml·optional·libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-12-05·16:01:11.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-05·16:01:11.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····118 | 2 | -rw-r--r--···0········0········0·····1180·2024-12-05·16:01:11.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···2712 | 3 | -rw-r--r--···0········0········0···271260·2024-12-05·16:01:11.000000·data.tar.xz |
| Offset 2, 15 lines modified | Offset 2, 15 lines modified | ||
| 2 | Source:·mathcomp-zify | 2 | Source:·mathcomp-zify |
| 3 | Version:·1.5.0+2.0+8.16-4 | 3 | Version:·1.5.0+2.0+8.16-4 |
| 4 | Architecture:·amd64 | 4 | 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:·976 | 6 | Installed-Size:·976 |
| 7 | Depends:·libcoq-mathcomp-algebra-fvoy4 | 7 | Depends:·libcoq-mathcomp-algebra-fvoy4 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-zify- | 9 | Provides:·libcoq-mathcomp-zify-mb480 |
| 10 | Section:·ocaml | 10 | Section:·ocaml |
| 11 | Priority:·optional | 11 | Priority:·optional |
| 12 | Homepage:·https://github.com/math-comp/mczify | 12 | Homepage:·https://github.com/math-comp/mczify |
| 13 | Description:·Micromega·arithmetic·solvers·for·Mathematical·Components | 13 | Description:·Micromega·arithmetic·solvers·for·Mathematical·Components |
| 14 | ·This·package·enables·the·use·of·the·micromega·arithmetic·solvers | 14 | ·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. |
| Offset 6, 15 lines modified | Offset 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.glob | 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.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.v | 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.v |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···2682 | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···268200·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.glob | 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.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.v | 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.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.vo | 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.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.glob | 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.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.v | 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.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.vo | 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.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.glob | 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.glob |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·1 | 00000000:·436f·7121·0001·4050·0000·0000·0004·16f6··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.$zif | 00000020:·0000·02ae·c0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif | ||
| 00000030:·79a0·286d·6174·6863·6f6d·7040·0800·0067··y.(mathcomp@...g | 00000030:·79a0·286d·6174·6863·6f6d·7040·0800·0067··y.(mathcomp@...g | ||
| 00000040:·00a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini | 00000040:·00a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini | ||
| 00000050:·74a0·2343·6f71·4090·30c7·f596·7402·9579··t.#Coq@.0...t..y | 00000050:·74a0·2343·6f71·4090·30c7·f596·7402·9579··t.#Coq@.0...t..y | ||
| 00000060:·0e84·d517·cbca·0ace·efa0·a026·5a41·7269··...........&ZAri | 00000060:·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 modified | Offset 73, 15 lines modified | ||
| 00000480:·6c67·6562·7261·a028·6d61·7468·636f·6d70··lgebra.(mathcomp | 00000480:·6c67·6562·7261·a028·6d61·7468·636f·6d70··lgebra.(mathcomp | ||
| 00000490:·4090·3026·1d48·9598·e209·bf4d·131f·1459··@.0&.H.....M...Y | 00000490:·4090·3026·1d48·9598·e209·bf4d·131f·1459··@.0&.H.....M...Y | ||
| 000004a0:·993c·bda0·a02e·7a69·6679·5f73·7372·6566··.<....zify_ssref | 000004a0:·993c·bda0·a02e·7a69·6679·5f73·7372·6566··.<....zify_ssref | ||
| 000004b0:·6c65·6374·a024·7a69·6679·a028·6d61·7468··lect.$zify.(math | 000004b0:·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·92 | 000004f0:·8495·a6be·0003·9234·0000·d2e0·0002·c791··.......4........ | ||
| 00000500:·0002·b418·b0d0·a024·7373·725a·a024·7a69··.......$ssrZ.$zi | 00000500:·0002·b418·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..@......@.@AA | 00000560:·1237·97de·4004·13fd·d004·0d40·b040·4141··.7..@......@.@AA | ||
| Offset 4280, 16 lines modified | Offset 4280, 16 lines modified | ||
| 00010b70:·4040·4040·a040·4040·a0c0·e090·326d·6174··@@@@.@@@....2mat | 00010b70:·4040·4040·a040·4040·a0c0·e090·326d·6174··@@@@.@@@....2mat | ||
| 00010b80:·6863·6f6d·702e·7a69·6679·2e73·7372·5a31··hcomp.zify.ssrZ1 | 00010b80:·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..`.@@@A | 00010ba0:·7601·0460·0104·b26a·0104·60c0·4040·4041··v..`...j..`.@@@A | ||
| 00010bb0:·b0c3·9140·2f6c·6f63·616c·2d63·616e·6f6e··...@/local-canon | 00010bb0:·b0c3·9140·2f6c·6f63·616c·2d63·616e·6f6e··...@/local-canon | ||
| 00010bc0:·6963·616c·b095·a091·0431·5804·0da0·2254··ical.....1X..."T | 00010bc0:·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·293 | 00010be0:·14a0·0407·9090·9040·4040·4040·2938·3231··.......@@@@@)821 | ||
| 00010bf0:·3 | 00010bf0:·3434·3338·3437·e0d0·d0d0·d040·2540·6361··443847.....@%@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 modified | Offset 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@.@..y | 00023470:·0517·05a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y | ||
| 00023480:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE | 00023480:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE | ||
| 00023490:·4647·4849·4b4c·0546·140c·0000·0000·00 | 00023490:·4647·4849·4b4c·0546·140c·0000·0000·0000··FGHIKL.F........ | ||
| 000234a0:·e | 000234a0:·ed3e·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...i | 00023500:·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, 17 lines modified | Offset 9047, 17 lines modified | ||
| 00023560:·885a·a0a0·9104·0f05·697e·40a0·95a0·0234··.Z......i~@....4 | 00023560:·885a·a0a0·9104·0f05·697e·40a0·95a0·0234··.Z......i~@....4 | ||
| 00023570:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | 00023570:·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..@@@@@.F | 00023590:·bfd8·e1d0·0546·6bd0·e040·4040·4040·0546··.....Fk..@@@@@.F | ||
| 000235a0:·6a40·a0c0·0546·6905·4665·b0c3·9140·0546··j@...Fi.Fe...@.F | 000235a0:·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·3 | 000235d0:·4040·4040·4029·3135·3330·3233·3833·30e0··@@@@@)153023830. | ||
| 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·00 | 000235f0:·467d·0c00·0000·0000·00e3·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). | ||
| 00023650:·9105·69a6·4040·a095·a002·0b7b·4f44·a040··..i.@@.....{OD.@ | 00023650:·9105·69a6·4040·a095·a002·0b7b·4f44·a040··..i.@@.....{OD.@ | ||
| 00023660:·a0a0·0569·2ea0·9105·6957·4040·a095·a002··...i....iW@@.... | 00023660:·a0a0·0569·2ea0·9105·6957·4040·a095·a002··...i....iW@@.... | ||
| Offset 9070, 7695 lines modified | Offset 9070, 7694 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.."hb | 000236e0:·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... | ||
| 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·293 | 00023740:·4040·4040·2937·3831·3534·3039·3637·e005··@@@@)781540967.. | ||
| 00023750:·46d1·0541·7305·3ff0·0517·b705·1728·0546··F..As.?......(.F | 00023750:·46d1·0541·7305·3ff0·0517·b705·1728·0546··F..As.?......(.F | ||
| 00023760:·ee0c·0000·0000·0000· | 00023760:·ee0c·0000·0000·0000·e53e·4041·40a0·95a0··.........>@A@... | ||
| 00023770:·0234·7dc1·ffa0·275f·454c·5049·5f34·c0a0··.4}...'_ELPI_4.. | 00023770:·0234·7dc1·ffa0·275f·454c·5049·5f34·c0a0··.4}...'_ELPI_4.. | ||
| 00023780:·2268·62a0·2264·6240·a0a0·b005·672b·2134··"hb."db@....g+!4 | 00023780:·2268·62a0·2264·6240·a0a0·b005·672b·2134··"hb."db@....g+!4 | ||
| 00023790:·0221·bfd8·e3d0·0547·01d0·e040·4040·4040··.!.....G...@@@@@ | 00023790:·0221·bfd8·e3d0·0547·01d0·e040·4040·4040··.!.....G...@@@@@ | ||
| 000237a0:·0547·0040·a0c0·0546·ff05·46fb·b0c3·9140··.G.@...F..F....@ | 000237a0:·0547·0040·a0c0·0546·ff05·46fb·b0c3·9140··.G.@...F..F....@ | ||
| 000237b0:·052a·13b0·95a0·0547·0243·0547·05a0·0546··.*.....G.C.G...F | 000237b0:·052a·13b0·95a0·0547·0243·0547·05a0·0546··.*.....G.C.G...F | ||
| 000237c0:·f890·9090·052a·15a0·b095·a009·2f44·6174··.....*....../Dat | 000237c0:·f890·9090·052a·15a0·b095·a009·2f44·6174··.....*....../Dat | ||
| 000237d0:·6174·7970·6573·5f6e·6174·5f5f·6361·6e6f··atypes_nat__cano | 000237d0:·6174·7970·6573·5f6e·6174·5f5f·6361·6e6f··atypes_nat__cano | ||
| 000237e0:·6e69·6361·6c5f·5f43·6f75·6e74·5269·6e67··nical__CountRing | 000237e0:·6e69·6361·6c5f·5f43·6f75·6e74·5269·6e67··nical__CountRing | ||
| 000237f0:·5f43·6f6d·5365·6d69·5269·6e67·4305·470e··_ComSemiRingC.G. | 000237f0:·5f43·6f6d·5365·6d69·5269·6e67·4305·470e··_ComSemiRingC.G. | ||
| 00023800:·a005·4701·9090·9005·2a1c·a0b0·9504·3605··..G.....*.....6. | 00023800:·a005·4701·9090·9005·2a1c·a0b0·9504·3605··..G.....*.....6. | Diff chunk too large, falling back to line-by-line diff (494 lines added, 494 lines removed) | |
| 00023810:·4715·a005·4708·9090·9005·2a21·4005·4719··G...G.....*!@.G. | 00023810:·4715·a005·4708·9090·9005·2a21·4005·4719··G...G.....*!@.G. | ||
| 00023820:·a005·470c·9090·9040·4040·4040·2 | 00023820:·a005·470c·9090·9040·4040·4040·2a31·3034··..G....@@@@@*104 | ||
| 00023830:·3 | 00023830:·3238·3139·3536·30e0·0547·0505·41a7·0540··2819560..G..A..@ | ||
| 00023840:·0517 | 00023840:·2405·17eb·0517·5c05·4722·0c00·0000·0000··$.....\.G"...... | ||
| 00023850:·e | 00023850:·00e3·3ea0·a0b0·0567·5521·3502·21bf·d8e4··..>....gU!5.!... | ||
| 00023860:·0547 | 00023860:·d005·472b·d0e0·4040·4040·4005·472a·40a0··..G+..@@@@@.G*@. | ||
| 00023870:·0547 | 00023870:·c005·4729·0547·25b0·c391·4005·2a3d·b095··..G).G%...@.*=.. | ||
| 00023880:·2a05 | 00023880:·042a·0547·2ea0·0547·2190·9090·052a·3ea0··.*.G...G!....*>. | ||
| 00023890:·95a0 | 00023890:·b095·a009·2c44·6174·6174·7970·6573·5f6e··....,Datatypes_n | ||
| 000238a0:·745f | 000238a0:·6174·5f5f·6361·6e6f·6e69·6361·6c5f·5f43··at__canonical__C | ||
| 000238b0:·756e | 000238b0:·6f75·6e74·5269·6e67·5f53·656d·6952·696e··ountRing_SemiRin | ||
| 000238c0:·4305 | 000238c0:·6743·0547·37a0·0547·2a90·9090·052a·45a0··gC.G7..G*....*E. | ||
| 000238d0:·9504 | 000238d0:·b095·04d0·0547·3ea0·0547·3190·9090·052a··.....G>..G1....* | ||
| 000238e0:·4005 | 000238e0:·4a40·0547·42a0·0547·3590·9090·4040·4040··J@.GB..G5...@@@@ | ||
| 000238f0:·2 | 000238f0:·402a·3130·3432·3831·3935·3630·e005·472e··@*1042819560..G. | ||
| 00023900:·d005·404d·0518·1405·1785·0547·4b0c· | 00023900:·0541·d005·404d·0518·1405·1785·0547·4b0c··.A..@M.......GK. | ||
| 00023910:·0000·0000·c | 00023910:·0000·0000·0000·c83e·a0a0·b005·677e·2136··.......>....g~!6 | ||
| 00023920:·bfd8·e5d0·0547·54d0·e040·4040·4040· | 00023920:·0221·bfd8·e5d0·0547·54d0·e040·4040·4040··.!.....GT..@@@@@ | ||
| 00023930:·5340·a0c0·0547·5205·474e·b0c3·9140· | 00023930:·0547·5340·a0c0·0547·5205·474e·b0c3·9140··.GS@...GR.GN...@ | ||
| 00023940:·66b0·9504·5305·4757·a005·474a·9090· | 00023940:·052a·66b0·9504·5305·4757·a005·474a·9090··.*f...S.GW..GJ.. | ||
| 00023950:·2a67·a0b0·95a0·092b·4461·7461·7479· | 00023950:·9005·2a67·a0b0·95a0·092b·4461·7461·7479··..*g.....+Dataty | ||
| 00023960:·735f·6e61·745f·5f63·616e·6f6e·6963· | 00023960:·7065·735f·6e61·745f·5f63·616e·6f6e·6963··pes_nat__canonic | ||
| 00023970:·5f5f·436f·756e·7452·696e·675f·4e6d· | 00023970:·616c·5f5f·436f·756e·7452·696e·675f·4e6d··al__CountRing_Nm | ||
| 00023980:·756c·6543·0547·60a0·0547·5390·9090· | 00023980:·6f64·756c·6543·0547·60a0·0547·5390·9090··oduleC.G`..GS... | ||
| 00023990:·6ea0·b095·0547·5c05·4767·a005·475a· | 00023990:·052a·6ea0·b095·0547·5c05·4767·a005·475a··.*n....G\.Gg..GZ | ||
| 000239a0:·9005·2a73·4005·476b·a005·475e·9090· | 000239a0:·9090·9005·2a73·4005·476b·a005·475e·9090··....*s@.Gk..G^.. | ||
| 000239b0:· | 000239b0:·9040·4040·4040·2a31·3034·3238·3139·3536··.@@@@@*104281956 | ||
| 000239c0:· | 000239c0:·30e0·0547·5705·41f9·0540·7605·183d·0517··0..GW.A..@v..=.. | ||
| 000239d0:· | 000239d0:·ae05·4774·0c00·0000·0000·00c0·3ea0·a0b0··..Gt........>... | ||
| Max diff block lines reached; 990209/1065693 bytes (92.92%) of diff not shown. | |||
| Offset 8, 49 lines modified | Offset 8, 49 lines modified | ||
| 00000070:·6567·61a0·2343·6f71·4090·30bb·46b6·4934··ega.#Coq@.0.F.I4 | 00000070:·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....zi | 00000080:·6f7b·e600·3343·f488·1175·03a0·a02e·7a69··o{..3C...u....zi | ||
| 00000090:·6679·5f73·7372·6566·6c65·6374·a024·7a69··fy_ssreflect.$zi | 00000090:·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:·30 | 000000e0:·309a·8101·ba6c·dcc8·859c·7f1e·8411·99e8··0....l.......... | ||
| 000000f0:· | 000000f0:·5025·352e·322e·30a0·4040·8bc4·105a·f19e··P%5.2.0.@@...Z.. | ||
| 00000100:· | 00000100:·f060·5010·7fe6·019c·922f·8495·a6be·0000··.`P....../...... | ||
| 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....(mathc | 00000120:·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_alg | 00000140:·40a0·4040·90a0·a02c·7a69·6679·5f61·6c67··@.@@...,zify_alg | ||
| 00000150:·6562·7261·a024·7a69·6679·a028·6d61·7468··ebra.$zify.(math | 00000150:·6562·7261·a024·7a69·6679·a028·6d61·7468··ebra.$zify.(math | ||
| 00000160:·636f·6d70·4090·30cb·551d·750e·fc5e·49f1··comp@.0.U.u..^I. | |||
| 000001 | 00000160:·636f·6d70·4090·309a·8101·ba6c·dcc8·859c··comp@.0....l.... | ||
| 00000170:·7f1e·8411·99e8·5090·40a0·a094·a0a0·4090··......P.@.....@. | |||
| 00000180:·a023·4c69·61a0·296d·6963·726f·6d65·6761··.#Lia.)micromega | 00000180:·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_s | 000001a0:·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@6Ssrefl | 000001c0:·6d61·7468·636f·6d70·4036·5373·7265·666c··mathcomp@6Ssrefl | ||
| 000001d0:·6563·745a·6966·7949·6e73·7461·6e63·6573··ectZifyInstances | 000001d0:·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.(m | 00000200:·616c·6765·6272·61a0·247a·6966·79a0·286d··algebra.$zify.(m | ||
| 00000210:·6174·6863·6f6d·7040·3441·6c67·6562·7261··athcomp@4Algebra | 00000210:·6174·6863·6f6d·7040·3441·6c67·6562·7261··athcomp@4Algebra | ||
| 00000220:·5a69·6679·496e·7374·616e·6365·7327·4578··ZifyInstances'Ex | 00000220:·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·40d | 00000250:·40a0·94a0·a040·041c·4040·40da·13d7·3379··@....@..@@@...3y | ||
| 00000260:· | 00000260:·b916·9bd4·161b·f123·e3d1·3b84·95a6·be00··.......#..;..... | ||
| 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·51d | 000002e0:·0a00·0000·0000·0001·51da·13d7·3379·b916··........Q...3y.. | ||
| 000002f0:· | 000002f0:·9bd4·161b·f123·e3d1·3b00·0000·076f·7061··.....#..;....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·ea | 00000330:·0000·0000·0000·1000·0000·0000·0000·ea8b··................ | ||
| 00000340:· | 00000340:·c410·5af1·9ef0·6050·107f·e601·9c92·2f00··..Z...`P....../. | ||
| 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············............ |
| Offset 79, 18 lines modified | Offset 79, 18 lines modified | ||
| 000004e0:·cda0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge | 000004e0:·cda0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge | ||
| 000004f0:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0 | 000004f0:·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_ssreflec | 00000510:·a0a0·2e7a·6966·795f·7373·7265·666c·6563··...zify_ssreflec | ||
| 00000520:·74a0·247a·6966·79a0·286d·6174·6863·6f6d··t.$zify.(mathcom | 00000520:·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.$zif | 00000540:·2dd4·297e·a0a0·2473·7372·5aa0·247a·6966··-.)~..$ssrZ.$zif | ||
| 00000550:·79a0·286d·6174·6863·6f6d·7040·9030· | 00000550:·79a0·286d·6174·6863·6f6d·7040·9030·f4f4··y.(mathcomp@.0.. | ||
| 00000560:·c4b7·683d·43c2·7243·3a6e·5be0·5fc8·2535··..h=C.rC:n[._.%5 | |||
| 00000570:·2e32·2e30·a040·40fe·bd56·3426·e8d9·5e63··.2.0.@@..V4&..^c | |||
| 000005 | 00000560:·5a7b·d550·006c·7219·aa6b·4435·d78c·2535··Z{.P.lr..kD5..%5 | ||
| 00000570:·2e32·2e30·a040·4034·d121·1922·a858·9b8a··.2.0.@@4.!.".X.. | |||
| 00000580:·bc19·5141·710f·9784·95a6·be00·01b1·7000··..QAq.........p. | |||
| 00000590:·0051·d400·0120·6700·0116·7fb0·d0a0·2c7a··.Q...·g.......,z | 00000590:·0051·d400·0120·6700·0116·7fb0·d0a0·2c7a··.Q...·g.......,z | ||
| 000005a0:·6966·795f·616c·6765·6272·61a0·247a·6966··ify_algebra.$zif | 000005a0:·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...4AlgebraZify | 000005c0:·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 modified | Offset 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@CD | 00015250:·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· | 00015280:·39df·7c99·a005·3429·9030·f4f4·5a7b·d550··9.|...4).0..Z{.P | ||
| 00015290:· | 00015290:·006c·7219·aa6b·4435·d78c·9040·a0a0·94a0··.lr..kD5...@.... | ||
| 000152a0:·a040·90a0·234c·6961·a005·2d3e·a005·374a··.@..#Lia..->..7J | 000152a0:·a040·90a0·234c·6961·a005·2d3e·a005·374a··.@..#Lia..->..7J | ||
| 000152b0:·4040·a094·a0a0·4090·0409·40a0·a005·376d··@@....@...@...7m | 000152b0:·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··.@.........'Expo | 000152d0:·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 modified | Offset 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·40 | 0001b700:·a094·a0a0·4005·1a44·4040·409a·8101·ba6c··....@..D@@@....l | ||
| 0001b710:· | 0001b710:·dcc8·859c·7f1e·8411·99e8·5084·95a6·be00··..........P..... | ||
| 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.$I | 0001b740:·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··..@.......(_evar | 0001b760:·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 modified | Offset 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·84cb·551d·750e·fc5e·49f1··........U.u..^I. | |||
| 000411 | 000411e0:·0000·0000·01b1·849a·8101·ba6c·dcc8·859c··...........l.... | ||
| 000411f0:·7f1e·8411·99e8·5000·0000·076f·7061·7175··......P....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·67 | 00041230:·0000·0000·1000·0000·0000·0005·6734·d121··............g4.! | ||
| 00041240:· | 00041240:·1922·a858·9b8a·bc19·5141·710f·9700·0000··.".X....QAq..... | ||
| 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....... |
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | mb480 | |