From 8d3234e2047cf054989ef85153469d4017e72613 Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Wed, 13 Nov 2024 14:29:57 +0200 Subject: [PATCH] Add ALS and libgnatdoc 25.0.0 --- .../ada_language_server-25.0.0.toml | 32 +++++++++++++++++++ index/li/libgnatdoc/libgnatdoc-25.0.0.toml | 25 +++++++++++++++ 2 files changed, 57 insertions(+) create mode 100644 index/ad/ada_language_server/ada_language_server-25.0.0.toml create mode 100644 index/li/libgnatdoc/libgnatdoc-25.0.0.toml diff --git a/index/ad/ada_language_server/ada_language_server-25.0.0.toml b/index/ad/ada_language_server/ada_language_server-25.0.0.toml new file mode 100644 index 00000000..49da75c7 --- /dev/null +++ b/index/ad/ada_language_server/ada_language_server-25.0.0.toml @@ -0,0 +1,32 @@ +description = "An implementation of the Microsoft's Language Server Protocol for Ada" +name = "ada_language_server" +version = "25.0.0" +website = "https://github.com/AdaCore/ada_language_server" +authors = ["AdaCore"] +licenses = "GPL-3.0-only" +maintainers = ["Maxim Reznik "] +maintainers-logins = ["reznikmm"] +project-files = ["gnat/lsp_server.gpr"] +tags = ["lsp", "vscode"] + +[configuration] +disabled = true + +[environment] +ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs" + +[[depends-on]] +gnatcoll = "25.0.0" +libadalang = "25.0.0" +libadalang_tools = "25.0.0" +libgnatdoc = "25.0.0" +libgnatformat = "25.0.0" +liblal_refactor = "25.0.0" +prettier_ada = "25.0.0" +vss = "25.0.0" +spawn = "25.0.0" + +[origin] +archive-name = "ada_language_server-25.0.0.tar.gz" +url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v25.0.0.tar.gz" +hashes = ["sha512:72b68d6be46b8b9b6572f71b5c46ed6c53c218a0d40fb4531300a1014e62512ed19f86352dafaa86f83960d3d3c6c5d10d96e939674546cd94e782451cad89c9"] diff --git a/index/li/libgnatdoc/libgnatdoc-25.0.0.toml b/index/li/libgnatdoc/libgnatdoc-25.0.0.toml new file mode 100644 index 00000000..77ef108e --- /dev/null +++ b/index/li/libgnatdoc/libgnatdoc-25.0.0.toml @@ -0,0 +1,25 @@ +name = "libgnatdoc" +description = "GNAT Documentation Generation Tool (as a library)" +version = "25.0.0" +tags = ["documentation", "tools"] + +authors = ["AdaCore"] +maintainers = ["Vadim Godunko ", "Maxim Reznik "] +maintainers-logins = ["godunko", "reznikmm", "Fabien-Chouteau"] +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +website = "https://github.com/AdaCore/gnatdoc" + +project-files = ["gnat/libgnatdoc.gpr"] + +[configuration] +disabled = true + +[[depends-on]] +vss = "^25" +libgpr2 = "^25" +libadalang = "^25" +markdown = "^25" + +[origin] +url="https://github.com/adacore/gnatdoc/archive/v25.0.0/gnatdoc-25.0.0.zip" +hashes=['sha512:8c5dade224ac1873f4b5eff3a4abbe20bde0c57e7e0ed585a817380949de64302aa605dd5515b510f616da5ce727b5b03612db0b2e2272a82cb6c1c4f0339df7']