Test ran at 2025-07-22 12:57:22.229755+00:00

SOLUTION:
coap_client=0.9.0: Client program for the CoAP-SPARK library
Origin: commit 3dc855f1cf5c730b512c9c782c82973a10f95c81 from https://github.com/mgrojo/coap_spark.git
Properties:
   Author: Manuel Gomez
   Build Switches: 
   Description: Client program for the CoAP-SPARK library
   Executable: coap_client
   License: Apache-2.0 OR GPL-2.0-or-later
   Maintainer: Manuel Gomez <mgrojo@gmail.com>
   Maintainers_Logins: mgrojo
   Name: coap_client
   Tag: coap
   Tag: spark
   Tag: client
   Tag: iot
   Tag: protocol
   Version: 0.9.0
   Website: https://github.com/mgrojo/coap_spark
Dependencies (direct):
   coap_spark^0.9.0
Dependencies (solution):
   coap_spark=0.9.0
   gnatprove=14.1.1
   wolfssl=5.8.0
Dependencies (graph):
   coap_client=0.9.0 --> coap_spark=0.9.0 (^0.9.0)
   coap_spark=0.9.0  --> gnatprove=14.1.1 (^14.1.1)
   coap_spark=0.9.0  --> wolfssl=5.8.0 (^5.8.0)


LOG:
Failed to locate log