Files
alire-index-community/index/co
Manuel 760589d0f5 coap_spark, coap_client 0.9.0 (#1486)
* 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.
2025-05-19 14:24:20 +02:00
..
2022-11-14 09:42:16 +01:00
2025-01-06 11:12:33 +01:00
2025-03-31 12:13:24 +02:00