Add gnatdoc 23.0 (#686)

2022-11-16 18:00:40 +02:00
parent 7b51c38f24
commit a42f59e0fb
1 changed files with 30 additions and 0 deletions
@@ -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 <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+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"