you want me to delete the last version of what exactly?

On 15 Sep 2016, at 17:42, Luís Oliveira <> wrote:

Oh, I see. Missed that bit of information, sorry. Can you delete the
bad version or tweak the define-foreign-library definition to point to
the right one?


Luís Oliveira

Reply via email to