[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny/files/, dev-lang/dafny/

commit: 3caad7d601b6fbdbf25e17d445db7f6361570d8f Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 17 17:01:28 2024 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 17 21:53:18 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3caad7d6

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny/files/, dev-lang/dafny/

commit: b9accadea8f918563608b9936941022939c14f89 Author: Maciej Barć gentoo org> AuthorDate: Sun Sep 17 19:16:33 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Sep 17 19:20:28 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9accade