| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | ·2e1b6d80fa58b71fb76c87cb52eee7fb·772144·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_amd64.deb | 1 | ·2e1b6d80fa58b71fb76c87cb52eee7fb·772144·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_amd64.deb |
| 2 | · | 2 | ·497eb30a0bf2e574b6cef3e17cff0910·12304928·ocaml·optional·libcoq-elpi_2.5.0-1_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2025-03-12·07:06:26.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2025-03-12·07:06:26.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0····12096·2025-03-12·07:06:26.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0····12096·2025-03-12·07:06:26.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0·1229 | 3 | -rw-r--r--···0········0········0·12292640·2025-03-12·07:06:26.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-elpi | 1 | Package:·libcoq-elpi |
| 2 | Source:·coq-elpi | 2 | Source:·coq-elpi |
| 3 | Version:·2.5.0-1 | 3 | Version:·2.5.0-1 |
| 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:·60986 | 6 | Installed-Size:·60986 |
| 7 | Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-tgae0,·libcoq-core-ocaml-at3u5,·libelpi-ocaml-3aty1,·libppx-deriving-ocaml-viv51,·libstdlib-ocaml-fxjy5,·libzarith-ocaml-f1se9 | 7 | Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-tgae0,·libcoq-core-ocaml-at3u5,·libelpi-ocaml-3aty1,·libppx-deriving-ocaml-viv51,·libstdlib-ocaml-fxjy5,·libzarith-ocaml-f1se9 |
| 8 | Provides:·libcoq-elpi- | 8 | Provides:·libcoq-elpi-c0ci4 |
| 9 | Section:·ocaml | 9 | Section:·ocaml |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Homepage:·https://github.com/LPCIC/coq-elpi | 11 | Homepage:·https://github.com/LPCIC/coq-elpi |
| 12 | Description:·Coq·plugin·embedding·Elpi | 12 | Description:·Coq·plugin·embedding·Elpi |
| 13 | ·This·package·makes·it·possible·to·define·new·commands·and·tactics | 13 | ·This·package·makes·it·possible·to·define·new·commands·and·tactics |
| 14 | ·for·Coq·in·Elpi. | 14 | ·for·Coq·in·Elpi. |
| 15 | ·. | 15 | ·. |
| Offset 335, 15 lines modified | Offset 335, 15 lines modified | ||
| 335 | -rw-r--r--···0·root·········(0)·root·········(0)····21028·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v | 335 | -rw-r--r--···0·root·········(0)·root·········(0)····21028·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v |
| 336 | -rw-r--r--···0·root·········(0)·root·········(0)···342632·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo | 336 | -rw-r--r--···0·root·········(0)·root·········(0)···342632·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo |
| 337 | -rw-r--r--···0·root·········(0)·root·········(0)·····2635·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob | 337 | -rw-r--r--···0·root·········(0)·root·········(0)·····2635·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob |
| 338 | -rw-r--r--···0·root·········(0)·root·········(0)····27518·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v | 338 | -rw-r--r--···0·root·········(0)·root·········(0)····27518·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v |
| 339 | -rw-r--r--···0·root·········(0)·root·········(0)···501497·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo | 339 | -rw-r--r--···0·root·········(0)·root·········(0)···501497·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo |
| 340 | -rw-r--r--···0·root·········(0)·root·········(0)····10047·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob | 340 | -rw-r--r--···0·root·········(0)·root·········(0)····10047·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob |
| 341 | -rw-r--r--···0·root·········(0)·root·········(0)····29542·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v | 341 | -rw-r--r--···0·root·········(0)·root·········(0)····29542·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v |
| 342 | -rw-r--r--···0·root·········(0)·root·········(0)···354 | 342 | -rw-r--r--···0·root·········(0)·root·········(0)···354441·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo |
| 343 | -rw-r--r--···0·root·········(0)·root·········(0)······105·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob | 343 | -rw-r--r--···0·root·········(0)·root·········(0)······105·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob |
| 344 | -rw-r--r--···0·root·········(0)·root·········(0)····41015·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v | 344 | -rw-r--r--···0·root·········(0)·root·········(0)····41015·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v |
| 345 | -rw-r--r--···0·root·········(0)·root·········(0)····85889·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo | 345 | -rw-r--r--···0·root·········(0)·root·········(0)····85889·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo |
| 346 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/ | 346 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/ |
| 347 | -rw-r--r--···0·root·········(0)·root·········(0)·····1176·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/META | 347 | -rw-r--r--···0·root·········(0)·root·········(0)·····1176·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/META |
| 348 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/ | 348 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/ |
| 349 | -rw-r--r--···0·root·········(0)·root·········(0)····28310·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.a | 349 | -rw-r--r--···0·root·········(0)·root·········(0)····28310·2025-03-12·07:06:26.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.a |
| Offset 43, 15 lines modified | Offset 43, 15 lines modified | ||
| 43 | constr·11437:11444·<>·leaf' | 43 | constr·11437:11444·<>·leaf' |
| 44 | constr·11437:11444·<>·node' | 44 | constr·11437:11444·<>·node' |
| 45 | mod·22427:22435·<>·Notations | 45 | mod·22427:22435·<>·Notations |
| 46 | R22463:22465·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not | 46 | R22463:22465·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not |
| 47 | not·22447:22447·Notations·:::x_'>>'_x | 47 | not·22447:22447·Notations·:::x_'>>'_x |
| 48 | def·22495:22495·Notations·w | 48 | def·22495:22495·Notations·w |
| 49 | R22507:22515·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod | 49 | R22507:22515·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod |
| 50 | mod·24304:24319·<>·Module | 50 | mod·24304:24319·<>·Module49 |
| 51 | R25968:25970·Coq.Init.Datatypes·<>·nat·ind | 51 | R25968:25970·Coq.Init.Datatypes·<>·nat·ind |
| 52 | binder·25964:25964·<>·n:7 | 52 | binder·25964:25964·<>·n:7 |
| 53 | R25977:25979·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not | 53 | R25977:25979·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not |
| 54 | R25976:25976·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var | 54 | R25976:25976·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var |
| 55 | R25968:25970·Coq.Init.Datatypes·<>·nat·ind | 55 | R25968:25970·Coq.Init.Datatypes·<>·nat·ind |
| 56 | mod·25935:25944·<>·Box | 56 | mod·25935:25944·<>·Box |
| 57 | mod·25935:25944·<>·Box.Box | 57 | mod·25935:25944·<>·Box.Box |
| Offset 138, 15 lines modified | Offset 138, 15 lines modified | ||
| 00000890:·048d·b605·0108·0419·046d·4190·b080·a005··.........mA..... | 00000890:·048d·b605·0108·0419·046d·4190·b080·a005··.........mA..... | ||
| 000008a0:·0248·4a90·a092·4090·0457·4040·0501·ffa0··.HJ...@..W@@.... | 000008a0:·0248·4a90·a092·4090·0457·4040·0501·ffa0··.HJ...@..W@@.... | ||
| 000008b0:·a029·4e6f·7461·7469·6f6e·7393·e0a2·0502··.)Notations..... | 000008b0:·a029·4e6f·7461·7469·6f6e·7393·e0a2·0502··.)Notations..... | ||
| 000008c0:·4d04·0441·90a0·a021·7790·0800·0027·0040··M..A...!w....'.@ | 000008c0:·4d04·0441·90a0·a021·7790·0800·0027·0040··M..A...!w....'.@ | ||
| 000008d0:·0502·4c91·a905·0229·9005·0205·0502·3440··..L....)......4@ | 000008d0:·0502·4c91·a905·0229·9005·0205·0502·3440··..L....)......4@ | ||
| 000008e0:·90b0·80a0·0502·5e4b·9090·9240·4040·0502··......^K...@@@.. | 000008e0:·90b0·80a0·0502·5e4b·9090·9240·4040·0502··......^K...@@@.. | ||
| 000008f0:·1440·40a0·4040·9040·a0a0·284d·6f64·756c··.@@.@@.@..(Modul | 000008f0:·1440·40a0·4040·9040·a0a0·284d·6f64·756c··.@@.@@.@..(Modul | ||
| 00000900:·653 | 00000900:·6534·3993·e0a2·0502·6404·0441·9040·4004··e49.....d..A.@@. | ||
| 00000910:·0990·40a0·a023·426f·7893·e0a2·0502·6c04··..@..#Box.....l. | 00000910:·0990·40a0·a023·426f·7893·e0a2·0502·6c04··..@..#Box.....l. | ||
| 00000920:·0441·90a0·a004·0793·e0a2·0407·040a·4190··.A............A. | 00000920:·0441·90a0·a004·0793·e0a2·0407·040a·4190··.A............A. | ||
| 00000930:·a0a0·040d·93e0·a204·0704·1041·90a0·a004··...........A.... | 00000930:·a0a0·040d·93e0·a204·0704·1041·90a0·a004··...........A.... | ||
| 00000940:·1393·e0a2·0407·0416·4190·a0a0·2366·6f6f··........A...#foo | 00000940:·1393·e0a2·0407·0416·4190·a0a0·2366·6f6f··........A...#foo | ||
| 00000950:·9008·0000·2700·4005·027d·91b7·a090·216e··....'.@..}....!n | 00000950:·9008·0000·2700·4005·027d·91b7·a090·216e··....'.@..}....!n | ||
| 00000960:·4005·0267·a99a·a090·b090·a023·4e61·7405··@..g.......#Nat. | 00000960:·4005·0267·a99a·a090·b090·a023·4e61·7405··@..g.......#Nat. | ||
| 00000970:·027c·2361·6464·020c·a38f·6005·028b·a005··.|#add....`..... | 00000970:·027c·2361·6464·020c·a38f·6005·028b·a005··.|#add....`..... | ||
| Offset 31292, 16 lines modified | Offset 31292, 16 lines modified | ||
| 0007a3b0:·4040·40a0·95a0·0204·4ece·b4a0·0508·2ab0··@@@.....N.....*. | 0007a3b0:·4040·40a0·95a0·0204·4ece·b4a0·0508·2ab0··@@@.....N.....*. | ||
| 0007a3c0:·9005·082c·0508·2bb0·4040·40a0·95a0·0204··...,..+.@@@..... | 0007a3c0:·9005·082c·0508·2bb0·4040·40a0·95a0·0204··...,..+.@@@..... | ||
| 0007a3d0:·4ece·b4a0·0507·59b0·9005·075b·0507·5ab0··N.....Y....[..Z. | 0007a3d0:·4ece·b4a0·0507·59b0·9005·075b·0507·5ab0··N.....Y....[..Z. | ||
| 0007a3e0:·4040·40a0·95a0·0204·4ece·b4a0·0505·aeb0··@@@.....N....... | 0007a3e0:·4040·40a0·95a0·0204·4ece·b4a0·0505·aeb0··@@@.....N....... | ||
| 0007a3f0:·9005·05b0·0505·afb0·4040·40a0·95a0·0204··........@@@..... | 0007a3f0:·9005·05b0·0505·afb0·4040·40a0·95a0·0204··........@@@..... | ||
| 0007a400:·4ece·b4a0·0505·26b0·9005·0528·0505·27b0··N.....&....(..'. | 0007a400:·4ece·b4a0·0505·26b0·9005·0528·0505·27b0··N.....&....(..'. | ||
| 0007a410:·4040·40a0·95a0·0204·4ece·b4a0·0503·93b0··@@@.....N....... | 0007a410:·4040·40a0·95a0·0204·4ece·b4a0·0503·93b0··@@@.....N....... | ||
| 0007a420:·9005·0395·0503·94b0·4040·4040· | 0007a420:·9005·0395·0503·94b0·4040·4040·7841·4ef6··........@@@@xAN. | ||
| 0007a430:· | 0007a430:·7c43·664b·5b2b·8337·7289·e660·8495·a6be··|CfK[+.7r..`.... | ||
| 0007a440:·0000·0001·0000·0000·0000·0000·0000·0000··................ | 0007a440:·0000·0001·0000·0000·0000·0000·0000·0000··................ | ||
| 0007a450:·8061·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.". | 0007a450:·8061·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.". | ||
| 0007a460:·e984·95a6·be00·0001·c200·0000·5000·0001··............P... | 0007a460:·e984·95a6·be00·0001·c200·0000·5000·0001··............P... | ||
| 0007a470:·2e00·0001·0ca0·a039·7475·746f·7269·616c··.......9tutorial | 0007a470:·2e00·0001·0ca0·a039·7475·746f·7269·616c··.......9tutorial | ||
| 0007a480:·5f63·6f71·5f65·6c70·695f·636f·6d6d·616e··_coq_elpi_comman | 0007a480:·5f63·6f71·5f65·6c70·695f·636f·6d6d·616e··_coq_elpi_comman | ||
| 0007a490:·64a0·2d65·6c70·695f·6578·616d·706c·6573··d.-elpi_examples | 0007a490:·64a0·2d65·6c70·695f·6578·616d·706c·6573··d.-elpi_examples | ||
| 0007a4a0:·4008·0000·3700·c009·252d·0002·8c00·3dfd··@...7...%-....=. | 0007a4a0:·4008·0000·3700·c009·252d·0002·8c00·3dfd··@...7...%-....=. | ||
| Offset 31328, 16 lines modified | Offset 31328, 16 lines modified | ||
| 0007a5f0:·98b0·0408·4148·c02d·2d00·038c·2a2b·0101··....AH.--...*+.. | 0007a5f0:·98b0·0408·4148·c02d·2d00·038c·2a2b·0101··....AH.--...*+.. | ||
| 0007a600:·0a37·0027·0480·2128·80c0·0411·8022·7c9c··.7.'..!(....."|. | 0007a600:·0a37·0027·0480·2128·80c0·0411·8022·7c9c··.7.'..!(....."|. | ||
| 0007a610:·9098·b004·1041·48c0·0435·8021·0490·9491··.....AH..5.!.... | 0007a610:·9098·b004·1041·48c0·0435·8021·0490·9491··.....AH..5.!.... | ||
| 0007a620:·0435·c02b·2d00·028c·3600·0a37·0127·0380··.5.+-...6..7.'.. | 0007a620:·0435·c02b·2d00·028c·3600·0a37·0127·0380··.5.+-...6..7.'.. | ||
| 0007a630:·2214·0c90·9404·3a5c·b05c·559f·7b34·d641··".....:\.\U.{4.A | 0007a630:·2214·0c90·9404·3a5c·b05c·559f·7b34·d641··".....:\.\U.{4.A | ||
| 0007a640:·3843·4cae·cbac·a000·0000·0400·0000·076c··8CL............l | 0007a640:·3843·4cae·cbac·a000·0000·0400·0000·076c··8CL............l | ||
| 0007a650:·6962·7261·7279·0000·0000·0000·00af·0000··ibrary.......... | 0007a650:·6962·7261·7279·0000·0000·0000·00af·0000··ibrary.......... | ||
| 0007a660:·0000·0007·a37d· | 0007a660:·0000·0007·a37d·7841·4ef6·7c43·664b·5b2b··.....}xAN.|CfK[+ | ||
| 0007a670:· | 0007a670:·8337·7289·e660·0000·0007·6f70·6171·7565··.7r..`....opaque | ||
| 0007a680:·7300·0000·0000·07a4·3c00·0000·0000·0000··s.......<....... | 0007a680:·7300·0000·0000·07a4·3c00·0000·0000·0000··s.......<....... | ||
| 0007a690:·1561·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.". | 0007a690:·1561·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.". | ||
| 0007a6a0:·e900·0000·0773·756d·6d61·7279·0000·0000··.....summary.... | 0007a6a0:·e900·0000·0773·756d·6d61·7279·0000·0000··.....summary.... | ||
| 0007a6b0:·0000·0010·0000·0000·0000·008f·7325·6964··............s%id | 0007a6b0:·0000·0010·0000·0000·0000·008f·7325·6964··............s%id | ||
| 0007a6c0:·c409·af40·9f44·9764·1623·87b8·0000·0009··...@.D.d.#...... | 0007a6c0:·c409·af40·9f44·9764·1623·87b8·0000·0009··...@.D.d.#...... | ||
| 0007a6d0:·766d·6c69·6272·6172·7900·0000·0000·07a4··vmlibrary....... | 0007a6d0:·766d·6c69·6272·6172·7900·0000·0000·07a4··vmlibrary....... | ||
| 0007a6e0:·6100·0000·0000·0001·d65c·b05c·559f·7b34··a........\.\U.{4 | 0007a6e0:·6100·0000·0000·0001·d65c·b05c·559f·7b34··a........\.\U.{4 |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0005·67 | 00000000:·436f·7121·0001·4050·0000·0000·0005·67d7··Coq!..@P......g. | ||
| 00000010:·8495·a6be·0000·00a5·0000·0020·0000·0070··...........·...p | 00000010:·8495·a6be·0000·00a5·0000·0020·0000·0070··...........·...p | ||
| 00000020:·0000·005e·c0a0·3874·7574·6f72·6961·6c5f··...^..8tutorial_ | 00000020:·0000·005e·c0a0·3874·7574·6f72·6961·6c5f··...^..8tutorial_ | ||
| 00000030:·636f·715f·656c·7069·5f74·6163·7469·63a0··coq_elpi_tactic. | 00000030:·636f·715f·656c·7069·5f74·6163·7469·63a0··coq_elpi_tactic. | ||
| 00000040:·2d65·6c70·695f·6578·616d·706c·6573·40b0··-elpi_examples@. | 00000040:·2d65·6c70·695f·6578·616d·706c·6573·40b0··-elpi_examples@. | ||
| 00000050:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init | 00000050:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init | ||
| 00000060:·a023·436f·7140·9030·6324·bee9·c426·29af··.#Coq@.0c$...&). | 00000060:·a023·436f·7140·9030·6324·bee9·c426·29af··.#Coq@.0c$...&). | ||
| 00000070:·4a8e·60dc·9d6f·8d2b·a0a0·2465·6c70·69a0··J.`..o.+..$elpi. | 00000070:·4a8e·60dc·9d6f·8d2b·a0a0·2465·6c70·69a0··J.`..o.+..$elpi. | ||
| Offset 22123, 28 lines modified | Offset 22123, 31 lines modified | ||
| 000566a0:·0437·0454·90a0·0413·0456·90a0·0453·0458··.7.T.....V...S.X | 000566a0:·0437·0454·90a0·0413·0456·90a0·0453·0458··.7.T.....V...S.X | ||
| 000566b0:·90a0·0455·045a·90a0·b704·3104·4fb7·042e··...U.Z....1.O... | 000566b0:·90a0·0455·045a·90a0·b704·3104·4fb7·042e··...U.Z....1.O... | ||
| 000566c0:·0450·b704·2404·26b7·0419·0427·a904·42c0··.P..$.&....'..B. | 000566c0:·0450·b704·2404·26b7·0419·0427·a904·42c0··.P..$.&....'..B. | ||
| 000566d0:·0416·a904·4fa0·0426·0418·042b·a904·46c0··....O..&...+..F. | 000566d0:·0416·a904·4fa0·0426·0418·042b·a904·46c0··....O..&...+..F. | ||
| 000566e0:·0428·041a·0449·042d·0466·90a0·b704·3d04··.(...I.-.f....=. | 000566e0:·0428·041a·0449·042d·0466·90a0·b704·3d04··.(...I.-.f....=. | ||
| 000566f0:·5bb7·0436·044d·044d·046a·28ab·ad33·1204··[..6.M.M.j(..3.. | 000566f0:·5bb7·0436·044d·044d·046a·28ab·ad33·1204··[..6.M.M.j(..3.. | ||
| 00056700:·8d2f·6ea9·6e7e·dcca·9602·8495·a6be·0000··./n.n~.......... | 00056700:·8d2f·6ea9·6e7e·dcca·9602·8495·a6be·0000··./n.n~.......... | ||
| 00056710:·00 | 00056710:·00a9·0000·0071·0000·00fb·0000·00f6·a0a0··.....q.......... | ||
| 00056720:·3874·7574·6f72·6961·6c5f·636f·715f·656c··8tutorial_coq_el | 00056720:·3874·7574·6f72·6961·6c5f·636f·715f·656c··8tutorial_coq_el | ||
| 00056730:·7069·5f74·6163·7469·63a0·2d65·6c70·695f··pi_tactic.-elpi_ | 00056730:·7069·5f74·6163·7469·63a0·2d65·6c70·695f··pi_tactic.-elpi_ | ||
| 00056740:·6578·616d·706c·6573·40b0·c023·3600·8c80··examples@..#6... | 00056740:·6578·616d·706c·6573·40b0·c023·3600·8c80··examples@..#6... | ||
| 00056750:·2104·9094·9191·9191·9191·9191·9191·9191··!............... | 00056750:·2104·9094·9191·9191·9191·9191·9191·9191··!............... | ||
| 00056760:·9191·9191·9191·9191·9191·9191·9191·9191··................ | 00056760:·9191·9191·9191·9191·9191·9191·9191·9191··................ | ||
| 00056770:·9191·9191·9191·9191·9191·9191·9191·9191··................ | 00056770:·9191·9191·9191·9191·9191·9191·9191·9191··................ | ||
| 00056780:·9191·40c0·0433·8021·0490·94a1·4140·c004··..@..3.!....A@.. | 00056780:·9191·40c0·0433·8021·0490·94a1·4140·c004··..@..3.!....A@.. | ||
| 00056790:·3880·2104·9094·a104·3840·11f9·d551·ce3e··8.!.....8@...Q.> | |||
| 000567 | 00056790:·3880·2104·9094·a191·9191·9191·9191·9191··8.!............. | ||
| 000567a0:·9191·9191·9191·9191·9191·9191·9191·9191··................ | |||
| 000567b0:·9191·9191·9191·9191·9191·9191·9191·9191··................ | |||
| 000567c0:·9191·9191·9140·4029·1415·c93e·cda9·760f··.....@@)...>..v. | |||
| 000567d0:·b26e·7b47·2cfe·0f00·0000·0400·0000·076c··.n{G,..........l | |||
| 000567e0:·6962·7261·7279·0000·0000·0000·00d9·0000··ibrary.......... | |||
| 000567f0:·0000·0005·6452·d555·1690·f99e·5028·c8fb··....dR.U....P(.. | |||
| 00056800:·f8bd·ab00·f6d8·0000·0007·6f70·6171·7565··..........opaque | |||
| 00056810:·7300·0000·0000·0565·3b00·0000·0000·0001··s......e;....... | |||
| 00056820:·bf28·abad·3312·048d·2f6e·a96e·7edc·ca96··.(..3.../n.n~... | |||
| 00056830:·0200·0000·0773·756d·6d61·7279·0000·0000··.....summary.... | |||
| 00056840:·0000·0010·0000·0000·0000·00b9·0d62·99fc··.............b.. | |||
| 00056850:·0f00·51a7·c4d9·b239·b28c·0da5·0000·0009··..Q....9........ | |||
| 00056 | 00056860:·766d·6c69·6272·6172·7900·0000·0000·0567··vmlibrary......g | ||
| 00056870:·0a00·0000·0000·0000·bd29·1415·c93e·cda9··.........)...>.. | |||
| 00056880:·760f·b26e·7b47·2cfe·0f···················v..n{G,.. | |||
| 000567c0:·d900·0000·0000·0564·52d5·5516·90f9·9e50··.......dR.U....P | |||
| 000567d0:·28c8·fbf8·bdab·00f6·d800·0000·076f·7061··(............opa | |||
| 000567e0:·7175·6573·0000·0000·0005·653b·0000·0000··ques......e;.... | |||
| 000567f0:·0000·01bf·28ab·ad33·1204·8d2f·6ea9·6e7e··....(..3.../n.n~ | |||
| 00056800:·dcca·9602·0000·0007·7375·6d6d·6172·7900··........summary. | |||
| 00056810:·0000·0000·0000·1000·0000·0000·0000·b90d··................ | |||
| 00056820:·6299·fc0f·0051·a7c4·d9b2·39b2·8c0d·a500··b....Q....9..... | |||
| 00056830:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | |||
| 00056840:·0005·670a·0000·0000·0000·0090·11f9·d551··..g............Q | |||
| 00056850:·ce3e·a396·da41·25de·04fe·571b············.>...A%...W. |
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | c0ci4 | |