/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/coq-elpi_2.5.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/coq-elpi_2.5.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/coq-elpi_2.5.0-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/b1/coq-elpi_2.5.0-1_arm64.changes /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/b2/coq-elpi_2.5.0-1

⊟

6.4 KB

/srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/b1/coq-elpi_2.5.0-1_arm64.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/b2/coq-elpi_2.5.0-1_arm64.changes ¶

⊟

300 B

Files ¶

⊟

5.93 KB

libcoq-elpi_2.5.0-1_arm64.deb ¶

⊟

367 B

file list ¶

⊟

785 B

control.tar.xz ¶

⊟

757 B

control.tar ¶

⊟

687 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

4.75 KB

data.tar.xz ¶

⊟

4.72 KB

data.tar ¶

⊟

851 B

./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob ¶

⊟

3.77 KB

./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo ¶

⊟

110 B

./var/lib/coq/md5sums/libcoq-elpi.checksum ¶


Offset 1, 3 lines modified		Offset 1, 3 lines modified

1	·4ea15a3863f131a141fc0671600c3fd6·750268·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_arm64.deb	1	·4ea15a3863f131a141fc0671600c3fd6·750268·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_arm64.deb
2	·~~bd32~~ec~~ce76~~0~~7cfa27~~5~~1733af~~e~~59a~~1~~e6f~~·127~~70680~~·ocaml·optional·libcoq-elpi_2.5.0-1_arm64.deb	2	·4be7e4d9202511595005551e032130a0·12769544·ocaml·optional·libcoq-elpi_2.5.0-1_arm64.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····12104·2025-03-12·07:06:26.000000·control.tar.xz	2	-rw-r--r--···0········0········0····12104·2025-03-12·07:06:26.000000·control.tar.xz
3	-rw-r--r--···0········0········0·1275~~8384~~·2025-03-12·07:06:26.000000·data.tar.xz	3	-rw-r--r--···0········0········0·12757248·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:·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:·64828	6	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-f1se9	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-f1se9
8	Provides:·libcoq-elpi-~~1ul17~~	8	Provides:·libcoq-elpi-79bo9
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 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·<>·Module97	50	mod·24304:24319·<>·Module12
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:·6539·3793·e0a2·0502·6404·0441·9040·4004··e97.....d..A.@@.		00000900:·6531·3293·e0a2·0502·6404·0441·9040·4004··e12.....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·~~7930~~·~~0533~~··........@@@@y0.3		0007a420:·9005·0395·0503·94b0·4040·4040·0614·f9fa··........@@@@....
0007a430:·~~87ca~~·~~9bfc~~·~~fff1~~·6~~f45~~·~~c6ec~~·~~0654~~·8495·a6be··~~...~~...oE...T....		0007a430:·793e·67b3·94ec·606f·0301·de8c·8495·a6be··y>g...`o........
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·~~7930~~·~~0533~~·~~87ca~~·~~9bfc~~·~~fff1~~··.....}y0.~~3...~~...		0007a660:·0000·0007·a37d·0614·f9fa·793e·67b3·94ec··.....}....y>g...
0007a670:·6~~f45~~·~~c6ec~~·~~0654~~·0000·0007·6f70·6171·7565··oE...T....opaque		0007a670:·606f·0301·de8c·0000·0007·6f70·6171·7565··`o........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·f0c6·21ca··..............!.		0007a6b0:·0000·0010·0000·0000·0000·008f·f0c6·21ca··..............!.
0007a6c0:·c9c3·fd2a·00e8·2417·8e7d·708d·0000·0009··...*..$..}p.....		0007a6c0:·c9c3·fd2a·00e8·2417·8e7d·708d·0000·0009··...*..$..}p.....
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, 1 lines modified		Offset 1, 1 lines modified
1	~~1ul17~~	1	79bo9