760589d0f5968a7c64264d925b3aa1ee9068d978
* coap_spark 0.9.0 (via `alr publish`)
* Include coap_client as subdir of the coap_spark repository
* coap_spark: remove unneded dependency for users
* Revert "coap_spark: remove unneded dependency for users"
This reverts commit d8c395bfa6.
The dependency is needed for SPARKlib, which is not packaged
separately from gnatprove.
Alire Community Index
This repository hosts the official community-maintained index to be used with the alr tool.
Please visit https://github.com/alire-project/alire to download alr.
Please open a pull request to submit a new release (read further here about it).
To report an issue, open it at https://github.com/alire-project/alire/issues
Description
Languages
CODEOWNERS
100%
