Subject: closing lambdapi

From: Gabriel Hondet <[email-masked]>
Date: Sat, 04 May 2019 21:14:31 +0200

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