From a42f59e0fb6fc27aa1c5b158e40bd587b32bb2ee Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Wed, 16 Nov 2022 18:00:40 +0200 Subject: [PATCH] Add gnatdoc 23.0 (#686) --- index/gn/gnatdoc/gnatdoc-23.0.0.toml | 30 ++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 index/gn/gnatdoc/gnatdoc-23.0.0.toml diff --git a/index/gn/gnatdoc/gnatdoc-23.0.0.toml b/index/gn/gnatdoc/gnatdoc-23.0.0.toml new file mode 100644 index 00000000..d106d5bb --- /dev/null +++ b/index/gn/gnatdoc/gnatdoc-23.0.0.toml @@ -0,0 +1,30 @@ +name = "gnatdoc" +description = "GNAT Documentation Generation Tool (as `gnatdoc4` binary)" +version = "23.0.0" +tags = ["documentation", "tools"] + +authors = ["AdaCore"] +maintainers = ["Vadim Godunko ", "Maxim Reznik "] +maintainers-logins = ["godunko", "reznikmm"] +licenses = "GPL-3.0-only WITH GCC-exception-3.1" +website = "https://github.com/AdaCore/gnatdoc" + +project-files = ["gnat/gnatdoc.gpr"] + +[configuration] +disabled = true + +[origin] +archive-name = "gnatdoc-23.0.0.tar.gz" +url = "https://github.com/AdaCore/gnatdoc/archive/refs/tags/v23.0.0.tar.gz" +hashes = ["sha512:0e9095ced08086a3be03e20b49ddb436d4efb396001e9d6877b0612adc3d8e2a08f1d5146d07c9acf5dc59a73418f7a3ec3231aba63c9644e6829c387703e6ae"] + +[[forbids]] +libgnatdoc = "*" + +[[depends-on]] +markdown = "~23.0.0" +libadalang = "~23.0.0" +vss = "~23.0.0" +gpr_unit_provider = "~23.0.0" +libgpr2 = "~23.0.0"