../ Data/ 15-Feb-2019 12:08 - _darcs/ 15-Feb-2019 12:08 - benchmarks/ 15-Feb-2019 12:08 - test/ 15-Feb-2019 12:08 - LICENSE 15-Feb-2019 12:08 819 README 15-Feb-2019 12:08 1066 Setup.hs 15-Feb-2019 12:08 47 TODO 15-Feb-2019 12:08 188 randproc.cabal 15-Feb-2019 12:08 1333 time.out 15-Feb-2019 12:08 340