Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | dev-lang/dafny: Stabilize 4.5.0 amd64, #930160 | Matoro Mahri | 38 min. | |
index : repo/gentoo.git | ||
Official Gentoo ebuild repository | Infrastructure team <infrastructure@gentoo.org> |
summaryrefslogtreecommitdiff |
Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | dev-lang/dafny: Stabilize 4.5.0 amd64, #930160 | Matoro Mahri | 38 min. | |