summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-07-19 20:28:14 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-07-19 21:32:11 +0200
commitc83357b8a831e17aa628222bd34fb934af82d2b8 (patch)
tree6dab96680f42b4c6436ca6fe29037f3b0b38878a /dev-dotnet
parentdev-java/metainf-services: add 1.9 (diff)
downloadgentoo-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