diff options
-rw-r--r-- | dev-lang/dafny/dafny-4.2.0.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild index 34aaf73989ea..24f9f2259878 100644 --- a/dev-lang/dafny/dafny-4.2.0.ebuild +++ b/dev-lang/dafny/dafny-4.2.0.ebuild @@ -315,6 +315,7 @@ BDEPEND=" test? ( ${PYTHON_DEPS} dev-lang/boogie + dev-lang/go dev-python/OutputCheck dev-python/lit net-libs/nodejs[npm] |