Filename | Modification time | Size |
---|---|---|
Manifest | 121 KiB | |
dafny-4.4.0-r1.ebuild | 18 KiB | |
dafny-4.5.0.ebuild | 19 KiB | |
dafny-4.6.0.ebuild | 19 KiB | |
metadata.xml | 1884 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 121 KiB | |
dafny-4.4.0-r1.ebuild | 18 KiB | |
dafny-4.5.0.ebuild | 19 KiB | |
dafny-4.6.0.ebuild | 19 KiB | |
metadata.xml | 1884 B |