From 08b52744fed0feb449abeb0c3c20735b9c1c76d5 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Tue, 20 Oct 2020 15:18:50 +0200 Subject: [PATCH] libadalang & langkit_support 21.0.0 (#188) --- .../langkit_support-21.0.0.toml | 22 ++++++++++++++++++ index/li/libadalang/libadalang-21.0.0.toml | 23 +++++++++++++++++++ 2 files changed, 45 insertions(+) create mode 100644 index/la/langkit_support/langkit_support-21.0.0.toml create mode 100644 index/li/libadalang/libadalang-21.0.0.toml diff --git a/index/la/langkit_support/langkit_support-21.0.0.toml b/index/la/langkit_support/langkit_support-21.0.0.toml new file mode 100644 index 00000000..51c53970 --- /dev/null +++ b/index/la/langkit_support/langkit_support-21.0.0.toml @@ -0,0 +1,22 @@ +name = "langkit_support" +description = "Runtime support library for Langkit-generated libraries" +version = "21.0.0" + +authors = ["AdaCore"] +maintainers = ["Pierre-Marie de Rodat "] +maintainers-logins = ["pmderodat"] +licenses = ["GMGPL 3.0"] +website = "https://github.com/AdaCore/langkit" + +[gpr-set-externals."case(toolchain)".system] +LIBRARY_TYPE = "relocatable" + +[origin] +url = "https://github.com/AdaCore/langkit/releases/download/v21.0.0/langkit_support-21.0.0.tar.gz" +archive-name = "langkit_support-21.0.0.tar.gz" +hashes = ["sha512:b52319d5b7fac6b8866b618105edc4c4a4a98d785a61b6e8c3096921b117bea9629854ebdcd956eb005604cdc78686cd4577d27121cdb41339ee73bb4222168b"] + +[[depends-on]] +gnatcoll = "^21" +[[depends-on]] +gnatcoll_iconv = "^21" diff --git a/index/li/libadalang/libadalang-21.0.0.toml b/index/li/libadalang/libadalang-21.0.0.toml new file mode 100644 index 00000000..0f075b28 --- /dev/null +++ b/index/li/libadalang/libadalang-21.0.0.toml @@ -0,0 +1,23 @@ +name = "libadalang" +description = "Ada semantic analysis library" +version = "21.0.0" + +authors = ["AdaCore"] +maintainers = ["Pierre-Marie de Rodat "] +maintainers-logins = ["pmderodat"] +licenses = ["GMGPL 3.0"] +website = "https://github.com/AdaCore/libadalang" + +[origin] +url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/libadalang-21.0.0.tar.gz" +archive-name = "libadalang-21.0.0.tar.gz" +hashes = ["sha512:955d25549416658815862829499b7f02008990922a32102afacefc760e835c8b054129c60e41dbcc6035d7e917c9450c71cc5edf79f3707b8073e5245800c110"] + +[[depends-on]] +gnatcoll = "^21" +[[depends-on]] +gnatcoll_gmp = "^21" +[[depends-on]] +gnatcoll_iconv = "^21" +[[depends-on]] +langkit_support = "^21"