Paket yöneticileri (apt/yum) için uygundur. Büyük dosyalar için yüksek bant genişliği.

/ubuntu/pool/universe/d/dafny/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
dafny_2.3.0+dfsg-0.1_all.deb	478.3 KiB	2020-Jan-20 14:43