diff options
author | Maciej Barć <xgqt@gentoo.org> | 2022-07-19 20:28:14 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-07-19 21:32:11 +0200 |
commit | c83357b8a831e17aa628222bd34fb934af82d2b8 (patch) | |
tree | 6dab96680f42b4c6436ca6fe29037f3b0b38878a /dev-dotnet | |
parent | dev-java/metainf-services: add 1.9 (diff) | |
download | gentoo-c83357b8a831e17aa628222bd34fb934af82d2b8.tar.gz gentoo-c83357b8a831e17aa628222bd34fb934af82d2b8.tar.bz2 gentoo-c83357b8a831e17aa628222bd34fb934af82d2b8.zip |
dev-lang/dafny-bin: bump to 3.7.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-dotnet')
0 files changed, 0 insertions, 0 deletions