From ceeeb463cc1eef97fd62eaee8bf2196ba04bc384 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 29 Feb 2020 18:01:47 +0000 Subject: gentoo (leap year) resync : 29.02.2020 --- sci-mathematics/prover9/prover9-2009.11a.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sci-mathematics/prover9/prover9-2009.11a.ebuild') diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild index 1894b784a655..ebcbaab1c1a9 100644 --- a/sci-mathematics/prover9/prover9-2009.11a.ebuild +++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild @@ -46,7 +46,7 @@ src_test() { emake test3 } -src_install () { +src_install() { dobin \ bin/attack \ bin/autosketches4 \ -- cgit v1.2.3