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 004830b87e Merge remote-tracking branch 'origin/f23'		9 years ago
.gitignore	update to 0.10.12	10 years ago
ghc-cmdargs.spec	rebuild for aarch64 hash issue	9 years ago
sources	update to 0.10.12	10 years ago