Subject: closing lambdapi
From: Gabriel Hondet <[email-masked]>
To: [email-masked]
Date: Sat, 04 May 2019 21:14:31 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Sorry for the delay regarding this package, I missed an email.  Anyway,
this software is still in development so I prefer not to add it.

Gabriel