705 B
/srv/reproducible-results/rbuild-debian/r-b-build.LcgkvwK2/b1/dafny_2.3.0+dfsg-0.1_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.LcgkvwK2/b2/dafny_2.3.0+dfsg-0.1_armhf.changes
200 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·d0e6b5a1a420c046e6e191d2e83162ca·489744·devel·optional·dafny_2.3.0+dfsg-0.1_all.deb1 ·8aaf4da1e1d74865575b7cbf1d461d19·489744·devel·optional·dafny_2.3.0+dfsg-0.1_all.deb
313 B
dafny_2.3.0+dfsg-0.1_all.deb
257 B
control.tar.xz
229 B
control.tar
207 B
./clilibs
Ordering differences only
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
1 DafnyPipeline·2.3.0.10506__736440c9b414ea16·dafny 
2 DafnyRuntime·0.0.0.0__736440c9b414ea16·dafny1 DafnyRuntime·0.0.0.0__736440c9b414ea16·dafny
 2 DafnyPipeline·2.3.0.10506__736440c9b414ea16·dafny