From 6a397c8482d66100ac0edc159ddff4978846a0da Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 30 Oct 2024 16:44:36 +0100 Subject: [PATCH 1/2] libgpr2, prettier_ada, adasat, langkit_support, and libadalang 25.0.0 --- index/ad/adasat/adasat-25.0.0.toml | 24 +++++++++++++++++ .../langkit_support-25.0.0.toml | 21 +++++++++++++++ index/li/libadalang/libadalang-25.0.0.toml | 21 +++++++++++++++ index/li/libgpr2/libgpr2-25.0.0.toml | 27 +++++++++++++++++++ .../pr/prettier_ada/prettier_ada-25.0.0.toml | 19 +++++++++++++ 5 files changed, 112 insertions(+) create mode 100644 index/ad/adasat/adasat-25.0.0.toml create mode 100644 index/la/langkit_support/langkit_support-25.0.0.toml create mode 100644 index/li/libadalang/libadalang-25.0.0.toml create mode 100644 index/li/libgpr2/libgpr2-25.0.0.toml create mode 100644 index/pr/prettier_ada/prettier_ada-25.0.0.toml diff --git a/index/ad/adasat/adasat-25.0.0.toml b/index/ad/adasat/adasat-25.0.0.toml new file mode 100644 index 000000000..614dadeb4 --- /dev/null +++ b/index/ad/adasat/adasat-25.0.0.toml @@ -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'] diff --git a/index/la/langkit_support/langkit_support-25.0.0.toml b/index/la/langkit_support/langkit_support-25.0.0.toml new file mode 100644 index 000000000..ebd0a5582 --- /dev/null +++ b/index/la/langkit_support/langkit_support-25.0.0.toml @@ -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 ", "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'] diff --git a/index/li/libadalang/libadalang-25.0.0.toml b/index/li/libadalang/libadalang-25.0.0.toml new file mode 100644 index 000000000..0db6e68a9 --- /dev/null +++ b/index/li/libadalang/libadalang-25.0.0.toml @@ -0,0 +1,21 @@ +name = "libadalang" +description = "Ada semantic analysis library" +version = "25.0.0" + +authors = ["AdaCore"] +maintainers = ["Pierre-Marie de Rodat ", "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" diff --git a/index/li/libgpr2/libgpr2-25.0.0.toml b/index/li/libgpr2/libgpr2-25.0.0.toml new file mode 100644 index 000000000..90b8c3308 --- /dev/null +++ b/index/li/libgpr2/libgpr2-25.0.0.toml @@ -0,0 +1,27 @@ +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" + +[origin] +url="https://github.com/AdaCore/gpr/releases/download/v25.0.0/gpr2-with-gprconfig_kb-25.0.tgz" +hashes=['sha512:70fe0fcf541f6d3d90a34cab1638bbc0283dcd765c000406e0cfb73bae1817b30ddfe73f3672247a97c6b6bfc41900bc96a4440ca0c660f9c2f7b9d3cc8f8dcf'] diff --git a/index/pr/prettier_ada/prettier_ada-25.0.0.toml b/index/pr/prettier_ada/prettier_ada-25.0.0.toml new file mode 100644 index 000000000..fd9092fe4 --- /dev/null +++ b/index/pr/prettier_ada/prettier_ada-25.0.0.toml @@ -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'] From 90d1fe191f85a2847e62536b6790b87c6e709067 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 30 Oct 2024 17:27:28 +0100 Subject: [PATCH 2/2] Update libgpr2-25.0.0.toml --- index/li/libgpr2/libgpr2-25.0.0.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/index/li/libgpr2/libgpr2-25.0.0.toml b/index/li/libgpr2/libgpr2-25.0.0.toml index 90b8c3308..1786d45e7 100644 --- a/index/li/libgpr2/libgpr2-25.0.0.toml +++ b/index/li/libgpr2/libgpr2-25.0.0.toml @@ -21,6 +21,7 @@ GPR2_BUILD = "release" 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"