commit 623d9c3069f16a2423fe862e51cd60f3e06309dd
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Dec 11 01:56:05 2021 +0100

dev-lang/dafny: fixes; regen Manifest; z3 4.8.5

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit cadef1c88d2651757dc7c1a92406825852be8144
Author: Maciej Barć <xgqt@riseup.net>
Date: Tue Oct 26 09:23:26 2021 +0200

dev-lang/dafny: style fixes; separate ebuild phases

Signed-off-by: Maciej Barć <xgqt@riseup.net>

commit 83e700cc02c82500784202ca0a006c61586a6411
Author: Maciej Barć <xgqt@riseup.net>
Date: Tue Oct 26 08:32:52 2021 +0200

dev-lang/dafny: add verison 3.3.0

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>