libgpr2, prettier_ada, adasat, langkit_support, libadalang 25.0.0 (#1281)

* libgpr2, prettier_ada, adasat, langkit_support, and libadalang 25.0.0 * Update libgpr2-25.0.0.toml
2024-10-31 11:02:59 +01:00
parent 9f9cedda5b
commit 7b8cf03a31
5 changed files with 113 additions and 0 deletions
@@ -0,0 +1,24 @@
+name = "adasat"
+description = "Implementation of a DPLL-based SAT solver in Ada."
+long-description = """
+Main features:
+
+ - [X] Conflict analysis and backjumping
+ - [X] Two-watched literals scheme
+ - [X] Built-in support for At-Most-One constraints
+ - [X] Custom theories
+"""
+version = "25.0.0"
+website = "https://github.com/AdaCore/adasat"
+authors = ["AdaCore"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["chouteau", "roldak"]
+tags = ["sat", "solver", "theories"]
+
+[configuration]
+disabled = true
+
+[origin]
+url="https://github.com/adacore/AdaSAT/archive/v25.0.0/AdaSAT-25.0.0.zip"
+hashes=['sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258']
@@ -0,0 +1,21 @@
+name = "langkit_support"
+description = "Runtime support library for Langkit-generated libraries"
+version = "25.0.0"
+
+authors = ["AdaCore"]
+maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>", "chouteau@adacore.com"]
+maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+website = "https://github.com/AdaCore/langkit"
+project-files = ["langkit/support/langkit_support.gpr"]
+
+[[depends-on]]
+adasat = "^25"
+gnatcoll = "^25"
+gnatcoll_gmp = "^25"
+gnatcoll_iconv = "^25"
+prettier_ada = "^25"
+
+[origin]
+url="https://github.com/adacore/langkit/archive/v25.0.0/langkit-25.0.0.zip"
+hashes=['sha512:7c5f49810ebc141a0c95fead0f57bf2906194598f3ba12ed1239b3f8812ffa967add7359d8d6b9f0f1bcbb01b069a89438b59380dcc3a4b9ee1b49a31bf8f5bd']
@@ -0,0 +1,21 @@
+name = "libadalang"
+description = "Ada semantic analysis library"
+version = "25.0.0"
+
+authors = ["AdaCore"]
+maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>", "chouteau@adacore.com"]
+maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+website = "https://github.com/AdaCore/libadalang"
+tags = ["libadalang", "static-analysis"]
+
+[origin]
+url = "https://github.com/AdaCore/libadalang/releases/download/v25.0.0/libadalang-25.0.0.tar.gz"
+hashes = ["sha512:0303cb0f7e7dd13d86c7439d510033780f2e68ae134b885182643345f9a7a77c36179ec5aca7be9a8545b7d9db0a87e90930329e11ff8f9407f37e10e04b2009"]
+
+[[depends-on]]
+gnatcoll = "^25"
+gnatcoll_gmp = "^25"
+gnatcoll_iconv = "^25"
+libgpr2 = "^25"
+langkit_support = "^25"
@@ -0,0 +1,28 @@
+name = "libgpr2"
+version = "25.0.0"
+description = "Parser for GPR  Project File"
+authors = ["AdaCore"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["gpr2.gpr"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GPR2_BUILD = ["debug", "release", "release_checks", "gnatcov"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals]
+GPR2_BUILD = "release"
+
+[[depends-on]]
+gnatcoll = "~25.0.0"
+gnatcoll_iconv = "~25.0.0"
+gnatcoll_gmp = "~25.0.0"
+gnat = ">=14"
+
+[origin]
+url="https://github.com/AdaCore/gpr/releases/download/v25.0.0/gpr2-with-gprconfig_kb-25.0.tgz"
+hashes=['sha512:70fe0fcf541f6d3d90a34cab1638bbc0283dcd765c000406e0cfb73bae1817b30ddfe73f3672247a97c6b6bfc41900bc96a4440ca0c660f9c2f7b9d3cc8f8dcf']
@@ -0,0 +1,19 @@
+description = "Port of the Prettier formatter to Ada"
+name = "prettier_ada"
+version = "25.0.0"
+authors = ["AdaCore"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags=["format", "formatter"]
+
+[configuration]
+disabled = true
+
+[[depends-on]]
+gnatcoll = "^25"
+vss = "^25"
+
+[origin]
+url="https://github.com/adacore/prettier-ada/archive/v25.0.0/prettier-ada-25.0.0.zip"
+hashes=['sha512:a67a33379f5fcc6ab619cf9f69ac80f41fe661ac8ab37f92ced2659d119b7cadbc1309a931e0b3dbf9dccb533a691fa9e3fc0357b8b5d6d3865469e530c2d381']