From b309d85499175ef3b8dbbc71f7fd57a5d0660f88 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Tue, 18 Jan 2022 21:37:56 +0100 Subject: Default timeout command-line parameter --- erebos-tester.cabal | 1 + 1 file changed, 1 insertion(+) (limited to 'erebos-tester.cabal') diff --git a/erebos-tester.cabal b/erebos-tester.cabal index 770b71d..4842cc3 100644 --- a/erebos-tester.cabal +++ b/erebos-tester.cabal @@ -57,6 +57,7 @@ executable erebos-tester-core mtl ^>=2.2.2, process ^>=1.6.9, regex-tdfa ^>=1.3.1.0, + scientific >=0.3 && < 0.4, stm ^>=2.5.0.1, text ^>=1.2.4.0, unix ^>=2.7.2.2, -- cgit v1.2.3