Skip to content
GitLab
Explore
Sign in
Register
31 forks: 30 public, 0 internal, and 1 private
Created date
Nick Suchecki /
head.hackage
Merge branch 'Agda-ST-MonadFail' into 'master'
0
Updated
Mar 14, 2022
0
0
0
0
Updated
Mar 14, 2022
Tobias Haslop /
head.hackage
Remove unneeded servant, servant-server patches
0
Updated
Oct 28, 2023
0
0
0
0
Updated
Oct 28, 2023
Brandon Chinn /
head.hackage
Document use of --allow-newer
0
Updated
Aug 16, 2023
0
0
0
0
Updated
Aug 16, 2023
Matthew Pickering /
Cabal hooks overlay
Update README with usage instructions
Haskell
Cabal
packaging
+ 1 more
0
Updated
Jul 29, 2024
0
0
6
0
Updated
Jul 29, 2024
Mikolaj Konarski /
head.hackage
Update ghc-tcplugins-extra and ghc-typelits-* to GHC 9.13.20240927
0
Updated
Oct 18, 2024
0
0
0
0
Updated
Oct 18, 2024
Florian B /
head.hackage
Rename forall identifiers
0
Updated
Dec 03, 2023
0
0
0
0
Updated
Dec 03, 2023
Facundo Domínguez /
head.hackage
Use term "package"
0
Updated
Sep 21, 2024
0
0
0
0
Updated
Sep 21, 2024
Matt Walker /
head.hackage
Add falsify to ghc-tests.cabal
0
Updated
Feb 10, 2024
0
0
0
0
Updated
Feb 10, 2024
Neil Mayhew /
head.hackage
Delete vector-stream-0.1.0.0.patch
0
Updated
Mar 21, 2024
0
0
0
0
Updated
Mar 21, 2024
Jappie Klooster /
head.hackage
Update to debian12 job names
0
Updated
Aug 09, 2024
0
0
0
0
Updated
Aug 09, 2024
Prev
1
2
Next
