/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.EOBjrObB/boogie_2.4.1+dfsg-0.1.diffoscope.html --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.EOBjrObB/b1/boogie_2.4.1+dfsg-0.1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.EOBjrObB/b2/boogie_2.4.1+dfsg-0.1

⊟

2.27 KB

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

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

⊟

311 B

Files ¶

⊟

1.78 KB

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

⊟

1.71 KB

control.tar.xz ¶

⊟

1.68 KB

control.tar ¶

⊟

1.66 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	·c~~da6~~bcd~~8fd1551~~2e~~726b2ea~~9~~fa3c~~e~~a50~~·586912·cli-mono·optional·libboogie-cil_2.4.1+dfsg-0.1_all.deb	2	·f94bd2ab3393287ebd3dc6f98e70e8fa·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	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil	1	BoogieHoudini·2.4.1.10503__736440c9b414ea16·libboogie-cil
		2	BoogieParserHelper·2.4.1.10503__736440c9b414ea16·libboogie-cil
3	Boogie~~Concurrency·~~1.0.0.0__736440c9b414ea16·libboogie-cil	3	BoogieGraph·2.4.1.10503__736440c9b414ea16·libboogie-cil
		4	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
		5	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil
4	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil	6	BoogieAbsInt·2.4.1.10503__736440c9b414ea16·libboogie-cil
5	BoogieVC~~Generat~~ion·2.4.1.10503__736440c9b414ea16·libboogie-cil	7	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
		8	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
6	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil	9	BoogiePredication·0.0.0.0__736440c9b414ea16·libboogie-cil
		10	BoogieVCGeneration·2.4.1.10503__736440c9b414ea16·libboogie-cil
7	Boogie~~Par~~ser~~Help~~er·2.4.1.10503__736440c9b414ea16·libboogie-cil	11	BoogieCore·2.4.1.10503__736440c9b414ea16·libboogie-cil
		12	BoogieConcurrency·1.0.0.0__736440c9b414ea16·libboogie-cil
8	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil	13	BoogieVCExpr·2.4.1.10503__736440c9b414ea16·libboogie-cil
9	Provers.SMTLib·2.4.1.10503__736440c9b414ea16·libboogie-cil
10	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil
11	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil	14	BoogieModel·2.4.1.10503__736440c9b414ea16·libboogie-cil
12	BoogieCo~~re·2.4~~.1.10503__736440c9b414ea16·libboogie-cil	15	BoogieDoomed·0.0.0.0__736440c9b414ea16·libboogie-cil
13	BoogieCodeContractsExtender·2.4.1.10503__736440c9b414ea16·libboogie-cil
14	BoogieModelViewer·2.4.1.10503__736440c9b414ea16·libboogie-cil
15	BoogieExecutionEngine·1.0.0.0__736440c9b414ea16·libboogie-cil
16	Boogie~~Gra~~ph·2.4.1.10503__736440c9b414ea16·libboogie-cil	16	BoogieBasetypes·2.4.1.10503__736440c9b414ea16·libboogie-cil