Subject: Re: [bug#72621] [PATCH] gnu: Add clasp.
From: Guillaume Le Vaillant <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Thu, 15 Aug 2024 12:29:02 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

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.