From 74e0c9ea331ce3abbab0bd9b84ecae2870f154ac Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 31 Oct 2024 12:07:33 +0100 Subject: [PATCH] gnatdoc, markdown, and libadalang_tools 25.0.0 --- index/gn/gnatdoc/gnatdoc-25.0.0.toml | 26 +++++++++++++++++++ .../libadalang_tools-25.0.0.toml | 21 +++++++++++++++ index/ma/markdown/markdown-25.0.0.toml | 22 ++++++++++++++++ 3 files changed, 69 insertions(+) create mode 100644 index/gn/gnatdoc/gnatdoc-25.0.0.toml create mode 100644 index/li/libadalang_tools/libadalang_tools-25.0.0.toml create mode 100644 index/ma/markdown/markdown-25.0.0.toml diff --git a/index/gn/gnatdoc/gnatdoc-25.0.0.toml b/index/gn/gnatdoc/gnatdoc-25.0.0.toml new file mode 100644 index 000000000..e13fa9631 --- /dev/null +++ b/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 ", "Maxim Reznik "] +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'] diff --git a/index/li/libadalang_tools/libadalang_tools-25.0.0.toml b/index/li/libadalang_tools/libadalang_tools-25.0.0.toml new file mode 100644 index 000000000..01989859d --- /dev/null +++ b/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 ", "Max Reznik "] +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'] diff --git a/index/ma/markdown/markdown-25.0.0.toml b/index/ma/markdown/markdown-25.0.0.toml new file mode 100644 index 000000000..33def4785 --- /dev/null +++ b/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 "] +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']