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

⊟

2.15 KB

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

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

⊟

311 B

Files ¶

⊟

1.66 KB

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

⊟

1.59 KB

control.tar.xz ¶

⊟

1.56 KB

control.tar ¶

⊟

1.54 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	·b~~2422ee2dd~~f~~dc23~~54172d5~~1e91f623b~~1·586912·cli-mono·optional·libboogie-cil_2.4.1+dfsg-0.1_all.deb	2	·dfe6f7572f88de54127254067a99e117·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	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
2	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil	1	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil
3	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
4	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
5	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
6	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil	2	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
		3	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil
7	BoogieDo~~omed~~·0.0.0.0__736440c9b414ea16·libboogie-cil	4	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
		5	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
		6	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil
8	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil	7	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil
9	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil	8	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil
10	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil	9	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil
11	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
12	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil	10	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
		11	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
13	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil	12	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil
14	Boogie~~VCEx~~pr·2.4.1.10503__736440c9b414ea16·libboogie-cil	13	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
		14	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
15	BoogieAbs~~Int~~·2.4.1.10503__736440c9b414ea16·libboogie-cil	15	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
16	BoogieCo~~deC~~o~~ntractsEx~~tender·2.4.1.10503__736440c9b414ea16·libboogie-cil	16	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil