diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2022-01-18 21:37:56 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-01-18 21:37:56 +0100 |
commit | b309d85499175ef3b8dbbc71f7fd57a5d0660f88 (patch) | |
tree | c67cd0f7d8ceb1b83b182e627b70dea3d0d0e5bd /erebos-tester.cabal | |
parent | 2a4f1f973f167e396d8cc3ef8a29e16f8fdc5229 (diff) |
Default timeout command-line parameter
Diffstat (limited to 'erebos-tester.cabal')
-rw-r--r-- | erebos-tester.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
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, |