You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jens Petersen 84bed6ef6c move splitmix to random		4 years ago
.gitignore	update to 2.14.2	4 years ago
QuickCheck-2.12.6.1.cabal	update to 2.12.6.1	6 years ago
ghc-QuickCheck.spec	move splitmix to random	4 years ago
sources	move splitmix to random	4 years ago