[wrap-git] revision = b3e5cb7f20dcc5c806e418df34324eca60d17d4e url = https://github.com/nlohmann/json.git