698 B
/srv/reproducible-results/rbuild-debian/r-b-build.2r8edgU8/b1/dafny_2.3.0+dfsg-0.1_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.2r8edgU8/b2/dafny_2.3.0+dfsg-0.1_i386.changes
200 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·8aaf4da1e1d74865575b7cbf1d461d19·489744·devel·optional·dafny_2.3.0+dfsg-0.1_all.deb1 ·d0e6b5a1a420c046e6e191d2e83162ca·489744·devel·optional·dafny_2.3.0+dfsg-0.1_all.deb
308 B
dafny_2.3.0+dfsg-0.1_all.deb
252 B
control.tar.xz
224 B
control.tar
202 B
./clilibs
Ordering differences only
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
1 DafnyRuntime·0.0.0.0__736440c9b414ea16·dafny 
2 DafnyPipeline·2.3.0.10506__736440c9b414ea16·dafny1 DafnyPipeline·2.3.0.10506__736440c9b414ea16·dafny
 2 DafnyRuntime·0.0.0.0__736440c9b414ea16·dafny