⊟
4.11 MB
/srv/reproducible-results/rbuild-debian/r-b-build.aQeQ3zjq/b1/coq-elpi_2.5.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.aQeQ3zjq/b2/coq-elpi_2.5.0-1_arm64.changes
⊟
300 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·4d15f504c09e87289dbd5c90cf290305·747848·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_arm64.deb1 ·4d15f504c09e87289dbd5c90cf290305·747848·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_arm64.deb
2 ·9794310b253b1252060c14014a469582·12768328·ocaml·optional·libcoq-elpi_2.5.0-1_arm64.deb2 ·848253d3fa5dd67ac7137a87769259d0·12761840·ocaml·optional·libcoq-elpi_2.5.0-1_arm64.deb
⊟
4.11 MB
libcoq-elpi_2.5.0-1_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-03-12·07:06:26.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-03-12·07:06:26.000000·debian-binary
2 -rw-r--r--···0········0········0····12124·2025-03-12·07:06:26.000000·control.tar.xz2 -rw-r--r--···0········0········0····12124·2025-03-12·07:06:26.000000·control.tar.xz
3 -rw-r--r--···0········0········0·12756012·2025-03-12·07:06:26.000000·data.tar.xz3 -rw-r--r--···0········0········0·12749524·2025-03-12·07:06:26.000000·data.tar.xz
⊟
785 B
control.tar.xz
⊟
757 B
control.tar
⊟
687 B
./control
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Package:·libcoq-elpi1 Package:·libcoq-elpi
2 Source:·coq-elpi2 Source:·coq-elpi
3 Version:·2.5.0-13 Version:·2.5.0-1
4 Architecture:·arm644 Architecture:·arm64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·648286 Installed-Size:·64828
7 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-dik25,·libcoq-core-ocaml-ajzi5,·libelpi-ocaml-t6nk2,·libppx-deriving-ocaml-ikee3,·libstdlib-ocaml-fxjy5,·libzarith-ocaml-f1se97 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-dik25,·libcoq-core-ocaml-ajzi5,·libelpi-ocaml-t6nk2,·libppx-deriving-ocaml-ikee3,·libstdlib-ocaml-fxjy5,·libzarith-ocaml-f1se9
8 Provides:·libcoq-elpi-rtk938 Provides:·libcoq-elpi-q2ea4
9 Section:·ocaml9 Section:·ocaml
10 Priority:·optional10 Priority:·optional
11 Homepage:·https://github.com/LPCIC/coq-elpi11 Homepage:·https://github.com/LPCIC/coq-elpi
12 Description:·Coq·plugin·embedding·Elpi12 Description:·Coq·plugin·embedding·Elpi
13 ·This·package·makes·it·possible·to·define·new·commands·and·tactics13 ·This·package·makes·it·possible·to·define·new·commands·and·tactics
14 ·for·Coq·in·Elpi.14 ·for·Coq·in·Elpi.
15 ·.15 ·.
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
4.11 MB
data.tar.xz
⊟
4.11 MB
data.tar
⊟
3.42 KB
file list
    
Offset 330, 17 lines modifiedOffset 330, 17 lines modified
330 -rw-r--r--···0·root·········(0)·root·········(0)···350697·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_to_sigma.vo330 -rw-r--r--···0·root·········(0)·root·········(0)···350697·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_to_sigma.vo
331 -rw-r--r--···0·root·········(0)·root·········(0)·····1047·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.glob331 -rw-r--r--···0·root·········(0)·root·········(0)·····1047·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.glob
332 -rw-r--r--···0·root·········(0)·root·········(0)·····1158·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.v332 -rw-r--r--···0·root·········(0)·root·········(0)·····1158·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.v
333 -rw-r--r--···0·root·········(0)·root·········(0)···299830·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.vo333 -rw-r--r--···0·root·········(0)·root·········(0)···299830·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.vo
334 -rw-r--r--···0·root·········(0)·root·········(0)·····4255·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.glob334 -rw-r--r--···0·root·········(0)·root·········(0)·····4255·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.glob
335 -rw-r--r--···0·root·········(0)·root·········(0)····21028·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v335 -rw-r--r--···0·root·········(0)·root·········(0)····21028·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo336 -rw-r--r--···0·root·········(0)·root·········(0)···342632·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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)·····2634·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob337 -rw-r--r--···0·root·········(0)·root·········(0)·····2635·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v338 -rw-r--r--···0·root·········(0)·root·········(0)····27518·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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)···501496·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo339 -rw-r--r--···0·root·········(0)·root·········(0)···501497·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob340 -rw-r--r--···0·root·········(0)·root·········(0)····10047·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v341 -rw-r--r--···0·root·········(0)·root·········(0)····29542·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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)···354441·2025-03-12·07:06:26.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo342 -rw-r--r--···0·root·········(0)·root·········(0)···354441·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob343 -rw-r--r--···0·root·········(0)·root·········(0)······105·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v344 -rw-r--r--···0·root·········(0)·root·········(0)····41015·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo345 -rw-r--r--···0·root·········(0)·root·········(0)····85889·2025-03-12·07:06:26.000000·./usr/lib/aarch64-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/aarch64-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/aarch64-linux-gnu/ocaml/5.3.0/rocq-elpi/
⊟
850 B
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob
    
Offset 43, 15 lines modifiedOffset 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·<>·Notations45 mod·22427:22435·<>·Notations
46 R22463:22465·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not46 R22463:22465·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not
47 not·22447:22447·Notations·:::x_'>>'_x47 not·22447:22447·Notations·:::x_'>>'_x
48 def·22495:22495·Notations·w48 def·22495:22495·Notations·w
49 R22507:22515·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod49 R22507:22515·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod
50 mod·24304:24319·<>·Module450 mod·24304:24319·<>·Module51
51 R25968:25970·Coq.Init.Datatypes·<>·nat·ind51 R25968:25970·Coq.Init.Datatypes·<>·nat·ind
52 binder·25964:25964·<>·n:752 binder·25964:25964·<>·n:7
53 R25977:25979·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not53 R25977:25979·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not
54 R25976:25976·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var54 R25976:25976·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var
55 R25968:25970·Coq.Init.Datatypes·<>·nat·ind55 R25968:25970·Coq.Init.Datatypes·<>·nat·ind
56 mod·25935:25944·<>·Box56 mod·25935:25944·<>·Box
57 mod·25935:25944·<>·Box.Box57 mod·25935:25944·<>·Box.Box
⊟
4.11 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo
    
Offset 1, 20 lines modifiedOffset 1, 20 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0007·a646··Coq!..@P.......F00000000:·436f·7121·0001·4050·0000·0000·0007·a647··Coq!..@P.......G
00000010:·8495·a6be·0000·007b·0000·0017·0000·0051··.......{.......Q00000010:·8495·a6be·0000·007b·0000·0017·0000·0051··.......{.......Q
00000020:·0000·0044·c0a0·3974·7574·6f72·6961·6c5f··...D..9tutorial_00000020:·0000·0044·c0a0·3974·7574·6f72·6961·6c5f··...D..9tutorial_
00000030:·636f·715f·656c·7069·5f63·6f6d·6d61·6e64··coq_elpi_command00000030:·636f·715f·656c·7069·5f63·6f6d·6d61·6e64··coq_elpi_command
00000040:·a02d·656c·7069·5f65·7861·6d70·6c65·7340··.-elpi_examples@00000040:·a02d·656c·7069·5f65·7861·6d70·6c65·7340··.-elpi_examples@
00000050:·a0a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini00000050:·a0a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini
00000060:·74a0·2343·6f71·4090·30de·1786·eb0d·5557··t.#Coq@.0.....UW00000060:·74a0·2343·6f71·4090·30de·1786·eb0d·5557··t.#Coq@.0.....UW
00000070:·bd17·accf·1e3c·3dc5·06a0·a024·656c·7069··.....<=....$elpi00000070:·bd17·accf·1e3c·3dc5·06a0·a024·656c·7069··.....<=....$elpi
00000080:·a004·0240·9030·8b94·be0e·2731·02d2·edf5··...@.0....'1....00000080:·a004·0240·9030·8b94·be0e·2731·02d2·edf5··...@.0....'1....
00000090:·10a3·522e·63b1·2535·2e33·2e30·a040·40d3··..R.c.%5.3.0.@@.00000090:·10a3·522e·63b1·2535·2e33·2e30·a040·40d3··..R.c.%5.3.0.@@.
000000a0:·92a0·da6e·da0d·c0f3·4a3c·550c·ffd2·7784··...n....J<U...w.000000a0:·92a0·da6e·da0d·c0f3·4a3c·550c·ffd2·7784··...n....J<U...w.
000000b0:·95a6·be00·07a3·6800·01c4·8d00·05ee·8500··......h.........000000b0:·95a6·be00·07a3·6900·01c4·8d00·05ee·8600··......i.........
000000c0:·05dc·d9b0·d0a0·3974·7574·6f72·6961·6c5f··......9tutorial_000000c0:·05dc·dab0·d0a0·3974·7574·6f72·6961·6c5f··......9tutorial_
000000d0:·636f·715f·656c·7069·5f63·6f6d·6d61·6e64··coq_elpi_command000000d0:·636f·715f·656c·7069·5f63·6f6d·6d61·6e64··coq_elpi_command
000000e0:·a02d·656c·7069·5f65·7861·6d70·6c65·7340··.-elpi_examples@000000e0:·a02d·656c·7069·5f65·7861·6d70·6c65·7340··.-elpi_examples@
000000f0:·e090·0406·4190·a0a0·2862·6f6f·6c32·6e61··....A...(bool2na000000f0:·e090·0406·4190·a0a0·2862·6f6f·6c32·6e61··....A...(bool2na
00000100:·7490·0800·0027·0040·a080·8091·b7a0·9021··t....'.@.......!00000100:·7490·0800·0027·0040·a080·8091·b7a0·9021··t....'.@.......!
00000110:·6240·9ba0·a090·b090·a029·4461·7461·7479··b@.......)Dataty00000110:·6240·9ba0·a090·b090·a029·4461·7461·7479··b@.......)Dataty
00000120:·7065·73a0·2449·6e69·74a0·2343·6f71·4024··pes.$Init.#Coq@$00000120:·7065·73a0·2449·6e69·74a0·2343·6f71·4024··pes.$Init.#Coq@$
00000130:·626f·6f6c·020e·fc5a·2740·0413·fdd0·040d··bool...Z'@......00000130:·626f·6f6c·020e·fc5a·2740·0413·fdd0·040d··bool...Z'@......
Offset 137, 31208 lines modifiedOffset 137, 31208 lines modified
00000880:·b604·d405·01d1·b605·0195·041a·b605·0109··................00000880:·b604·d405·01d1·b605·0195·041a·b605·0109··................
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@
Diff chunk too large, falling back to line-by-line diff (31201 lines added, 31201 lines removed)
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·274d·6f64·756c··.@@.@@.@..'Modul000008f0:·1440·40a0·4040·9040·a0a0·284d·6f64·756c··.@@.@@.@..(Modul
00000900:·6534·93e0·a205·0264·0404·4190·4040·0409··e4.....d..A.@@..00000900:·6535·3193·e0a2·0502·6404·0441·9040·4004··e51.....d..A.@@.
00000910:·9040·a0a0·2342·6f78·93e0·a205·026c·0404··.@..#Box.....l..00000910:·0990·40a0·a023·426f·7893·e0a2·0502·6c04··..@..#Box.....l.
00000920:·4190·a0a0·0407·93e0·a204·0704·0a41·90a0··A............A..00000920:·0441·90a0·a004·0793·e0a2·0407·040a·4190··.A............A.
00000930:·a004·0d93·e0a2·0407·0410·4190·a0a0·0413··..........A.....00000930:·a0a0·040d·93e0·a204·0704·1041·90a0·a004··...........A....
00000940:·93e0·a204·0704·1641·90a0·a023·666f·6f90··.......A...#foo.00000940:·1393·e0a2·0407·0416·4190·a0a0·2366·6f6f··........A...#foo
00000950:·0800·0027·0040·0502·7d91·b7a0·9021·6e40··...'.@..}....!n@00000950:·9008·0000·2700·4005·027d·91b7·a090·216e··....'.@..}....!n
00000960:·0502·67a9·9aa0·90b0·90a0·234e·6174·0502··..g.......#Nat..00000960:·4005·0267·a99a·a090·b090·a023·4e61·7405··@..g.......#Nat.
00000970:·7c23·6164·6402·0ca3·8f60·0502·8ba0·0502··|#add....`......00000970:·027c·2361·6464·020c·a38f·6005·028b·a005··.|#add....`.....
00000980:·6b05·0242·b604·0e05·0272·0502·7240·90b0··k..B.....r..r@..00000980:·026b·0502·42b6·040e·0502·7205·0272·4090··.k..B.....r..r@.
00000990:·80a0·0502·9c4c·90a0·9240·9190·b090·a004··.....L...@......00000990:·b080·a005·029c·4c90·a092·4091·90b0·90a0··......L...@.....
000009a0:·0fa0·2449·6e69·74a0·2343·6f71·4004·1202··..$Init.#Coq@...000009a0:·040f·a024·496e·6974·a023·436f·7140·0412··...$Init.#Coq@..
000009b0:·0ca3·8f60·4040·0502·5b40·4004·4790·4040··...`@@..[@@.G.@@000009b0:·020c·a38f·6040·4005·025b·4040·0447·9040··....`@@..[@@.G.@
000009c0:·4004·4890·4040·4004·4990·4040·4004·4a90··@.H.@@@.I.@@@.J.000009c0:·4040·0448·9040·4040·0449·9040·4040·044a··@@.H.@@@.I.@@@.J
000009d0:·40a0·a02b·4e65·7874·4d6f·6475·6c65·3093··@..+NextModule0.000009d0:·9040·a0a0·2b4e·6578·744d·6f64·756c·6530··.@..+NextModule0
000009e0:·e0a2·0502·ad04·0441·9040·4004·5290·40a0··.......A.@@.R.@.000009e0:·93e0·a205·02ad·0404·4190·4040·0452·9040··........A.@@.R.@
000009f0:·a02b·4e65·7874·4d6f·6475·6c65·3193·e0a2··.+NextModule1...000009f0:·a0a0·2b4e·6578·744d·6f64·756c·6531·93e0··..+NextModule1..
00000a00:·0502·b504·0441·9040·4004·5a90·40a0·a02b··.....A.@@.Z.@..+00000a00:·a205·02b5·0404·4190·4040·045a·9040·a0a0··......A.@@.Z.@..
00000a10:·4e65·7874·4d6f·6475·6c65·3293·e0a2·0502··NextModule2.....00000a10:·2b4e·6578·744d·6f64·756c·6532·93e0·a205··+NextModule2....
00000a20:·bd04·0441·9040·4004·6290·4040·4004·6390··...A.@@.b.@@@.c.00000a20:·02bd·0404·4190·4040·0462·9040·4040·0463··....A.@@.b.@@@.c
00000a30:·40a0·d040·0335·9ea1·f7ba·fb61·b5c0·4005··@..@.5.....a..@.00000a30:·9040·a0d0·4003·359e·a1f7·bafb·61b5·c040··.@..@.5.....a..@
00000a40:·020f·4041·d040·0335·9ea1·f7bb·0062·f0c0··..@A.@.5.....b..00000a40:·0502·0f40·41d0·4003·359e·a1f7·bb00·62f0··...@A.@.5.....b.
00000a50:·4005·0117·4041·4041·42c0·40b0·a049·4041··@...@A@AB.@..I@A00000a50:·c040·0501·1740·4140·4142·c040·b0a0·4940··.@...@A@AB.@..I@
00000a60:·a003·0122·b074·8bc2·af03·90b0·0502·8a20··...".t.........·00000a60:·41a0·0301·22b0·748b·c2af·0390·b005·028a··A...".t.........
00000a70:·4a40·4190·a0a0·2465·6c70·69a0·0402·4090··J@A...$elpi...@.00000a70:·204a·4041·90a0·a024·656c·7069·a004·0240···J@A...$elpi...@
00000a80:·308b·94be·0e27·3102·d2ed·f510·a352·2e63··0....'1......R.c00000a80:·9030·8b94·be0e·2731·02d2·edf5·10a3·522e··.0....'1......R.
00000a90:·b190·40a0·a095·a002·11a3·7e0f·a0a0·2568··..@.......~...%h00000a90:·63b1·9040·a0a0·95a0·0211·a37e·0fa0·a025··c..@.......~...%
00000aa0:·656c·6c6f·4090·40a0·95a0·020b·bda0·12b0··ello@.@.........00000aa0:·6865·6c6c·6f40·9040·a095·a002·0bbd·a012··hello@.@........
00000ab0:·0407·90a0·092c·656c·7069·5f65·6c70·692f··.....,elpi_elpi/00000ab0:·b004·0790·a009·2c65·6c70·695f·656c·7069··......,elpi_elpi
00000ac0:·656c·7069·2d63·6f6d·6d61·6e64·2d74·656d··elpi-command-tem00000ac0:·2f65·6c70·692d·636f·6d6d·616e·642d·7465··/elpi-command-te
00000ad0:·706c·6174·652d·7379·6e74·6572·702e·656c··plate-synterp.el00000ad0:·6d70·6c61·7465·2d73·796e·7465·7270·2e65··mplate-synterp.e
00000ae0:·7069·a0b0·9004·1809·2037·3562·3064·3061··pi......·75b0d0a00000ae0:·6c70·69a0·b090·0418·0920·3735·6230·6430··lpi......·75b0d0
00000af0:·3131·3539·6535·3633·3265·3033·3136·3339··1159e5632e03163900000af0:·6131·3135·3965·3536·3332·6530·3331·3633··a1159e5632e03163
00000b00:·3765·6339·6461·3737·3902·01ef·242a·d02f··7ec9da779...$*./00000b00:·3937·6563·3964·6137·3739·0201·ef24·2ad0··97ec9da779...$*.
00000b10:·2525·5645·5253·494f·4e5f·4e55·4d25·25d0··%%VERSION_NUM%%.00000b10:·2f25·2556·4552·5349·4f4e·5f4e·554d·2525··/%%VERSION_NUM%%
00000b20:·e040·d040·3161·7474·7269·6275·7465·2d6d··.@.@1attribute-m00000b20:·d0e0·40d0·4031·6174·7472·6962·7574·652d··..@.@1attribute-
00000b30:·6170·7069·6e67·a040·e040·0940·2f62·7569··apping.@.@.@/bui00000b30:·6d61·7070·696e·67a0·40e0·4009·402f·6275··mapping.@.@.@/bu
00000b40:·6c64·2f72·6570·726f·6475·6369·626c·652d··ld/reproducible-00000b40:·696c·642f·7265·7072·6f64·7563·6962·6c65··ild/reproducible
00000b50:·7061·7468·2f63·6f71·2d65·6c70·692d·322e··path/coq-elpi-2.00000b50:·2d70·6174·682f·636f·712d·656c·7069·2d32··-path/coq-elpi-2
00000b60:·352e·302f·656c·7069·2f63·6f71·2d6c·6962··5.0/elpi/coq-lib00000b60:·2e35·2e30·2f65·6c70·692f·636f·712d·6c69··.5.0/elpi/coq-li
00000b70:·2d63·6f6d·6d6f·6e2e·656c·7069·010a·3f01··-common.elpi..?.00000b70:·622d·636f·6d6d·6f6e·2e65·6c70·6901·0a3f··b-common.elpi..?
00000b80:·0a5a·004b·010a·3fd0·4033·6174·7472·6962··.Z.K..?.@3attrib00000b80:·010a·5a00·4b01·0a3f·d040·3361·7474·7269··..Z.K..?.@3attri
00000b90:·7574·652d·7369·676e·6174·7572·65a0·40e0··ute-signature.@.00000b90:·6275·7465·2d73·6967·6e61·7475·7265·a040··bute-signature.@
00000ba0:·4004·0501·0797·0107·b479·0107·97d0·402e··@........y....@.00000ba0:·e040·0405·0107·9701·07b4·7901·0797·d040··.@........y....@
00000bb0:·6174·7472·6962·7574·652d·7479·7065·a040··attribute-type.@00000bb0:·2e61·7474·7269·6275·7465·2d74·7970·65a0··.attribute-type.
00000bc0:·e040·0409·0108·c301·08db·0041·0108·c340··.@.........A...@00000bc0:·40e0·4004·0901·08c3·0108·db00·4101·08c3··@.@.........A...
00000bd0:·4142·43d0·d0d0·d040·2360·2d3e·90a0·0101··ABC....@#`->....00000bd0:·4041·4243·d0d0·d0d0·4023·602d·3e90·a001··@ABC....@#`->...
00000be0:·c591·b241·9026·7374·7269·6e67·b241·4190··...A.&string.AA.00000be0:·01c5·91b2·4190·2673·7472·696e·67b2·4141··....A.&string.AA
00000bf0:·0419·4041·2d61·7070·656e·642d·7374·7269··..@A-append-stri00000bf0:·9004·1940·412d·6170·7065·6e64·2d73·7472··...@A-append-str
00000c00:·6e67·90a0·0101·c691·b241·9004·09b2·4190··ng.......A....A.00000c00:·696e·6790·a001·01c6·91b2·4190·0409·b241··ing.......A....A
00000c10:·040b·b241·9004·0d40·d040·2361·7474·90a0··...A...@.@#att..00000c10:·9004·0bb2·4190·040d·40d0·4023·6174·7490··....A...@.@#att.
00000c20:·0101·c791·b241·9004·14b2·4190·0423·9004··.....A....A..#..00000c20:·a001·01c7·91b2·4190·0414·b241·9004·2390··......A....A..#.
00000c30:·2840·4142·3261·7474·2d69·676e·6f72·652d··(@AB2att-ignore-00000c30:·0428·4041·4232·6174·742d·6967·6e6f·7265··.(@AB2att-ignore
00000c40:·756e·6b6e·6f77·6e90·a001·01c8·9190·042d··unknown........-00000c40:·2d75·6e6b·6e6f·776e·90a0·0101·c891·9004··-unknown........
00000c50:·d0d0·4028·6174·746c·6162·656c·90a0·0101··..@(attlabel....00000c50:·2dd0·d040·2861·7474·6c61·6265·6c90·a001··-..@(attlabel...
00000c60:·c991·9004·3040·4127·6174·746c·6973·7490··....0@A'attlist.00000c60:·01c9·9190·0430·4041·2761·7474·6c69·7374··.....0@A'attlist
00000c70:·a001·01ca·9190·0435·d040·2661·7474·6d61··.......5.@&attma00000c70:·90a0·0101·ca91·9004·35d0·4026·6174·746d··........5.@&attm
00000c80:·7090·a001·01cb·9190·043b·4041·4243·2462··p........;@ABC$b00000c80:·6170·90a0·0101·cb91·9004·3b40·4142·4324··ap........;@ABC$
00000c90:·6f6f·6c90·a001·01cc·9190·0440·d0d0·d0d0··ool........@....00000c90:·626f·6f6c·90a0·0101·cc91·9004·40d0·d0d0··bool........@...
00000ca0:·402d·636f·712e·6973·2d6f·6e65·2d6f·6690··@-coq.is-one-of.00000ca0:·d040·2d63·6f71·2e69·732d·6f6e·652d·6f66··.@-coq.is-one-of
00000cb0:·a001·01cd·91b2·4190·043d·b241·41b2·4190··......A..=.AA.A.00000cb0:·90a0·0101·cd91·b241·9004·3db2·4141·b241··.......A..=.AA.A
00000cc0:·0456·4040·4134·636f·712e·7061·7273·652d··.V@@A4coq.parse-00000cc0:·9004·5640·4041·3463·6f71·2e70·6172·7365··..V@@A4coq.parse
00000cd0:·6174·7472·6962·7574·6573·90a0·0101·ce91··attributes......00000cd0:·2d61·7474·7269·6275·7465·7390·a001·01ce··-attributes.....
00000ce0:·b241·b124·6c69·7374·9029·6174·7472·6962··.A.$list.)attrib00000ce0:·91b2·41b1·246c·6973·7490·2961·7474·7269··..A.$list.)attri
00000cf0:·7574·6540·b241·b104·0590·045d·40b2·41b1··ute@.A.....]@.A.00000cf0:·6275·7465·40b2·41b1·0405·9004·5d40·b241··bute@.A.....]@.A
00000d00:·0408·4040·40d0·4037·636f·712e·7479·7065··..@@@.@7coq.type00000d00:·b104·0840·4040·d040·3763·6f71·2e74·7970··...@@@.@7coq.typ
00000d10:·6368·6563·6b2d·6174·7472·6962·7574·6590··check-attribute.00000d10:·6563·6865·636b·2d61·7474·7269·6275·7465··echeck-attribute
00000d20:·a001·01cf·91b2·4190·0455·b241·9004·64b2··......A..U.A..d.00000d20:·90a0·0101·cf91·b241·9004·55b2·4190·0464··.......A..U.A..d
00000d30:·4190·0459·b241·41b2·4190·2a64·6961·676e··A..Y.AA.A.*diagn00000d30:·b241·9004·59b2·4141·b241·902a·6469·6167··.A..Y.AA.A.*diag
00000d40:·6f73·7469·6340·4041·4237·636f·712e·7661··ostic@@AB7coq.va00000d40:·6e6f·7374·6963·4040·4142·3763·6f71·2e76··nostic@@AB7coq.v
00000d50:·6c69·642d·6c6f·632d·6174·7472·6962·7574··lid-loc-attribut00000d50:·616c·6964·2d6c·6f63·2d61·7474·7269·6275··alid-loc-attribu
00000d60:·6590·a001·01d0·91b2·4190·0463·b241·9023··e.......A..c.A.#00000d60:·7465·90a0·0101·d091·b241·9004·63b2·4190··te.......A..c.A.
00000d70:·6c6f·63b2·4190·040c·40d0·d040·3763·6f71··loc.A...@..@7coq00000d70:·236c·6f63·b241·9004·0c40·d0d0·4037·636f··#loc.A...@..@7co
00000d80:·2e76·616c·6964·2d73·7472·2d61·7474·7269··.valid-str-attri00000d80:·712e·7661·6c69·642d·7374·722d·6174·7472··q.valid-str-attr
00000d90:·6275·7465·90a0·0101·d191·b241·9004·70b2··bute.......A..p.00000d90:·6962·7574·6590·a001·01d1·91b2·4190·0470··ibute.......A..p
00000da0:·4190·0472·b241·b126·6f70·7469·6f6e·4140··A..r.A.&optionA@00000da0:·b241·9004·72b2·41b1·266f·7074·696f·6e41··.A..r.A.&optionA
00000db0:·b241·9004·1b40·4041·2369·6e74·90a0·0101··.A...@@A#int....00000db0:·40b2·4190·041b·4040·4123·696e·7490·a001··@.A...@@A#int...
00000dc0:·d291·9004·89d0·402f·6b65·6570·2d6f·6e6c··......@/keep-onl00000dc0:·01d2·9190·0489·d040·2f6b·6565·702d·6f6e··.......@/keep-on
00000dd0:·792d·6c61·6265·6c90·a001·01d3·91b2·4190··y-label.......A.00000dd0:·6c79·2d6c·6162·656c·90a0·0101·d391·b241··ly-label.......A
00000de0:·043b·b241·9004·3d40·4041·4243·0420·90a0··.;.A..=@@ABC.·..00000de0:·9004·3bb2·4190·043d·4040·4142·4304·2090··..;.A..=@@ABC.·.
00000df0:·0101·d491·9004·96d0·d040·256f·6e65·6f66··.........@%oneof00000df0:·a001·01d4·9190·0496·d0d0·4025·6f6e·656f··..........@%oneo
00000e00:·90a0·0101·d591·b241·b104·4b90·04a8·4090··.......A..K...@.00000e00:·6690·a001·01d5·91b2·41b1·044b·9004·a840··f.......A..K...@
00000e10:·04a0·4041·3470·6172·7365·2d61·7474·7269··..@A4parse-attri00000e10:·9004·a040·4134·7061·7273·652d·6174·7472··...@A4parse-attr
00000e20:·6275·7465·732e·6175·7890·a001·01d6·91b2··butes.aux.......00000e20:·6962·7574·6573·2e61·7578·90a0·0101·d691··ibutes.aux......
00000e30:·41b1·0453·9004·5240·b241·9004·9cb2·41b1··A..S..R@.A....A.00000e30:·b241·b104·5390·0452·40b2·4190·049c·b241··.A..S..R@.A....A
00000e40:·0458·4040·40d0·4024·7374·6f70·90a0·0101··.X@@@.@$stop....00000e40:·b104·5840·4040·d040·2473·746f·7090·a001··..X@@@.@$stop...
00000e50:·d791·b241·9004·a540·d040·04a6·90a0·0101··...A...@.@......00000e50:·01d7·91b2·4190·04a5·40d0·4004·a690·a001··....A...@.@.....
00000e60:·d891·9004·b7d0·4033·7375·7070·6f72·7465··......@3supporte00000e60:·01d8·9190·04b7·d040·3373·7570·706f·7274··.......@3support
00000e70:·642d·6174·7472·6962·7574·6590·a001·01d9··d-attribute.....00000e70:·6564·2d61·7474·7269·6275·7465·90a0·0101··ed-attribute....
00000e80:·91b2·4190·04c2·4040·4142·4344·4546·40d0··..A...@@ABCDEF@.00000e80:·d991·b241·9004·c240·4041·4243·4445·4640··...A...@@ABCDEF@
00000e90:·d0d0·4004·b1a0·a090·40a0·9040·a090·4140··..@.....@..@..A@00000e90:·d0d0·d040·04b1·a0a0·9040·a090·40a0·9041··...@.....@..@..A
00000ea0:·e040·04cf·0113·0201·1331·007b·0113·0240··.@.......1.{...@00000ea0:·40e0·4004·cf01·1302·0113·3100·7b01·1302··@.@.......1.{...
00000eb0:·4104·85a0·a090·40a0·9041·a090·4040·e040··A.....@..A..@@.@00000eb0:·4041·0485·a0a0·9040·a090·41a0·9040·40e0··@A.....@..A..@@.
00000ec0:·04d7·0111·7801·11af·0072·0111·78d0·4004··....x....r..x.@.00000ec0:·4004·d701·1178·0111·af00·7201·1178·d040··@....x....r..x.@
00000ed0:·85a0·a090·40a0·9040·a090·4140·e040·04e0··....@..@..A@.@..00000ed0:·0485·a0a0·9040·a090·40a0·9041·40e0·4004··.....@..@..A@.@.
00000ee0:·0102·fd01·0350·5901·02fd·4041·4204·7ea0··.....PY...@AB.~.00000ee0:·e001·02fd·0103·5059·0102·fd40·4142·047e··......PY...@AB.~
00000ef0:·a090·40a0·9041·a090·40a0·9041·a090·4140··..@..A..@..A..A@00000ef0:·a0a0·9040·a090·41a0·9040·a090·41a0·9041··...@..A..@..A..A
00000f00:·e040·04ec·010d·b501·0e1a·005b·010d·b5d0··.@.........[....00000f00:·40e0·4004·ec01·0db5·010e·1a00·5b01·0db5··@.@.........[...
Max diff block lines reached; -1/4307839 bytes (-0.00%) of diff not shown.
⊟
110 B
./var/lib/coq/md5sums/libcoq-elpi.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 rtk931 q2ea4
Generated by diffoscope 291