--- /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_i386.changes ├── Files │ @@ -1,3 +1,3 @@ │ │ ab1a5e306512ac2a6d0e6fb76f1f97d2 16596 cli-mono optional boogie_2.4.1+dfsg-0.1_all.deb │ - ec19faad7554a17bbab00b443b362e86 586912 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb │ + c2228a4c4e625aad766f027ae845f3c5 586912 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb ├── libboogie-cil_2.4.1+dfsg-0.1_all.deb │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./clilibs │ │ │ │┄ Ordering differences only │ │ │ │ @@ -1,16 +1,16 @@ │ │ │ │ -BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ +Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ │ +BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ -BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ │ BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil