|
tests
|
add simple ci test
|
2022-06-15 21:59:53 +08:00 |
|
.gitignore
|
update to 9.0.2 from ghc9.0
|
2023-01-30 20:13:58 +08:00 |
|
9aace0eaf6279f17368a1753b65afbdc466e8291.patch
|
rebase to 9.2.5 from ghc9.2
|
2023-01-30 20:16:30 +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-2.patch
|
update to 9.0.2 from ghc9.0
|
2023-01-30 20:13:58 +08:00 |
|
buildpath-abi-stability.patch
|
update to 9.0.2 from ghc9.0
|
2023-01-30 20:13:58 +08:00 |
|
Disable-unboxed-arrays.patch
|
rebase to 8.8.3 from ghc:8.8
|
2020-07-15 01:53:44 +08:00 |
|
ghc-9.2.1-hadrian-s390x-rts--qg.patch
|
rebase to 9.2.5 from ghc9.2
|
2023-01-30 20:16:30 +08: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
|
rebase to 9.2.5 from ghc9.2
|
2023-01-30 20:16:30 +08:00 |
|
ghc-configure-c99.patch
|
Port configure script to C99
|
2023-01-12 13:23:26 +01: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-warnings.mk-CC-Wall.patch
|
add missing ghc-warnings.mk-CC-Wall.patch
|
2018-10-17 12:33:07 +09:00 |
|
ghc.spec
|
override global %with_ghc_prof and %with_haddock
|
2023-01-30 20:16:37 +08:00 |
|
haddock-remove-googleapis-fonts.patch
|
update to 9.0.2 from ghc9.0
|
2023-01-30 20:13:58 +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 |
|
runghc.man
|
add manpages from Debian
|
2018-07-08 07:50:26 +02:00 |
|
sources
|
update to 9.0.2 from ghc9.0
|
2023-01-30 20:13:58 +08:00 |
