--- /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_i386.changes
├── Files
│ @@ -1,3 +1,3 @@
│  
│   ab1a5e306512ac2a6d0e6fb76f1f97d2 16596 cli-mono optional boogie_2.4.1+dfsg-0.1_all.deb
│ - 905844bdbe442b1335ed7b835a82acec 586912 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb
│ + 2e2336bf29eab2cf6bb631608b6f30b3 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 @@
│ │ │ │ +BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │  BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ -BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil
│ │ │ │ +BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil