|
.gitignore
|
revert to ghc-8.10.4 (since ghc-8.10.5 fails to rebuild on s390x)
|
2021-07-15 20:16:05 +08:00 |
|
296f25fa5f0fce033b529547e0658076e26f4cda.patch
|
revert back to 8.10.5 with rts patch and without s390x llvm
|
2021-07-23 10:44:05 +08:00 |
|
abi-check.sh
|
abi-check.sh now downloads builds from koji and compares their hashes
|
2015-03-23 12:50:33 +09:00 |
|
buildpath-abi-stability.patch
|
rebase to 8.10.5 from ghc:8.10
|
2021-07-11 21:27:39 +08:00 |
|
Disable-unboxed-arrays.patch
|
rebase to 8.8.3 from ghc:8.8
|
2020-07-15 01:53:44 +08:00 |
|
ghc-8.6.3-sphinx-1.8.patch
|
update to ghc-8.6.5 (backported from ghc:8.6)
|
2019-07-31 10:11:29 +00:00 |
|
ghc-armv7-VFPv3D16--NEON.patch
|
Revert back to ghc-7.8 and update to 7.8.4
|
2015-01-17 16:55:56 +09:00 |
|
ghc-Cabal-install-PATH-warning.patch
|
update to 8.4 (rebase to 8.4 branch)
|
2019-02-16 00:30:41 +08:00 |
|
ghc-gen_contents_index-haddock-path.patch
|
update to 7.10.3 from petersen/ghc-7.10.3 copr
|
2016-06-03 14:29:26 +09:00 |
|
ghc-gen_contents_index-nodocs.patch
|
fix gen_contents_index also when no docs (#1813548)
|
2020-04-09 19:03:57 +08:00 |
|
ghc-pkg.man
|
add manpages from Debian
|
2018-07-08 07:50:26 +02:00 |
|
ghc-userguide-sphinx4.patch
|
fix build with sphinx4 (#1977317)
|
2021-07-01 00:37:53 +08:00 |
|
ghc-warnings.mk-CC-Wall.patch
|
add missing ghc-warnings.mk-CC-Wall.patch
|
2018-10-17 12:33:07 +09:00 |
|
ghc.spec
|
revert back to 8.10.5 with rts patch and without s390x llvm
|
2021-07-23 10:44:05 +08:00 |
|
haddock.man
|
add manpages from Debian
|
2018-07-08 07:50:26 +02:00 |
|
libraries-versions.sh
|
exclude ghc-boot from ghc-libraries
|
2017-10-26 20:19:31 +09:00 |
|
no-missing-haddock-file-warning.patch
|
update to 8.4 (rebase to 8.4 branch)
|
2019-02-16 00:30:41 +08:00 |
|
noautobuild
|
opt-out of F35 mass rebuild with noautobuild
|
2021-07-21 20:22:00 +08:00 |
|
runghc.man
|
add manpages from Debian
|
2018-07-08 07:50:26 +02:00 |
|
sources
|
revert back to 8.10.5 with rts patch and without s390x llvm
|
2021-07-23 10:44:05 +08:00 |
