--- /srv/reproducible-results/rbuild-debian/r-b-build.LcgkvwK2/b1/dafny_2.3.0+dfsg-0.1_armhf.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.LcgkvwK2/b2/dafny_2.3.0+dfsg-0.1_armhf.changes ├── Files │ @@ -1,2 +1,2 @@ │ │ - d0e6b5a1a420c046e6e191d2e83162ca 489744 devel optional dafny_2.3.0+dfsg-0.1_all.deb │ + 8aaf4da1e1d74865575b7cbf1d461d19 489744 devel optional dafny_2.3.0+dfsg-0.1_all.deb ├── dafny_2.3.0+dfsg-0.1_all.deb │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./clilibs │ │ │ │┄ Ordering differences only │ │ │ │ @@ -1,2 +1,2 @@ │ │ │ │ -DafnyPipeline 2.3.0.10506__736440c9b414ea16 dafny │ │ │ │ DafnyRuntime 0.0.0.0__736440c9b414ea16 dafny │ │ │ │ +DafnyPipeline 2.3.0.10506__736440c9b414ea16 dafny