Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
dafny_1.9.7-1.patch-basis | 2016-06-06 06:05 | 8 | ||
dafny_1.9.7-1.patch.bz2 | 2016-06-06 06:05 | 643K | ||
dafny_2.3.0+dfsg-0.1.patch-basis | 2020-01-20 09:35 | 8 | ||
dafny_2.3.0+dfsg-0.1.patch.bz2 | 2020-01-20 09:35 | 1.8M | ||
patches.xml | 2020-01-20 09:41 | 920 | ||