Skip to content

Commit

Permalink
Add ALS and libgnatdoc 25.0.0
Browse files Browse the repository at this point in the history
  • Loading branch information
reznikmm committed Nov 13, 2024
1 parent 6f1f4f1 commit 8d3234e
Show file tree
Hide file tree
Showing 2 changed files with 57 additions and 0 deletions.
32 changes: 32 additions & 0 deletions index/ad/ada_language_server/ada_language_server-25.0.0.toml
Original file line number Diff line number Diff line change
@@ -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 <[email protected]>"]
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"]
25 changes: 25 additions & 0 deletions index/li/libgnatdoc/libgnatdoc-25.0.0.toml
Original file line number Diff line number Diff line change
@@ -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 <[email protected]>", "Maxim Reznik <[email protected]>"]
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']

0 comments on commit 8d3234e

Please sign in to comment.