From d58ee08dffe99b8fb0523cf2eeec1f337cccfb88 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Mon, 30 Apr 2018 19:34:04 +0200 Subject: [PATCH] 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 fd6dd60026..a0d131b9ca 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")