[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
08/12: gnu: guile-minikanren: Switch to Guile 2.2.
From: |
Ludovic Courtès |
Subject: |
08/12: gnu: guile-minikanren: Switch to Guile 2.2. |
Date: |
Mon, 30 Apr 2018 17:41:32 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit d58ee08dffe99b8fb0523cf2eeec1f337cccfb88
Author: Ludovic Courtès <address@hidden>
Date: Mon Apr 30 19:34:04 2018 +0200
gnu: guile-minikanren: Switch to Guile 2.2.
* gnu/packages/guile.scm (guile-minikanren)[inputs]: Switch to
GUILE-2.2.
(guile2.0-minikanren): New variable.
(guile2.2-minikanren): Define in terms of 'deprecated-package'.
---
gnu/packages/guile.scm | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/guile.scm b/gnu/packages/guile.scm
index fd6dd60..a0d131b 100644
--- a/gnu/packages/guile.scm
+++ b/gnu/packages/guile.scm
@@ -916,7 +916,7 @@ specification. These are the main features:
(install-file "README.org" doc)
#t))))
(inputs
- `(("guile" ,guile-2.0)))
+ `(("guile" ,guile-2.2)))
(home-page "https://github.com/ijp/minikanren")
(synopsis "MiniKanren declarative logic system, packaged for Guile")
(description
@@ -931,8 +931,11 @@ slightly from miniKanren mainline.
See http://minikanren.org/ for more on miniKanren generally.")
(license license:expat)))
+(define-public guile2.0-minikanren
+ (package-for-guile-2.0 guile-minikanren))
+
(define-public guile2.2-minikanren
- (package-for-guile-2.2 guile-minikanren))
+ (deprecated-package "guile2.2-minikanren" guile-minikanren))
(define-public guile-miniadapton
(let ((commit "1b5749422304567c96ac5367f2221dda9eff5880")
- branch master updated (e64a3b4 -> 1170198), Ludovic Courtès, 2018/04/30
- 02/12: gnu: tcc-wrapper: Use Guile 2.2., Ludovic Courtès, 2018/04/30
- 03/12: gnu: gzochi: Build without '-Werror'., Ludovic Courtès, 2018/04/30
- 04/12: gnu: gzochi: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 06/12: gnu: guile-ics: Update to 0.2.0., Ludovic Courtès, 2018/04/30
- 05/12: gnu: geiser: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 09/12: gnu: guile-irregex: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 07/12: gnu: guile-ics: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 08/12: gnu: guile-minikanren: Switch to Guile 2.2.,
Ludovic Courtès <=
- 12/12: gnu: Add amule., Ludovic Courtès, 2018/04/30
- 01/12: weather: Fix type error when reporting CI stats., Ludovic Courtès, 2018/04/30
- 11/12: gnu: guile-dbi: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 10/12: gnu: guile-redis: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30