gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity
Files
e3de3b4fba10b8e7220e69dc6c2b7e4a135a4e11
gentoo/dev-lang/dafny-bin/metadata.xml
Maciej Barć dedd1cff90 dev-lang/dafny-bin: switch maint to dotnet@gentoo.org 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-02-28 19:03:17 +01:00

1.8 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink