/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/boogie_2.4.1+dfsg-0.1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/boogie_2.4.1+dfsg-0.1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/boogie_2.4.1+dfsg-0.1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/b1/boogie_2.4.1+dfsg-0.1_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/b2/boogie_2.4.1+dfsg-0.1

⊟

2.14 KB

/srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/b1/boogie_2.4.1+dfsg-0.1_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.MGSZb5Q6/b2/boogie_2.4.1+dfsg-0.1_armhf.changes ¶

⊟

311 B

Files ¶

⊟

1.65 KB

libboogie-cil_2.4.1+dfsg-0.1_all.deb ¶

⊟

1.58 KB

control.tar.xz ¶

⊟

1.55 KB

control.tar ¶

⊟

1.53 KB

./clilibs ¶

Ordering differences only


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

1	·ab1a5e306512ac2a6d0e6fb76f1f97d2·16596·cli-mono·optional·boogie_2.4.1+dfsg-0.1_all.deb	1	·ab1a5e306512ac2a6d0e6fb76f1f97d2·16596·cli-mono·optional·boogie_2.4.1+dfsg-0.1_all.deb
2	·~~2a9d2292d4c~~a8cbbcd~~9fc~~2~~67ec60e95f~~·586912·cli-mono·optional·libboogie-cil_2.4.1+dfsg-0.1_all.deb	2	·8d4f503b276a3b13dac682b425919ed7·586912·cli-mono·optional·libboogie-cil_2.4.1+dfsg-0.1_all.deb


Offset 1, 16 lines modified		Offset 1, 16 lines modified
1	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
2	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil	1	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
3	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
4	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil
5	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil	2	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil
		3	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
		4	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil
		5	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil
		6	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
		7	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil
		8	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil
6	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil	9	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
7	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil	10	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil
8	Boogie~~Execut~~ion~~Engine·~~1.0.0.0__736440c9b414ea16·libboogie-cil	11	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil
		12	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
9	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil	13	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
10	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil
11	BoogieH~~oudi~~ni·2.4.1.10503__736440c9b414ea16·libboogie-cil	14	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
12	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil
13	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil	15	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
14	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil
15	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil	16	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil
16	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil