onox 6795b93ce3 json 6.0.0, json 5.0.x metadata (#1164) ...

* json 5.0.x: Add gnat <= 13 dependency

The json 5.0.x releases do not compile with GNAT >= 14 because the
compiler is checking more SPARK restrictions.

* json 6.0.0

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>

2024-09-30 10:57:09 +02:00

..

json

json 6.0.0, json 5.0.x metadata (#1164)

2024-09-30 10:57:09 +02:00