dev-lang/dafny|422|e1410aa288a0cc9064967908f7b6c629cdcf02ea|356572066|341M|dotnet@gentoo.org
dev-lang/dafny-bin|2|5b8f04811c1d3c67169291bd34d45deb29cc22b0|126660447|121M|dotnet@gentoo.org