Tobias Geerinckx-Rice <me@tobias.gr> writes:

> Tobias Geerinckx-Rice wrote:
>> +@item @code{liboath}, a shared and static C library for OATH 
>> handling.
>
> Actually, I'd like to manually delete the static (.a) 
> libraries. Objections?

No objections.  Although if it's well behaved, you may be able to simply
add (outputs ("out" "static")) to move them out of the way.