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

⊟

2.32 KB

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

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

⊟

311 B

Files ¶

⊟

1.83 KB

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

⊟

1.76 KB

control.tar.xz ¶

⊟

1.73 KB

control.tar ¶

⊟

1.71 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	·~~905844~~bdbe442b~~1335ed7b835a82acec~~·586912·cli-mono·optional·libboogie-cil_2.4.1+dfsg-0.1_all.deb	2	·2e2336bf29eab2cf6bb631608b6f30b3·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	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil
		2	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil
1	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil	3	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
2	BoogieParser~~Helper·2.4~~.1.10503__736440c9b414ea16·libboogie-cil	4	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil
3	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
4	BoogieC~~ore~~·2.4.1.10503__736440c9b414ea16·libboogie-cil	5	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil
5	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
6	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil	6	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil
7	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil
8	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
9	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil	7	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
10	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
11	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil
12	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
13	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil	8	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil
14	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil
15	Boogie~~Graph~~·2.4.1.10503__736440c9b414ea16·libboogie-cil	9	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
16	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil	10	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil
		11	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
		12	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil
		13	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
		14	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil
		15	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
		16	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil