|
From: | Guillaume Le Vaillant |
Subject: | bug#72621: [PATCH] gnu: Add clasp. |
Date: | Thu, 15 Aug 2024 12:29:02 +0000 |
Patch applied as 1e2aca13eedc71b869e43525549080ba153e2887 with some minor modifications. And I renamed the package to "clasp-cl", as there is already a different "clasp" package in "potassco.scm". Thanks.
signature.asc
Description: PGP signature
[Prev in Thread] | Current Thread | [Next in Thread] |