{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.gDzKp7D8/b1/boogie_2.4.1+dfsg-0.1_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.gDzKp7D8/b2/boogie_2.4.1+dfsg-0.1_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,3 +1,3 @@\n \n  ab1a5e306512ac2a6d0e6fb76f1f97d2 16596 cli-mono optional boogie_2.4.1+dfsg-0.1_all.deb\n- ec19faad7554a17bbab00b443b362e86 586912 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb\n+ c2228a4c4e625aad766f027ae845f3c5 586912 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb\n"}, {"source1": "libboogie-cil_2.4.1+dfsg-0.1_all.deb", "source2": "libboogie-cil_2.4.1+dfsg-0.1_all.deb", "unified_diff": null, "details": [{"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./clilibs", "source2": "./clilibs", "comments": ["Ordering differences only"], "unified_diff": "@@ -1,16 +1,16 @@\n-BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil\n-BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil\n-BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil\n+BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil\n+BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil\n BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil\n+Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil\n+BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil\n+BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil\n BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil\n+BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil\n+BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil\n BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil\n+BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil\n+BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil\n+BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil\n BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil\n BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil\n-BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil\n BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil\n"}]}]}]}]}