diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-18 09:18:44 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-18 17:00:28 +0200 |
| commit | 418e2b38c1d8353a346468a267d7adf2d8dbd656 (patch) | |
| tree | a5ea0028d1df49b6d8abf3b8cc6f10f7602885c5 /dev-lang/dafny | |
| parent | dev-python/xlsxwriter: Enable py3.12 (diff) | |
| download | gentoo-418e2b38c1d8353a346468a267d7adf2d8dbd656.tar.gz gentoo-418e2b38c1d8353a346468a267d7adf2d8dbd656.tar.bz2 gentoo-418e2b38c1d8353a346468a267d7adf2d8dbd656.zip | |
dev-lang/dafny: add "go" test dependency
Closes: https://bugs.gentoo.org/914372
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -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] |