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

⊟

2.21 KB

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

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

⊟

311 B

Files ¶

⊟

1.72 KB

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

⊟

1.65 KB

control.tar.xz ¶

⊟

1.62 KB

control.tar ¶

⊟

1.6 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	·~~ec19f~~a~~ad75~~54a17bb~~ab0~~0~~b443b362e86~~·586912·cli-mono·optional·libboogie-cil_2.4.1+dfsg-0.1_all.deb	2	·c2228a4c4e625aad766f027ae845f3c5·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	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
2	BoogieExecutio~~nEngi~~ne·1.0.0.0__736440c9b414ea16·libboogie-cil	1	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil
3	Boogie~~Mod~~e~~lView~~er·2.4.1.10503__736440c9b414ea16·libboogie-cil	2	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
4	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil
5	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
6	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil	3	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil
		4	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
		5	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
		6	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
7	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil	7	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil
		8	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
		9	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
8	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil	10	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil
9	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil	11	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
		12	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
		13	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil
10	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil	14	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil
11	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
12	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
13	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil	15	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil
14	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
15	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
16	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil	16	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil