--- /tmp/boogie-2.4.1+dfsg-0.1d27k1joe/debian/libboogie-cil_2.4.1+dfsg-0.1_all.deb +++ libboogie-cil_2.4.1+dfsg-0.1_all.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2019-12-16 13:25:20.000000 debian-binary │ --rw-r--r-- 0 0 0 1472 2019-12-16 13:25:20.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 1476 2019-12-16 13:25:20.000000 control.tar.xz │ -rw-r--r-- 0 0 0 585244 2019-12-16 13:25:20.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./clilibs │ │ │┄ Ordering differences only │ │ │ @@ -1,16 +1,16 @@ │ │ │ -Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ -BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ BoogieHoudini 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ BoogieExecutionEngine 1.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ -BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ -BoogieCore 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ BoogieConcurrency 1.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ -BoogieCodeContractsExtender 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieModel 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieVCGeneration 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ BoogieBasetypes 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ -BoogieAbsInt 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieModelViewer 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieVCExpr 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +Provers.SMTLib 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieGraph 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieParserHelper 2.4.1.10503__736440c9b414ea16 libboogie-cil │ │ │ +BoogieDoomed 0.0.0.0__736440c9b414ea16 libboogie-cil │ │ │ +BoogiePredication 0.0.0.0__736440c9b414ea16 libboogie-cil