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