Mark random1283 broken (#2844)
[packages/random.git] / tests /
drwxr-xr-x   ..
-rw-r--r-- 255 Makefile
-rw-r--r-- 120 all.T
-rw-r--r-- 972 random1283.hs