| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | ·a | 1 | ·a476653bb4829bf25ea1de385583baa5·738052·ocaml·optional·libcoq-mathcomp-algebra-tactics_1.2.3-4_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-08-03·12:35:30.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-08-03·12:35:30.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1 | 2 | -rw-r--r--···0········0········0·····1396·2024-08-03·12:35:30.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···73 | 3 | -rw-r--r--···0········0········0···736464·2024-08-03·12:35:30.000000·data.tar.xz |
| Offset 2, 15 lines modified | Offset 2, 15 lines modified | ||
| 2 | Source:·mathcomp-algebra-tactics | 2 | Source:·mathcomp-algebra-tactics |
| 3 | Version:·1.2.3-4 | 3 | Version:·1.2.3-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:·3292 | 6 | Installed-Size:·3292 |
| 7 | Depends:·libcoq-elpi-k4e63,·libcoq-mathcomp-algebra-fvoy4,·libcoq-mathcomp-ssreflect-vk1c9,·libcoq-mathcomp-zify-q7dv4 | 7 | Depends:·libcoq-elpi-k4e63,·libcoq-mathcomp-algebra-fvoy4,·libcoq-mathcomp-ssreflect-vk1c9,·libcoq-mathcomp-zify-q7dv4 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-algebra-tactics- | 9 | Provides:·libcoq-mathcomp-algebra-tactics-7w108 |
| 10 | Section:·ocaml | 10 | Section:·ocaml |
| 11 | Priority:·optional | 11 | Priority:·optional |
| 12 | Homepage:·https://github.com/math-comp/algebra-tactics | 12 | Homepage:·https://github.com/math-comp/algebra-tactics |
| 13 | Description:·Ring·and·field·tactics·for·Mathematical·Components | 13 | Description:·Ring·and·field·tactics·for·Mathematical·Components |
| 14 | ·This·package·provides·the·'ring'·and·'field'·tactics·for | 14 | ·This·package·provides·the·'ring'·and·'field'·tactics·for |
| 15 | ·the·Mathematical·Components·library,·that·work·for·any·instance | 15 | ·the·Mathematical·Components·library,·that·work·for·any·instance |
| 16 | ·of·'comRingType'·and·'fieldType'·through·canonical·structure·inference. | 16 | ·of·'comRingType'·and·'fieldType'·through·canonical·structure·inference. |
| Offset 12, 15 lines modified | Offset 12, 15 lines modified | ||
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)····60828·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/common.v | 12 | -rw-r--r--···0·root·········(0)·root·········(0)····60828·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/common.v |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···509607·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/common.vo | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···509607·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/common.vo |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)···128695·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/lra.glob | 14 | -rw-r--r--···0·root·········(0)·root·········(0)···128695·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/lra.glob |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)····15757·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/lra.v | 15 | -rw-r--r--···0·root·········(0)·root·········(0)····15757·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/lra.v |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)··1108864·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/lra.vo | 16 | -rw-r--r--···0·root·········(0)·root·········(0)··1108864·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/lra.vo |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)···116139·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/ring.glob | 17 | -rw-r--r--···0·root·········(0)·root·········(0)···116139·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/ring.glob |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)····18845·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/ring.v | 18 | -rw-r--r--···0·root·········(0)·root·········(0)····18845·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/ring.v |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)···9383 | 19 | -rw-r--r--···0·root·········(0)·root·········(0)···938332·2024-08-03·12:35:30.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/algebra_tactics/ring.vo |
| 20 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/ | 20 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/ |
| 21 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/doc/ | 21 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/doc/ |
| 22 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/ | 22 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/ |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····3545·2024-01-18·13:31:04.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/README.md.gz | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····3545·2024-01-18·13:31:04.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/README.md.gz |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)······734·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/changelog.Debian.gz | 24 | -rw-r--r--···0·root·········(0)·root·········(0)······734·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/changelog.Debian.gz |
| 25 | -rw-r--r--···0·root·········(0)·root·········(0)····22286·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/copyright | 25 | -rw-r--r--···0·root·········(0)·root·········(0)····22286·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/copyright |
| 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ | 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-03·12:35:30.000000·./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ |
| Offset 6317, 16 lines modified | Offset 6317, 16 lines modified | ||
| 00018ac0:·40d0·d040·04c3·a0a0·9004·2604·5440·4041··@..@......&.T@@A | 00018ac0:·40d0·d040·04c3·a0a0·9004·2604·5440·4041··@..@......&.T@@A | ||
| 00018ad0:·04c0·a0a0·9004·2904·5340·d040·04bd·a0a0··......).S@.@.... | 00018ad0:·04c0·a0a0·9004·2904·5340·d040·04bd·a0a0··......).S@.@.... | ||
| 00018ae0:·9004·2d04·5240·4041·4244·4504·baa0·a090··..-.R@@ABDE..... | 00018ae0:·9004·2d04·5240·4041·4244·4504·baa0·a090··..-.R@@ABDE..... | ||
| 00018af0:·0430·0451·40d0·d040·04b6·a0a0·9004·3504··.0.Q@..@......5. | 00018af0:·0430·0451·40d0·d040·04b6·a0a0·9004·3504··.0.Q@..@......5. | ||
| 00018b00:·4f40·d040·04b4·a0a0·9004·3904·4f40·4041··O@.@......9.O@@A | 00018b00:·4f40·d040·04b4·a0a0·9004·3904·4f40·4041··O@.@......9.O@@A | ||
| 00018b10:·4204·b1a0·a090·043c·044e·40d0·d040·04af··B......<.N@..@.. | 00018b10:·4204·b1a0·a090·043c·044e·40d0·d040·04af··B......<.N@..@.. | ||
| 00018b20:·a0a0·9004·4104·4e40·4041·04ab·a0a0·9004··....A.N@@A...... | 00018b20:·a0a0·9004·4104·4e40·4041·04ab·a0a0·9004··....A.N@@A...... | ||
| 00018b30:·4404·4c40·4042·4346·4040·4029·3 | 00018b30:·4404·4c40·4042·4346·4040·4029·3733·3635··D.L@@BCF@@@)7365 | ||
| 00018b40:·3 | 00018b40:·3135·3432·33e0·d0d0·d0d0·4025·4063·6173··15423.....@%@cas | ||
| 00018b50:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@.... | 00018b50:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@.... | ||
| 00018b60:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let.. | 00018b60:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let.. | ||
| 00018b70:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b | 00018b70:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b | ||
| 00018b80:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$ | 00018b80:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$ | ||
| 00018b90:·ee01·00e1·0124·cfa0·2254·7990·40a0·b0a1··.....$.."Ty.@... | 00018b90:·ee01·00e1·0124·cfa0·2254·7990·40a0·b0a1··.....$.."Ty.@... | ||
| 00018ba0:·9004·1804·13e0·4004·0901·24ef·0124·f101··......@...$..$.. | 00018ba0:·9004·1804·13e0·4004·0901·24ef·0124·f101··......@...$..$.. | ||
| 00018bb0:·00e1·0124·cfa0·0408·9040·a0b0·a190·041f··...$.....@...... | 00018bb0:·00e1·0124·cfa0·0408·9040·a0b0·a190·041f··...$.....@...... | ||
| Offset 10897, 15 lines modified | Offset 10897, 15 lines modified | ||
| 0002a900:·0105·58d0·4005·15ef·a0a0·9040·a090·40a0··..X.@......@..@. | 0002a900:·0105·58d0·4005·15ef·a0a0·9040·a090·40a0··..X.@......@..@. | ||
| 0002a910:·9041·a090·4140·e040·0515·8901·01ac·0101··.A..A@.@........ | 0002a910:·9041·a090·4140·e040·0515·8901·01ac·0101··.A..A@.@........ | ||
| 0002a920:·d54c·0101·acd0·4005·15ee·a0a0·9040·a090··.L....@......@.. | 0002a920:·d54c·0101·acd0·4005·15ee·a0a0·9040·a090··.L....@......@.. | ||
| 0002a930:·41a0·9041·40e0·4005·1592·0101·d701·0203··A..A@.@......... | 0002a930:·41a0·9041·40e0·4005·1592·0101·d701·0203··A..A@.@......... | ||
| 0002a940:·4d01·01d7·d040·0515·eca0·a090·40a0·9041··M....@......@..A | 0002a940:·4d01·01d7·d040·0515·eca0·a090·40a0·9041··M....@......@..A | ||
| 0002a950:·40e0·4005·1599·0102·2a01·0242·4f01·022a··@.@.....*..BO..* | 0002a950:·40e0·4005·1599·0102·2a01·0242·4f01·022a··@.@.....*..BO..* | ||
| 0002a960:·4041·4243·4445·4647·4849·4b4c·0543·bd0c··@ABCDEFGHIKL.C.. | 0002a960:·4041·4243·4445·4647·4849·4b4c·0543·bd0c··@ABCDEFGHIKL.C.. | ||
| 0002a970:·0000·0000·00 | 0002a970:·0000·0000·00c0·f13e·a040·40a0·95a0·0234··.......>.@@....4 | ||
| 0002a980:·7dc1·ffa0·275f·454c·5049·5f31·c005·44b0··}...'_ELPI_1..D. | 0002a980:·7dc1·ffa0·275f·454c·5049·5f31·c005·44b0··}...'_ELPI_1..D. | ||
| 0002a990:·a091·e040·d040·053e·0305·3e02·d040·053e··...@.@.>..>..@.> | 0002a990:·a091·e040·d040·053e·0305·3e02·d040·053e··...@.@.>..>..@.> | ||
| 0002a9a0:·0005·3dff·d040·053d·fd05·3dfc·4041·4243··..=..@.=..=.@ABC | 0002a9a0:·0005·3dff·d040·053d·fd05·3dfc·4041·4243··..=..@.=..=.@ABC | ||
| 0002a9b0:·d0d0·d0d0·d0d0·4005·3be9·053b·e840·4105··......@.;..;.@A. | 0002a9b0:·d0d0·d0d0·d0d0·4005·3be9·053b·e840·4105··......@.;..;.@A. | ||
| 0002a9c0:·3bbe·053b·bdd0·4005·3b89·053b·8840·4142··;..;..@.;..;.@AB | 0002a9c0:·3bbe·053b·bdd0·4005·3b89·053b·8840·4142··;..;..@.;..;.@AB | ||
| 0002a9d0:·053b·8005·3b7f·d005·3b7c·053b·7605·3b75··.;..;...;|.;v.;u | 0002a9d0:·053b·8005·3b7f·d005·3b7c·053b·7605·3b75··.;..;...;|.;v.;u | ||
| 0002a9e0:·d0d0·4005·3b71·053b·7040·4105·3b31·053b··..@.;q.;p@A.;1.; | 0002a9e0:·d0d0·4005·3b71·053b·7040·4105·3b31·053b··..@.;q.;p@A.;1.; | ||
| Offset 11022, 16 lines modified | Offset 11022, 16 lines modified | ||
| 0002b0d0:·259f·0509·68d0·d0d0·4005·2533·0509·4d40··%...h...@.%3..M@ | 0002b0d0:·259f·0509·68d0·d0d0·4005·2533·0509·4d40··%...h...@.%3..M@ | ||
| 0002b0e0:·4105·24a2·0509·0ed0·4005·2498·0509·0640··A.$.....@.$....@ | 0002b0e0:·4105·24a2·0509·0ed0·4005·2498·0509·0640··A.$.....@.$....@ | ||
| 0002b0f0:·4142·0524·8b05·08fd·d0d0·4005·2482·0508··AB.$......@.$... | 0002b0f0:·4142·0524·8b05·08fd·d0d0·4005·2482·0508··AB.$......@.$... | ||
| 0002b100:·f640·4105·1788·0501·25d0·d040·0517·5205··.@A.....%..@..R. | 0002b100:·f640·4105·1788·0501·25d0·d040·0517·5205··.@A.....%..@..R. | ||
| 0002b110:·0106·4041·0516·ea04·fbd0·4005·16df·04f1··..@A......@..... | 0002b110:·0106·4041·0516·ea04·fbd0·4005·16df·04f1··..@A......@..... | ||
| 0002b120:·d040·0516·d504·e940·4142·4344·4546·4748··.@.....@ABCDEFGH | 0002b120:·d040·0516·d504·e940·4142·4344·4546·4748··.@.....@ABCDEFGH | ||
| 0002b130:·0544·a0a0·a0b0·059e·9e05·4586·0238·ee76··.D........E..8.v | 0002b130:·0544·a0a0·a0b0·059e·9e05·4586·0238·ee76··.D........E..8.v | ||
| 0002b140:·f505·4583·4043·4040· | 0002b140:·f505·4583·4043·4040·b60c·f0c5·7734·3263··..E.@C@@....w42c | ||
| 0002b150:· | 0002b150:·1301·0a34·d07f·cb9e·8495·a6be·0004·95ce··...4............ | ||
| 0002b160:·0000·bf48·0002·d498·0002·d14c·0800·00af··...H.......L.... | 0002b160:·0000·bf48·0002·d498·0002·d14c·0800·00af··...H.......L.... | ||
| 0002b170:·0090·a0b7·a090·2164·409b·a0a0·90b0·90a0··......!d@....... | 0002b170:·0090·a0b7·a090·2164·409b·a0a0·90b0·90a0··......!d@....... | ||
| 0002b180:·2744·6563·696d·616c·a024·496e·6974·a023··'Decimal.$Init.# | 0002b180:·2744·6563·696d·616c·a024·496e·6974·a023··'Decimal.$Init.# | ||
| 0002b190:·436f·7140·2475·696e·7402·293a·8955·40a0··Coq@$uint.):.U@. | 0002b190:·436f·7140·2475·696e·7402·293a·8955·40a0··Coq@$uint.):.U@. | ||
| 0002b1a0:·8080·b7a0·9023·6163·6340·9ba0·a090·b090··.....#acc@...... | 0002b1a0:·8080·b7a0·9023·6163·6340·9ba0·a090·b090··.....#acc@...... | ||
| 0002b1b0:·a027·4269·6e4e·756d·73a0·274e·756d·6265··.'BinNums.'Numbe | 0002b1b0:·a027·4269·6e4e·756d·73a0·274e·756d·6265··.'BinNums.'Numbe | ||
| 0002b1c0:·7273·0412·2870·6f73·6974·6976·6502·2a8d··rs..(positive.*. | 0002b1c0:·7273·0412·2870·6f73·6974·6976·6502·2a8d··rs..(positive.*. | ||
| Offset 31835, 16 lines modified | Offset 31835, 16 lines modified | ||
| 0007c5a0:·0421·3705·230a·3706·220b·3707·2137·0821··.!7.#.7.".7.!7.! | 0007c5a0:·0421·3705·230a·3706·220b·3707·2137·0821··.!7.#.7.".7.!7.! | ||
| 0007c5b0:·0b37·0921·370a·2137·0321·0c37·0921·370b··.7.!7.!7.!.7.!7. | 0007c5b0:·0b37·0921·370a·2137·0321·0c37·0921·370b··.7.!7.!7.!.7.!7. | ||
| 0007c5c0:·2137·0c23·0b37·0921·370a·2137·0d28·0580··!7.#.7.!7.!7.(.. | 0007c5c0:·2137·0c23·0b37·0921·370a·2137·0d28·0580··!7.#.7.!7.!7.(.. | ||
| 0007c5d0:·3324·0c10·0c10·0c0c·1010·0c10·0c0c·100c··3$.............. | 0007c5d0:·3324·0c10·0c10·0c0c·1010·0c10·0c0c·100c··3$.............. | ||
| 0007c5e0:·0c10·0c0c·8041·0b95·25f4·1972·ee93·2d8d··.....A..%..r..-. | 0007c5e0:·0c10·0c0c·8041·0b95·25f4·1972·ee93·2d8d··.....A..%..r..-. | ||
| 0007c5f0:·d304·dd17·3200·0000·0400·0000·076c·6962··....2........lib | 0007c5f0:·d304·dd17·3200·0000·0400·0000·076c·6962··....2........lib | ||
| 0007c600:·7261·7279·0000·0000·0000·024a·0000·0000··rary.......J.... | 0007c600:·7261·7279·0000·0000·0000·024a·0000·0000··rary.......J.... | ||
| 0007c610:·0002·aefe· | 0007c610:·0002·aefe·b60c·f0c5·7734·3263·1301·0a34··........w42c...4 | ||
| 0007c620:· | 0007c620:·d07f·cb9e·0000·0007·6f70·6171·7565·7300··........opaques. | ||
| 0007c630:·0000·0000·02b1·5800·0000·0000·0495·e267··......X........g | 0007c630:·0000·0000·02b1·5800·0000·0000·0495·e267··......X........g | ||
| 0007c640:·7757·3a6e·81c8·d76b·e60f·d866·080e·0d00··wW:n...k...f.... | 0007c640:·7757·3a6e·81c8·d76b·e60f·d866·080e·0d00··wW:n...k...f.... | ||
| 0007c650:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | 0007c650:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | ||
| 0007c660:·0010·0000·0000·0000·022a·8c47·68b8·46ef··.........*.Gh.F. | 0007c660:·0010·0000·0000·0000·022a·8c47·68b8·46ef··.........*.Gh.F. | ||
| 0007c670:·8c67·bf22·0536·04b2·b02a·0000·0009·766d··.g.".6...*....vm | 0007c670:·8c67·bf22·0536·04b2·b02a·0000·0009·766d··.g.".6...*....vm | ||
| 0007c680:·6c69·6272·6172·7900·0000·0000·0747·4a00··library......GJ. | 0007c680:·6c69·6272·6172·7900·0000·0000·0747·4a00··library......GJ. | ||
| 0007c690:·0000·0000·007e·9b41·0b95·25f4·1972·ee93··.....~.A..%..r.. | 0007c690:·0000·0000·007e·9b41·0b95·25f4·1972·ee93··.....~.A..%..r.. |
| Offset 60, 18 lines modified | Offset 60, 18 lines modified | ||
| 000003b0:·3cbd·a0a0·2473·7372·5aa0·247a·6966·79a0··<...$ssrZ.$zify. | 000003b0:·3cbd·a0a0·2473·7372·5aa0·247a·6966·79a0··<...$ssrZ.$zify. | ||
| 000003c0:·286d·6174·6863·6f6d·7040·9030·338d·e43d··(mathcomp@.03..= | 000003c0:·286d·6174·6863·6f6d·7040·9030·338d·e43d··(mathcomp@.03..= | ||
| 000003d0:·e2ce·aa5d·7354·2997·da19·7d2a·a0a0·247a··...]sT)...}*..$z | 000003d0:·e2ce·aa5d·7354·2997·da19·7d2a·a0a0·247a··...]sT)...}*..$z | ||
| 000003e0:·6966·79a0·0402·a028·6d61·7468·636f·6d70··ify....(mathcomp | 000003e0:·6966·79a0·0402·a028·6d61·7468·636f·6d70··ify....(mathcomp | ||
| 000003f0:·4090·30ec·7e55·9e88·68c8·8859·abb8·ab67··@.0.~U..h..Y...g | 000003f0:·4090·30ec·7e55·9e88·68c8·8859·abb8·ab67··@.0.~U..h..Y...g | ||
| 00000400:·3a7f·8aa0·a026·636f·6d6d·6f6e·a02f·616c··:....&common./al | 00000400:·3a7f·8aa0·a026·636f·6d6d·6f6e·a02f·616c··:....&common./al | ||
| 00000410:·6765·6272·615f·7461·6374·6963·73a0·286d··gebra_tactics.(m | 00000410:·6765·6272·615f·7461·6374·6963·73a0·286d··gebra_tactics.(m | ||
| 00000420:·6174·6863·6f6d·7040·9030·4840·ce31·61db··athcomp@.0H@.1a. | |||
| 00000430:·e747·8a01·1911·6eb8·e6ac·2535·2e32·2e30··.G....n...%5.2.0 | |||
| 000004 | 00000420:·6174·6863·6f6d·7040·9030·b60c·f0c5·7734··athcomp@.0....w4 | ||
| 00000430:·3263·1301·0a34·d07f·cb9e·2535·2e32·2e30··2c...4....%5.2.0 | |||
| 00000440:·a040·4001·7bc4·139d·fc6e·8dc9·46e4·8d5e··.@@.{....n..F..^ | |||
| 00000450:· | 00000450:·bf50·be84·95a6·be00·103b·e600·0382·8d00··.P.......;...... | ||
| 00000460:·0bde·9c00·0b82·c2b0·d0a0·236c·7261·a02f··..........#lra./ | 00000460:·0bde·9c00·0b82·c2b0·d0a0·236c·7261·a02f··..........#lra./ | ||
| 00000470:·616c·6765·6272·615f·7461·6374·6963·73a0··algebra_tactics. | 00000470:·616c·6765·6272·615f·7461·6374·6963·73a0··algebra_tactics. | ||
| 00000480:·286d·6174·6863·6f6d·7040·e090·0408·4190··(mathcomp@....A. | 00000480:·286d·6174·6863·6f6d·7040·e090·0408·4190··(mathcomp@....A. | ||
| 00000490:·a0a0·2949·6e74·6572·6e61·6c73·93e0·a204··..)Internals.... | 00000490:·a0a0·2949·6e74·6572·6e61·6c73·93e0·a204··..)Internals.... | ||
| 000004a0:·0804·0441·90a0·a028·5246·6f72·6d75·6c61··...A...(RFormula | 000004a0:·0804·0441·90a0·a028·5246·6f72·6d75·6c61··...A...(RFormula | ||
| 000004b0:·9108·0000·3f00·9008·0000·4300·0405·a0a0··....?.....C..... | 000004b0:·9108·0000·3f00·9008·0000·4300·0405·a0a0··....?.....C..... | ||
| 000004c0:·a090·2152·409b·a0a0·90b0·a2a2·90a0·2673··..!R@.........&s | 000004c0:·a090·2152·409b·a0a0·90b0·a2a2·90a0·2673··..!R@.........&s | ||
| Offset 2800, 16 lines modified | Offset 2800, 16 lines modified | ||
| 0000aef0:·0d55·043e·0200·00ce·c241·04a4·4042·b004··.U.>.....A..@B.. | 0000aef0:·0d55·043e·0200·00ce·c241·04a4·4042·b004··.U.>.....A..@B.. | ||
| 0000af00:·d342·04b2·c040·b004·b442·04d5·4041·4344··.B...@...B..@ACD | 0000af00:·d342·04b2·c040·b004·b442·04d5·4041·4344··.B...@...B..@ACD | ||
| 0000af10:·4546·474a·a0a0·a023·4c71·61a0·296d·6963··EFGJ...#Lqa.)mic | 0000af10:·4546·474a·a0a0·a023·4c71·61a0·296d·6963··EFGJ...#Lqa.)mic | ||
| 0000af20:·726f·6d65·6761·a023·436f·7140·9030·4671··romega.#Coq@.0Fq | 0000af20:·726f·6d65·6761·a023·436f·7140·9030·4671··romega.#Coq@.0Fq | ||
| 0000af30:·6e78·cd8a·d6f4·1c63·bc87·0441·ec9f·a0a0··nx.....c...A.... | 0000af30:·6e78·cd8a·d6f4·1c63·bc87·0441·ec9f·a0a0··nx.....c...A.... | ||
| 0000af40:·2663·6f6d·6d6f·6ea0·2f61·6c67·6562·7261··&common./algebra | 0000af40:·2663·6f6d·6d6f·6ea0·2f61·6c67·6562·7261··&common./algebra | ||
| 0000af50:·5f74·6163·7469·6373·a028·6d61·7468·636f··_tactics.(mathco | 0000af50:·5f74·6163·7469·6373·a028·6d61·7468·636f··_tactics.(mathco | ||
| 0000af60:·6d70·4090·30 | 0000af60:·6d70·4090·30b6·0cf0·c577·3432·6313·010a··mp@.0....w42c... | ||
| 0000af70:· | 0000af70:·34d0·7fcb·9e90·40a0·a0a0·0521·1da0·4090··4.....@....!..@. | ||
| 0000af80:·40a0·95a0·0211·a37e·0fa0·a023·6c72·6140··@......~...#lra@ | 0000af80:·40a0·95a0·0211·a37e·0fa0·a023·6c72·6140··@......~...#lra@ | ||
| 0000af90:·40a0·95a0·023a·2528·52c0·b005·212e·2c6c··@....:%(R...!.,l | 0000af90:·40a0·95a0·023a·2528·52c0·b005·212e·2c6c··@....:%(R...!.,l | ||
| 0000afa0:·7261·5f31·3442·3435·3237·4302·1e9b·8975··ra_14B4527C....u | 0000afa0:·7261·5f31·3442·3435·3237·4302·1e9b·8975··ra_14B4527C....u | ||
| 0000afb0:·40a0·40a0·9023·6c72·6140·40a0·95a0·023a··@.@..#lra@@....: | 0000afb0:·40a0·40a0·9023·6c72·6140·40a0·95a0·023a··@.@..#lra@@....: | ||
| 0000afc0:·2528·52c0·b005·2138·2c6e·7261·5f31·3442··%(R...!8,nra_14B | 0000afc0:·2528·52c0·b005·2138·2c6e·7261·5f31·3442··%(R...!8,nra_14B | ||
| 0000afd0:·3435·3237·4602·1f9c·43ce·40a0·40a0·9023··4527F...C.@.@..# | 0000afd0:·3435·3237·4602·1f9c·43ce·40a0·40a0·9023··4527F...C.@.@..# | ||
| 0000afe0:·6e72·6140·40a0·95a0·023a·2528·52c0·b005··nra@@....:%(R... | 0000afe0:·6e72·6140·40a0·95a0·023a·2528·52c0·b005··nra@@....:%(R... | ||
| Offset 22569, 15 lines modified | Offset 22569, 15 lines modified | ||
| 00058280:·0454·4040·4104·c0a0·a090·0429·0453·40d0··.T@@A......).S@. | 00058280:·0454·4040·4104·c0a0·a090·0429·0453·40d0··.T@@A......).S@. | ||
| 00058290:·4004·bda0·a090·042d·0452·4040·4142·4445··@......-.R@@ABDE | 00058290:·4004·bda0·a090·042d·0452·4040·4142·4445··@......-.R@@ABDE | ||
| 000582a0:·04ba·a0a0·9004·3004·5140·d0d0·4004·b6a0··......0.Q@..@... | 000582a0:·04ba·a0a0·9004·3004·5140·d0d0·4004·b6a0··......0.Q@..@... | ||
| 000582b0:·a090·0435·044f·40d0·4004·b4a0·a090·0439··...5.O@.@......9 | 000582b0:·a090·0435·044f·40d0·4004·b4a0·a090·0439··...5.O@.@......9 | ||
| 000582c0:·044f·4040·4142·04b1·a0a0·9004·3c04·4e40··.O@@AB......<.N@ | 000582c0:·044f·4040·4142·04b1·a0a0·9004·3c04·4e40··.O@@AB......<.N@ | ||
| 000582d0:·d0d0·4004·afa0·a090·0441·044e·4040·4104··..@......A.N@@A. | 000582d0:·d0d0·4004·afa0·a090·0441·044e·4040·4104··..@......A.N@@A. | ||
| 000582e0:·aba0·a090·0444·044c·4040·4243·4640·4040··.....D.L@@BCF@@@ | 000582e0:·aba0·a090·0444·044c·4040·4243·4640·4040··.....D.L@@BCF@@@ | ||
| 000582f0:·293 | 000582f0:·2937·3336·3531·3534·3233·e0d0·d0d0·d040··)736515423.....@ | ||
| 00058300:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | 00058300:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | ||
| 00058310:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | 00058310:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | ||
| 00058320:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | 00058320:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | ||
| 00058330:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | 00058330:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | ||
| 00058340:·0124·e801·24ee·0100·e101·24cf·a022·5479··.$..$.....$.."Ty | 00058340:·0124·e801·24ee·0100·e101·24cf·a022·5479··.$..$.....$.."Ty | ||
| 00058350:·9040·a0b0·a190·0418·0413·e040·0409·0124··.@.........@...$ | 00058350:·9040·a0b0·a190·0418·0413·e040·0409·0124··.@.........@...$ | ||
| 00058360:·ef01·24f1·0100·e101·24cf·a004·0890·40a0··..$.....$.....@. | 00058360:·ef01·24f1·0100·e101·24cf·a004·0890·40a0··..$.....$.....@. | ||
| Offset 27148, 15 lines modified | Offset 27148, 15 lines modified | ||
| 0006a0b0:·5801·0562·6701·0558·d040·0515·efa0·a090··X..bg..X.@...... | 0006a0b0:·5801·0562·6701·0558·d040·0515·efa0·a090··X..bg..X.@...... | ||
| 0006a0c0:·40a0·9040·a090·41a0·9041·40e0·4005·1589··@..@..A..A@.@... | 0006a0c0:·40a0·9040·a090·41a0·9041·40e0·4005·1589··@..@..A..A@.@... | ||
| 0006a0d0:·0101·ac01·01d5·4c01·01ac·d040·0515·eea0··......L....@.... | 0006a0d0:·0101·ac01·01d5·4c01·01ac·d040·0515·eea0··......L....@.... | ||
| 0006a0e0:·a090·40a0·9041·a090·4140·e040·0515·9201··..@..A..A@.@.... | 0006a0e0:·a090·40a0·9041·a090·4140·e040·0515·9201··..@..A..A@.@.... | ||
| 0006a0f0:·01d7·0102·034d·0101·d7d0·4005·15ec·a0a0··.....M....@..... | 0006a0f0:·01d7·0102·034d·0101·d7d0·4005·15ec·a0a0··.....M....@..... | ||
| 0006a100:·9040·a090·4140·e040·0515·9901·022a·0102··.@..A@.@.....*.. | 0006a100:·9040·a090·4140·e040·0515·9901·022a·0102··.@..A@.@.....*.. | ||
| 0006a110:·424f·0102·2a40·4142·4344·4546·4748·494b··BO..*@ABCDEFGHIK | 0006a110:·424f·0102·2a40·4142·4344·4546·4748·494b··BO..*@ABCDEFGHIK | ||
| 0006a120:·4c05·43bd·0c00·0000·0000· | 0006a120:·4c05·43bd·0c00·0000·0000·c0f1·3e41·a095··L.C.........>A.. | ||
| 0006a130:·a002·25a3·db2d·b006·0001·71d4·9390·91e0··..%..-....q..... | 0006a130:·a002·25a3·db2d·b006·0001·71d4·9390·91e0··..%..-....q..... | ||
| 0006a140:·40d0·4005·3e01·053e·00d0·4005·3dfe·053d··@.@.>..>..@.=..= | 0006a140:·40d0·4005·3e01·053e·00d0·4005·3dfe·053d··@.@.>..>..@.=..= | ||
| 0006a150:·fdd0·4005·3dfb·053d·fa40·4142·43d0·d0d0··..@.=..=.@ABC... | 0006a150:·fdd0·4005·3dfb·053d·fa40·4142·43d0·d0d0··..@.=..=.@ABC... | ||
| 0006a160:·d0d0·d040·053b·e705·3be6·4041·053b·bc05··...@.;..;.@A.;.. | 0006a160:·d0d0·d040·053b·e705·3be6·4041·053b·bc05··...@.;..;.@A.;.. | ||
| 0006a170:·3bbb·d040·053b·8705·3b86·4041·4205·3b7e··;..@.;..;.@AB.;~ | 0006a170:·3bbb·d040·053b·8705·3b86·4041·4205·3b7e··;..@.;..;.@AB.;~ | ||
| 0006a180:·053b·7dd0·053b·7a05·3b74·053b·73d0·d040··.;}..;z.;t.;s..@ | 0006a180:·053b·7dd0·053b·7a05·3b74·053b·73d0·d040··.;}..;z.;t.;s..@ | ||
| 0006a190:·053b·6f05·3b6e·4041·053b·2f05·3b2e·d040··.;o.;n@A.;/.;..@ | 0006a190:·053b·6f05·3b6e·4041·053b·2f05·3b2e·d040··.;o.;n@A.;/.;..@ | ||
| Offset 39441, 15 lines modified | Offset 39441, 15 lines modified | ||
| 0009a100:·0102·a401·6f77·a005·a2d8·9090·9040·a0b0··....ow.......@.. | 0009a100:·0102·a401·6f77·a005·a2d8·9090·9040·a0b0··....ow.......@.. | ||
| 0009a110:·a191·4005·a26e·e040·05a7·7201·6fba·016f··..@..n.@..r.o..o | 0009a110:·a191·4005·a26e·e040·05a7·7201·6fba·016f··..@..n.@..r.o..o | ||
| 0009a120:·bb01·02a4·016f·77a0·05a2·e190·9090·4040··.....ow.......@@ | 0009a120:·bb01·02a4·016f·77a0·05a2·e190·9090·4040··.....ow.......@@ | ||
| 0009a130:·e040·05a7·7701·6eb5·016f·bb01·029f·016e··.@..w.n..o.....n | 0009a130:·e040·05a7·7701·6eb5·016f·bb01·029f·016e··.@..w.n..o.....n | ||
| 0009a140:·68a0·05a2·e690·9090·93a0·2653·7263·3735··h.........&Src75 | 0009a140:·68a0·05a2·e690·9090·93a0·2653·7263·3735··h.........&Src75 | ||
| 0009a150:·3390·9090·40e0·4005·a782·016e·3c01·6fbb··3...@.@....n<.o. | 0009a150:·3390·9090·40e0·4005·a782·016e·3c01·6fbb··3...@.@....n<.o. | ||
| 0009a160:·0102·9e01·6e3c·a005·a2f1·9090·9040·4040··....n<.......@@@ | 0009a160:·0102·9e01·6e3c·a005·a2f1·9090·9040·4040··....n<.......@@@ | ||
| 0009a170:·4040·293 | 0009a170:·4040·2932·3230·3534·3735·3634·e0d0·d0d0··@@)220547564.... | ||
| 0009a180:·d040·2540·6361·7374·a0b0·b490·a005·a303··.@%@cast........ | 0009a180:·d040·2540·6361·7374·a0b0·b490·a005·a303··.@%@cast........ | ||
| 0009a190:·057a·0440·b0b4·90a0·2254·5905·7a09·40b0··.z.@...."TY.z.@. | 0009a190:·057a·0440·b0b4·90a0·2254·5905·7a09·40b0··.z.@...."TY.z.@. | ||
| 0009a1a0:·c391·4005·72f0·b095·a090·2463·6173·7453··..@.r.....$castS | 0009a1a0:·c391·4005·72f0·b095·a090·2463·6173·7453··..@.r.....$castS | ||
| 0009a1b0:·e040·3063·6f71·2d62·7569·6c74·696e·2e65··.@0coq-builtin.e | 0009a1b0:·e040·3063·6f71·2d62·7569·6c74·696e·2e65··.@0coq-builtin.e | ||
| 0009a1c0:·6c70·6901·24e8·0124·ee01·00e1·0124·cfa0··lpi.$..$.....$.. | 0009a1c0:·6c70·6901·24e8·0124·ee01·00e1·0124·cfa0··lpi.$..$.....$.. | ||
| 0009a1d0:·05a3·1090·40a0·b0a1·9005·7a19·0411·e040··....@.....z....@ | 0009a1d0:·05a3·1090·40a0·b0a1·9005·7a19·0411·e040··....@.....z....@ | ||
| 0009a1e0:·0408·0124·ef01·24f1·0100·e101·24cf·a005··...$..$.....$... | 0009a1e0:·0408·0124·ef01·24f1·0100·e101·24cf·a005··...$..$.....$... | ||
| Offset 43573, 15 lines modified | Offset 43573, 15 lines modified | ||
| 000aa340:·4005·12cd·a0a0·9040·a090·40a0·9040·a090··@......@..@..@.. | 000aa340:·4005·12cd·a0a0·9040·a090·40a0·9040·a090··@......@..@..@.. | ||
| 000aa350:·41a0·9041·40e0·4005·3424·016f·3301·6fb8··A..A@.@.4$.o3.o. | 000aa350:·41a0·9041·40e0·4005·3424·016f·3301·6fb8··A..A@.@.4$.o3.o. | ||
| 000aa360:·0100·bc01·6f33·d040·05f9·0205·e2b6·4041··....o3.@......@A | 000aa360:·0100·bc01·6f33·d040·05f9·0205·e2b6·4041··....o3.@......@A | ||
| 000aa370:·4205·1286·a040·e040·053a·0301·0558·0105··B....@.@.:...X.. | 000aa370:·4205·1286·a040·e040·053a·0301·0558·0105··B....@.@.:...X.. | ||
| 000aa380:·6267·0105·58d0·4005·f89d·05e2·aed0·4005··bg..X.@.......@. | 000aa380:·6267·0105·58d0·4005·f89d·05e2·aed0·4005··bg..X.@.......@. | ||
| 000aa390:·f892·05e2·a4d0·4005·f888·05e2·9c40·4142··......@......@AB | 000aa390:·f892·05e2·a4d0·4005·f888·05e2·9c40·4142··......@......@AB | ||
| 000aa3a0:·4344·4546·4748·494b·4c06·0001·2653·0c00··CDEFGHIKL...&S.. | 000aa3a0:·4344·4546·4748·494b·4c06·0001·2653·0c00··CDEFGHIKL...&S.. | ||
| 000aa3b0:·0000·0000·5 | 000aa3b0:·0000·0000·5959·3f41·a095·a002·25a3·db2d··....YY?A....%..- | ||
| 000aa3c0:·b006·0002·546a·90a0·0949·2f62·7569·6c64··....Tj...I/build | 000aa3c0:·b006·0002·546a·90a0·0949·2f62·7569·6c64··....Tj...I/build | ||
| 000aa3d0:·2f72·6570·726f·6475·6369·626c·652d·7061··/reproducible-pa | 000aa3d0:·2f72·6570·726f·6475·6369·626c·652d·7061··/reproducible-pa | ||
| 000aa3e0:·7468·2f6d·6174·6863·6f6d·702d·616c·6765··th/mathcomp-alge | 000aa3e0:·7468·2f6d·6174·6863·6f6d·702d·616c·6765··th/mathcomp-alge | ||
| 000aa3f0:·6272·612d·7461·6374·6963·732d·312e·322e··bra-tactics-1.2. | 000aa3f0:·6272·612d·7461·6374·6963·732d·312e·322e··bra-tactics-1.2. | ||
| 000aa400:·332f·7468·656f·7269·6573·2f6c·7261·2e65··3/theories/lra.e | 000aa400:·332f·7468·656f·7269·6573·2f6c·7261·2e65··3/theories/lra.e | ||
| 000aa410:·6c70·69a0·b006·0002·7596·0920·3961·6235··lpi.....u..·9ab5 | 000aa410:·6c70·69a0·b006·0002·7596·0920·3961·6235··lpi.....u..·9ab5 | ||
| 000aa420:·3439·3566·3336·3430·3031·3833·3931·6138··495f3640018391a8 | 000aa420:·3439·3566·3336·3430·3031·3833·3931·6138··495f3640018391a8 | ||
| Offset 65484, 16 lines modified | Offset 65484, 16 lines modified | ||
| 000ffcb0:·0001·04f2·0200·0086·a902·0000·89b9·0103··................ | 000ffcb0:·0001·04f2·0200·0086·a902·0000·89b9·0103··................ | ||
| 000ffcc0:·0b02·0000·865a·a006·0001·e20e·9090·9006··.....Z.......... | 000ffcc0:·0b02·0000·865a·a006·0001·e20e·9090·9006··.....Z.......... | ||
| 000ffcd0:·0001·c756·40e0·4006·0001·04f7·0200·0086··...V@.@......... | 000ffcd0:·0001·c756·40e0·4006·0001·04f7·0200·0086··...V@.@......... | ||
| 000ffce0:·a102·0000·89b9·0103·0b02·0000·865a·a006··.............Z.. | 000ffce0:·a102·0000·89b9·0103·0b02·0000·865a·a006··.............Z.. | ||
| 000ffcf0:·0001·e213·9090·9093·a027·5372·6331·3034··.........'Src104 | 000ffcf0:·0001·e213·9090·9093·a027·5372·6331·3034··.........'Src104 | ||
| 000ffd00:·3290·9090·40e0·4006·0001·0502·0200·0086··2...@.@......... | 000ffd00:·3290·9090·40e0·4006·0001·0502·0200·0086··2...@.@......... | ||
| 000ffd10:·5a02·0000·89b9·0103·0b02·0000·865a·a006··Z............Z.. | 000ffd10:·5a02·0000·89b9·0103·0b02·0000·865a·a006··Z............Z.. | ||
| 000ffd20:·0001·e21e·9090·9040·4140·4040·293 | 000ffd20:·0001·e21e·9090·9040·4140·4040·2932·3036··.......@A@@@)206 | ||
| 000ffd30:·3 | 000ffd30:·3039·3834·3931·e006·0001·3f2d·d0d0·d0d0··098491....?-.... | ||
| 000ffd40:·0600·0139·dd06·0001·39d0·0600·0139·cfd0··...9....9....9.. | 000ffd40:·0600·0139·dd06·0001·39d0·0600·0139·cfd0··...9....9....9.. | ||
| 000ffd50:·0600·0139·cd06·0001·e62e·0600·0139·c2d0··...9.........9.. | 000ffd50:·0600·0139·cd06·0001·e62e·0600·0139·c2d0··...9.........9.. | ||
| 000ffd60:·d040·0600·0105·0706·0001·0506·4041·0600··.@..........@A.. | 000ffd60:·d040·0600·0105·0706·0001·0506·4041·0600··.@..........@A.. | ||
| 000ffd70:·0139·c006·0001·39bf·0600·0139·bd42·4445··.9....9....9.BDE | 000ffd70:·0139·c006·0001·39bf·0600·0139·bd42·4445··.9....9....9.BDE | ||
| 000ffd80:·0600·0139·ba06·0001·39b9·0600·0139·b747··...9....9....9.G | 000ffd80:·0600·0139·ba06·0001·39b9·0600·0139·b747··...9....9....9.G | ||
| 000ffd90:·0600·0139·6206·0001·3961·0600·0139·5f48··...9b...9a...9_H | 000ffd90:·0600·0139·6206·0001·3961·0600·0139·5f48··...9b...9a...9_H | ||
| 000ffda0:·0600·0139·0d06·0001·390c·0600·0139·0a49··...9....9....9.I | 000ffda0:·0600·0139·0d06·0001·390c·0600·0139·0a49··...9....9....9.I | ||
| Offset 65691, 15 lines modified | Offset 65691, 15 lines modified | ||
| 001009a0:·d0d0·0600·0106·7506·0001·19ad·0600·0106··......u......... | 001009a0:·d0d0·0600·0106·7506·0001·19ad·0600·0106··......u......... | ||
| 001009b0:·3ad0·d006·0001·0638·0600·01e5·6006·0001··:......8....`... | 001009b0:·3ad0·d006·0001·0638·0600·01e5·6006·0001··:......8....`... | ||
| 001009c0:·e3db·4042·0600·01e5·5906·0001·e3d6·d0d0··..@B....Y....... | 001009c0:·e3db·4042·0600·01e5·5906·0001·e3d6·d0d0··..@B....Y....... | ||
| 001009d0:·d040·0600·0103·b006·0001·01fc·4041·0600··.@..........@A.. | 001009d0:·d040·0600·0103·b006·0001·01fc·4041·0600··.@..........@A.. | ||
| 001009e0:·01e5·5506·0001·e3d4·4042·0600·0119·6506··..U.....@B....e. | 001009e0:·01e5·5506·0001·e3d4·4042·0600·0119·6506··..U.....@B....e. | ||
| 001009f0:·0001·0632·0600·0106·2c43·4445·0600·0119··...2....,CDE.... | 001009f0:·0001·0632·0600·0106·2c43·4445·0600·0119··...2....,CDE.... | ||
| 00100a00:·3f06·0001·0625·0600·0106·1f46·4748·494c··?....%.....FGHIL | 00100a00:·3f06·0001·0625·0600·0106·1f46·4748·494c··?....%.....FGHIL | ||
| 00100a10:·4d06·0002·2c43·0c00·0000·00 | 00100a10:·4d06·0002·2c43·0c00·0000·0080·4b61·3f41··M...,C......Ka?A | ||
| Max diff block lines reached; 25429/34737 bytes (73.20%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·000e·50 | 00000000:·436f·7121·0001·4050·0000·0000·000e·50aa··Coq!..@P......P. | ||
| 00000010:·8495·a6be·0000·0394·0000·00af·0000·0263··...............c | 00000010:·8495·a6be·0000·0394·0000·00af·0000·0263··...............c | ||
| 00000020:·0000·0205·c0a0·2472·696e·67a0·2f61·6c67··......$ring./alg | 00000020:·0000·0205·c0a0·2472·696e·67a0·2f61·6c67··......$ring./alg | ||
| 00000030:·6562·7261·5f74·6163·7469·6373·a028·6d61··ebra_tactics.(ma | 00000030:·6562·7261·5f74·6163·7469·6373·a028·6d61··ebra_tactics.(ma | ||
| 00000040:·7468·636f·6d70·4008·0000·4f00·a0a0·2750··thcomp@...O...'P | 00000040:·7468·636f·6d70·4008·0000·4f00·a0a0·2750··thcomp@...O...'P | ||
| 00000050:·7265·6c75·6465·a024·496e·6974·a023·436f··relude.$Init.#Co | 00000050:·7265·6c75·6465·a024·496e·6974·a023·436f··relude.$Init.#Co | ||
| 00000060:·7140·9030·c7f5·9674·0295·790e·84d5·17cb··q@.0...t..y..... | 00000060:·7140·9030·c7f5·9674·0295·790e·84d5·17cb··q@.0...t..y..... | ||
| 00000070:·ca0a·ceef·a0a0·2465·6c70·69a0·0402·4090··......$elpi...@. | 00000070:·ca0a·ceef·a0a0·2465·6c70·69a0·0402·4090··......$elpi...@. | ||
| Offset 51, 19 lines modified | Offset 51, 19 lines modified | ||
| 00000320:·131f·1459·993c·bda0·a024·7373·725a·a024··...Y.<...$ssrZ.$ | 00000320:·131f·1459·993c·bda0·a024·7373·725a·a024··...Y.<...$ssrZ.$ | ||
| 00000330:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@. | 00000330:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@. | ||
| 00000340:·3033·8de4·3de2·ceaa·5d73·5429·97da·197d··03..=...]sT)...} | 00000340:·3033·8de4·3de2·ceaa·5d73·5429·97da·197d··03..=...]sT)...} | ||
| 00000350:·2aa0·a024·7a69·6679·a004·02a0·286d·6174··*..$zify....(mat | 00000350:·2aa0·a024·7a69·6679·a004·02a0·286d·6174··*..$zify....(mat | ||
| 00000360:·6863·6f6d·7040·9030·ec7e·559e·8868·c888··hcomp@.0.~U..h.. | 00000360:·6863·6f6d·7040·9030·ec7e·559e·8868·c888··hcomp@.0.~U..h.. | ||
| 00000370:·59ab·b8ab·673a·7f8a·a0a0·2663·6f6d·6d6f··Y...g:....&commo | 00000370:·59ab·b8ab·673a·7f8a·a0a0·2663·6f6d·6d6f··Y...g:....&commo | ||
| 00000380:·6ea0·2f61·6c67·6562·7261·5f74·6163·7469··n./algebra_tacti | 00000380:·6ea0·2f61·6c67·6562·7261·5f74·6163·7469··n./algebra_tacti | ||
| 00000390:·6373·a028·6d61·7468·636f·6d70·4090·30 | 00000390:·6373·a028·6d61·7468·636f·6d70·4090·30b6··cs.(mathcomp@.0. | ||
| 000003a0:· | 000003a0:·0cf0·c577·3432·6313·010a·34d0·7fcb·9e25··...w42c...4....% | ||
| 000003b0:·352e·322e·30a0·4040· | 000003b0:·352e·322e·30a0·4040·04bd·7ee4·af04·7f1c··5.2.0.@@..~..... | ||
| 000003c0:· | 000003c0:·5c51·6206·5a0d·3678·8495·a6be·000c·0e5a··\Qb.Z.6x.......Z | ||
| 000003d0:·0002·c675·0009·4f | 000003d0:·0002·c675·0009·4f0f·0009·13de·b0d0·a024··...u..O........$ | ||
| 000003e0:·7269·6e67·a02f·616c·6765·6272·615f·7461··ring./algebra_ta | 000003e0:·7269·6e67·a02f·616c·6765·6272·615f·7461··ring./algebra_ta | ||
| 000003f0:·6374·6963·73a0·286d·6174·6863·6f6d·7040··ctics.(mathcomp@ | 000003f0:·6374·6963·73a0·286d·6174·6863·6f6d·7040··ctics.(mathcomp@ | ||
| 00000400:·e090·0408·4190·a0a0·2949·6e74·6572·6e61··....A...)Interna | 00000400:·e090·0408·4190·a0a0·2949·6e74·6572·6e61··....A...)Interna | ||
| 00000410:·6c73·93e0·a204·0804·0441·90a0·a029·5265··ls.......A...)Re | 00000410:·6c73·93e0·a204·0804·0441·90a0·a029·5265··ls.......A...)Re | ||
| 00000420:·7661·6c5f·6571·7390·0800·0027·0040·a080··val_eqs....'.@.. | 00000420:·7661·6c5f·6571·7390·0800·0027·0040·a080··val_eqs....'.@.. | ||
| 00000430:·8091·9ea0·a090·4240·b090·a090·040d·4090··......B@......@. | 00000430:·8091·9ea0·a090·4240·b090·a090·040d·4090··......B@......@. | ||
| 00000440:·b6a0·9021·4340·9490·a0a0·a003·398d·9d5e··...!C@......9..^ | 00000440:·b6a0·9021·4340·9490·a0a0·a003·398d·9d5e··...!C@......9..^ | ||
| Offset 2867, 16 lines modified | Offset 2867, 16 lines modified | ||
| 0000b320:·017d·4041·b005·1172·4105·017e·c040·b005··.}@A...rA..~.@.. | 0000b320:·017d·4041·b005·1172·4105·017e·c040·b005··.}@A...rA..~.@.. | ||
| 0000b330:·0b17·4105·0134·4041·42b0·050b·1841·0501··..A..4@AB....A.. | 0000b330:·0b17·4105·0134·4041·42b0·050b·1841·0501··..A..4@AB....A.. | ||
| 0000b340:·63c0·c040·b005·0af1·4105·0184·4041·b005··c..@....A...@A.. | 0000b340:·63c0·c040·b005·0af1·4105·0184·4041·b005··c..@....A...@A.. | ||
| 0000b350:·0ae2·41a0·0305·834f·cde0·8d14·e190·b005··..A....O........ | 0000b350:·0ae2·41a0·0305·834f·cde0·8d14·e190·b005··..A....O........ | ||
| 0000b360:·0185·0501·8343·4042·4344·b005·019d·4205··.....C@BCD....B. | 0000b360:·0185·0501·8343·4042·4344·b005·019d·4205··.....C@BCD....B. | ||
| 0000b370:·0b20·c040·b005·0197·4205·0af8·c040·b005··.·.@....B....@.. | 0000b370:·0b20·c040·b005·0197·4205·0af8·c040·b005··.·.@....B....@.. | ||
| 0000b380:·0192·4205·0aea·4041·4245·4647·4849·90a0··..B...@ABEFGHI.. | 0000b380:·0192·4205·0aea·4041·4245·4647·4849·90a0··..B...@ABEFGHI.. | ||
| 0000b390:·a005·01aa·a005·01a9·a005·1ffd·4090·30 | 0000b390:·a005·01aa·a005·01a9·a005·1ffd·4090·30b6··............@.0. | ||
| 0000b3a0:· | 0000b3a0:·0cf0·c577·3432·6313·010a·34d0·7fcb·9e90··...w42c...4..... | ||
| 0000b3b0:·40a0·a0a0·0521·22a0·4090·40a0·95a0·0211··@....!".@.@..... | 0000b3b0:·40a0·a0a0·0521·22a0·4090·40a0·95a0·0211··@....!".@.@..... | ||
| 0000b3c0:·a37e·0fa0·a024·7269·6e67·4040·a095·a002··.~...$ring@@.... | 0000b3c0:·a37e·0fa0·a024·7269·6e67·4040·a095·a002··.~...$ring@@.... | ||
| 0000b3d0:·3a25·2852·c0b0·0521·332d·7269·6e67·5f30··:%(R...!3-ring_0 | 0000b3d0:·3a25·2852·c0b0·0521·332d·7269·6e67·5f30··:%(R...!3-ring_0 | ||
| 0000b3e0:·3138·3745·3144·3902·3d78·e51c·40a0·40a0··187E1D9.=x..@.@. | 0000b3e0:·3138·3745·3144·3902·3d78·e51c·40a0·40a0··187E1D9.=x..@.@. | ||
| 0000b3f0:·9024·7269·6e67·4040·a095·a002·3a25·2852··.$ring@@....:%(R | 0000b3f0:·9024·7269·6e67·4040·a095·a002·3a25·2852··.$ring@@....:%(R | ||
| 0000b400:·c0b0·0521·3d31·7269·6e67·5f3a·5f23·5f30··...!=1ring_:_#_0 | 0000b400:·c0b0·0521·3d31·7269·6e67·5f3a·5f23·5f30··...!=1ring_:_#_0 | ||
| 0000b410:·3138·3745·3144·4102·0fa2·b521·40a0·40a0··187E1DA....!@.@. | 0000b410:·3138·3745·3144·4102·0fa2·b521·40a0·40a0··187E1DA....!@.@. | ||
| Offset 22771, 16 lines modified | Offset 22771, 16 lines modified | ||
| 00058f20:·0455·40d0·d040·04c3·a0a0·9004·2604·5440··.U@..@......&.T@ | 00058f20:·0455·40d0·d040·04c3·a0a0·9004·2604·5440··.U@..@......&.T@ | ||
| 00058f30:·4041·04c0·a0a0·9004·2904·5340·d040·04bd··@A......).S@.@.. | 00058f30:·4041·04c0·a0a0·9004·2904·5340·d040·04bd··@A......).S@.@.. | ||
| 00058f40:·a0a0·9004·2d04·5240·4041·4244·4504·baa0··....-.R@@ABDE... | 00058f40:·a0a0·9004·2d04·5240·4041·4244·4504·baa0··....-.R@@ABDE... | ||
| 00058f50:·a090·0430·0451·40d0·d040·04b6·a0a0·9004··...0.Q@..@...... | 00058f50:·a090·0430·0451·40d0·d040·04b6·a0a0·9004··...0.Q@..@...... | ||
| 00058f60:·3504·4f40·d040·04b4·a0a0·9004·3904·4f40··5.O@.@......9.O@ | 00058f60:·3504·4f40·d040·04b4·a0a0·9004·3904·4f40··5.O@.@......9.O@ | ||
| 00058f70:·4041·4204·b1a0·a090·043c·044e·40d0·d040··@AB......<.N@..@ | 00058f70:·4041·4204·b1a0·a090·043c·044e·40d0·d040··@AB......<.N@..@ | ||
| 00058f80:·04af·a0a0·9004·4104·4e40·4041·04ab·a0a0··......A.N@@A.... | 00058f80:·04af·a0a0·9004·4104·4e40·4041·04ab·a0a0··......A.N@@A.... | ||
| 00058f90:·9004·4404·4c40·4042·4346·4040·4029·3 | 00058f90:·9004·4404·4c40·4042·4346·4040·4029·3733··..D.L@@BCF@@@)73 | ||
| 00058fa0:·3 | 00058fa0:·3635·3135·3432·33e0·d0d0·d0d0·4025·4063··6515423.....@%@c | ||
| 00058fb0:·6173·74a0·b0b4·90a0·2154·226c·7040·b0b4··ast.....!T"lp@.. | 00058fb0:·6173·74a0·b0b4·90a0·2154·226c·7040·b0b4··ast.....!T"lp@.. | ||
| 00058fc0:·90a0·2254·5904·0640·b0c3·9140·236c·6574··.."TY..@...@#let | 00058fc0:·90a0·2254·5904·0640·b0c3·9140·236c·6574··.."TY..@...@#let | ||
| 00058fd0:·b095·a090·2463·6173·7453·e040·3063·6f71··....$castS.@0coq | 00058fd0:·b095·a090·2463·6173·7453·e040·3063·6f71··....$castS.@0coq | ||
| 00058fe0:·2d62·7569·6c74·696e·2e65·6c70·6901·24e8··-builtin.elpi.$. | 00058fe0:·2d62·7569·6c74·696e·2e65·6c70·6901·24e8··-builtin.elpi.$. | ||
| 00058ff0:·0124·ee01·00e1·0124·cfa0·2254·7990·40a0··.$.....$.."Ty.@. | 00058ff0:·0124·ee01·00e1·0124·cfa0·2254·7990·40a0··.$.....$.."Ty.@. | ||
| 00059000:·b0a1·9004·1804·13e0·4004·0901·24ef·0124··........@...$..$ | 00059000:·b0a1·9004·1804·13e0·4004·0901·24ef·0124··........@...$..$ | ||
| 00059010:·f101·00e1·0124·cfa0·0408·9040·a0b0·a190··.....$.....@.... | 00059010:·f101·00e1·0124·cfa0·0408·9040·a0b0·a190··.....$.....@.... | ||
| Offset 27351, 15 lines modified | Offset 27351, 15 lines modified | ||
| 0006ad60:·6267·0105·58d0·4005·15ef·a0a0·9040·a090··bg..X.@......@.. | 0006ad60:·6267·0105·58d0·4005·15ef·a0a0·9040·a090··bg..X.@......@.. | ||
| 0006ad70:·40a0·9041·a090·4140·e040·0515·8901·01ac··@..A..A@.@...... | 0006ad70:·40a0·9041·a090·4140·e040·0515·8901·01ac··@..A..A@.@...... | ||
| 0006ad80:·0101·d54c·0101·acd0·4005·15ee·a0a0·9040··...L....@......@ | 0006ad80:·0101·d54c·0101·acd0·4005·15ee·a0a0·9040··...L....@......@ | ||
| 0006ad90:·a090·41a0·9041·40e0·4005·1592·0101·d701··..A..A@.@....... | 0006ad90:·a090·41a0·9041·40e0·4005·1592·0101·d701··..A..A@.@....... | ||
| 0006ada0:·0203·4d01·01d7·d040·0515·eca0·a090·40a0··..M....@......@. | 0006ada0:·0203·4d01·01d7·d040·0515·eca0·a090·40a0··..M....@......@. | ||
| 0006adb0:·9041·40e0·4005·1599·0102·2a01·0242·4f01··.A@.@.....*..BO. | 0006adb0:·9041·40e0·4005·1599·0102·2a01·0242·4f01··.A@.@.....*..BO. | ||
| 0006adc0:·022a·4041·4243·4445·4647·4849·4b4c·0543··.*@ABCDEFGHIKL.C | 0006adc0:·022a·4041·4243·4445·4647·4849·4b4c·0543··.*@ABCDEFGHIKL.C | ||
| 0006add0:·bd0c·0000·0000·00 | 0006add0:·bd0c·0000·0000·00c0·f13e·41a0·95a0·0225··.........>A....% | ||
| 0006ade0:·a3db·2db0·0600·0179·4793·9091·e040·d040··..-....yG....@.@ | 0006ade0:·a3db·2db0·0600·0179·4793·9091·e040·d040··..-....yG....@.@ | ||
| 0006adf0:·053e·0105·3e00·d040·053d·fe05·3dfd·d040··.>..>..@.=..=..@ | 0006adf0:·053e·0105·3e00·d040·053d·fe05·3dfd·d040··.>..>..@.=..=..@ | ||
| 0006ae00:·053d·fb05·3dfa·4041·4243·d0d0·d0d0·d0d0··.=..=.@ABC...... | 0006ae00:·053d·fb05·3dfa·4041·4243·d0d0·d0d0·d0d0··.=..=.@ABC...... | ||
| 0006ae10:·4005·3be7·053b·e640·4105·3bbc·053b·bbd0··@.;..;.@A.;..;.. | 0006ae10:·4005·3be7·053b·e640·4105·3bbc·053b·bbd0··@.;..;.@A.;..;.. | ||
| 0006ae20:·4005·3b87·053b·8640·4142·053b·7e05·3b7d··@.;..;.@AB.;~.;} | 0006ae20:·4005·3b87·053b·8640·4142·053b·7e05·3b7d··@.;..;.@AB.;~.;} | ||
| 0006ae30:·d005·3b7a·053b·7405·3b73·d0d0·4005·3b6f··..;z.;t.;s..@.;o | 0006ae30:·d005·3b7a·053b·7405·3b73·d0d0·4005·3b6f··..;z.;t.;s..@.;o | ||
| 0006ae40:·053b·6e40·4105·3b2f·053b·2ed0·4005·3b2b··.;n@A.;/.;..@.;+ | 0006ae40:·053b·6e40·4105·3b2f·053b·2ed0·4005·3b2b··.;n@A.;/.;..@.;+ | ||
| Offset 39640, 16 lines modified | Offset 39640, 16 lines modified | ||
| 0009ad70:·016f·7901·6fb8·0102·a401·6f77·a005·a2c1··.oy.o.....ow.... | 0009ad70:·016f·7901·6fb8·0102·a401·6f77·a005·a2c1··.oy.o.....ow.... | ||
| 0009ad80:·9090·9040·a0b0·a191·4005·a25b·e040·05a7··...@....@..[.@.. | 0009ad80:·9090·9040·a0b0·a191·4005·a25b·e040·05a7··...@....@..[.@.. | ||
| 0009ad90:·5b01·6fba·016f·bb01·02a4·016f·77a0·05a2··[.o..o.....ow... | 0009ad90:·5b01·6fba·016f·bb01·02a4·016f·77a0·05a2··[.o..o.....ow... | ||
| 0009ada0:·ca90·9090·4040·e040·05a7·6001·6eb5·016f··....@@.@..`.n..o | 0009ada0:·ca90·9090·4040·e040·05a7·6001·6eb5·016f··....@@.@..`.n..o | ||
| 0009adb0:·bb01·029f·016e·68a0·05a2·cf90·9090·93a0··.....nh......... | 0009adb0:·bb01·029f·016e·68a0·05a2·cf90·9090·93a0··.....nh......... | ||
| 0009adc0:·2653·7263·3735·3390·9090·40e0·4005·a76b··&Src753...@.@..k | 0009adc0:·2653·7263·3735·3390·9090·40e0·4005·a76b··&Src753...@.@..k | ||
| 0009add0:·016e·3c01·6fbb·0102·9e01·6e3c·a005·a2da··.n<.o.....n<.... | 0009add0:·016e·3c01·6fbb·0102·9e01·6e3c·a005·a2da··.n<.o.....n<.... | ||
| 0009ade0:·9090·9040·4040·4040·293 | 0009ade0:·9090·9040·4040·4040·2936·3834·3137·3030··...@@@@@)6841700 | ||
| 0009adf0:·3 | 0009adf0:·3837·e0d0·d0d0·d040·2540·6361·7374·a0b0··87.....@%@cast.. | ||
| 0009ae00:·b490·a005·a2ec·0579·f140·b0b4·90a0·2254··.......y.@...."T | 0009ae00:·b490·a005·a2ec·0579·f140·b0b4·90a0·2254··.......y.@...."T | ||
| 0009ae10:·5905·79f6·40b0·c391·4005·72f8·b095·a090··Y.y.@...@.r..... | 0009ae10:·5905·79f6·40b0·c391·4005·72f8·b095·a090··Y.y.@...@.r..... | ||
| 0009ae20:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui | 0009ae20:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui | ||
| 0009ae30:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$.. | 0009ae30:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$.. | ||
| 0009ae40:·00e1·0124·cfa0·05a2·f990·40a0·b0a1·9005··...$......@..... | 0009ae40:·00e1·0124·cfa0·05a2·f990·40a0·b0a1·9005··...$......@..... | ||
| 0009ae50:·7a06·0411·e040·0408·0124·ef01·24f1·0100··z....@...$..$... | 0009ae50:·7a06·0411·e040·0408·0124·ef01·24f1·0100··z....@...$..$... | ||
| 0009ae60:·e101·24cf·a005·a300·9040·a0b0·a190·057a··..$......@.....z | 0009ae60:·e101·24cf·a005·a300·9040·a0b0·a190·057a··..$......@.....z | ||
| Offset 43773, 15 lines modified | Offset 43773, 15 lines modified | ||
| 000aafc0:·00c0·016f·ffd0·d040·0512·cda0·a090·40a0··...o...@......@. | 000aafc0:·00c0·016f·ffd0·d040·0512·cda0·a090·40a0··...o...@......@. | ||
| 000aafd0:·9040·a090·40a0·9041·a090·4140·e040·0534··.@..@..A..A@.@.4 | 000aafd0:·9040·a090·40a0·9041·a090·4140·e040·0534··.@..@..A..A@.@.4 | ||
| 000aafe0:·2401·6f33·016f·b801·00bc·016f·33d0·4005··$.o3.o.....o3.@. | 000aafe0:·2401·6f33·016f·b801·00bc·016f·33d0·4005··$.o3.o.....o3.@. | ||
| 000aaff0:·f8f5·05e2·a940·4142·0512·86a0·40e0·4005··.....@AB....@.@. | 000aaff0:·f8f5·05e2·a940·4142·0512·86a0·40e0·4005··.....@AB....@.@. | ||
| 000ab000:·3a0d·0105·5801·0562·6701·0558·d040·05f8··:...X..bg..X.@.. | 000ab000:·3a0d·0105·5801·0562·6701·0558·d040·05f8··:...X..bg..X.@.. | ||
| 000ab010:·9005·e2a1·d040·05f8·8505·e297·d040·05f8··.....@.......@.. | 000ab010:·9005·e2a1·d040·05f8·8505·e297·d040·05f8··.....@.......@.. | ||
| 000ab020:·7b05·e28f·4041·4243·4445·4647·4849·4b4c··{...@ABCDEFGHIKL | 000ab020:·7b05·e28f·4041·4243·4445·4647·4849·4b4c··{...@ABCDEFGHIKL | ||
| 000ab030:·0600·0126·460c·0000·0000·00 | 000ab030:·0600·0126·460c·0000·0000·0072·593f·41a0··...&F......rY?A. | ||
| 000ab040:·95a0·0225·a3db·2db0·0600·025b·d090·a009··...%..-....[.... | 000ab040:·95a0·0225·a3db·2db0·0600·025b·d090·a009··...%..-....[.... | ||
| 000ab050:·4a2f·6275·696c·642f·7265·7072·6f64·7563··J/build/reproduc | 000ab050:·4a2f·6275·696c·642f·7265·7072·6f64·7563··J/build/reproduc | ||
| 000ab060:·6962·6c65·2d70·6174·682f·6d61·7468·636f··ible-path/mathco | 000ab060:·6962·6c65·2d70·6174·682f·6d61·7468·636f··ible-path/mathco | ||
| 000ab070:·6d70·2d61·6c67·6562·7261·2d74·6163·7469··mp-algebra-tacti | 000ab070:·6d70·2d61·6c67·6562·7261·2d74·6163·7469··mp-algebra-tacti | ||
| 000ab080:·6373·2d31·2e32·2e33·2f74·6865·6f72·6965··cs-1.2.3/theorie | 000ab080:·6373·2d31·2e32·2e33·2f74·6865·6f72·6965··cs-1.2.3/theorie | ||
| 000ab090:·732f·7269·6e67·2e65·6c70·69a0·b006·0002··s/ring.elpi..... | 000ab090:·732f·7269·6e67·2e65·6c70·69a0·b006·0002··s/ring.elpi..... | ||
| 000ab0a0:·7d01·0920·3264·3162·3262·3331·3139·3034··}..·2d1b2b311904 | 000ab0a0:·7d01·0920·3264·3162·3262·3331·3139·3034··}..·2d1b2b311904 | ||
| Offset 48489, 10157 lines modified | Offset 48489, 10158 lines modified | ||
| 000bd680:·40e0·4005·4083·0122·4a01·2635·0100·c001··@.@.@.."J.&5.... | 000bd680:·40e0·4005·4083·0122·4a01·2635·0100·c001··@.@.@.."J.&5.... | ||
| 000bd690:·2240·a006·0001·1d92·9090·9040·e040·0540··"@.........@.@.@ | 000bd690:·2240·a006·0001·1d92·9090·9040·e040·0540··"@.........@.@.@ | ||
| 000bd6a0:·8801·2242·0126·3501·00c0·0122·40a0·0600··.."B.&5...."@... | 000bd6a0:·8801·2242·0126·3501·00c0·0122·40a0·0600··.."B.&5...."@... | ||
| 000bd6b0:·011d·9790·9090·4040·e040·0540·8d01·21f8··......@@.@.@..!. | 000bd6b0:·011d·9790·9090·4040·e040·0540·8d01·21f8··......@@.@.@..!. | ||
| 000bd6c0:·0126·3501·00be·0121·f6a0·0600·011d·9c90··.&5....!........ | 000bd6c0:·0126·3501·00be·0121·f6a0·0600·011d·9c90··.&5....!........ | ||
| 000bd6d0:·9090·93a0·2653·7263·3838·3690·9090·40e0··....&Src886...@. | 000bd6d0:·9090·93a0·2653·7263·3838·3690·9090·40e0··....&Src886...@. | Diff chunk too large, falling back to line-by-line diff (699 lines added, 699 lines removed) | |
| 000bd6e0:·4005·4098·0121·d101·2635·0100·bd01·21d1··@.@..!..&5....!. | 000bd6e0:·4005·4098·0121·d101·2635·0100·bd01·21d1··@.@..!..&5....!. | ||
| 000bd6f0:·a006·0001·1da7·9090·9040·4140·4040·2 | 000bd6f0:·a006·0001·1da7·9090·9040·4140·4040·2739··.........@A@@@'9 | ||
| 000bd700:·3 | 000bd700:·3639·3631·3338·e005·7acd·0575·73d0·d005··696138..z..us... | ||
| 000bd710:· | 000bd710:·7417·056d·2905·6d28·d0d0·d0d0·d005·6d24··t..m).m(......m$ | ||
| 000bd720:· | 000bd720:·056c·eb05·6cea·d0d0·056c·e306·0002·7b46··.l..l....l....{F | ||
| 000bd730:· | 000bd730:·0600·0156·67d0·056c·d905·6cd8·056c·d7d0··...Vg..l..l..l.. | ||
| 000bd740:· | 000bd740:·4005·409e·0540·9d40·4142·4305·6ccf·056c··@.@..@.@ABC.l..l | ||
| 000bd750:· | 000bd750:·ce05·6cc3·4445·056c·b005·6caf·056c·a848··..l.DE.l..l..l.H | ||
| Max diff block lines reached; 1303402/1408823 bytes (92.52%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | 7w108 | |