- Jun 21, 2024
-
-
Daniel Firth authored
flake.nix: update See merge request !149
-
Daniel Firth authored
-
Daniel Firth authored
flake.nix: update See merge request !148
-
Daniel Firth authored
-
Daniel Firth authored
develop/flake.nix: update horizon-develop-flake See merge request !147
-
Daniel Firth authored
-
- Jun 18, 2024
-
-
Daniel Firth authored
Agda: 2.6.4.3 See merge request !146
-
Daniel Firth authored
-
- May 29, 2024
-
-
Daniel Firth authored
CI: add explicit cachix step See merge request package-sets/horizon-advance!145
-
-
Daniel Firth authored
Switch nixpkgs to haskell-updates See merge request package-sets/horizon-advance!144
-
Daniel Firth authored
-
- May 27, 2024
-
-
Daniel Firth authored
Improve README See merge request package-sets/horizon-advance!143
-
Daniel Firth authored
-
Daniel Firth authored
re-enable recursion-schemes See merge request package-sets/horizon-advance!142
-
Daniel Firth authored
-
Daniel Firth authored
Pipes See merge request package-sets/horizon-advance!141
-
-
-
-
Daniel Firth authored
pipes: init at 4.3.16 See merge request package-sets/horizon-advance!140
-
Daniel Firth authored
-
Daniel Firth authored
Preprocess against 9.10.1 See merge request package-sets/horizon-advance!139
-
Daniel Firth authored
-
- May 26, 2024
-
-
Daniel Firth authored
horizon.lock: regenerate See merge request package-sets/horizon-advance!138
-
Daniel Firth authored
-
Daniel Firth authored
develop/flake.nix: update horizon-develop-flake See merge request package-sets/horizon-advance!137
-
Daniel Firth authored
-
Daniel Firth authored
Cleanup See merge request package-sets/horizon-advance!136
-
Daniel Firth authored
-
Daniel Firth authored
-
- May 25, 2024
-
-
Daniel Firth authored
tryToUpgradeEverything See merge request package-sets/horizon-advance!135
-
Daniel Firth authored
-
Daniel Firth authored
-
Daniel Firth authored
flake.nix: update See merge request package-sets/horizon-advance!132
-
Daniel Firth authored
-
Daniel Firth authored
develop/flake.nix: update horizon-develop-flake See merge request package-sets/horizon-advance!134
-
Daniel Firth authored
-
- May 22, 2024
-
-
Daniel Firth authored
horizon.lock: regenerate See merge request package-sets/horizon-advance!133
-
Daniel Firth authored
-