--- /srv/reproducible-results/rbuild-debian/r-b-build.qcGDhdxJ/b1/boogie_2.4.1+dfsg-0.1_armhf.changes
+++ /srv/reproducible-results/rbuild-debian/r-b-build.qcGDhdxJ/b2/boogie_2.4.1+dfsg-0.1_armhf.changes
├── Files
│ @@ -1,3 +1,3 @@
│  
│   ab1a5e306512ac2a6d0e6fb76f1f97d2 16596 cli-mono optional boogie_2.4.1+dfsg-0.1_all.deb
│ - b2422ee2ddfdc2354172d51e91f623b1 586912 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb
│ + dfe6f7572f88de54127254067a99e117 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 @@
│ │ │ │ -BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil