mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-13 14:35:34 +00:00
* add libsparkcrypto source-recipe * provide ALI files through a new repository by mstein and add the repo download to the libsparcrypto port-file * remove dependencies to non-existent contrib ADB files from the library make files Fixes: #3852