gnatdoc, markdown, and libadalang_tools 25.0.0

index/gn/gnatdoc/gnatdoc-25.0.0.toml

@@ -0,0 +1,26 @@
+name = "gnatdoc"
+description = "GNAT Documentation Generation Tool"
+version = "25.0.0"
+tags = ["documentation", "tools"]
+
+authors = ["AdaCore"]
+maintainers = ["Vadim Godunko <[email protected]>", "Maxim Reznik <[email protected]>"]
+maintainers-logins = ["godunko", "reznikmm"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+website = "https://github.com/AdaCore/gnatdoc"
+
+executables = ["bin/gnatdoc"]
+project-files = ["gnat/gnatdoc.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']

index/li/libadalang_tools/libadalang_tools-25.0.0.toml

@@ -0,0 +1,21 @@
+name = "libadalang_tools"
+description = "Ada semantic analysis library extension and tools"
+version = "25.0.0"
+
+authors = ["AdaCore"]
+maintainers = ["Pierre-Marie de Rodat <[email protected]>", "Max Reznik <[email protected]>"]
+maintainers-logins = ["pmderodat", "reznikmm"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+website = "https://github.com/AdaCore/libadalang-tools"
+tags = ["libadalang", "static-analysis", "metric", "formatting", "generator", "gnatmetric", "gnatpp", "gnatstub", "gnattest"]
+project-files = ["src/lal_tools.gpr", "src/build.gpr"]
+executables = ["gnatmetric", "gnatpp", "gnatstub", "gnattest"]
+
+[[depends-on]]
+libadalang = "^25.0.0"
+templates_parser = "^25.0.0"
+vss = "^25.0.0"
+
+[origin]
+url="https://github.com/adacore/libadalang-tools/archive/v25.0.0/libadalang-tools-25.0.0.zip"
+hashes=['sha512:5304ba7e839c1b4dbcef2b28cb1cea085bcb395f54d57a4aa129975399a46056e87150be4d0d7f6a989ce8e03660ee5719089ca7dba4bd3aaea6889cd95319ca']

index/ma/markdown/markdown-25.0.0.toml

@@ -0,0 +1,22 @@
+name = "markdown"
+description = "Markdown parser (draft)"
+long-description = "The markdown parser is an early stage of development. Just a few element is implemented and API will change in the future."
+version = "25.0.0"
+tags = ["markdown", "gfm", "commonmark"]
+
+authors = ["AdaCore"]
+maintainers = ["Max Reznik <[email protected]>"]
+maintainers-logins = ["reznikmm"]
+licenses = "Apache-2.0"
+
+project-files = ["gnat/markdown.gpr"]
+
+[configuration]
+disabled = true
+
+[[depends-on]]
+vss = "~25.0.0"
+
+[origin]
+url="https://github.com/adacore/markdown/archive/v25.0.0/markdown-25.0.0.zip"
+hashes=['sha512:0acbc1c07ba7b21631a19fd568d5e86925e20e9f03fd711b092c726cc3fcf4965563d3825b32e47dd2eae22cb8300c60fad6d160a1a9753c86c1d1f618489b89']