| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·217d121263bd28cc206d0b929a8f9e84·738004·ocaml·optional·libcoq-mathcomp-algebra-tactics_1.2.3-4_arm64.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·····140 | 2 | -rw-r--r--···0········0········0·····1404·2024-08-03·12:35:30.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···736 | 3 | -rw-r--r--···0········0········0···736408·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:·arm64 | 4 | 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:·3292 | 6 | Installed-Size:·3292 |
| 7 | Depends:·libcoq-elpi-87ue8,·libcoq-mathcomp-algebra-frwk0,·libcoq-mathcomp-ssreflect-f6101,·libcoq-mathcomp-zify-zsp75 | 7 | Depends:·libcoq-elpi-87ue8,·libcoq-mathcomp-algebra-frwk0,·libcoq-mathcomp-ssreflect-f6101,·libcoq-mathcomp-zify-zsp75 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-algebra-tactics- | 9 | Provides:·libcoq-mathcomp-algebra-tactics-jl4b0 |
| 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 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·3137·3932··D.L@@BCF@@@)1792 | ||
| 00018b40:·3 | 00018b40:·3838·3739·32e0·d0d0·d0d0·4025·4063·6173··88792.....@%@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·0080·ef3e·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·9af9·9eca·3e60·6392··..E.@C@@....>`c. | |||
| 0002b1 | 0002b140:·f505·4583·4043·4040·4b61·9560·d3d6·4882··..E.@C@@Ka.`..H. | ||
| 0002b150:·f1c4·94f4·9200·ad70·8495·a6be·0004·95ce··.......p........ | |||
| 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·4b61·9560·d3d6·4882·f1c4·94f4··....Ka.`..H..... | ||
| 0007c620:· | 0007c620:·9200·ad70·0000·0007·6f70·6171·7565·7300··...p....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·2df4·de82·2ff9··.........*-.../. | 0007c660:·0010·0000·0000·0000·022a·2df4·de82·2ff9··.........*-.../. | ||
| 0007c670:·25b3·429b·bcc5·bbd5·51aa·0000·0009·766d··%.B.....Q.....vm | 0007c670:·25b3·429b·bcc5·bbd5·51aa·0000·0009·766d··%.B.....Q.....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:·63ee·a0a0·2473·7372·5aa0·247a·6966·79a0··c...$ssrZ.$zify. | 000003b0:·63ee·a0a0·2473·7372·5aa0·247a·6966·79a0··c...$ssrZ.$zify. | ||
| 000003c0:·286d·6174·6863·6f6d·7040·9030·e87e·64b7··(mathcomp@.0.~d. | 000003c0:·286d·6174·6863·6f6d·7040·9030·e87e·64b7··(mathcomp@.0.~d. | ||
| 000003d0:·951a·d3c3·f457·4367·ff91·a810·a0a0·247a··.....WCg......$z | 000003d0:·951a·d3c3·f457·4367·ff91·a810·a0a0·247a··.....WCg......$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·30a3·f746·fe73·3c5c·1a56·2925·e5ef··@.0..F.s<\.V)%.. | 000003f0:·4090·30a3·f746·fe73·3c5c·1a56·2925·e5ef··@.0..F.s<\.V)%.. | ||
| 00000400:·8525·4fa0·a026·636f·6d6d·6f6e·a02f·616c··.%O..&common./al | 00000400:·8525·4fa0·a026·636f·6d6d·6f6e·a02f·616c··.%O..&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· | 00000420:·6174·6863·6f6d·7040·9030·4b61·9560·d3d6··athcomp@.0Ka.`.. | ||
| 00000430:·6392·c99e·2d6a·7df4·16f1·2535·2e32·2e30··c...-j}...%5.2.0 | |||
| 000004 | 00000430:·4882·f1c4·94f4·9200·ad70·2535·2e32·2e30··H........p%5.2.0 | ||
| 00000440:·a040·40d4·5298·8da1·5ab4·e4f7·982b·ef8f··.@@.R...Z....+.. | |||
| 00000450:· | 00000450:·3fc3·e284·95a6·be00·103b·e500·0382·8d00··?........;...... | ||
| 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·c0a3··romega.#Coq@.0.. | 0000af20:·726f·6d65·6761·a023·436f·7140·9030·c0a3··romega.#Coq@.0.. | ||
| 0000af30:·6358·ab32·b1a4·33ae·d490·1b59·a63c·a0a0··cX.2..3....Y.<.. | 0000af30:·6358·ab32·b1a4·33ae·d490·1b59·a63c·a0a0··cX.2..3....Y.<.. | ||
| 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·304b·6195·60d3·d648·82f1·c494··mp@.0Ka.`..H.... | ||
| 0000af70:· | 0000af70:·f492·00ad·7090·40a0·a0a0·0521·1da0·4090··....p.@....!..@. | ||
| 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:·2931·3739·3238·3837·3932·e0d0·d0d0·d040··)179288792.....@ | ||
| 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·80ef·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, 26059 lines modified | Offset 39441, 26059 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. | Diff chunk too large, falling back to line-by-line diff (26045 lines added, 26045 lines removed) | |
| 0009a160:·0102·9e01·6e3c·a005·a2f1·9090·9040·4040··....n<.......@@@ | 0009a160:·0102·9e01·6e3c·a005·a2f1·9090·9040·4040··....n<.......@@@ | ||
| 0009a170:·4040·2 | 0009a170:·4040·2836·3438·3631·3834·31e0·d0d0·d0d0··@@(64861841..... | ||
| 0009a180:· | 0009a180:·4025·4063·6173·74a0·b0b4·90a0·05a3·0305··@%@cast......... | ||
| 0009a190:· | 0009a190:·7a04·40b0·b490·a022·5459·057a·0940·b0c3··z.@...."TY.z.@.. | ||
| 0009a1a0:· | 0009a1a0:·9140·0572·f0b0·95a0·9024·6361·7374·53e0··.@.r.....$castS. | ||
| 0009a1b0:· | 0009a1b0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 0009a1c0:· | 0009a1c0:·7069·0124·e801·24ee·0100·e101·24cf·a005··pi.$..$.....$... | ||
| 0009a1d0:· | 0009a1d0:·a310·9040·a0b0·a190·057a·1904·11e0·4004··...@.....z....@. | ||
| 0009a1e0:·0 | 0009a1e0:·0801·24ef·0124·f101·00e1·0124·cfa0·05a3··..$..$.....$.... | ||
| 0009a1f0:· | 0009a1f0:·1790·40a0·b0a1·9005·7a20·05a3·1fe0·4004··..@.....z·....@. | ||
| 0009a200:·0 | 0009a200:·0f01·24f2·0124·f301·00e1·0124·cfa0·05a3··..$..$.....$.... | ||
| 0009a210:· | 0009a210:·1e90·40a0·b0b4·90a0·055f·2605·7a28·40b0··..@......_&.z(@. | ||
| 0009a220:· | 0009a220:·a190·057a·2b05·5f29·e040·041a·0124·f601··...z+._).@...$.. | ||
| 0009a230:· | 0009a230:·24f7·0100·e101·24cf·a005·a329·9040·e040··$.....$....).@.@ | ||
| 0009a240:· | 0009a240:·041d·0124·f401·24f7·0100·e101·24cf·a005··...$..$.....$... | ||
| 0009a250:· | 0009a250:·a32c·9040·40e0·4004·2001·24e4·0124·f701··.,.@@.@.·.$..$.. | ||
| 0009a260:·0 | 0009a260:·00e1·0124·cfa0·05a3·2f90·40e0·4004·2301··...$..../.@.@.#. | ||
| 0009a270:· | 0009a270:·24dd·0124·f701·00e1·0124·cfa0·05a3·3290··$..$.....$....2. | ||
| 0009a280:· | 0009a280:·40e0·4004·2601·24db·0124·f701·00e1·0124··@.@.&.$..$.....$ | ||
| 0009a290:· | 0009a290:·cfa0·05a3·3590·40e0·4004·2901·24cf·0124··....5.@.@.).$..$ | ||
| 0009a2a0:· | 0009a2a0:·f801·00e1·0124·cfd0·402a·4063·6f65·7263··.....$..@*@coerc | ||
| 0009a2b0:·6 | 0009a2b0:·696f·6e21·a0b0·c391·4005·a327·b0c3·9140··ion!....@..'...@ | ||
| 0009a2c0:· | 0009a2c0:·2863·6f65·7263·696f·6eb0·a191·402a·7265··(coercion...@*re | ||
| 0009a2d0:· | 0009a2d0:·7665·7273·6962·6c65·e040·0438·0153·1a01··versible.@.8.S.. | ||
| 0009a2e0:· | 0009a2e0:·5324·0101·f201·52fc·a005·a347·9040·40e0··S$....R....G.@@. | ||
| 0009a2f0:· | 0009a2f0:·4004·3b01·5311·0153·2401·01f2·0152·fca0··@.;.S..S$....R.. | ||
| 0009a300:· | 0009a300:·05a3·4a90·40a0·b0a1·9140·05a3·47e0·4004··..J.@....@..G.@. | ||
| 0009a310:· | 0009a310:·4201·5324·0153·2501·01f2·0152·fca0·05a3··B.S$.S%....R.... | ||
| 0009a320:· | 0009a320:·5190·4040·e040·0445·0153·1001·5325·0101··Q.@@.@.E.S..S%.. | ||
| 0009a330:· | 0009a330:·f201·52fc·a005·a354·9040·e040·0448·0152··..R....T.@.@.H.R | ||
| 0009a340:· | 0009a340:·fc01·5325·0101·f201·52fc·4041·422c·4064··..S%....R.@AB,@d | ||
| 0009a350:·6 | 0009a350:·6570·7265·6361·7465·6421·a0b0·b490·a025··eprecated!.....% | ||
| 0009a360:· | 0009a360:·5369·6e63·6505·7a61·40b0·b490·a023·4d73··Since.za@....#Ms | ||
| 0009a370:· | 0009a370:·6705·7a66·40b0·c391·402a·6765·742d·6f70··g.zf@...@*get-op | ||
| 0009a380:·7 | 0009a380:·7469·6f6e·b095·a02e·636f·713a·6465·7072··tion....coq:depr | ||
| 0009a390:· | 0009a390:·6563·6174·6564·43e0·4004·5d01·5280·0152··ecatedC.@.].R..R | ||
| 0009a3a0:· | 0009a3a0:·9001·01ed·0152·73a0·05a3·6c90·40a0·b0c3··.....Rs...l.@... | ||
| 0009a3b0:· | 0009a3b0:·9140·2270·72b0·a190·057a·7904·19e0·4004··.@"pr....zy...@. | ||
| 0009a3c0:· | 0009a3c0:·6801·5295·0152·9a01·01ed·0152·73a0·05a3··h.R..R.....Rs... | ||
| 0009a3d0:· | 0009a3d0:·7790·40a0·b0a1·9005·7a80·041b·e040·046f··w.@.....z....@.o | ||
| 0009a3e0:· | 0009a3e0:·0152·9b01·529e·0101·ed01·5273·a005·a37e··.R..R.....Rs...~ | ||
| 0009a3f0:· | 0009a3f0:·9040·40e0·4004·7201·5292·0152·9e01·01ed··.@@.@.r.R..R.... | ||
| 0009a400:· | 0009a400:·0152·73a0·05a3·8190·4040·e040·0475·0152··.Rs.....@@.@.u.R | ||
| 0009a410:· | 0009a410:·7501·529f·0101·ed01·5273·a005·a384·9040··u.R.....Rs.....@ | ||
| 0009a420:· | 0009a420:·e040·0478·0152·6c01·529f·0101·ed01·5273··.@.x.Rl.R.....Rs | ||
| 0009a430:· | 0009a430:·a005·a387·9040·e040·047b·0152·6601·529f··.....@.@.{.Rf.R. | ||
| 0009a440:· | 0009a440:·0101·ed01·5273·a005·a38a·9040·e040·047e··....Rs.....@.@.~ | ||
| 0009a450:· | 0009a450:·0152·5301·529f·0101·ec01·5253·d040·2b40··.RS.R.....RS.@+@ | ||
| 0009a460:· | 0009a460:·6472·6f70·756e·6976·7321·a0b0·c391·4004··dropunivs!....@. | ||
| 0009a470:· | 0009a470:·2db0·95a0·2d63·6f71·3a6b·6565·7075·6e69··-...-coq:keepuni | ||
| 0009a480:· | 0009a480:·7673·43e0·4004·8901·50c2·0150·d101·01e2··vsC.@...P..P.... | ||
| Max diff block lines reached; 25316/3625174 bytes (0.70%) of diff not shown. | |||
| Offset 51, 18 lines modified | Offset 51, 18 lines modified | ||
| 00000320:·175c·d193·9863·eea0·a024·7373·725a·a024··.\...c...$ssrZ.$ | 00000320:·175c·d193·9863·eea0·a024·7373·725a·a024··.\...c...$ssrZ.$ | ||
| 00000330:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@. | 00000330:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@. | ||
| 00000340:·30e8·7e64·b795·1ad3·c3f4·5743·67ff·91a8··0.~d......WCg... | 00000340:·30e8·7e64·b795·1ad3·c3f4·5743·67ff·91a8··0.~d......WCg... | ||
| 00000350:·10a0·a024·7a69·6679·a004·02a0·286d·6174··...$zify....(mat | 00000350:·10a0·a024·7a69·6679·a004·02a0·286d·6174··...$zify....(mat | ||
| 00000360:·6863·6f6d·7040·9030·a3f7·46fe·733c·5c1a··hcomp@.0..F.s<\. | 00000360:·6863·6f6d·7040·9030·a3f7·46fe·733c·5c1a··hcomp@.0..F.s<\. | ||
| 00000370:·5629·25e5·ef85·254f·a0a0·2663·6f6d·6d6f··V)%...%O..&commo | 00000370:·5629·25e5·ef85·254f·a0a0·2663·6f6d·6d6f··V)%...%O..&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·304b··cs.(mathcomp@.0K | ||
| 000003a0:·f99e·ca3e·6063·92c9·9e2d·6a7d·f416·f125··...>`c...-j}...% | |||
| 000003b0:·352e·322e·30a0·4040·3039·f35d·9da3·491a··5.2.0.@@09.]..I. | |||
| 000003 | 000003a0:·6195·60d3·d648·82f1·c494·f492·00ad·7025··a.`..H........p% | ||
| 000003b0:·352e·322e·30a0·4040·0e9a·5726·3192·25a0··5.2.0.@@..W&1.%. | |||
| 000003c0:·c7a7·057a·9094·3770·8495·a6be·000c·0e5c··...z..7p.......\ | |||
| 000003d0:·0002·c675·0009·4f10·0009·13df·b0d0·a024··...u..O........$ | 000003d0:·0002·c675·0009·4f10·0009·13df·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@......@. | ||
| 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·304b··............@.0K | ||
| 0000b3a0:· | 0000b3a0:·6195·60d3·d648·82f1·c494·f492·00ad·7090··a.`..H........p. | ||
| 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·3137··..D.L@@BCF@@@)17 | ||
| 00058fa0:·393 | 00058fa0:·3932·3838·3739·32e0·d0d0·d0d0·4025·4063··9288792.....@%@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·0080·ef3e·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·2935·3939·3934·3134··...@@@@@)5999414 | ||
| 0009adf0:·3 | 0009adf0:·3135·e0d0·d0d0·d040·2540·6361·7374·a0b0··15.....@%@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· | 000ab030:·0600·0126·460c·0000·0000·006c·633f·41a0··...&F......lc?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, 16 lines modified | Offset 48489, 16 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...@. | ||
| 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·293 | 000bd6f0:·a006·0001·1da7·9090·9040·4140·4040·2933··.........@A@@@)3 | ||
| 000bd700:·3 | 000bd700:·3233·3031·3230·3433·e005·7acd·0575·73d0··23012043..z..us. | ||
| 000bd710:·d005·7417·056d·2905·6d28·d0d0·d0d0·d005··..t..m).m(...... | 000bd710:·d005·7417·056d·2905·6d28·d0d0·d0d0·d005··..t..m).m(...... | ||
| 000bd720:·6d24·056c·eb05·6cea·d0d0·056c·e306·0002··m$.l..l....l.... | 000bd720:·6d24·056c·eb05·6cea·d0d0·056c·e306·0002··m$.l..l....l.... | ||
| 000bd730:·7b46·0600·0156·67d0·056c·d905·6cd8·056c··{F...Vg..l..l..l | 000bd730:·7b46·0600·0156·67d0·056c·d905·6cd8·056c··{F...Vg..l..l..l | ||
| 000bd740:·d7d0·4005·409e·0540·9d40·4142·4305·6ccf··..@.@..@.@ABC.l. | 000bd740:·d7d0·4005·409e·0540·9d40·4142·4305·6ccf··..@.@..@.@ABC.l. | ||
| 000bd750:·056c·ce05·6cc3·4445·056c·b005·6caf·056c··.l..l.DE.l..l..l | 000bd750:·056c·ce05·6cc3·4445·056c·b005·6caf·056c··.l..l.DE.l..l..l | ||
| 000bd760:·a848·056c·2605·6c25·056c·2149·056b·4005··.H.l&.l%.l!I.k@. | 000bd760:·a848·056c·2605·6c25·056c·2149·056b·4005··.H.l&.l%.l!I.k@. | ||
| 000bd770:·6b3f·056b·364a·0569·0205·6901·0568·fc4b··k?.k6J.i..i..h.K | 000bd770:·6b3f·056b·364a·0569·0205·6901·0568·fc4b··k?.k6J.i..i..h.K | ||
| Offset 48580, 15 lines modified | Offset 48580, 15 lines modified | ||
| 000bdc30:·0001·20de·0600·011f·3105·48d3·4647·4805··..·.....1.H.FGH. | 000bdc30:·0001·20de·0600·011f·3105·48d3·4647·4805··..·.....1.H.FGH. | ||
| 000bdc40:·6076·0548·c6d0·d0d0·d005·48c0·0560·5605··`v.H......H..`V. | 000bdc40:·6076·0548·c6d0·d0d0·d005·48c0·0560·5605··`v.H......H..`V. | ||
| 000bdc50:·48ab·d0d0·d040·0540·a405·4043·4041·0578··H....@.@..@C@A.x | 000bdc50:·48ab·d0d0·d040·0540·a405·4043·4041·0578··H....@.@..@C@A.x | ||
| 000bdc60:·d305·48a6·4042·0560·2c05·48a2·0548·9c43··..H.@B.`,.H..H.C | 000bdc60:·d305·48a6·4042·0560·2c05·48a2·0548·9c43··..H.@B.`,.H..H.C | ||
| 000bdc70:·4405·5fef·0548·9505·488f·4505·5f9f·0548··D._..H..H.E._..H | 000bdc70:·4405·5fef·0548·9505·488f·4505·5f9f·0548··D._..H..H.E._..H | ||
| 000bdc80:·5a05·4854·4605·5eaa·0547·a505·4799·4749··Z.HTF.^..G..G.GI | 000bdc80:·5a05·4854·4605·5eaa·0547·a505·4799·4749··Z.HTF.^..G..G.GI | ||
| Max diff block lines reached; 27273/36650 bytes (74.41%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | jl4b0 | |