[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskel
From: |
Josselin Poiret |
Subject: |
[bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell. |
Date: |
Sun, 30 Apr 2023 12:53:18 +0200 |
From: Josselin Poiret <dev@jpoiret.xyz>
* guix/build-system/haskell.scm: Export default-haskell.
---
guix/build-system/haskell.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/guix/build-system/haskell.scm b/guix/build-system/haskell.scm
index b8858421c2..f8568e33db 100644
--- a/guix/build-system/haskell.scm
+++ b/guix/build-system/haskell.scm
@@ -33,6 +33,7 @@ (define-module (guix build-system haskell)
#:use-module (ice-9 match)
#:use-module (srfi srfi-1)
#:export (hackage-uri
+ default-haskell
%haskell-build-system-modules
haskell-build
--
2.39.2
- [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano., (continued)
- [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 04/13] gnu: agda: Build info manual., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 06/13] gnu: emacs-agda2-mode: Switch to G-Exps., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 07/13] gnu: agda: Add AGDA_LIBDIRS search-path., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 12/13] gnu: Add agda-cubical., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 09/13] build-system: New agda-build-system., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 13/13] gnu: Add agda-1lab., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell.,
Josselin Poiret <=
- [bug#61915] [PATCH v2 11/13] gnu: Add agda-categories., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 10/13] gnu: Add agda-stdlib., Josselin Poiret, 2023/04/30