mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-13 14:13:40 +00:00
Normally, the APIs listed in 'used_apis' files do not carry a version but implictly refer to the current version. This patch allows for specifiying an concrete version. This is a useful feature in the context of the Goa tool.