Index of /by-release/debian/d/dafny

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dafny_1.9.7-1.patch-basis2016-06-06 06:08 8  
[   ]dafny_1.9.7-1.patch.bz22016-06-06 06:08 643K 
[   ]dafny_2.3.0+dfsg-0.1.patch-basis2020-01-20 09:37 8  
[   ]dafny_2.3.0+dfsg-0.1.patch.bz22020-01-20 09:37 1.8M 
[   ]patches.xml2020-01-20 09:41 934  

Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443