diff options
| author | jgart <jgart@dismail.de> | 2025-06-25 16:38:20 -0400 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2025-06-25 16:38:20 -0400 |
| commit | 56d6a8154ff7154e719b7483b6cdcc4044407683 (patch) | |
| tree | 8b99827246e43c997ce0e397e0d57ac5ebfcca00 /gnu/packages/lisp-check.scm | |
| parent | 449f52c22139254513361d6b6264d6be73fa88e4 (diff) | |
gnu: Add clasp-confidence.
* gnu/packages/lisp-check.scm (clasp-confidence): New variable.
Change-Id: I701b7886b585933e7aeab544f066008eb959d984
Diffstat (limited to 'gnu/packages/lisp-check.scm')
| -rw-r--r-- | gnu/packages/lisp-check.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/lisp-check.scm b/gnu/packages/lisp-check.scm index 16b75d02cb..d57e099043 100644 --- a/gnu/packages/lisp-check.scm +++ b/gnu/packages/lisp-check.scm @@ -424,6 +424,9 @@ without a complicated setup, and with explicit functions and decisions.") (define-public cl-confidence (sbcl-package->cl-source-package sbcl-confidence)) +(define-public clasp-confidence + (sbcl-package->clasp-package sbcl-confidence)) + (define-public sbcl-eos (let ((commit "b4413bccc4d142cbe1bf49516c3a0a22c9d99243") (revision "2")) |