summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-10-06 04:28:12 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-10-06 04:28:18 +0200
commitb4f7cb650e4e985964819af5a80c4609922caf83 (patch)
tree87ab7095272f5e87345fbc685f82d234f9fae0f9 /games-board
parentprofiles/arch/alpha: mask dev-util/pkgcheck[emacs] (diff)
downloadgentoo-b4f7cb650e4e985964819af5a80c4609922caf83.tar.gz
gentoo-b4f7cb650e4e985964819af5a80c4609922caf83.tar.bz2
gentoo-b4f7cb650e4e985964819af5a80c4609922caf83.zip
dev-lang/dafny-bin: drop old 3.7.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'games-board')
0 files changed, 0 insertions, 0 deletions