Merge requests · package-sets / horizon-advance

haskell-language-server

!23 · created Oct 30, 2023 by Daniel Firth
- Closed
- 0
updated Dec 02, 2023
servant-auth{-client, -server}, jose-jwt

!22 · created Oct 30, 2023 by Daniel Firth
- Merged
- 0
updated Oct 30, 2023
Hoogle app

!21 · created Oct 24, 2023 by Daniel Firth
- Merged
- 0
updated Oct 24, 2023
ghc 9.6.x updates

!20 · created Oct 20, 2023 by Daniel Firth lts/ghc-9.6.x
- Merged
- 0
updated Oct 20, 2023
Upgrade everything

!19 · created Oct 18, 2023 by Tom Sydney Kerckhove
- Merged
- 0
updated Oct 18, 2023
flake update

!18 · created Oct 14, 2023 by Daniel Firth
- Merged
- 0
updated Oct 14, 2023
develop/flake: tag horizon-gen-nix at 0.10.4

!17 · created Oct 14, 2023 by Daniel Firth
- Merged
- 0
updated Oct 14, 2023
sdl2-{gfx, image, mixer, ttf}: init

!16 · created Oct 13, 2023 by Daniel Firth
- Merged
- 0
updated Oct 14, 2023
Flake update

!15 · created Oct 12, 2023 by Daniel Firth
- Merged
- 0
updated Oct 12, 2023
Flake update

!14 · created Oct 12, 2023 by Daniel Firth
- Merged
- 0
updated Oct 12, 2023
Upgrade everything

!13 · created Oct 11, 2023 by Tom Sydney Kerckhove
- Merged
- 0
updated Oct 11, 2023
unfree fix

!12 · created Oct 10, 2023 by Tom Sydney Kerckhove
- Merged
- Approved
- 0
updated Oct 10, 2023
allow unfree

!11 · created Oct 10, 2023 by Tom Sydney Kerckhove
- Merged
- Approved
- 0
updated Oct 10, 2023
Sydtest deps

!10 · created Oct 09, 2023 by Tom Sydney Kerckhove
- Merged
- 0
updated Oct 09, 2023
Add some part of the snoyverse

!9 · created Oct 09, 2023 by Daniel Firth
- Merged
- 0
updated Oct 09, 2023
bump to ghc 9.8

!8 · created Oct 08, 2023 by Daniel Firth
- Merged
- 0
updated Oct 08, 2023
Protolude

!7 · created Jun 04, 2023 by Daniel Firth
- Merged
- 0
updated Jun 04, 2023
optics: init at 0.4.2

!6 · created Jun 02, 2023 by Daniel Firth
- Merged
- 0
updated Jun 02, 2023
Composite

!5 · created May 30, 2023 by Daniel Firth
- Merged
- 0
updated May 30, 2023
Servant

!4 · created May 28, 2023 by Daniel Firth
- Merged
- 0
updated May 28, 2023