Filename | Modification time | Size |
---|---|---|
Manifest | 124 KiB | |
dafny-4.8.0.ebuild | 21 KiB | |
dafny-4.8.1.ebuild | 21 KiB | |
dafny-4.9.0.ebuild | 20 KiB | |
metadata.xml | 1884 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 124 KiB | |
dafny-4.8.0.ebuild | 21 KiB | |
dafny-4.8.1.ebuild | 21 KiB | |
dafny-4.9.0.ebuild | 20 KiB | |
metadata.xml | 1884 B |