From cb52b8e5de68ef77b31dcb12ead51640d8a980ee Mon Sep 17 00:00:00 2001 From: Stephen Merrony Date: Mon, 29 Jul 2024 12:03:13 +0200 Subject: [PATCH 01/65] easy_graphics 0.1.0 (#1160) * easy_graphics 0.1.0 (via `alr publish --submit`) * Update easy_graphics-0.1.0.toml Tweak gnat dependency --- .../ea/easy_graphics/easy_graphics-0.1.0.toml | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 index/ea/easy_graphics/easy_graphics-0.1.0.toml diff --git a/index/ea/easy_graphics/easy_graphics-0.1.0.toml b/index/ea/easy_graphics/easy_graphics-0.1.0.toml new file mode 100644 index 000000000..00f3eed73 --- /dev/null +++ b/index/ea/easy_graphics/easy_graphics-0.1.0.toml @@ -0,0 +1,26 @@ +name = "easy_graphics" +description = "Very Simple Graphics Package" +long-description = """ +# Overview + +Easy_Graphics is a simple library for generating graphical output from your Ada program. + +Typical use cases might be educational projects, prototyping, programming challenges, +or simply when you want to visualise something quickly in a larger system. +""" + +version = "0.1.0" # TODO Update for each release + +authors = ["Stephen Merrony"] +maintainers = ["Stephen Merrony "] +maintainers-logins = ["SMerrony"] +licenses = "MIT OR Apache-2.0 WITH LLVM-exception" +website = "https://github.com/SMerrony/easy_graphic" +tags = ["graphics", "image", "ppm", "pam", "gif", "turtle"] + +[[depends-on]] +gnat = ">=13.0" +[origin] +commit = "6284e085724ed963700ffb0810e55953196e7f49" +url = "git+https://github.com/SMerrony/easy_graphics.git" + From 889bfd2980e50b5523062990ce32741329ac5813 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Mon, 29 Jul 2024 12:33:40 +0200 Subject: [PATCH 02/65] qplt 20230720.0.0 (#1150) * qplt 20230720.0.0 (via `alr publish --submit`) * Add ssl dependency --------- Co-authored-by: Alejandro R. Mosteo --- index/qp/qplt/qplt-20230720.0.0.toml | 64 ++++++++++++++++++++++++++++ index/ss/ssl/ssl-external.toml | 23 ++++++++++ 2 files changed, 87 insertions(+) create mode 100644 index/qp/qplt/qplt-20230720.0.0.toml create mode 100644 index/ss/ssl/ssl-external.toml diff --git a/index/qp/qplt/qplt-20230720.0.0.toml b/index/qp/qplt/qplt-20230720.0.0.toml new file mode 100644 index 000000000..c321abdea --- /dev/null +++ b/index/qp/qplt/qplt-20230720.0.0.toml @@ -0,0 +1,64 @@ +name = "qplt" +description = "An Ada-GUI program to quickly produce a plot of a data set" +version = "20230720" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/Qplt" +tags = ["plot", "data"] +long-description = """ +# Qplt +Quick Plot: an Ada-GUI program to quickly produce a plot of a data set + +## Usage +type + +qplt -? + +for usage instructions, or read the code that outputs them. + +## Dependencies +Qplt requires Ada GUI (https://github.com/jrcarter/Ada_GUI) and the PragmAda Reusable Components (https://github.com/jrcarter/PragmARC). Those unfamiliar with Ada GUI should install it, run the test programs, and be familiar with its Readme before running Qplt. + +## Sample Input +The files qplt_sine.txt, qplt_sombrero.txt, and qplt_wpop.txt contain sample data for Qplt. + +qplt_sine.txt contains a sine curve. Suggested use: + +qplt np -t Sine qplt_sine.txt + +qplt_sombrero.txt contains the "Sombrero" curve, sin x / x (with the limit of 1 plotted for x = 0). Suggested use: + +qplt np -t Sombrero qplt_sombrero.txt + +qplt_wpop.txt contains values of world population since 1600. Suggested use: + +qplt -t "World Population" -x Year -y "Population in billions" qplt_wpop.txt + +The sample input files are proveded under the CC BY-SA license (https://creativecommons.org/licenses/by-sa/4.0/). +""" + +executables = ["qplt"] + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[[depends-on]] +pragmarc = "^20240323.0.0" + +[[depends-on]] +ada_gui = "^20240224.0.0" + +[[depends-on]] +ssl = "*" + +[origin] +commit = "2f7f77c911a868ea77d215a81d4d23175f531af8" +url = "git+https://github.com/bracke/Qplt.git" + diff --git a/index/ss/ssl/ssl-external.toml b/index/ss/ssl/ssl-external.toml new file mode 100644 index 000000000..021fa19bb --- /dev/null +++ b/index/ss/ssl/ssl-external.toml @@ -0,0 +1,23 @@ +description = "SSL library" +name = "ssl" + +maintainers = ["alejandro@mosteo.com"] +maintainers-logins = ["mosteo"] + +[[external]] +kind = "system" +[external.origin."case(distribution)"] + "arch" = ["libssl-dev"] + "debian|ubuntu" = ["libssl-dev"] + "centos|fedora" = ["openssl-devel"] + "homebrew" = ["openssl"] + "macports" = ["openssl"] + +[[external]] +kind = "version-output" +version-command = [ "pkg-config", "--modversion", "libssl" ] +version-regexp = "([\\d\\.]+)" + +# pkg-config requires further steps to make packages findable by +# dependencies that Alire does not yet support +available = false \ No newline at end of file From 1d5fdbc80d3f6037b32a64fc9861bb82b8c21c31 Mon Sep 17 00:00:00 2001 From: Manuel Date: Mon, 29 Jul 2024 12:35:39 +0200 Subject: [PATCH 03/65] asfml 2.6.1 (#1077) --- index/as/asfml/asfml-2.6.1.toml | 39 +++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 index/as/asfml/asfml-2.6.1.toml diff --git a/index/as/asfml/asfml-2.6.1.toml b/index/as/asfml/asfml-2.6.1.toml new file mode 100644 index 000000000..e173d7e00 --- /dev/null +++ b/index/as/asfml/asfml-2.6.1.toml @@ -0,0 +1,39 @@ +name = "asfml" +description = "Ada binding to SFML, the Simple and Fast Multimedia Library" +version = "2.6.1" +long-description = """ +[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org) +![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg) +[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby) +[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada) + +ASFML is an Ada semi-thick binding to the +[SFML](https://www.sfml-dev.org/) library. It uses Ada types and +portable defined types which eliminates the inclusion of Ada interface +libraries, but most of the functions are directly imported. + +# Documentation +Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/). + +The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but +with some changes and additions for ease of use. + +Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward. + +""" + +authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"] +maintainers = ["Manuel Gomez "] +maintainers-logins = ["mgrojo"] + +licenses = "custom-zlib-acknowledgement" +website = "https://mgrojo.github.io/ASFML/" +tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"] + +[[depends-on]] +libcsfml = "^2.6.1" + +[origin] +commit = "52ca4a2bb983b73af2e6e1251c9c82ece94499e2" +url = "git+https://github.com/mgrojo/ASFML.git" + From e62029087c871729eed774093072dbfc6be1f4d7 Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Mon, 29 Jul 2024 15:37:12 +0300 Subject: [PATCH 04/65] Add gprbuild 24.0 (#1119) --- index/gp/gprbuild/gprbuild-24.0.1.toml | 33 ++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 index/gp/gprbuild/gprbuild-24.0.1.toml diff --git a/index/gp/gprbuild/gprbuild-24.0.1.toml b/index/gp/gprbuild/gprbuild-24.0.1.toml new file mode 100644 index 000000000..851031df8 --- /dev/null +++ b/index/gp/gprbuild/gprbuild-24.0.1.toml @@ -0,0 +1,33 @@ +name = "gprbuild" +version = "24.0.1" +description = "The GPRBuild Ada/multilanguage build tool" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] + +auto-gpr-with = false + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" + +[configuration] +disabled = true + +[origin."case(os)".linux."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-x86_64-linux-24.0.0-1.tar.gz" +hashes = ["sha256:4bb020f375a90bdec348390c44e517af42d2724fb439b00c4738992c42a931c6"] +binary = true + +[origin."case(os)".macos."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-x86_64-darwin-24.0.0-1.tar.gz" +hashes = ["sha256:f206fcd4464bba7eac06c9bf7f0b854f0687166741b7568b5e22a75cf2be4868"] +binary = true + +[origin."case(os)".macos."case(host-arch)".aarch64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-aarch64-darwin-24.0.0-1.tar.gz" +hashes = ["sha256:6f6b6658f1418f1f43d99f151b8bdcbf1a583dc7cb09348dfec4ca841955ff9c"] +binary = true + +[origin."case(os)".windows."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-x86_64-windows64-24.0.0-1.tar.gz" +hashes = ["sha256:3468a77045c47f4d2aaedc3feaed8a8064832feaa76e387781d42efb932e7e75"] +binary = true From 87800faf3993c688f3cafb26938b16a2b2f5ce98 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Wed, 31 Jul 2024 04:24:55 -0700 Subject: [PATCH 05/65] bbs 0.1.0 (#1165) --- index/bb/bbs/bbs-0.1.0.toml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 index/bb/bbs/bbs-0.1.0.toml diff --git a/index/bb/bbs/bbs-0.1.0.toml b/index/bb/bbs/bbs-0.1.0.toml new file mode 100644 index 000000000..d16753fd3 --- /dev/null +++ b/index/bb/bbs/bbs-0.1.0.toml @@ -0,0 +1,15 @@ +name = "bbs" +description = "Root package for other crates and contains some physical units" +version = "0.1.0" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "0BSD" +website = "https://github.com/BrentSeidel/BBS-Ada" +tags = ["units"] + +[origin] +commit = "d0806fabe7cd506e0be1c8cbaf9bc7e806c2c193" +url = "git+https://github.com/BrentSeidel/BBS-Ada.git" + From 1f8dcc0f5d31dcd7a96712ec588666bd86d982a5 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 1 Aug 2024 22:31:02 +0200 Subject: [PATCH 06/65] gprbuild 24.0.1 for aarch64 only (#1167) Keep GPRbuild 24 only for mac aarch64 --- index/gp/gprbuild/gprbuild-24.0.1.toml | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/index/gp/gprbuild/gprbuild-24.0.1.toml b/index/gp/gprbuild/gprbuild-24.0.1.toml index 851031df8..6d268ee15 100644 --- a/index/gp/gprbuild/gprbuild-24.0.1.toml +++ b/index/gp/gprbuild/gprbuild-24.0.1.toml @@ -12,22 +12,7 @@ PATH.prepend = "${CRATE_ROOT}/bin" [configuration] disabled = true -[origin."case(os)".linux."case(host-arch)".x86-64] -url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-x86_64-linux-24.0.0-1.tar.gz" -hashes = ["sha256:4bb020f375a90bdec348390c44e517af42d2724fb439b00c4738992c42a931c6"] -binary = true - -[origin."case(os)".macos."case(host-arch)".x86-64] -url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-x86_64-darwin-24.0.0-1.tar.gz" -hashes = ["sha256:f206fcd4464bba7eac06c9bf7f0b854f0687166741b7568b5e22a75cf2be4868"] -binary = true - [origin."case(os)".macos."case(host-arch)".aarch64] url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-aarch64-darwin-24.0.0-1.tar.gz" hashes = ["sha256:6f6b6658f1418f1f43d99f151b8bdcbf1a583dc7cb09348dfec4ca841955ff9c"] binary = true - -[origin."case(os)".windows."case(host-arch)".x86-64] -url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-x86_64-windows64-24.0.0-1.tar.gz" -hashes = ["sha256:3468a77045c47f4d2aaedc3feaed8a8064832feaa76e387781d42efb932e7e75"] -binary = true From a10438527c35656f851e8d25abf29c9bdebaa2af Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Fri, 2 Aug 2024 00:04:43 -0700 Subject: [PATCH 07/65] bbs_lisp 0.1.0 (#1168) --- index/bb/bbs_lisp/bbs_lisp-0.1.0.toml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 index/bb/bbs_lisp/bbs_lisp-0.1.0.toml diff --git a/index/bb/bbs_lisp/bbs_lisp-0.1.0.toml b/index/bb/bbs_lisp/bbs_lisp-0.1.0.toml new file mode 100644 index 000000000..d8bd863bd --- /dev/null +++ b/index/bb/bbs_lisp/bbs_lisp-0.1.0.toml @@ -0,0 +1,18 @@ +name = "bbs_lisp" +description = "Embedable tiny lisp interpreter" +version = "0.1.0" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Ada-Lisp" +tags = ["lisp"] + +[[depends-on]] +bbs = "~0.1.0" + +[origin] +commit = "2feb2fd5664797c4da3abde1dd1088b2cf6dc94c" +url = "git+https://github.com/BrentSeidel/Ada-Lisp.git" + From b4ad4912a84528dca25911522a76ad3987fbd080 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Fri, 2 Aug 2024 12:02:40 +0200 Subject: [PATCH 08/65] whitakers_words 0.20240801.0 (#1166) * Re-index Whitaker's Words * Disable availability on Windows --- .../whitakers_words-0.20240801.0.toml | 36 +++++++++++++++++++ orphaned/wh/whitakers_words.toml | 24 ------------- 2 files changed, 36 insertions(+), 24 deletions(-) create mode 100644 index/wh/whitakers_words/whitakers_words-0.20240801.0.toml delete mode 100644 orphaned/wh/whitakers_words.toml diff --git a/index/wh/whitakers_words/whitakers_words-0.20240801.0.toml b/index/wh/whitakers_words/whitakers_words-0.20240801.0.toml new file mode 100644 index 000000000..681c3efcd --- /dev/null +++ b/index/wh/whitakers_words/whitakers_words-0.20240801.0.toml @@ -0,0 +1,36 @@ +name = "whitakers_words" +version = "0.20240801.0" +description = "William Whitaker's WORDS, a Latin dictionary" +licenses = "Custom-Public-Domain" +authors = ["William A. Whitaker", "Martin Keegan"] +website = "http://mk270.github.io/whitakers-words/" +maintainers = ["alejandro@mosteo.com"] +maintainers-logins = ["mosteo"] + +project-files = ["commands.gpr"] +# The call to make does everything, this is the one that generates the +# executables. So this is causing an unneeded rebuild, but short of forking and +# adding a dummy project file, this is the best we can do, until Alire allows +# to entirely skip building a project file. + +executables = ["words"] +# There are more built, but this is the one intended for the user, so by only +# listing this one, we allow `alr run` to run as expected. + +[available.'case(os)'] +windows = false # make fails for reasons yet to be determined + +[configuration] +disabled = true + +[[depends-on]] +make = "any" +gnat = "/=7.3" # Bug with SAL library failing binding with GNAT FSF 7.3 + +[[actions]] +type = "post-fetch" +command = ["make"] + +[origin] +url = "git+https://github.com/mosteo/whitakers-words.git" +commit = "bbf5d50cf4026c17d35f07ce85771954b95c6af9" diff --git a/orphaned/wh/whitakers_words.toml b/orphaned/wh/whitakers_words.toml deleted file mode 100644 index f08c618d0..000000000 --- a/orphaned/wh/whitakers_words.toml +++ /dev/null @@ -1,24 +0,0 @@ -[general] -description = "William Whitaker's WORDS, a Latin dictionary" -licenses = ["Public Domain"] -authors = ["William A. Whitaker", "Martin Keegan"] -website = "http://mk270.github.io/whitakers-words/" -maintainers = ["alejandro@mosteo.com"] - -project-files = ["words.gpr"] -executables = ["words"] - - [general.depends-on] - make = "any" - - [[general.actions]] - type = "post-compile" - command = "make" - -['2017.09.10'] -origin = "git+https://github.com/mk270/whitakers-words.git@27be95b8a06d7b22c0600c824cf929ab43efcf25" -notes = "Bug with SAL library failing binding with GNAT FSF 7.3" - - ['2017.09.10'.available.'case(compiler)'] - 'gnat-fsf-old|gnat-fsf-7.2' = false - '...' = false From d14e4dfae11771bfc8784148f0e7d5a7d9e62678 Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Fri, 2 Aug 2024 15:35:46 +0300 Subject: [PATCH 09/65] ethernet 1.0.0 (#1169) --- index/et/ethernet/ethernet-1.0.0.toml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 index/et/ethernet/ethernet-1.0.0.toml diff --git a/index/et/ethernet/ethernet-1.0.0.toml b/index/et/ethernet/ethernet-1.0.0.toml new file mode 100644 index 000000000..0a398cf93 --- /dev/null +++ b/index/et/ethernet/ethernet-1.0.0.toml @@ -0,0 +1,27 @@ +name = "ethernet" +description = "Root crate for ethernet namespace and MDIO/SMI/MIIM interface" +version = "1.0.0" + +authors = ["Max Reznik"] +maintainers = ["Max Reznik "] +maintainers-logins = ["reznikmm"] +licenses = "Apache-2.0 WITH LLVM-exception" +website = "https://github.com/reznikmm/ethernet" +tags = ["network", "mdio", "smi", "miim", "phy", "driver"] +project-files = ["gnat/ethernet.gpr"] + +[configuration] +output_dir = "gnat" +generate_ada = false +generate_c = false + +[build-switches] +development.optimization = ["-O0"] +development.style_checks = ["-gnaty"] +development.contracts = "Yes" + + +[origin] +commit = "8f4d3e0580fa2e3c13e97b05f9cc270733c92de7" +url = "git+https://github.com/reznikmm/ethernet.git" + From 5ba57e26c4445cc34af8bbe11d76ab5625e2c78e Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Mon, 5 Aug 2024 12:52:06 +0200 Subject: [PATCH 10/65] Enable OpenSUSE testing (#1096) Just as we use Ubuntu LTS-only releases, we use the versioned, stable Leap releases. --- .github/workflows/build-distros.yml | 1 + index/li/libhello/libhello-1.0.1.toml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build-distros.yml b/.github/workflows/build-distros.yml index 54c747f7a..55d4d3bef 100644 --- a/.github/workflows/build-distros.yml +++ b/.github/workflows/build-distros.yml @@ -31,6 +31,7 @@ jobs: - centos-stream-fsf-latest # CentOS is used for unknown package manager - debian-stable # Debian has very good Ada support and apt - fedora-latest # Fedora has its own GNAT and dnf + - opensuse-leap # OpenSUSE has its own GNAT and zypper - ubuntu-lts # Ubuntu LTS is a common Debian derivative steps: diff --git a/index/li/libhello/libhello-1.0.1.toml b/index/li/libhello/libhello-1.0.1.toml index 97985fa90..328ae9cae 100644 --- a/index/li/libhello/libhello-1.0.1.toml +++ b/index/li/libhello/libhello-1.0.1.toml @@ -15,4 +15,4 @@ url = "git+https://github.com/alire-project/libhello.git" # We use this crate as a trigger to conveniently test minor changes to # metaprocesses of the CI of the repository itself. -# Last touch: 2024-05-23 17:40 CET \ No newline at end of file +# Last touch: 2024-06-19 12:52 CET From d1f00c4858bd16e8f4292f197c11d4b3f3596e06 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 5 Aug 2024 12:54:09 +0200 Subject: [PATCH 11/65] embedded_components 0.3.0 (#1083) * Add files via upload * Update embedded_components-0.3.0.toml --- .../embedded_components-0.3.0.toml | 35 +++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 index/em/embedded_components/embedded_components-0.3.0.toml diff --git a/index/em/embedded_components/embedded_components-0.3.0.toml b/index/em/embedded_components/embedded_components-0.3.0.toml new file mode 100644 index 000000000..3553fe85e --- /dev/null +++ b/index/em/embedded_components/embedded_components-0.3.0.toml @@ -0,0 +1,35 @@ +description = "Platform agnostic drivers to interface external components" +long-description = '''# embedded-components + +Platform agnostic drivers to interface external components. + +This crate is a snapshot of the `components` of [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/components). + +Any bug report, issue, contribution must be adressed to the [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. + +''' + +name = "embedded_components" +version = "0.3.0" +licenses = "BSD-3-Clause" +authors=["AdaCore"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["embedded_components.gpr"] +tags = ["embedded", "nostd"] + +[[depends-on]] +hal = "~0.3.1" +adl_middleware = "~0.2.0" +gnat = ">=11.2 & <2000" # Required for Ada2022 features + +[build-switches] +"*".style_checks = "no" + +[origin] +commit = "b003afa1a08e359f4df385044d4c556dbe9ed784" +url = "git+https://github.com/Fabien-Chouteau/embedded-components.git" + From ec3e2dc60020150a0a544823600b124d59d02578 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Tue, 6 Aug 2024 04:36:23 -0700 Subject: [PATCH 12/65] lispcli 0.1.0 (#1170) * lispcli 0.1.0 (via `alr publish --submit`) * Update hash to point to later commit with fix. * Build fails on OpenSuSe so make crate unavailable for suse. * Adjust syntax to exclude OpenSuse. --- index/li/lispcli/lispcli-0.1.0.toml | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/li/lispcli/lispcli-0.1.0.toml diff --git a/index/li/lispcli/lispcli-0.1.0.toml b/index/li/lispcli/lispcli-0.1.0.toml new file mode 100644 index 000000000..de612a0f0 --- /dev/null +++ b/index/li/lispcli/lispcli-0.1.0.toml @@ -0,0 +1,28 @@ +name = "lispcli" +description = "Simple program for exploring tiny lisp" +version = "0.1.0" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Ada-Lisp" +tags = ["lisp"] + +executables = ["lispcli"] + +[available."case(distribution)"] +"suse" = false +"..." = true + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_lisp = "~0.1.0" + +[origin] +commit = "640af271f4d8b053d6d95952804fdd0045771e62" +subdir = "./cli/" +url = "git+https://github.com/BrentSeidel/Ada-Lisp.git" + From 1e92fe5427eb4e195423288be26d2427e1e6b0c0 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Wed, 7 Aug 2024 02:52:37 -0700 Subject: [PATCH 13/65] bbs_simcpu 0.1.0 (#1171) --- index/bb/bbs_simcpu/bbs_simcpu-0.1.0.toml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 index/bb/bbs_simcpu/bbs_simcpu-0.1.0.toml diff --git a/index/bb/bbs_simcpu/bbs_simcpu-0.1.0.toml b/index/bb/bbs_simcpu/bbs_simcpu-0.1.0.toml new file mode 100644 index 000000000..040ca1d3a --- /dev/null +++ b/index/bb/bbs_simcpu/bbs_simcpu-0.1.0.toml @@ -0,0 +1,18 @@ +name = "bbs_simcpu" +description = "CPU Simulator for multiple CPUs" +version = "0.1.0" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Sim-CPU" +tags = ["cpu-simulator"] + +[[depends-on]] +bbs = "~0.1.0" + +[origin] +commit = "73ecd6e3b683163365855ce1ae130e14e92ce0b0" +url = "git+https://github.com/BrentSeidel/Sim-CPU.git" + From 9e9456d0c26da321975d180aa9bf63a5adb9143a Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Wed, 7 Aug 2024 02:54:01 -0700 Subject: [PATCH 14/65] bbs_webif 0.1.0 (#1172) --- index/bb/bbs_webif/bbs_webif-0.1.0.toml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 index/bb/bbs_webif/bbs_webif-0.1.0.toml diff --git a/index/bb/bbs_webif/bbs_webif-0.1.0.toml b/index/bb/bbs_webif/bbs_webif-0.1.0.toml new file mode 100644 index 000000000..441bb3913 --- /dev/null +++ b/index/bb/bbs_webif/bbs_webif-0.1.0.toml @@ -0,0 +1,18 @@ +name = "bbs_webif" +description = "Simple web server to provide an interface to embedded instruments" +version = "0.1.0" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Ada-Web-Server" +tags = ["http", "html", "embedded", "web"] + +[[depends-on]] +bbs = "~0.1.0" + +[origin] +commit = "3aacf5100d2b648569f8a4b47b0bb92c50725837" +url = "git+https://github.com/BrentSeidel/Ada-Web-Server.git" + From 49bd412d4c49a104b1f9f04c2d59916f1c7418c0 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Wed, 7 Aug 2024 17:03:46 +0200 Subject: [PATCH 15/65] musicplayer 20210719.0.0 (#1173) --- .../musicplayer/musicplayer-20210719.0.0.toml | 46 +++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 index/mu/musicplayer/musicplayer-20210719.0.0.toml diff --git a/index/mu/musicplayer/musicplayer-20210719.0.0.toml b/index/mu/musicplayer/musicplayer-20210719.0.0.toml new file mode 100644 index 000000000..bb950e0b5 --- /dev/null +++ b/index/mu/musicplayer/musicplayer-20210719.0.0.toml @@ -0,0 +1,46 @@ +name = "musicplayer" +description = "A Music Player" +version = "20210719" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/MP" +tags = ["music", "audio", "player"] +long-description = """ +# MP +A Music Player + +Uses the Gnoga audio widget to create a music player. + +This does what I want from a music player. Considering all the features that most music players have that this doesn't, I presume that most people will find MP lacking. However, it may serve someone as the basis for a more complex player. + +The audio widget seems to require relative paths to the audio files. The file browser in this program will only choose audio files that are in the program's working directory, or in a directory under that. + +MP uses [the Gnoga File Selection widget](https://github.com/jrcarter/Gnoga_File_Selection), which has only been tested on Linux. + +MP uses [the PragmAda Reusable Components](https://github.com/jrcarter/PragmARC). +""" +executables = ["mp"] + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[[depends-on]] +ada_gui = "^20240224.0.0" + +[[depends-on]] +pragmarc = "^20240323.0.0" + +[[depends-on]] +ssl = "^3.0.2" + +[origin] +commit = "495babedd83cc48294de981baafd4f7c488ab8f6" +url = "git+https://github.com/bracke/MP.git" + From fdca9ff9b0bff8b462385a5419ea1f565bc9ac85 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Sun, 11 Aug 2024 05:45:05 -0700 Subject: [PATCH 16/65] loadcpm 0.1.0 (#1177) --- index/lo/loadcpm/loadcpm-0.1.0.toml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 index/lo/loadcpm/loadcpm-0.1.0.toml diff --git a/index/lo/loadcpm/loadcpm-0.1.0.toml b/index/lo/loadcpm/loadcpm-0.1.0.toml new file mode 100644 index 000000000..e2a0c49cc --- /dev/null +++ b/index/lo/loadcpm/loadcpm-0.1.0.toml @@ -0,0 +1,24 @@ +name = "loadcpm" +description = "Write CP/M (or other similar binary) to floppy disk image" +version = "0.1.0" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Sim-CPU" +tags = ["cpm"] + +executables = ["loadcpm"] + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_simcpu = "~0.1.0" + +[origin] +commit = "95bbe73fa49ea9db3fb04c302b688192d9f84389" +subdir = "./loadcpm/" +url = "git+https://github.com/BrentSeidel/Sim-CPU.git" + From b981536288f358e7bbc0aa24864dff481e7e43a7 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Sun, 11 Aug 2024 14:45:54 +0200 Subject: [PATCH 17/65] password_gen 20220720.0.0 (#1175) --- .../password_gen-20220720.0.0.toml | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 index/pa/password_gen/password_gen-20220720.0.0.toml diff --git a/index/pa/password_gen/password_gen-20220720.0.0.toml b/index/pa/password_gen/password_gen-20220720.0.0.toml new file mode 100644 index 000000000..82ea74877 --- /dev/null +++ b/index/pa/password_gen/password_gen-20220720.0.0.toml @@ -0,0 +1,37 @@ +name = "password_gen" +description = "A password generator using Ada-GUI/Gnoga" +version = "20220720" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/bracke/Password_Gen" +tags = ["passwordmaker"] +long-description = """ +# Password_Gen +A password generator using Ada_GUI (https://github.com/jrcarter/Ada_GUI) +""" + +executables = ["password_gen"] + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[[depends-on]] +ada_gui = "^20240224.0.0" + +[[depends-on]] +pragmarc = "^20240323.0.0" + +[[depends-on]] +ssl = "^3.0.2" + +[origin] +commit = "57a4f01f0a9e05783ddfa4494e4191b1819d61ca" +url = "git+https://github.com/bracke/Password_Gen.git" + From a44ad09e825fdd59d911afa64e20c9f89ecdc07e Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Mon, 12 Aug 2024 12:11:47 +0200 Subject: [PATCH 18/65] z_compression 20240724.0.0 (#1178) --- .../z_compression-20240724.0.0.toml | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 index/z_/z_compression/z_compression-20240724.0.0.toml diff --git a/index/z_/z_compression/z_compression-20240724.0.0.toml b/index/z_/z_compression/z_compression-20240724.0.0.toml new file mode 100644 index 000000000..258e6104e --- /dev/null +++ b/index/z_/z_compression/z_compression-20240724.0.0.toml @@ -0,0 +1,37 @@ +name = "z_compression" +description = "Standalone version of the Zlib Deflate compression algorithm" +version = "20240724.0.0" + +authors = ["Jeffrey R. Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/Z_Compression" +tags = ["zlib", "deflate", "compression"] + +long-description = """ +# Z_Compression +Standalone version of the Zlib Deflate compression algorithm, derived from de Montmollin's Zip-Ada + +Z_Compression.Compress applies Deflate to an input stream of bytes, defined by its generic formal subprograms Out_Of_Data and Next, producing an output stream of bytes that are passed to the generic formal procedure Put. The output may be in Zlib or raw Deflate formats. + +ZC_Test is a test/demo program for Z_Compression. Building it should also compile Z_Compression. It is invoked as + +``` +zc_test +``` + +No error checking or handling is done. It compresses the given file into a Zlib format file. The output file name is the input file name with ".zc" appended. +""" + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[origin] +commit = "f116f336e7d0b24f7af2a22f44d1e9e1491159ec" +url = "git+https://github.com/bracke/Z_Compression.git" + From 5e2605c849dad56c7e44d56b586f38538cf46259 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Mon, 12 Aug 2024 12:12:56 +0200 Subject: [PATCH 19/65] mine_detector 20220720.0.0 (#1174) --- .../mine_detector-20220720.0.0.toml | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 index/mi/mine_detector/mine_detector-20220720.0.0.toml diff --git a/index/mi/mine_detector/mine_detector-20220720.0.0.toml b/index/mi/mine_detector/mine_detector-20220720.0.0.toml new file mode 100644 index 000000000..059fb2bf0 --- /dev/null +++ b/index/mi/mine_detector/mine_detector-20220720.0.0.toml @@ -0,0 +1,33 @@ +name = "mine_detector" +description = "The Gnoga/Ada-GUI version of Mine Detector" +version = "20220720" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/bracke/Mine_Detector" +tags = ["minedetector", "game"] +long-description = """ +# Mine_Detector +The Ada-GUI (https://github.com/jrcarter/Ada_GUI) version of Mine Detector, an intellectually-challenging game +""" +executables = ["mine_detector"] + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[[depends-on]] +ada_gui = "^20240224.0.0" + +[[depends-on]] +ssl = "^3.0.2" + +[origin] +commit = "9bd51e7b08536c836e7f37a3a5c2b23b6590d4e8" +url = "git+https://github.com/bracke/Mine_Detector.git" + From 7aba0a2e1df70321cc2c463dcc022ee8e34ff077 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Mon, 12 Aug 2024 12:14:36 +0200 Subject: [PATCH 20/65] crc_32 20240725.0.0 (#1180) --- index/cr/crc_32/crc_32-20240725.0.0.toml | 29 ++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/cr/crc_32/crc_32-20240725.0.0.toml diff --git a/index/cr/crc_32/crc_32-20240725.0.0.toml b/index/cr/crc_32/crc_32-20240725.0.0.toml new file mode 100644 index 000000000..53e010c30 --- /dev/null +++ b/index/cr/crc_32/crc_32-20240725.0.0.toml @@ -0,0 +1,29 @@ +name = "crc_32" +description = "Cyclic Redundancy Check to verify data integrity (ISO 3309)" +version = "20240725.0.0" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/CRC-32" +tags = ["crc", "iso3309", "data", "redundancy", "verification"] + +long-description = """ +# CRC-32 +Cyclic Redundancy Check to verify data integrity (ISO 3309) + +Derived, with extensive modifications, from Zip.CRC_Crypto by Gautier de Montmollin. +""" + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[origin] +commit = "6197de2ca333b4730f75d5804cfdd6c881e9f1de" +url = "git+https://github.com/bracke/CRC-32.git" + From b3e5d99b9e680d4518aa4aecf67e8275b7cdca3f Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 12 Aug 2024 12:40:48 +0200 Subject: [PATCH 21/65] raylib 1.0.0, libraylib external (#1179) --- index/li/libraylib/libraylib-external.toml | 12 ++++++++++ index/ra/raylib/raylib-1.0.0.toml | 28 ++++++++++++++++++++++ 2 files changed, 40 insertions(+) create mode 100644 index/li/libraylib/libraylib-external.toml create mode 100644 index/ra/raylib/raylib-1.0.0.toml diff --git a/index/li/libraylib/libraylib-external.toml b/index/li/libraylib/libraylib-external.toml new file mode 100644 index 000000000..60f7d2c08 --- /dev/null +++ b/index/li/libraylib/libraylib-external.toml @@ -0,0 +1,12 @@ +description = "Simple and easy-to-use game programming library" +name = "libraylib" + +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] + +[[external]] +kind = "system" +[external.origin."case(distribution)"] +"arch|homebrew|macports" = ["raylib"] +"fedora" = ["raylib-devel"] +"msys2" = ["mingw-w64-x86_64-raylib"] diff --git a/index/ra/raylib/raylib-1.0.0.toml b/index/ra/raylib/raylib-1.0.0.toml new file mode 100644 index 000000000..69d47812c --- /dev/null +++ b/index/ra/raylib/raylib-1.0.0.toml @@ -0,0 +1,28 @@ +name = "raylib" +description = "Ada bindings for Raylib" +version = "1.0.0" + +authors = ["Fabien Chouteau"] +maintainers = ["Fabien Chouteau "] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "MIT OR Apache-2.0 WITH LLVM-exception" +website = "" +tags = ["raylib", "gamedev", "binding"] + +[[actions]] +type = "pre-build" +command = ["sh", "scripts/build_raylib.sh"] + +[environment] +LIBRARY_PATH.append = "${CRATE_ROOT}/build-raylib/raylib/" + +[[depends-on]] +gnat = ">=12 & <2000" +libraylib = "^5" + +[configuration.variables] +ENABLE_RAYLIB_BUILD = { type = "Boolean", default = false} + +[origin] +commit = "4d933d89d9ace79466e8ee7a9fe6ffa383279cb5" +url = "git+https://github.com/Fabien-Chouteau/raylib-ada.git" From 73af745604d106823c2fe4e77d159f6dae033db3 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Mon, 12 Aug 2024 13:19:20 +0200 Subject: [PATCH 22/65] Disable failing CI check to avoid confusion (#1187) --- .github/workflows/build-native-master.yml | 2 +- index/li/libhello/libhello-1.0.1.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-native-master.yml b/.github/workflows/build-native-master.yml index 296825111..3312b0279 100644 --- a/.github/workflows/build-native-master.yml +++ b/.github/workflows/build-native-master.yml @@ -30,7 +30,7 @@ jobs: fail-fast: false matrix: os: - - macos-12 + # - macos-12 # TODO: To be diagnosed - ubuntu-latest - windows-latest diff --git a/index/li/libhello/libhello-1.0.1.toml b/index/li/libhello/libhello-1.0.1.toml index 328ae9cae..68474dedf 100644 --- a/index/li/libhello/libhello-1.0.1.toml +++ b/index/li/libhello/libhello-1.0.1.toml @@ -15,4 +15,4 @@ url = "git+https://github.com/alire-project/libhello.git" # We use this crate as a trigger to conveniently test minor changes to # metaprocesses of the CI of the repository itself. -# Last touch: 2024-06-19 12:52 CET +# Last touch: 2024-08-12 13:01 CET From 819f525655d1364e3469e401f19710b7e93c905c Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Mon, 12 Aug 2024 04:31:05 -0700 Subject: [PATCH 23/65] simcpucli 0.1.0 (#1176) * simcpucli 0.1.0 (via `alr publish --submit`) * Add long-description and depend on gnat > 7.5. * Add [origin] block. --- index/si/simcpucli/simcpucli-0.1.0.toml | 36 +++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 index/si/simcpucli/simcpucli-0.1.0.toml diff --git a/index/si/simcpucli/simcpucli-0.1.0.toml b/index/si/simcpucli/simcpucli-0.1.0.toml new file mode 100644 index 000000000..be99f13b2 --- /dev/null +++ b/index/si/simcpucli/simcpucli-0.1.0.toml @@ -0,0 +1,36 @@ +name = "simcpucli" +description = "CLI for CPU simulator" +version = "0.1.0" + +long-description = """ +This provides a simple command line interface to the CPU simulator library. +It has commands for setting and reading memory, reading registers, and +executing instructions. It also uses the Tiny-Lisp library so that many +of these actions can be scripted. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Sim-CPU" +tags = ["cpu-simulator"] + +executables = ["simcpucli"] + +[[depends-on]] +gnat = ">7.5" + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_lisp = "~0.1.0" + +[[depends-on]] +bbs_simcpu = "~0.1.0" + +[origin] +commit = "95bbe73fa49ea9db3fb04c302b688192d9f84389" +subdir = "./cli/" +url = "git+https://github.com/BrentSeidel/Sim-CPU.git" From 12cf519e600fd773c59c59b2f366ba30282e2b15 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Mon, 12 Aug 2024 14:59:03 +0200 Subject: [PATCH 24/65] Disable openSUSE testing (#1188) Enabling openSUSE requires more thorough testing. --- .github/workflows/build-distros.yml | 3 ++- index/li/libhello/libhello-1.0.1.toml | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-distros.yml b/.github/workflows/build-distros.yml index 55d4d3bef..8a9ba3ac9 100644 --- a/.github/workflows/build-distros.yml +++ b/.github/workflows/build-distros.yml @@ -31,7 +31,8 @@ jobs: - centos-stream-fsf-latest # CentOS is used for unknown package manager - debian-stable # Debian has very good Ada support and apt - fedora-latest # Fedora has its own GNAT and dnf - - opensuse-leap # OpenSUSE has its own GNAT and zypper + # - opensuse-leap # OpenSUSE has its own GNAT and zypper + # TODO: diagnose and reinstate problems with tar/compiler installation - ubuntu-lts # Ubuntu LTS is a common Debian derivative steps: diff --git a/index/li/libhello/libhello-1.0.1.toml b/index/li/libhello/libhello-1.0.1.toml index 68474dedf..bd1b7f891 100644 --- a/index/li/libhello/libhello-1.0.1.toml +++ b/index/li/libhello/libhello-1.0.1.toml @@ -15,4 +15,4 @@ url = "git+https://github.com/alire-project/libhello.git" # We use this crate as a trigger to conveniently test minor changes to # metaprocesses of the CI of the repository itself. -# Last touch: 2024-08-12 13:01 CET +# Last touch: 2024-08-12 13:36 CET From 460dbc02a0f385cb772496d0d8a6ec2028642c5c Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Mon, 12 Aug 2024 06:10:05 -0700 Subject: [PATCH 25/65] bbs_embed_common 0.1.0 (#1185) Co-authored-by: Alejandro R Mosteo --- .../bbs_embed_common-0.1.0.toml | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/bb/bbs_embed_common/bbs_embed_common-0.1.0.toml diff --git a/index/bb/bbs_embed_common/bbs_embed_common-0.1.0.toml b/index/bb/bbs_embed_common/bbs_embed_common-0.1.0.toml new file mode 100644 index 000000000..717dfcf3e --- /dev/null +++ b/index/bb/bbs_embed_common/bbs_embed_common-0.1.0.toml @@ -0,0 +1,29 @@ +name = "bbs_embed_common" +description = "Abstract hardware drivers and drivers for some i2c bus devices." +version = "0.1.0" + +long-description=""" +This crate contains base classes for some hardware devices such as Analog +Inputs, GPIO pins, I2C bus, and SPI bus. It also contains drivers for +devices that use, for example, an I2C bus. + +By itself, this crate isn't much use. It will need to be used with the +bbs_embed_linux crate which contains hardware drivers for the Raspberry Pi +and BeagleBone Black. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/BBS-BBB-Ada" +tags = ["embedded"] + +[[depends-on]] +bbs = "~0.1.0" + +[origin] +commit = "cfbd52e3e8b1f17751acdecdec70c3f6acaa14a1" +subdir = "./src-common/" +url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git" + From 648a68f47512b9c8856395c561c2513f1a8afa5c Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Mon, 12 Aug 2024 06:11:02 -0700 Subject: [PATCH 26/65] webif_example 0.1.0 (#1186) * webif_example 0.1.0 (via `alr publish --submit`) * Change name of declared executable program. * Change name of executable and update commit. --------- Co-authored-by: Alejandro R Mosteo --- .../we/webif_example/webif_example-0.1.0.toml | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/we/webif_example/webif_example-0.1.0.toml diff --git a/index/we/webif_example/webif_example-0.1.0.toml b/index/we/webif_example/webif_example-0.1.0.toml new file mode 100644 index 000000000..70dee773e --- /dev/null +++ b/index/we/webif_example/webif_example-0.1.0.toml @@ -0,0 +1,29 @@ +name = "webif_example" +description = "Example usage of simple web interface library." +version = "0.1.0" + +long-description = """ +An example simple web server built using the bbs_webif library. Once +you build it, you can run it and connect to it using port 31415. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Ada-Web-Server" +tags = ["web", "http", "embedded"] + +executables = ["webif_example"] + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_webif = "~0.1.0" + +[origin] +commit = "43225d604aa12980c470a0d3b5ba6a95795393f1" +subdir = "./example/" +url = "git+https://github.com/BrentSeidel/Ada-Web-Server.git" + From 3d5bec347e631561f6dbc01ff3ee7b7b312dcf4e Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Mon, 12 Aug 2024 15:11:46 +0200 Subject: [PATCH 27/65] bar_codes 3.0.0 (#1184) * Create bar_codes-3.0.0.toml New version with Data Matrix 2D bar codes. * Update bar_codes-3.0.0.toml Shortened description string. --------- Co-authored-by: Alejandro R Mosteo --- index/ba/bar_codes/bar_codes-3.0.0.toml | 59 +++++++++++++++++++++++++ 1 file changed, 59 insertions(+) create mode 100644 index/ba/bar_codes/bar_codes-3.0.0.toml diff --git a/index/ba/bar_codes/bar_codes-3.0.0.toml b/index/ba/bar_codes/bar_codes-3.0.0.toml new file mode 100644 index 000000000..0c74e0d32 --- /dev/null +++ b/index/ba/bar_codes/bar_codes-3.0.0.toml @@ -0,0 +1,59 @@ +description = "Generate various types of bar codes (1D or 2D) on various media" +name = "bar_codes" +version = "3.0.0" +authors = ["Gautier de Montmollin"] +website = "https://ada-bar-codes.sourceforge.io/" +licenses = "MIT" +maintainers = ["fabien.chouteau@gmail.com"] +maintainers-logins = ["zertovitch", "Fabien-Chouteau"] +project-files = ["ada_bar_codes.gpr"] + +tags = ["bar", "code", "barcode", "bar-code", + "datamatrix", "qr", "code128", + "pbm", "pdf", "svg"] + +executables = ["bar_codes_demo"] + +long-description = """ + QR + Code 128 + Data Matrix + +Some features: + +* 1D bar codes supported: Code 128 +* 2D bar codes supported: Data Matrix, QR Codes +* Task safe +* Endian-neutral +* Multi-platform, but native code build +* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running) +* Unconditionally portable code: OS-, CPU-, compiler- independent code. +* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language +* Tests and demos included +* Free, open-source + +The creation of a bar code is as simple as this small procedure: + +```ada +with Ada.Text_IO, Bar_Codes, Bar_Codes_Media; + +procedure Small_Demo is + use Ada.Text_IO; + svg : File_Type; +begin + Create (svg, Out_File, "qr_code.svg"); + Put_Line + (svg, + Bar_Codes_Media.SVG_Bar_Code + (Bar_Codes.Code_QR_Low, 100.0, 100.0, "mm", "Hello")); + Close (svg); +end Small_Demo; +``` +""" + +[gpr-externals] +Build_Mode = ["Debug", "Fast"] + +[origin] +url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_003.zip" +hashes = ["sha512:ed998c1f89c6970dce157aea2256197a2c1affd9afae90c296bacb6b4019ddf361904113bb60a1642e6558ed0f501909935145d8d735ec3b8b2267794040fc0b"] From 283ab30514d566ea796439b0236585cf88c0c1d7 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Tue, 13 Aug 2024 12:57:13 +0200 Subject: [PATCH 28/65] image_io 20240725.0.0 (#1189) --- index/im/image_io/image_io-20240725.0.0.toml | 57 ++++++++++++++++++++ 1 file changed, 57 insertions(+) create mode 100644 index/im/image_io/image_io-20240725.0.0.toml diff --git a/index/im/image_io/image_io-20240725.0.0.toml b/index/im/image_io/image_io-20240725.0.0.toml new file mode 100644 index 000000000..b91e90251 --- /dev/null +++ b/index/im/image_io/image_io-20240725.0.0.toml @@ -0,0 +1,57 @@ +name = "image_io" +description = "Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA" +version = "20240725.0.0" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/Image_IO" +tags = ["image", "io", "bmp", "ppm", "qoi", "gif", "jpg", "png", "pnm", "tga"] + +long-description = """ +# Image_IO +Output in BMP, PNG, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats + +Package Image_IO.Operations provides the ability to input and output images. + +PNG is a lossless compressed format that is widely supported. Uncompressed BMP is a universal format that is very large. PPM is intended to be a set of portable formats, but lacks support by default on some platforms. QOI is a lossless compressed format, but not widely supported. + +Write_P3 uses [PragmARC.Text_IO](https://github.com/jrcarter/PragmARC/blob/Ada-12/pragmarc-text_io.ads) to obtain uniform line terminators across platforms. This can be easily changed to Ada.Text_IO if the line terminators are not a concern. + +Write_PNG uses [Z_Compression](https://github.com/jrcarter/Z_Compression) and [CRC-32](https://github.com/jrcarter/CRC-32). + +Read is a wrapper around [Generic Image Decoder (GID)](https://github.com/zertovitch/gid) for the most common use: reading an image from a file. GID may be used to decode images from other sources, but that generality makes it complex to use. Read ignores transparency (Alpha channel) and only reads the first frame of an animation. + +Pure_RGB is a demo program that reads an image using Read, modifies it to change all color components to the closest of 0 or 255, and outputs the result using Write_PNG. It is invoked with + + pure_rgb + +The output name is the input name with ".png" appended. Pure_RGB does no error handling; if the input file name is omitted, doesn't exist, or is not a supported image format, the program will terminate with an unhandled exception. + +Image_IO and Pure_RGB have been compiled and tested with GNAT 12.3.0 on Linux and ObjectAda 10.5U7 on Windows. +""" + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[[depends-on]] +pragmarc = "^20240323.0.0" + +[[depends-on]] +gid = "^13.0.0" + +[[depends-on]] +crc_32 = "^20240725.0.0" + +[[depends-on]] +z_compression = "^20240724.0.0" + +[origin] +commit = "e3fcdc57ed2f868e3ad21aeb3330d23c5ec3dbe5" +url = "git+https://github.com/bracke/Image_IO.git" + From 1e864e2f8e7ee3cad361a10a43487a890a104c86 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Tue, 13 Aug 2024 04:00:49 -0700 Subject: [PATCH 29/65] bbs_embed_linux 0.1.0 (#1191) --- .../bbs_embed_linux-0.1.0.toml | 32 +++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 index/bb/bbs_embed_linux/bbs_embed_linux-0.1.0.toml diff --git a/index/bb/bbs_embed_linux/bbs_embed_linux-0.1.0.toml b/index/bb/bbs_embed_linux/bbs_embed_linux-0.1.0.toml new file mode 100644 index 000000000..6aa952e9b --- /dev/null +++ b/index/bb/bbs_embed_linux/bbs_embed_linux-0.1.0.toml @@ -0,0 +1,32 @@ +name = "bbs_embed_linux" +description = "Physical device drivers for Raspberry Pi and BeagleBone Black" +version = "0.1.0" + +long-description = """ +This contains device drivers for unix-type systems. The physical devices +are defined for the Raspberry Pi and BeagleBone Black, but it should +compile on any unix-type environment. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/BBS-BBB-Ada" +tags = ["embedded", "devices", "hardware"] + +[available."case(os)"] +"windows" = false +"..." = true + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_embed_common = "~0.1.0" + +[origin] +commit = "17b6af3a282e68d129d65288c7add354393fe76a" +subdir = "./src-linux/" +url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git" + From d24c436e2afe47b3013e390ed46d89b7270965e7 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Tue, 13 Aug 2024 04:02:57 -0700 Subject: [PATCH 30/65] bbs_lisp 0.1.1 (#1192) --- index/bb/bbs_lisp/bbs_lisp-0.1.1.toml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 index/bb/bbs_lisp/bbs_lisp-0.1.1.toml diff --git a/index/bb/bbs_lisp/bbs_lisp-0.1.1.toml b/index/bb/bbs_lisp/bbs_lisp-0.1.1.toml new file mode 100644 index 000000000..b13df87aa --- /dev/null +++ b/index/bb/bbs_lisp/bbs_lisp-0.1.1.toml @@ -0,0 +1,24 @@ +name = "bbs_lisp" +description = "Embedable tiny lisp interpreter" +version = "0.1.1" + +long-description = """ +This is the core of a simple tiny lisp that is intended to be embedded in +other applications. It can be extended with new commands specific to +the application. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Ada-Lisp" +tags = ["lisp", "embedded"] + +[[depends-on]] +bbs = "~0.1.0" + +[origin] +commit = "e75583571c174d78ff6085b7046dbd4ac058ceba" +url = "git+https://github.com/BrentSeidel/Ada-Lisp.git" + From 167a1695c50b747aa3746d63040ecf93fdbeb811 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Tue, 13 Aug 2024 04:03:31 -0700 Subject: [PATCH 31/65] lispcli 0.1.1 (#1193) --- index/li/lispcli/lispcli-0.1.1.toml | 33 +++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 index/li/lispcli/lispcli-0.1.1.toml diff --git a/index/li/lispcli/lispcli-0.1.1.toml b/index/li/lispcli/lispcli-0.1.1.toml new file mode 100644 index 000000000..dd66665fa --- /dev/null +++ b/index/li/lispcli/lispcli-0.1.1.toml @@ -0,0 +1,33 @@ +name = "lispcli" +description = "Simple program for exploring tiny lisp" +version = "0.1.1" + +long-description = """ +This is a simple example of embedding Lisp to provide a REPL where you +can try various Lisp functions. It can also be modified to test out +Lisp extensions. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Ada-Lisp" +tags = ["lisp"] + +executables = ["lispcli"] + +[[depends-on]] +gnat = ">7.5" + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_lisp = "~0.1.0" + +[origin] +commit = "9f5f0c378868994a2de3ab757681c2a880b9ed8d" +subdir = "./cli/" +url = "git+https://github.com/BrentSeidel/Ada-Lisp.git" + From e93847f894b59a05b3e432ea61e9681933b67e7e Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Tue, 13 Aug 2024 13:04:06 +0200 Subject: [PATCH 32/65] bar_codes 3.0.0 metadata (#1194) .toml metadata changes only. --- index/ba/bar_codes/bar_codes-3.0.0.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index/ba/bar_codes/bar_codes-3.0.0.toml b/index/ba/bar_codes/bar_codes-3.0.0.toml index 0c74e0d32..abf16cc18 100644 --- a/index/ba/bar_codes/bar_codes-3.0.0.toml +++ b/index/ba/bar_codes/bar_codes-3.0.0.toml @@ -9,7 +9,7 @@ maintainers-logins = ["zertovitch", "Fabien-Chouteau"] project-files = ["ada_bar_codes.gpr"] tags = ["bar", "code", "barcode", "bar-code", - "datamatrix", "qr", "code128", + "datamatrix", "data-matrix", "qr", "qrcode", "qr-code", "code128", "pbm", "pdf", "svg"] executables = ["bar_codes_demo"] From 4ebf22e5de063a6036d873e030dd3b2833bfa56e Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Tue, 13 Aug 2024 13:05:01 +0200 Subject: [PATCH 33/65] chipmunk2d 0.1.0 (#1190) --- index/ch/chipmunk2d/chipmunk2d-0.1.0.toml | 18 ++++++++++++++++++ index/li/libchipmunk/libchipmunk-external.toml | 13 +++++++++++++ 2 files changed, 31 insertions(+) create mode 100644 index/ch/chipmunk2d/chipmunk2d-0.1.0.toml create mode 100644 index/li/libchipmunk/libchipmunk-external.toml diff --git a/index/ch/chipmunk2d/chipmunk2d-0.1.0.toml b/index/ch/chipmunk2d/chipmunk2d-0.1.0.toml new file mode 100644 index 000000000..d93cf2edf --- /dev/null +++ b/index/ch/chipmunk2d/chipmunk2d-0.1.0.toml @@ -0,0 +1,18 @@ +name = "chipmunk2d" +description = "Ada bindings for Chipmunk2D" +version = "0.1.0" + +authors = ["Fabien Chouteau"] +maintainers = ["Fabien Chouteau "] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "MIT" +website = "" +tags = ["gamedev", "binding"] + +[[depends-on]] +libchipmunk = "^7.0.3" + +[origin] +commit = "3fa66f621c575d7b6f36a1e61ceb1cec15ad6154" +url = "git+https://github.com/Fabien-Chouteau/chipmunk2D-ada.git" + diff --git a/index/li/libchipmunk/libchipmunk-external.toml b/index/li/libchipmunk/libchipmunk-external.toml new file mode 100644 index 000000000..5aedff43a --- /dev/null +++ b/index/li/libchipmunk/libchipmunk-external.toml @@ -0,0 +1,13 @@ +description = "A high-performance 2D rigid body physics library" +name = "libchipmunk" + +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] + +[[external]] +kind = "system" +[external.origin."case(distribution)"] +"ubuntu" = ["libchipmunk-dev"] +"arch|homebrew|macports" = ["chipmunk"] +"fedora" = ["chipmunk-devel"] +"msys2" = ["mingw-w64-x86_64-chipmunk"] From 449d09894566f4f6e96b117ab32200f23c19bbdd Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Tue, 13 Aug 2024 19:11:44 +0200 Subject: [PATCH 34/65] Bumps to actions/checkout@v4 (#1196) --- .github/workflows/authorship.yml | 4 ++-- .github/workflows/build-distros.yml | 4 ++-- .github/workflows/build-native-master.yml | 4 ++-- .github/workflows/build-native.yml | 4 ++-- .github/workflows/build-ports.yml | 4 ++-- .github/workflows/diff-release.yml | 4 ++-- index/li/libhello/libhello-1.0.1.toml | 2 +- 7 files changed, 13 insertions(+), 13 deletions(-) diff --git a/.github/workflows/authorship.yml b/.github/workflows/authorship.yml index dbd1feca0..17e9e4f1b 100644 --- a/.github/workflows/authorship.yml +++ b/.github/workflows/authorship.yml @@ -13,7 +13,7 @@ jobs: check: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: fetch-depth: 0 # Needed to be able to diff and obtain changed files. Furthermore, we @@ -21,7 +21,7 @@ jobs: # changed files detectors. - name: Check out alire-index-checks - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}} ref: ${{github.base_ref}} diff --git a/.github/workflows/build-distros.yml b/.github/workflows/build-distros.yml index 8a9ba3ac9..d558ba6c8 100644 --- a/.github/workflows/build-distros.yml +++ b/.github/workflows/build-distros.yml @@ -37,7 +37,7 @@ jobs: steps: - name: Check out alire-index - uses: actions/checkout@v2 + uses: actions/checkout@v4 with: fetch-depth: 0 # Needed to be able to diff and obtain changed files. Furthermore, we @@ -46,7 +46,7 @@ jobs: # check-author action). - name: Check out alire-index-checks - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}} ref: ${{github.base_ref}} diff --git a/.github/workflows/build-native-master.yml b/.github/workflows/build-native-master.yml index 3312b0279..28aa49498 100644 --- a/.github/workflows/build-native-master.yml +++ b/.github/workflows/build-native-master.yml @@ -36,7 +36,7 @@ jobs: steps: - name: Check out alire-index - uses: actions/checkout@v2 + uses: actions/checkout@v4 with: fetch-depth: 0 # Needed to be able to diff and obtain changed files. Furthermore, we @@ -45,7 +45,7 @@ jobs: # check-author action). - name: Check out alire-index-checks - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}} ref: ${{github.base_ref}} diff --git a/.github/workflows/build-native.yml b/.github/workflows/build-native.yml index e3d9fd9ae..03c7a0f2f 100644 --- a/.github/workflows/build-native.yml +++ b/.github/workflows/build-native.yml @@ -33,7 +33,7 @@ jobs: steps: - name: Check out alire-index - uses: actions/checkout@v2 + uses: actions/checkout@v4 with: fetch-depth: 0 # Needed to be able to diff and obtain changed files. Furthermore, we @@ -42,7 +42,7 @@ jobs: # check-author action). - name: Check out alire-index-checks - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}} ref: ${{github.base_ref}} diff --git a/.github/workflows/build-ports.yml b/.github/workflows/build-ports.yml index bfcf70ea1..8588d76d1 100644 --- a/.github/workflows/build-ports.yml +++ b/.github/workflows/build-ports.yml @@ -33,7 +33,7 @@ jobs: steps: - name: Check out alire-index - uses: actions/checkout@v2 + uses: actions/checkout@v4 with: fetch-depth: 0 # Needed to be able to diff and obtain changed files. Furthermore, we @@ -42,7 +42,7 @@ jobs: # check-author action). - name: Check out alire-index-checks - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}} ref: ${{github.base_ref}} diff --git a/.github/workflows/diff-release.yml b/.github/workflows/diff-release.yml index b0d6a7a91..c72fe47c8 100644 --- a/.github/workflows/diff-release.yml +++ b/.github/workflows/diff-release.yml @@ -23,7 +23,7 @@ jobs: steps: - name: Check out alire-index - uses: actions/checkout@v2 + uses: actions/checkout@v4 with: fetch-depth: 0 # Needed to be able to diff and obtain changed files. Furthermore, we @@ -31,7 +31,7 @@ jobs: # changed files detector - name: Check out alire-index-checks - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}} ref: ${{github.base_ref}} diff --git a/index/li/libhello/libhello-1.0.1.toml b/index/li/libhello/libhello-1.0.1.toml index bd1b7f891..e076a1777 100644 --- a/index/li/libhello/libhello-1.0.1.toml +++ b/index/li/libhello/libhello-1.0.1.toml @@ -15,4 +15,4 @@ url = "git+https://github.com/alire-project/libhello.git" # We use this crate as a trigger to conveniently test minor changes to # metaprocesses of the CI of the repository itself. -# Last touch: 2024-08-12 13:36 CET +# Last touch: 2024-08-13 19:01 CET From b732ea1de7192abdbf56ed3be215f6f594e8a8f6 Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Thu, 15 Aug 2024 12:12:50 -0700 Subject: [PATCH 35/65] blinkenlights 0.1.0 (#1197) --- .../bl/blinkenlights/blinkenlights-0.1.0.toml | 65 +++++++++++++++++++ 1 file changed, 65 insertions(+) create mode 100644 index/bl/blinkenlights/blinkenlights-0.1.0.toml diff --git a/index/bl/blinkenlights/blinkenlights-0.1.0.toml b/index/bl/blinkenlights/blinkenlights-0.1.0.toml new file mode 100644 index 000000000..104380fab --- /dev/null +++ b/index/bl/blinkenlights/blinkenlights-0.1.0.toml @@ -0,0 +1,65 @@ +name = "blinkenlights" +description = "Project to blink LEDs in interesting patterns" +version = "0.1.0" + +long-description = """ +This is a complex project involving 3D printing and soldering as well as +software. Alr will take care of the software dependencies for you, but +you will have to read the README and documentation to find the other parts. + +This project is intended to replicate the look and feel of older computers +with the switches and lights. It uses the simulators from bbs_simcpu to +drive the LEDs and act on the switches. Using the Intel 8080 simulator, +I was actually able to toggle a bootstrap program in using the panel and +get it to boot CP/M. If you use the Motorola 68000 simulator, it will +load and run a simple multitasking OS. The example simulator can be used +to flash the lights in a variaty of ways. + +There is a lamp test program in the lamp-test directory that may be useful +for debugging the hardware. + +Note that since each cycle of the simulator involves multiple I2C bus +transactions to read switches and set LEDs, any CPU simulation will run +rather slowly. The intention of this project is more for display than +simulator usage. + +There is also a web server that can be used to select the CPU variant. +This is most useful with the example simulator to select the light pattern. + +This project run on a Raspberry Pi. It will build on most Unix or Unix-like +systems, but unless the hardware interface matches the Raspberry Pi, it +won't run. You are welcome to try porting it to other systems, if you like. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Pi-Mainframe" +tags = ["embedded", "simulation", "i8080", "m68000", "hardware"] + +executables = ["blinkenlights"] + +[available."case(os)"] +"windows" = false +"..." = true + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_embed_common = "~0.1.0" + +[[depends-on]] +bbs_embed_linux = "~0.1.0" + +[[depends-on]] +bbs_webif = "~0.1.0" + +[[depends-on]] +bbs_simcpu = "~0.1.0" + +[origin] +commit = "339e553ee12a1386f68873e311792cb4d2c94045" +url = "git+https://github.com/BrentSeidel/Pi-Mainframe.git" + From 6b330d1da8d75ec18c5c0c79a3c7de5658ff7305 Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Mon, 19 Aug 2024 11:59:05 +0200 Subject: [PATCH 36/65] Create excel_writer-19.0.0.toml (#1201) * Create excel_writer-19.0.0.toml V.19, with parsing and storing of simple formulas. * Update excel_writer-19.0.0.toml Fixed .gpr name. --- .../ex/excel_writer/excel_writer-19.0.0.toml | 57 +++++++++++++++++++ 1 file changed, 57 insertions(+) create mode 100644 index/ex/excel_writer/excel_writer-19.0.0.toml diff --git a/index/ex/excel_writer/excel_writer-19.0.0.toml b/index/ex/excel_writer/excel_writer-19.0.0.toml new file mode 100644 index 000000000..3d7ddc69d --- /dev/null +++ b/index/ex/excel_writer/excel_writer-19.0.0.toml @@ -0,0 +1,57 @@ +description = "Produce Excel spreadsheets" +name = "excel_writer" +version = "19.0.0" +authors = ["Gautier de Montmollin"] +website = "https://excel-writer.sourceforge.io/" +licenses = "MIT" +maintainers = ["gdemont@hotmail.com"] +maintainers-logins = ["mosteo", "zertovitch"] +project-files = ["excel_out.gpr"] +executables = ["excel_out_demo"] +tags = ["excel", "spreadsheet", "xls", "csv"] + +long-description = """ +![Excel Writer logo](https://excel-writer.sourceforge.io/ew_logo_no_shadow.png) + +Excel_Out is a standalone, portable Ada package for writing Excel spreadsheets with basic formattings and formulas, easily and programmatically. + +* Enables the automatic production of reports +* Fast: 50 sheets per second, with 10,000 data cells each on a slow 1.66 GHz computer +* No interaction needed with Excel or MS Office +* Unconditionally portable (*) +* Endian-neutral +* Object oriented +* Task safe +* Pure Ada 95 (nothing compiler/system specific), can be used in projects in Ada 95, Ada 2005, Ada 2012 and later versions of the language +* Floating-point hardware neutral: no IEEE hardware required +* Tests and demos included +* Includes a CSV parser with related tools. +* Free, open-source + +The creation of an Excel file is as simple as this small procedure: + +```ada +with Excel_Out; + +procedure Small_Demo is + xl : Excel_Out.Excel_Out_File; +begin + xl.Create ("small.xls"); + xl.Put_Line ("This is a small demo for Excel_Out"); + for row in 3 .. 8 loop + for column in 1 .. 8 loop + xl.Write (row, column, row * 1000 + column); + end loop; + end loop; + xl.Close; +end Small_Demo; +``` + +___ + +(*) within limits of compiler's provided integer types and target architecture capacity. +""" + +[origin] +url = "https://sourceforge.net/projects/excel-writer/files/excel-writer/excel_writer_19.zip" +hashes = ["sha512:121a552097bd41965e8aeecf29ab3bed59755704c21c81fb85eac852bab8aa377388d949971f999e039a1e6ca52f05a4a05ab4a95dbb7653df5a6b7481ecbf9e"] From 1ce56fa081b7f0ca3ca58f699bba376f31658cae Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Mon, 19 Aug 2024 12:00:18 +0200 Subject: [PATCH 37/65] Create gid-13.0.1.toml (#1200) * Create gid-13.0.1.toml The library is unchanged, but the demo/tools output now to PNG instead of the unknown PPM. * Update gid-13.0.1.toml Improved description. * Update gid-13.0.1.toml Fixed typo. --- index/gi/gid/gid-13.0.1.toml | 55 ++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 index/gi/gid/gid-13.0.1.toml diff --git a/index/gi/gid/gid-13.0.1.toml b/index/gi/gid/gid-13.0.1.toml new file mode 100644 index 000000000..3ec4467b7 --- /dev/null +++ b/index/gi/gid/gid-13.0.1.toml @@ -0,0 +1,55 @@ +description = "Generic Image Decoder - decode a broad variety of image formats" +name = "gid" +version = "13.0.1" +authors = ["Gautier de Montmollin"] +website = "https://gen-img-dec.sourceforge.io/" +licenses = "MIT" +maintainers = ["gdemont@hotmail.com"] +maintainers-logins = ["zertovitch", "Fabien-Chouteau"] +project-files = ["gid.gpr"] +tags = ["image", + "animated", "animation", + "bitmap", + "color", + "decoder", "decoding", "decompress", + "digitization", + "lossless", "lossy", + "rbg", + "steganography", + "transparency", "transparent", + "bmp", "gif", "jpeg", "jpg", "pbm", "pgm", "png", "pnm", "ppm", "qoi", "tga", "targa"] +executables = ["to_bmp"] +long-description = """ + image + +The Generic Image Decoder (GID) is a low-level Ada package for decoding a broad variety of image formats, +from any data stream, to any kind of medium, be it an in-memory bitmap, a GUI object, some other stream, +floating-point data for scientific calculations, a browser element, a device, ... + +Currently supported formats are: BMP, GIF, JPEG, PNG, PNM (PBM, PGM, PPM), QOI, TGA + +Animations (GIF, PNG) are supported. + +Some features: + +* *Fast*! Up to 2.8 times faster than ImageMagick. +* Task safe +* Endian-neutral +* Multi-platform, but native code build +* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running) +* Unconditionally portable code: OS-, CPU-, compiler- independent code (*). +* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language +* Tests, demos and tools included. +* *Free*, open-source + +______ + +(*) within limits of compiler's provided integer types and target architecture capacity. +""" + +[gpr-externals] +GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast_unchecked", "Small", "Smallest", "Profiling"] + +[origin] +url = "https://sourceforge.net/projects/gen-img-dec/files/gid_013_01_without_test_images.zip" +hashes = ["sha512:316514d234592629399fe2b3612ce6e4ff656e2792576aeee081e4b7024305b6e0d0bb5827eea832b4f4488eca2df40427e0a04068745272b6a58c3895f59d4c"] From 06e9413a67e845d25999f4950ce292266fc27ed5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Germond?= Date: Wed, 21 Aug 2024 17:35:15 +0200 Subject: [PATCH 38/65] labs_radar 1.0.0 (via `alr publish --submit`) (#1205) --- index/la/labs_radar/labs_radar-1.0.0.toml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 index/la/labs_radar/labs_radar-1.0.0.toml diff --git a/index/la/labs_radar/labs_radar-1.0.0.toml b/index/la/labs_radar/labs_radar-1.0.0.toml new file mode 100644 index 000000000..fd9cf5bee --- /dev/null +++ b/index/la/labs_radar/labs_radar-1.0.0.toml @@ -0,0 +1,16 @@ +name = "labs_radar" +description = "Introductory Ada exercises based around a fake radar codebase" +website = "https://github.com/adacore/training_labs_radar" +version = "1.0.0" + +authors = ["Léo Germond"] +maintainers = ["Léo Germond "] +maintainers-logins = ["leogermond"] + +licenses = "Apache-2.0" +tags = ["training", "labs"] + +[origin] +commit = "e5cb19b4b5d9f337f68e7e0ea90b7bae576f3512" +url = "git+https://github.com/adacore/training_labs_radar.git" + From 9f42fb3bf221d916c734d551efbeb0d5c28898dd Mon Sep 17 00:00:00 2001 From: Daniel Norte de Moraes Date: Thu, 22 Aug 2024 09:43:46 -0300 Subject: [PATCH 39/65] Adare Kem and Sign PQC Packages. includes all necessary files to build and use. (#1199) * Add files via upload * Add files via upload * Add files via upload --------- Co-authored-by: Fabien Chouteau --- .../adare_dilithium5-0.2.3.toml | 38 +++++++++++++++++++ index/ad/adare_hqc256/adare_hqc256-0.2.3.toml | 36 ++++++++++++++++++ 2 files changed, 74 insertions(+) create mode 100644 index/ad/adare_dilithium5/adare_dilithium5-0.2.3.toml create mode 100644 index/ad/adare_hqc256/adare_hqc256-0.2.3.toml diff --git a/index/ad/adare_dilithium5/adare_dilithium5-0.2.3.toml b/index/ad/adare_dilithium5/adare_dilithium5-0.2.3.toml new file mode 100644 index 000000000..307485a17 --- /dev/null +++ b/index/ad/adare_dilithium5/adare_dilithium5-0.2.3.toml @@ -0,0 +1,38 @@ +name = "adare_dilithium5" +description = "Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind." +version = "0.2.3" + +authors = ["Daniel Norte de Moraes"] +maintainers = ["Daniel Norte de Moraes "] +maintainers-logins = ["danieagle"] + +long-description = """ +Dilithium is a digital signature scheme that is strongly secure under + chosen message attacks based on the hardness of lattice problems + over module lattices. The security notion means that an adversary + having access to a signing oracle cannot produce a signature of a + message whose signature he hasn't yet seen, nor produce a different + signature of a message that he already saw signed. Dilithium is one + of the candidate algorithms submitted to the + NIST post-quantum cryptography project. + + Adare_Dilithium5 is a Ada 2012 bind to Dilithium5 C. + + (C version at https://github.com/PQClean/PQClean) + + How a Bonus all Ada packages in this lib is "Ada Pure"! :-) + + """ + +licenses = "Unlicense" +tags = ["signature", "pqc"] +website = "" + +[build-switches] +"*".Ada_Version = "Ada12" +"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"] + +[origin] +commit = "48a77cb59ddc827ce785553e4a5307b31389ffa4" +url = "git+https://github.com/danieagle/adare_dilithium5.git" + diff --git a/index/ad/adare_hqc256/adare_hqc256-0.2.3.toml b/index/ad/adare_hqc256/adare_hqc256-0.2.3.toml new file mode 100644 index 000000000..87272c853 --- /dev/null +++ b/index/ad/adare_hqc256/adare_hqc256-0.2.3.toml @@ -0,0 +1,36 @@ +name = "adare_hqc256" +description = "Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind." +version = "0.2.3" + +authors = ["Daniel Norte de Moraes"] +maintainers = ["Daniel Norte de Moraes "] +maintainers-logins = ["danieagle"] + +long-description = """ +HQC (Hamming Quasi-Cyclic) is a code-based public key encryption scheme + designed to provide security against attacks by + both classical and quantum computers. HQC has been submitted + to the NIST's Post-Quantum Cryptography Standardization Project. + + Adare_HQC256 is a Ada 2012 bind to HQC-256 C. + + Adare_HQC256 has a 512 bits Shared Secret size. + + (C version at https://github.com/PQClean/PQClean) + + How a Bonus all Ada packages in this lib is "Ada Pure"! :-) + + """ + +licenses = "Unlicense" +tags = ["kem", "pqc", "ss512bits"] +website = "" + +[build-switches] +"*".Ada_Version = "Ada12" +"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"] + +[origin] +commit = "bbba67491702dff110606508f1832140f049381f" +url = "git+https://github.com/danieagle/adare_hqc256.git" + From 137bec496c8647da53209744e7714d1391d8b26c Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Sat, 24 Aug 2024 13:55:00 +0200 Subject: [PATCH 40/65] gnatprove 14.1 on macOS (#1203) --- index/gn/gnatprove/gnatprove-14.1.1.toml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/index/gn/gnatprove/gnatprove-14.1.1.toml b/index/gn/gnatprove/gnatprove-14.1.1.toml index aa775aedf..ffd8380b2 100644 --- a/index/gn/gnatprove/gnatprove-14.1.1.toml +++ b/index/gn/gnatprove/gnatprove-14.1.1.toml @@ -23,3 +23,13 @@ binary = true url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-linux-14.1.0-1.tar.gz" hashes = ["sha256:f6ca6f8c214802b301cc7d9723f73fd088e26c4f0d80c7126993f27bf80494d4"] binary = true + +[origin."case(os)".macos."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-darwin-14.1.0-1.tar.gz" +hashes = ["sha256:5da179687bb601c8d88ff2f8f70ba9f07bd84d49f69c2fb2fc213bddad98c05c"] +binary = true + +[origin."case(os)".macos."case(host-arch)".aarch64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-aarch64-darwin-14.1.0-1.tar.gz" +hashes = ["sha256:91818ed8775fd0cf1d3c0ffc3cfe05c5ab9d759a1d18c38c06ed5134c7563876"] +binary = true From ae053694370e42baf14d6337913ca096a847df72 Mon Sep 17 00:00:00 2001 From: Riccardo Bernardini <31954634+riccardo-bernardini@users.noreply.github.com> Date: Sat, 24 Aug 2024 13:59:16 +0200 Subject: [PATCH 41/65] splitter 1.0.2 (#1204) --- index/sp/splitter/splitter-1.0.2.toml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 index/sp/splitter/splitter-1.0.2.toml diff --git a/index/sp/splitter/splitter-1.0.2.toml b/index/sp/splitter/splitter-1.0.2.toml new file mode 100644 index 000000000..50b0b9e27 --- /dev/null +++ b/index/sp/splitter/splitter-1.0.2.toml @@ -0,0 +1,15 @@ +name = "splitter" +description = "A function to emulate \"split\" as implemented in Ruby" +version = "1.0.2" + +authors = ["Riccardo Bernardini"] +maintainers = ["Riccardo Bernardini "] +maintainers-logins = ["riccardo-bernardini"] +licenses = "MIT OR Apache-2.0 WITH LLVM-exception" +website = "" +tags = ["strings", "split", "token", "tokenizer", "parsing"] + +[origin] +commit = "92ab7669da094583ebb1861bcb015b766cc83a3d" +url = "git+https://github.com/riccardo-bernardini/ada-tokenizer.git" + From 22ffe9848dd2a979b13378dec241be121aaaf6fd Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Sat, 24 Aug 2024 14:03:43 +0200 Subject: [PATCH 42/65] GNAT FSF 14.2 (#1207) --- .../gn/gnat_arm_elf/gnat_arm_elf-14.2.1.toml | 36 +++++++++++++ .../gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml | 2 +- .../gn/gnat_avr_elf/gnat_avr_elf-14.2.1.toml | 31 +++++++++++ index/gn/gnat_native/gnat_native-14.2.1.toml | 51 +++++++++++++++++++ .../gnat_riscv64_elf-14.1.3.toml | 2 +- .../gnat_riscv64_elf-14.2.1.toml | 36 +++++++++++++ .../gnat_xtensa_esp32_elf-14.2.1.toml | 36 +++++++++++++ 7 files changed, 192 insertions(+), 2 deletions(-) create mode 100644 index/gn/gnat_arm_elf/gnat_arm_elf-14.2.1.toml create mode 100644 index/gn/gnat_avr_elf/gnat_avr_elf-14.2.1.toml create mode 100644 index/gn/gnat_native/gnat_native-14.2.1.toml create mode 100644 index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.2.1.toml create mode 100644 index/gn/gnat_xtensa_esp32_elf/gnat_xtensa_esp32_elf-14.2.1.toml diff --git a/index/gn/gnat_arm_elf/gnat_arm_elf-14.2.1.toml b/index/gn/gnat_arm_elf/gnat_arm_elf-14.2.1.toml new file mode 100644 index 000000000..1ac6034ef --- /dev/null +++ b/index/gn/gnat_arm_elf/gnat_arm_elf-14.2.1.toml @@ -0,0 +1,36 @@ + +name = "gnat_arm_elf" +version = "14.2.1" +provides = ["gnat=14.2.1"] +description = "The GNAT Ada compiler - ARM cross-compiler" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" + +[origin."case(os)".linux."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-arm-elf-linux64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:524d4d413837443b9ec34103a092b389c61f795a90229d25208350f262f9df14"] + +[origin."case(os)".windows."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-arm-elf-windows64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:2c52e01a56769b332152615bf141c8117d5223974a0d8063aab5385e6f872ccf"] + +[origin."case(os)".macos."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-arm-elf-darwin-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:f18a079e333d345f6967f81975f9e6f7825613ab1bc6c1b06e2fe744bcf0f1a5"] + +[origin."case(os)".macos."case(host-arch)".aarch64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-arm-elf-darwin-aarch64-14.2.0-1.tar.gz" +hashes = ["sha256:9efaf8276cc0119f0bf43cd2c30b024da445010a34f5b0930bd7d7107ed9d49e"] diff --git a/index/gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml b/index/gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml index 8af2941a8..9a9bf655c 100644 --- a/index/gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml +++ b/index/gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml @@ -2,7 +2,7 @@ name = "gnat_avr_elf" version = "14.1.3" provides = ["gnat=14.1.3"] -description = "The GNAT Ada compiler - RISC-V cross-compiler" +description = "The GNAT Ada compiler - AVR cross-compiler" maintainers = ["chouteau@adacore.com"] maintainers-logins = ["Fabien-Chouteau"] licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" diff --git a/index/gn/gnat_avr_elf/gnat_avr_elf-14.2.1.toml b/index/gn/gnat_avr_elf/gnat_avr_elf-14.2.1.toml new file mode 100644 index 000000000..1832c73de --- /dev/null +++ b/index/gn/gnat_avr_elf/gnat_avr_elf-14.2.1.toml @@ -0,0 +1,31 @@ + +name = "gnat_avr_elf" +version = "14.2.1" +provides = ["gnat=14.2.1"] +description = "The GNAT Ada compiler - AVR cross-compiler" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" + +[origin."case(os)".linux."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-avr-elf-linux64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:c6e1cadc99893e6e5c8e5ce9a4275e9350603efc2acd84fe5410e2a10951cad4"] + +[origin."case(os)".windows."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-avr-elf-windows64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:acfa541d9375a85c74976b7ac9a2dd0b5b22581cb8d904f21f81b8f4bdc137b9"] + +[origin."case(os)".macos."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-avr-elf-darwin-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:4e7e1323d698a1c40c1992a2c6403f47c6a3ac699a53f0074622128fcc39cde8"] diff --git a/index/gn/gnat_native/gnat_native-14.2.1.toml b/index/gn/gnat_native/gnat_native-14.2.1.toml new file mode 100644 index 000000000..7659fa01b --- /dev/null +++ b/index/gn/gnat_native/gnat_native-14.2.1.toml @@ -0,0 +1,51 @@ + +name = "gnat_native" +version = "14.2.1" +provides = ["gnat=14.2.1"] +description = "The GNAT Ada compiler - Native" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment."case(os)".linux."case(host-arch)".x86-64] +PATH.prepend = "${CRATE_ROOT}/bin" +LIBRARY_PATH.prepend = "${CRATE_ROOT}/lib64" +LD_LIBRARY_PATH.prepend = "${CRATE_ROOT}/lib64" +LD_RUN_PATH.prepend = "${CRATE_ROOT}/lib64" + +[environment."case(os)".windows."case(host-arch)".x86-64] +PATH.prepend = "${CRATE_ROOT}/bin" +LIBRARY_PATH.prepend = "${CRATE_ROOT}/lib" +LD_LIBRARY_PATH.prepend = "${CRATE_ROOT}/lib" +LD_RUN_PATH.prepend = "${CRATE_ROOT}/lib" + +[environment."case(os)".macos] +PATH.prepend = "${CRATE_ROOT}/bin" +LIBRARY_PATH.prepend = "${CRATE_ROOT}/lib" +LD_LIBRARY_PATH.prepend = "${CRATE_ROOT}/lib" +LD_RUN_PATH.prepend = "${CRATE_ROOT}/lib" + +[origin."case(os)".linux."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-x86_64-linux-14.2.0-1.tar.gz" +hashes = ["sha256:06bb3def7f70371d601a5c8b93bc4933c50873a5e5ba26aa7ee3447dda687722"] + +[origin."case(os)".windows."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-x86_64-windows64-14.2.0-1.tar.gz" +hashes = ["sha256:2540cccb78a6e36336bbae2a171e30d764955c6984447c09c612c475843fbc7d"] + +[origin."case(os)".macos."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-x86_64-darwin-14.2.0-1.tar.gz" +hashes = ["sha256:bfef513a8f7f665563c1e64046083e52dfd90aa63665bb2248fac293d0ef841e"] + +[origin."case(os)".macos."case(host-arch)".aarch64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-aarch64-darwin-14.2.0-1.tar.gz" +hashes = ["sha256:cc5517d65c2074807c8ae97b671e852ed70e307a457e7acde0a848a9394e31c5"] diff --git a/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.1.3.toml b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.1.3.toml index 087019c8d..95167c68c 100644 --- a/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.1.3.toml +++ b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.1.3.toml @@ -2,7 +2,7 @@ name = "gnat_riscv64_elf" version = "14.1.3" provides = ["gnat=14.1.3"] -description = "The GNAT Ada compiler - AVR cross-compiler" +description = "The GNAT Ada compiler - RISC-V cross-compiler" maintainers = ["chouteau@adacore.com"] maintainers-logins = ["Fabien-Chouteau"] licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" diff --git a/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.2.1.toml b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.2.1.toml new file mode 100644 index 000000000..29b053f2a --- /dev/null +++ b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.2.1.toml @@ -0,0 +1,36 @@ + +name = "gnat_riscv64_elf" +version = "14.2.1" +provides = ["gnat=14.2.1"] +description = "The GNAT Ada compiler - RISC-V cross-compiler" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" + +[origin."case(os)".linux."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-linux64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:4f7383108b971801ece9f24efed02cd918202da22107739996843415ee72522b"] + +[origin."case(os)".windows."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-windows64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:b39b1fe5ed648746ef069b9bd526fab784a2d643638af486a148d0d6bd6daf8e"] + +[origin."case(os)".macos."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-darwin-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:f9027efbb964d7f931b8b15f9f89bb31e24f7aa041158efa74db3e28b4b79410"] + +[origin."case(os)".macos."case(host-arch)".aarch64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-darwin-aarch64-14.2.0-1.tar.gz" +hashes = ["sha256:93471c865c35019d2177ca91a7c704d8bff7fdb92e776fa1011357aa5c119d71"] diff --git a/index/gn/gnat_xtensa_esp32_elf/gnat_xtensa_esp32_elf-14.2.1.toml b/index/gn/gnat_xtensa_esp32_elf/gnat_xtensa_esp32_elf-14.2.1.toml new file mode 100644 index 000000000..5d9f9718f --- /dev/null +++ b/index/gn/gnat_xtensa_esp32_elf/gnat_xtensa_esp32_elf-14.2.1.toml @@ -0,0 +1,36 @@ + +name = "gnat_xtensa_esp32_elf" +version = "14.2.1" +provides = ["gnat=14.2.1"] +description = "The GNAT Ada compiler - ESP32 cross-compiler" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" + +[origin."case(os)".linux."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-xtensa-esp32-elf-linux64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:f8471bd4ae554a1d86564c399cfd5482feb6ec7333ad8ba2dff5f62176a72aba"] + +[origin."case(os)".windows."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-xtensa-esp32-elf-windows64-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:7f6f58e53891aa44e09a8fe010915d580dc1dc4c8cae155956670b6ecc6ab930"] + +[origin."case(os)".macos."case(host-arch)".x86-64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-xtensa-esp32-elf-darwin-x86_64-14.2.0-1.tar.gz" +hashes = ["sha256:c70145cfc75d2fce483c0ea7331ec0c163178e44004f392c9a3004c140ccc0cc"] + +[origin."case(os)".macos."case(host-arch)".aarch64] +binary = true +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-xtensa-esp32-elf-darwin-aarch64-14.2.0-1.tar.gz" +hashes = ["sha256:e5ef4d3a9f462d6083c0cbd728e885d0a42f895d87d222687a29e065eafabe32"] From 94fceca9aee790920b6afa6698e2d028ee57123b Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Sat, 24 Aug 2024 14:14:47 +0200 Subject: [PATCH 43/65] pragmarc 20240810.0.0 (#1206) --- index/pr/pragmarc/pragmarc-20240810.0.0.toml | 22 ++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/pr/pragmarc/pragmarc-20240810.0.0.toml diff --git a/index/pr/pragmarc/pragmarc-20240810.0.0.toml b/index/pr/pragmarc/pragmarc-20240810.0.0.toml new file mode 100644 index 000000000..bfec3f305 --- /dev/null +++ b/index/pr/pragmarc/pragmarc-20240810.0.0.toml @@ -0,0 +1,22 @@ +name = "pragmarc" +description = "The PragmAda Reusable Components" +version = "20240810" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/PragmARC" +tags = ["cards","conversions","datastructures","encryption","matching","randomness","safety","sorting","taskcom","tty","containers"] + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[origin] +commit = "fc017aa47449308c4fb7318120aab265607d3af2" +url = "git+https://github.com/bracke/PragmARC.git" + From 804902151d2b7d78697d4d712416114a042a5ac7 Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Mon, 26 Aug 2024 13:39:51 +0200 Subject: [PATCH 44/65] azip 2.7.0 (#1211) --- index/az/azip/azip-2.7.0.toml | 58 +++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 index/az/azip/azip-2.7.0.toml diff --git a/index/az/azip/azip-2.7.0.toml b/index/az/azip/azip-2.7.0.toml new file mode 100644 index 000000000..ee9702d31 --- /dev/null +++ b/index/az/azip/azip-2.7.0.toml @@ -0,0 +1,58 @@ +description = "AZip - A portable Zip Archive Manager" +name = "azip" +version = "2.7.0" + +authors = ["Gautier de Montmollin"] +maintainers = ["gdemont@hotmail.com"] +maintainers-logins = ["zertovitch"] +website = "https://azip.sourceforge.io/" +licenses = "MIT" +tags = ["application", "azip", "zip", "archive", "file-manager"] +long-description = """ +  azip screenshot 1 +  azip screenshot 2 +  azip screenshot 3 + +**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression. + +Features: + +* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions: +* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written! +* Smart archive Updater: changes only new, modified files +* Archive Recompression: makes Zip archives smaller +* Easy toggle from Flat view to Tree view, and back +* Multi-document +* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA +* Encryption +* Portable (no installation needed, no DLL) +* Can operate with a config file instead of the registry (stealth mode) +* Installable if desired (application is its own installer) +* Compatible with other Zip archivers, regardless of the Operating System +* **Free**, Open-Source +""" + +project-files = ["gwindows/azip_gw_project_tree.gpr"] +executables = ["azip"] + +[available.'case(os)'] +windows = true +'...' = false + +[gpr-externals] +AZip_Build_Mode = ["Debug", "Fast", "Small"] + +[gpr-set-externals] +AZip_Build_Mode = "Small" +Zip_Build_Mode = "Small" + +[[depends-on]] +ini_files = ">=11.0.0" +[[depends-on]] +gwindows = ">=1.4.3" +[[depends-on]] +zipada = ">=59.0.0" + +[origin] +url = "https://sourceforge.net/projects/azip/files/azip-src-2.7.0.zip" +hashes = ["sha512:b26fbf15ed59383acd4021bcbbd0b6ff7595d04da5f20da5f7ada8405b9e93d8ac47a80ff5756271146aced07d4816777f01c519be3b1ef10873438605b2a2ed"] From 10faa8e6c76db3f7063e1e2549458339f29497a0 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 26 Aug 2024 13:43:33 +0200 Subject: [PATCH 45/65] printer_toolkit 0.2.0 (#1213) * Add Printer Toolkit 0.2.0 crates * Fix wrong install in index * Remove the SVG part --- .../printer_toolkit-0.2.0.toml | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 index/pr/printer_toolkit/printer_toolkit-0.2.0.toml diff --git a/index/pr/printer_toolkit/printer_toolkit-0.2.0.toml b/index/pr/printer_toolkit/printer_toolkit-0.2.0.toml new file mode 100644 index 000000000..232648e5d --- /dev/null +++ b/index/pr/printer_toolkit/printer_toolkit-0.2.0.toml @@ -0,0 +1,37 @@ +name = "printer_toolkit" +description = "Printer toolkit to write reports" +version = "0.2.0" +long-description = """ +Printer toolkit provides support to write reports on console or to produce SVG files with almost +the same Ada code. + +The core library is provided by `printer_toolkit` and the SVG support implemented by the `printer_toolkit_svg`. +Run one of the following Alire commands or both: + +``` +alr with printer_toolkit +alr with printer_toolkit_svg +``` +""" + +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +licenses = "Apache-2.0" +website = "https://gitlab.com/stcarrez/printer-toolkit" +tags = ["reports", "console", "charts"] + +[gpr-externals] +PT_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +PT_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[[depends-on]] +ansiada = "^1.0.0" + +[origin] +commit = "dcd7470e146221486c37db6b5e49e8e78c7a1163" +url = "git+https://gitlab.com/stcarrez/printer-toolkit.git" + From 4a51b92a60aad0bc65ccb985c1b495225b3c459d Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 26 Aug 2024 13:45:30 +0200 Subject: [PATCH 46/65] sciada 0.4.0 (#1214) --- index/sc/sciada/sciada-0.4.0.toml | 37 +++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 index/sc/sciada/sciada-0.4.0.toml diff --git a/index/sc/sciada/sciada-0.4.0.toml b/index/sc/sciada/sciada-0.4.0.toml new file mode 100644 index 000000000..f70a3ff2c --- /dev/null +++ b/index/sc/sciada/sciada-0.4.0.toml @@ -0,0 +1,37 @@ +name = "sciada" +description = "Collection of Scientific Operations" +version = "0.4.0" +long-description = """ + +SCI Ada provides a collections of algorithms commonly used for data analysis: + +- [SCI.Correlations.*](https://gitlab.com/stcarrez/ada-sci/-/blob/main/src/sci-correlations.ads?ref_type=heads) computes correlations between values, +- [SCI.Occurrences.*](https://gitlab.com/stcarrez/ada-sci/-/blob/main/src/sci-occurrences.ads?ref_type=heads) helps in identifying occurrences of items, +- [SCI.Similarities.*](https://gitlab.com/stcarrez/ada-sci/-/blob/main/src/sci-similarities.ads?ref_type=heads) provides metrics to compute similarities between sets. +- [SCI.Sparse.*](https://gitlab.com/stcarrez/ada-sci/-/blob/main/src/sci-sparse.ads?ref_type=heads) defines sparse arrays. +- [SCI.Statistics.*](https://gitlab.com/stcarrez/ada-sci/-/blob/main/src/sci-statistics.ads?ref_type=heads) defines some classical statistics operations. +- [SCI.Vectorizers.*](https://gitlab.com/stcarrez/ada-sci/-/blob/main/src/sci-vectorizers.ads?ref_type=heads) transforms a list of tokens to a vector. + +## Documentation + +- [Programmer's Guide](https://ada-sci.readthedocs.io/en/latest/) +""" + +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +licenses = "Apache-2.0" +website = "https://gitlab.com/stcarrez/ada-sci" +tags = ["sci", "scientific", "correlations", "occurrences", "similarities", "statistics"] + +[gpr-externals] +SCIADA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +SCIADA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "af24740d7b5d51436497abaf2bb59398752b6ae3" +url = "git+https://gitlab.com/stcarrez/ada-sci.git" + From c365cc71ab6cc5548398ee0a44c8e802ce6aa1b4 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 26 Aug 2024 13:47:04 +0200 Subject: [PATCH 47/65] lzmada 1.1.4 (#1215) --- index/lz/lzmada/lzmada-1.1.4.toml | 54 +++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) create mode 100644 index/lz/lzmada/lzmada-1.1.4.toml diff --git a/index/lz/lzmada/lzmada-1.1.4.toml b/index/lz/lzmada/lzmada-1.1.4.toml new file mode 100644 index 000000000..7351b99dd --- /dev/null +++ b/index/lz/lzmada/lzmada-1.1.4.toml @@ -0,0 +1,54 @@ +description = "Ada LZMA Library Binding" +name = "lzmada" +version = "1.1.4" +licenses = "MIT" +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +authors = ["Stephane.Carrez@gmail.com"] +project-files = ["lzmada.gpr"] +tags = ["compression", "lzma"] +website = "https://gitlab.com/stcarrez/ada-lzma" +long-description = """ + +A very thin Ada binding for the LZMA compression library. +Roughly speaking, import some package: + + with Lzma.Base; + with Lzma.Container; + with Lzma.Check; + +Then declare the LZMA stream: + + Stream : aliased Lzma.Base.lzma_stream := Lzma.Base.LZMA_STREAM_INIT; + +Initialize the LZMA stream as decoder (or as encoder): + + Result := Lzma.Container.lzma_stream_decoder (Stream'Unchecked_Access, + Long_Long_Integer'Last, + Lzma.Container.LZMA_CONCATENATED); + +Setup the stream 'next_out', 'avail_out', 'next_in' and 'avail_in' and call +the lzma_code operation with the action (Lzma.Base.LZMA_RUN or Lzma.Base.LZMA_FINISH): + + Result := Lzma.Base.lzma_code (Stream'Unchecked_Access, Action); + +Close the LZMA stream: + + Lzma.Base.lzma_end (Stream'Unchecked_Access); + +""" + +[gpr-externals] +LZMA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +LZMA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[[depends-on]] +liblzma = "*" + +[configuration] +disabled = true + +[origin] +commit = "bb61ba64530818528536931313d3bfbe8bec4780" +url = "git+https://gitlab.com/stcarrez/ada-lzma.git" + From 285cf8b76cdb9c648284238e1a56ca930bb23b4a Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 26 Aug 2024 13:48:40 +0200 Subject: [PATCH 48/65] elada 1.8.7 (#1216) * Add version 1.8.7 for elada crate * Update --- index/el/elada/elada-1.8.7.toml | 46 +++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 index/el/elada/elada-1.8.7.toml diff --git a/index/el/elada/elada-1.8.7.toml b/index/el/elada/elada-1.8.7.toml new file mode 100644 index 000000000..edc108354 --- /dev/null +++ b/index/el/elada/elada-1.8.7.toml @@ -0,0 +1,46 @@ +description = "Expression Language Library (JSR245)" +name = "elada" +version = "1.8.7" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["elada.gpr"] +tags = ["web", "expression", "expander", "parser"] +website = "https://gitlab.com/stcarrez/ada-el" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-el/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-el/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-el/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-el/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-el/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-el/summary) + +This Ada05 library provides the support for a simple Expression Language +close to the Java Unified Expression Language (EL). + +The API provided by the EL library is inspired from the Java +Unified Expression Language shared by the JSP 2.1 and JSF 1.2 technologies. +See Expression Language specification in JSR245 +(https://jcp.org/en/jsr/summary?id=245) + +The EL expression is intensively used in web development applications built +on top of various Java technologies but also on top of +[Ada Web Application](https://gitlab.com/stcarrez/ada-awa) +and [Ada Server Faces](https://gitlab.com/stcarrez/ada-asf). + + +""" + +[[depends-on]] +utilada = "^2.5.0" + +[gpr-externals] +EL_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +EL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "b81888188b603131f2090e614cb5c8273b316ca9" +url = "git+https://gitlab.com/stcarrez/ada-el.git" + From b2fdbad4f60a1444ac3001e9ca7b19ab4e5fc84d Mon Sep 17 00:00:00 2001 From: "A.J. Ianozi" Date: Mon, 26 Aug 2024 11:56:06 +0000 Subject: [PATCH 49/65] yass 3.1.0 (#1212) * yass 3.1.0 (via `alr publish --submit`) * Fedora's cmark-library only includes end user runtime, now includes headers --- index/li/libcmark/libcmark-external.toml | 3 +- index/ya/yass/yass-3.1.0.toml | 44 ++++++++++++++++++++++++ 2 files changed, 46 insertions(+), 1 deletion(-) create mode 100644 index/ya/yass/yass-3.1.0.toml diff --git a/index/li/libcmark/libcmark-external.toml b/index/li/libcmark/libcmark-external.toml index 20e00423f..a26873b80 100644 --- a/index/li/libcmark/libcmark-external.toml +++ b/index/li/libcmark/libcmark-external.toml @@ -9,5 +9,6 @@ kind = "system" [external.origin.'case(distribution)'] 'debian|ubuntu' = ["libcmark-dev"] -'arch|homebrew|macports|fedora|suse' = ["cmark"] +'arch|homebrew|macports|suse' = ["cmark"] +'fedora' = ["cmark-devel"] 'msys2' = ["mingw-w64-x86_64-cmark"] diff --git a/index/ya/yass/yass-3.1.0.toml b/index/ya/yass/yass-3.1.0.toml new file mode 100644 index 000000000..3bba5ca59 --- /dev/null +++ b/index/ya/yass/yass-3.1.0.toml @@ -0,0 +1,44 @@ +name = "yass" +description = "Static website generator" +version = "3.1.0" + +authors = ["AJ Ianozi"] +maintainers = ["AJ Ianozi "] +maintainers-logins = ["AJ-Ianozi"] +licenses = "GPL-3.0-or-later" +website = "https://yass.website" +tags = ["web", "markdown", "generator"] + +executables = ["yass"] + + +[gpr-externals] +YASS_OS = ["Windows", "Unix"] +Mode = ["dev", "debug", "release", "analyze"] + +[gpr-set-externals] +Mode = "release" + +[gpr-set-externals.'case(os)'] + windows = { YASS_OS = "Windows" } + '...' = { YASS_OS = "Unix" } + +[[depends-on]] +libcmark = ">=0.0.1" + +[[depends-on]] +# See https://github.com/AdaCore/aws/issues/380 +# and https://github.com/alire-project/alire/issues/1710 +[depends-on.'case(os)'.windows] +aws = "^23.0.0" +xmlada = "^23.0.0" +gnatcoll = "^23.0.0" + +[depends-on.'case(os)'.'...'] +aws = "^24.0.0" +xmlada = "^24.0.0" +gnatcoll = "^24.0.0" +[origin] +commit = "9bcb0cc5a86fc324b57f580386f083cbcf3e6358" +url = "git+https://github.com/yet-another-static-site-generator/yass.git" + From afa6d2a4a244c115fc54ccde8942798ac98318f0 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 26 Aug 2024 14:05:01 +0200 Subject: [PATCH 50/65] utilada 2.7.0 (#1183) * Add Ada Utility Library 2.7.0 crate * Update utilada_aws crate to disable Windows because AWS is broken on that host * Submit update Ada Utility Crate 2.7.0 with Windows re-enabled for AWS * Try to use AWS 23.0 on Windows since AWS 24.0 is broken --- index/ut/utilada/utilada-2.7.0.toml | 2 +- index/ut/utilada_aws/utilada_aws-2.7.0.toml | 25 +++++++++++-------- index/ut/utilada_curl/utilada_curl-2.7.0.toml | 2 +- index/ut/utilada_lzma/utilada_lzma-2.7.0.toml | 2 +- index/ut/utilada_unit/utilada_unit-2.7.0.toml | 2 +- index/ut/utilada_xml/utilada_xml-2.7.0.toml | 2 +- 6 files changed, 19 insertions(+), 16 deletions(-) diff --git a/index/ut/utilada/utilada-2.7.0.toml b/index/ut/utilada/utilada-2.7.0.toml index ca26c25e7..9a08e1432 100644 --- a/index/ut/utilada/utilada-2.7.0.toml +++ b/index/ut/utilada/utilada-2.7.0.toml @@ -67,6 +67,6 @@ UTIL_OS = "win64" disabled = true [origin] -commit = "716869dbd336387d5d80db3e7565586d34fc5d76" +commit = "f98f7d02798d00e10660ec49d46e175f8748be56" url = "git+https://gitlab.com/stcarrez/ada-util.git" diff --git a/index/ut/utilada_aws/utilada_aws-2.7.0.toml b/index/ut/utilada_aws/utilada_aws-2.7.0.toml index 88ef29da1..eda349166 100644 --- a/index/ut/utilada_aws/utilada_aws-2.7.0.toml +++ b/index/ut/utilada_aws/utilada_aws-2.7.0.toml @@ -28,7 +28,19 @@ An alternate HTTP backend is provided by CURL with `utilada_curl`. [[depends-on]] utilada = "^2.7.0" -aws = "^24.0" + +[[depends-on]] +# See https://github.com/AdaCore/aws/issues/380 +# and https://github.com/alire-project/alire/issues/1710 +[depends-on.'case(os)'.windows] +aws = "^23.0.0" +xmlada = "^23.0.0" +gnatcoll = "^23.0.0" + +[depends-on.'case(os)'.'...'] +aws = "^24.0.0" +xmlada = "^24.0.0" +gnatcoll = "^24.0.0" [gpr-externals] UTIL_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] @@ -38,20 +50,11 @@ UTIL_AWS_IMPL = ["1", "2", "3"] [gpr-set-externals] UTIL_AWS_IMPL = "3" -# AWS is broken on Windows -[available.'case(os)'] -linux = true -freebsd = true -macos = true -windows = false -'...' = false - - [configuration] disabled = true [origin] -commit = "716869dbd336387d5d80db3e7565586d34fc5d76" +commit = "f98f7d02798d00e10660ec49d46e175f8748be56" subdir = "./.alire/aws/" url = "git+https://gitlab.com/stcarrez/ada-util.git" diff --git a/index/ut/utilada_curl/utilada_curl-2.7.0.toml b/index/ut/utilada_curl/utilada_curl-2.7.0.toml index 08a2bdf63..2f56f8cf9 100644 --- a/index/ut/utilada_curl/utilada_curl-2.7.0.toml +++ b/index/ut/utilada_curl/utilada_curl-2.7.0.toml @@ -38,7 +38,7 @@ UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] disabled = true [origin] -commit = "716869dbd336387d5d80db3e7565586d34fc5d76" +commit = "f98f7d02798d00e10660ec49d46e175f8748be56" subdir = "./.alire/curl/" url = "git+https://gitlab.com/stcarrez/ada-util.git" diff --git a/index/ut/utilada_lzma/utilada_lzma-2.7.0.toml b/index/ut/utilada_lzma/utilada_lzma-2.7.0.toml index 7af489a4c..e3eabeb83 100644 --- a/index/ut/utilada_lzma/utilada_lzma-2.7.0.toml +++ b/index/ut/utilada_lzma/utilada_lzma-2.7.0.toml @@ -35,7 +35,7 @@ UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] disabled = true [origin] -commit = "716869dbd336387d5d80db3e7565586d34fc5d76" +commit = "f98f7d02798d00e10660ec49d46e175f8748be56" subdir = "./.alire/lzma/" url = "git+https://gitlab.com/stcarrez/ada-util.git" diff --git a/index/ut/utilada_unit/utilada_unit-2.7.0.toml b/index/ut/utilada_unit/utilada_unit-2.7.0.toml index 7845274e8..b76e69c41 100644 --- a/index/ut/utilada_unit/utilada_unit-2.7.0.toml +++ b/index/ut/utilada_unit/utilada_unit-2.7.0.toml @@ -21,7 +21,7 @@ UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] disabled = true [origin] -commit = "716869dbd336387d5d80db3e7565586d34fc5d76" +commit = "f98f7d02798d00e10660ec49d46e175f8748be56" subdir = "./.alire/unit/" url = "git+https://gitlab.com/stcarrez/ada-util.git" diff --git a/index/ut/utilada_xml/utilada_xml-2.7.0.toml b/index/ut/utilada_xml/utilada_xml-2.7.0.toml index a9a505553..79a2e5f66 100644 --- a/index/ut/utilada_xml/utilada_xml-2.7.0.toml +++ b/index/ut/utilada_xml/utilada_xml-2.7.0.toml @@ -35,7 +35,7 @@ UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] disabled = true [origin] -commit = "716869dbd336387d5d80db3e7565586d34fc5d76" +commit = "f98f7d02798d00e10660ec49d46e175f8748be56" subdir = "./.alire/xml/" url = "git+https://gitlab.com/stcarrez/ada-util.git" From 4ed4b7caf8737a7a47d6bdcd857958ef27a3fb84 Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Tue, 27 Aug 2024 12:21:43 +0300 Subject: [PATCH 51/65] enet_stm32 1.0.0 (#1208) --- index/en/enet_stm32/enet_stm32-1.0.0.toml | 32 +++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 index/en/enet_stm32/enet_stm32-1.0.0.toml diff --git a/index/en/enet_stm32/enet_stm32-1.0.0.toml b/index/en/enet_stm32/enet_stm32-1.0.0.toml new file mode 100644 index 000000000..a717cbebc --- /dev/null +++ b/index/en/enet_stm32/enet_stm32-1.0.0.toml @@ -0,0 +1,32 @@ +name = "enet_stm32" +description = "ENet driver for STM32" +version = "1.0.0" + +authors = ["Stephane Carrez"] +maintainers = ["Stephane Carrez ", "Max Reznik "] +maintainers-logins = ["stcarrez", "reznikmm"] +licenses = "Apache-2.0" +website = "https://github.com/stcarrez/ada-enet" +tags = ["stm32", "enet", "driver", "network"] + +[configuration] +generate_c = false + +[configuration.variables] +TX_Ring_Size = {type = "Integer", first = 0, last = 1024, default = 8} +RX_Ring_Size = {type = "Integer", first = 0, last = 1024, default = 8} +Extra_Buffers = {type = "Integer", first = 0, last = 1024, default = 8} + +[[actions]] +type = "test" +command = ["alr", "-C", "../../demos/ping_text_io", "build"] + +[[depends-on]] +enet = "^1.0.0" +cortex_m = "~0.5" +ethernet = "^1.0.0" + +[origin] +commit = "ea3154888f8b93ec44c4ea86a71714e5a12dfd02" +subdir = "./drivers/enet_stm32/" +url = "git+https://github.com/stcarrez/ada-enet.git" From faedd5aebd66ce57290a01d0d1200929ad44f20a Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Mon, 2 Sep 2024 19:21:00 +0200 Subject: [PATCH 52/65] bar_codes 4.0.0 (#1217) * Create bar_codes-4.0.0.toml Added PNG output "media"; fixed Data Matrix. * Update bar_codes-4.0.0.toml Improved metadata (tags). --- index/ba/bar_codes/bar_codes-4.0.0.toml | 59 +++++++++++++++++++++++++ 1 file changed, 59 insertions(+) create mode 100644 index/ba/bar_codes/bar_codes-4.0.0.toml diff --git a/index/ba/bar_codes/bar_codes-4.0.0.toml b/index/ba/bar_codes/bar_codes-4.0.0.toml new file mode 100644 index 000000000..94adb09bf --- /dev/null +++ b/index/ba/bar_codes/bar_codes-4.0.0.toml @@ -0,0 +1,59 @@ +description = "Generate various types of bar codes (1D or 2D) on various media" +name = "bar_codes" +version = "4.0.0" +authors = ["Gautier de Montmollin"] +website = "https://ada-bar-codes.sourceforge.io/" +licenses = "MIT" +maintainers = ["fabien.chouteau@gmail.com"] +maintainers-logins = ["zertovitch", "Fabien-Chouteau"] +project-files = ["ada_bar_codes.gpr"] + +tags = ["bar", "code", "barcode", "bar-code", + "datamatrix", "data-matrix", "qr", "qrcode", "qr-code", "code128", + "pbm", "pdf", "png", "svg"] + +executables = ["bar_codes_demo"] + +long-description = """ + QR + Code 128 + Data Matrix + +Some features: + +* 1D bar codes supported: Code 128 +* 2D bar codes supported: Data Matrix, QR Codes +* Task safe +* Endian-neutral +* Multi-platform, but native code build +* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running) +* Unconditionally portable code: OS-, CPU-, compiler- independent code. +* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language +* Tests and demos included +* *Free*, open-source + +The creation of a bar code is as simple as this small procedure: + +```ada +with Ada.Text_IO, Bar_Codes, Bar_Codes_Media; + +procedure Small_Demo is + use Ada.Text_IO; + svg : File_Type; +begin + Create (svg, Out_File, "qr_code.svg"); + Put_Line + (svg, + Bar_Codes_Media.SVG_Bar_Code + (Bar_Codes.Code_QR_Low, 100.0, 100.0, "mm", "Hello")); + Close (svg); +end Small_Demo; +``` +""" + +[gpr-externals] +Build_Mode = ["Debug", "Fast"] + +[origin] +url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_004.zip" +hashes = ["sha512:ba95da5c0f28785f9bf48be22bbd52d2878f0b8337047e288e5b37d2d64d782c170eb7484a11048456b98a2caf12a7538046bdb944dbf5ef6a4b32be4c75d243"] From 7e01f696fe3001d64815766b54e39e2b313acb95 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 2 Sep 2024 19:21:59 +0200 Subject: [PATCH 53/65] wikiada 1.4.2 (#1218) --- index/wi/wikiada/wikiada-1.4.2.toml | 44 +++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 index/wi/wikiada/wikiada-1.4.2.toml diff --git a/index/wi/wikiada/wikiada-1.4.2.toml b/index/wi/wikiada/wikiada-1.4.2.toml new file mode 100644 index 000000000..40117f768 --- /dev/null +++ b/index/wi/wikiada/wikiada-1.4.2.toml @@ -0,0 +1,44 @@ +description = "Wiki Engine with parser and renderer for several wiki syntaxes" +tags = ["wiki-engine", "markdown", "mediawiki", "dotclear", "html", "parser", "renderer"] +name = "wikiada" +version = "1.4.2" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["wikiada.gpr"] +website = "https://gitlab.com/stcarrez/ada-wiki" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-wiki/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-wiki/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-wiki/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-wiki/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-wiki/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-wiki/summary) + +Ada Wiki is a small library that provides and focuses only on the Wiki engine. + +The library allows to: + +* Parse a wiki text such as Mediawiki, Creole, PhpBB, Dotclear and Google Code +* Parse HTML content in embedded wiki text, +* Filter out the wiki, HTML or text through customizable filters, +* Render the wiki text in HTML, text or another wiki format + +The Ada Wiki library is used by [Ada Web Application](https://gitlab.com/stcarrez/ada-awa) +for the implementation of the blog and wiki online plugins. + +""" + +[[depends-on]] +utilada = "^2.5.0" + +[gpr-externals] +WIKI_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +WIKI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "8e70483ec7ab9f1212e35250f7b301be80ce3b60" +url = "git+https://gitlab.com/stcarrez/ada-wiki.git" + From 536c5e469e7eac71b1c69d5e8b0d71026f507ff9 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 2 Sep 2024 19:23:02 +0200 Subject: [PATCH 54/65] security 1.5.1 (#1219) --- index/se/security/security-1.5.1.toml | 56 +++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 index/se/security/security-1.5.1.toml diff --git a/index/se/security/security-1.5.1.toml b/index/se/security/security-1.5.1.toml new file mode 100644 index 000000000..4d5f5ef58 --- /dev/null +++ b/index/se/security/security-1.5.1.toml @@ -0,0 +1,56 @@ +description = "Security Library for HTTP client and server with OAuth2 support" +name = "security" +version = "1.5.1" +licenses = "Apache-2.0" +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +authors = ["Stephane.Carrez@gmail.com"] +project-files = ["security.gpr"] +tags = ["security", "oauth2", "authentication", "permissions", "jwt"] +website = "https://gitlab.com/stcarrez/ada-security" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-security/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-security/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-security/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-securit/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-security/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-security/summary) +[![Documentation Status](https://readthedocs.org/projects/ada-security/badge/?version=latest)](https://ada-security.readthedocs.io/en/latest/?badge=latest) + +Ada Security provides a security framework which allows applications to define +and enforce security policies. This framework allows users to authenticate by using +[OpenID Authentication 2.0](https://openid.net/specs/openid-authentication-2_0.html) +as well as [OAuth 2.0](https://oauth.net/2/) protocol. +It allows a web application to integrate easily with Yahoo!, Gitlab, Github, Facebook and +Google+ authentication systems. +The Ada05 library includes: + +* An OpenID client authentication, +* An OAuth 2.0 client authentication, +* An OpenID Connect authentication framework, +* An OAuth 2.0 server authentication framework, +* A policy based security framework to protect the resources + +The Ada Security library is used by the +[Ada Web Application](https://gitlab.com/stcarrez/ada-awa) +to provide authentication and access control to users within the web applications. + +## Documentation + +* [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/) + +""" + +[[depends-on]] +utilada = "^2.6.0" +utilada_xml = "^2.6.0" + +[gpr-externals] +SECURITY_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +SECURITY_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "4cdc7c89a00b939763126ea1b658aa83dc5f5a0e" +url = "git+https://gitlab.com/stcarrez/ada-security.git" + From d493e5cdddfdb984ed910bdd35a689eb37f5072c Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 2 Sep 2024 19:24:15 +0200 Subject: [PATCH 55/65] servletada* 1.7.1 (Core, AWS, EWS, Unit tests support) (#1220) --- index/se/servletada/servletada-1.7.1.toml | 41 +++++++++++++++++++ .../servletada_aws/servletada_aws-1.7.1.toml | 39 ++++++++++++++++++ .../servletada_ews/servletada_ews-1.7.1.toml | 39 ++++++++++++++++++ .../servletada_unit-1.7.1.toml | 38 +++++++++++++++++ 4 files changed, 157 insertions(+) create mode 100644 index/se/servletada/servletada-1.7.1.toml create mode 100644 index/se/servletada_aws/servletada_aws-1.7.1.toml create mode 100644 index/se/servletada_ews/servletada_ews-1.7.1.toml create mode 100644 index/se/servletada_unit/servletada_unit-1.7.1.toml diff --git a/index/se/servletada/servletada-1.7.1.toml b/index/se/servletada/servletada-1.7.1.toml new file mode 100644 index 000000000..43deed016 --- /dev/null +++ b/index/se/servletada/servletada-1.7.1.toml @@ -0,0 +1,41 @@ +description = "Web Servlet Library following JSR 154, JSR 315 (Core)" +tags = ["web", "servlet", "http", "json", "rest"] +name = "servletada" +version = "1.7.1" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["servletada.gpr"] +website = "https://gitlab.com/stcarrez/ada-servlet" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) + +Ada Servlet allows to create web applications using the same pattern +as the Java Servlet (See JSR 154, JSR 315). + +The Ada Servlet library is used by the [Ada Server Faces](https://gitlab.com/stcarrez/ada-asf) +framework and [Ada Web Application](https://gitlab.com/stcarrez/ada-awa) +to provide server web requests. + +""" + +[[depends-on]] +security = "^1.5.0" +utilada = "^2.6.0" +elada = "^1.8.5" + +[gpr-externals] +SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "0108fe88a48dabab0fef0e80e3343af2996fd03c" +url = "git+https://gitlab.com/stcarrez/ada-servlet.git" + diff --git a/index/se/servletada_aws/servletada_aws-1.7.1.toml b/index/se/servletada_aws/servletada_aws-1.7.1.toml new file mode 100644 index 000000000..67c9051b0 --- /dev/null +++ b/index/se/servletada_aws/servletada_aws-1.7.1.toml @@ -0,0 +1,39 @@ +description = "Web Servlet Library following JSR 154, JSR 315 (AWS)" +tags = ["web", "servlet", "http", "json"] +name = "servletada_aws" +version = "1.7.1" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["servletada_aws.gpr"] +website = "https://gitlab.com/stcarrez/ada-servlet" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) + +Ada Servlet allows to create web applications using the same pattern +as the Java Servlet (See JSR 154, JSR 315). + +This library integrates the Ada Servlet in the Ada Web Server. + +""" + +[[depends-on]] +servletada = "^1.7.0" +utilada_aws = "^2.6.0" + +[gpr-externals] +SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "0108fe88a48dabab0fef0e80e3343af2996fd03c" +subdir = "./aws/" +url = "git+https://gitlab.com/stcarrez/ada-servlet.git" + diff --git a/index/se/servletada_ews/servletada_ews-1.7.1.toml b/index/se/servletada_ews/servletada_ews-1.7.1.toml new file mode 100644 index 000000000..7dba57e31 --- /dev/null +++ b/index/se/servletada_ews/servletada_ews-1.7.1.toml @@ -0,0 +1,39 @@ +description = "Web Servlet Library following JSR 154, JSR 315 (EWS)" +tags = ["web", "servlet", "http", "json"] +name = "servletada_ews" +version = "1.7.1" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["servletada_ews.gpr"] +website = "https://gitlab.com/stcarrez/ada-servlet" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) + +Ada Servlet allows to create web applications using the same pattern +as the Java Servlet (See JSR 154, JSR 315). + +This library integrates the Ada Servlet in the Embedded Web Server. + +""" + +[[depends-on]] +servletada = "^1.7.0" +ews = "any" + +[gpr-externals] +SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "0108fe88a48dabab0fef0e80e3343af2996fd03c" +subdir = "./ews/" +url = "git+https://gitlab.com/stcarrez/ada-servlet.git" + diff --git a/index/se/servletada_unit/servletada_unit-1.7.1.toml b/index/se/servletada_unit/servletada_unit-1.7.1.toml new file mode 100644 index 000000000..841d91b20 --- /dev/null +++ b/index/se/servletada_unit/servletada_unit-1.7.1.toml @@ -0,0 +1,38 @@ +description = "Web Servlet Library following JSR 154, JSR 315 (Testing framework)" +tags = ["web", "servlet", "http", "json", "rest", "testing"] +name = "servletada_unit" +version = "1.7.1" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["servletada_unit.gpr"] +website = "https://gitlab.com/stcarrez/ada-servlet" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary) + +This library provides helper operations for unit testing a servlet implemented on top of +Ada Servlet. + +""" + +[[depends-on]] +servletada = "^1.7.0" +utilada = "^2.6.0" +utilada_unit = "^2.6.0" + +[gpr-externals] +SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "0108fe88a48dabab0fef0e80e3343af2996fd03c" +subdir = "./unit/" +url = "git+https://gitlab.com/stcarrez/ada-servlet.git" + From 8b2342858439e39a4219735d6e21b64f5b0ade41 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 9 Sep 2024 14:33:56 +0200 Subject: [PATCH 56/65] raylib 1.0.1 (#1221) --- index/ra/raylib/raylib-1.0.1.toml | 68 +++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) create mode 100644 index/ra/raylib/raylib-1.0.1.toml diff --git a/index/ra/raylib/raylib-1.0.1.toml b/index/ra/raylib/raylib-1.0.1.toml new file mode 100644 index 000000000..7d9c0f0b6 --- /dev/null +++ b/index/ra/raylib/raylib-1.0.1.toml @@ -0,0 +1,68 @@ +name = "raylib" +description = "Ada bindings for Raylib" +version = "1.0.1" +long-description = """ +# Using raylib-ada + +This project is available in the [Alire package manager](https://alire.ada.dev). +To use it, just add `raylib` in your dependencies: +```console +$ alr with raylib +``` + +And add the following linker switches for executable projects to link against +Raylib and libmath: +``` + package Linker is + for Switches ("Ada") use ("-lraylib", "-lm"); + end Linker; +``` + +# Raylib dependencies on Ubuntu/Debian + +When Raylib is available in the system distributions (Arch, Fedora, Msys2, +Macports, Brew, etc.), Alire will install it for you so there's nothing to do +here. + +For Ubuntu/Debian on the other hand, you have to download a Raylib release from +GitHub (or build from source if you want). + +Alire will let you know with a message like this: +``` +warn: The following external dependencies are unavailable within Alire: +warn: libraylib^5 +warn: They should be made available in the environment by the user. +``` + +Download the 5.0 release from this address: +``` +$ wget https://github.com/raysan5/raylib/releases/download/5.0/raylib-5.0_linux_amd64.tar.gz +``` + +Extract it: +``` +$ tar xf raylib-5.0_linux_amd64.tar.gz +``` + +Set the environment variables like so: +``` +$ export C_INCLUDE_PATH=${PWD}/raylib-5.0_linux_amd64/include/:${C_INCLUDE_PATH} +$ export LIBRARY_PATH=${PWD}/raylib-5.0_linux_amd64/lib/:${LIBRARY_PATH} +``` +""" + +authors = ["Fabien Chouteau"] +maintainers = ["Fabien Chouteau "] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "MIT OR Apache-2.0 WITH LLVM-exception" +website = "" +tags = ["raylib", "gamedev", "binding"] + +[[depends-on]] +gnat = ">=12 & <2000" +libraylib = "^5" + +[origin] +commit = "0fd26c4b9cbcb89fcfb8b08476aaebf16738df48" +url = "git+https://github.com/Fabien-Chouteau/raylib-ada.git" + From beb0e4c002f45717631f150f0b2cd279b0f8140d Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Mon, 9 Sep 2024 16:35:20 +0400 Subject: [PATCH 57/65] a0b_callbacks 0.1.0 (#1222) --- .../a0/a0b_callbacks/a0b_callbacks-0.1.0.toml | 22 +++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/a0/a0b_callbacks/a0b_callbacks-0.1.0.toml diff --git a/index/a0/a0b_callbacks/a0b_callbacks-0.1.0.toml b/index/a0/a0b_callbacks/a0b_callbacks-0.1.0.toml new file mode 100644 index 000000000..5200c3cdb --- /dev/null +++ b/index/a0/a0b_callbacks/a0b_callbacks-0.1.0.toml @@ -0,0 +1,22 @@ +name = "a0b_callbacks" +description = "A0B Callbacks" +version = "0.1.0" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["embedded", "callbacks"] + +project-files = ["gnat/a0b_callbacks.gpr"] + +[configuration] +disabled = true + +[[depends-on]] +a0b_base = "*" + +[origin] +commit = "2087a3c368cee421e966b621f6e6b7534077a814" +url = "git+https://github.com/godunko/a0b-callbacks.git" + From 0d250b73f2abc45db115e27b6b2c33c4f0ff22a8 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 9 Sep 2024 17:43:18 +0200 Subject: [PATCH 58/65] Ada Keystore 1.4.1 crate (#1223) * Ada Keystore 1.4.1 crate * Fix dependencies * Remove akt crate since the build with two provided crates at the same time fails --- index/ke/keystoreada/keystoreada-1.4.1.toml | 60 +++++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 index/ke/keystoreada/keystoreada-1.4.1.toml diff --git a/index/ke/keystoreada/keystoreada-1.4.1.toml b/index/ke/keystoreada/keystoreada-1.4.1.toml new file mode 100644 index 000000000..6b3050808 --- /dev/null +++ b/index/ke/keystoreada/keystoreada-1.4.1.toml @@ -0,0 +1,60 @@ +description = "Ada Keystore" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary) + +# Overview + +Ada Keystore is a tool and library to store information in secure wallets +and protect the stored information by encrypting the content. +It is necessary to know one of the wallet password to access its content. +Ada Keystore can be used to safely store passwords, credentials, +bank accounts and even documents. + +Wallets are protected by a master key using AES-256 and the wallet +master key is protected by a user password. +The wallet defines up to 7 slots that identify +a password key that is able to unlock the master key. To open a wallet, +it is necessary to unlock one of these 7 slots by providing the correct +password. Wallet key slots are protected by the user's password +and the PBKDF2-HMAC-256 algorithm, a random salt, a random counter +and they are encrypted using AES-256. + +Values stored in the wallet are protected by their own encryption keys +using AES-256. A wallet can contain another wallet which is then +protected by its own encryption keys and passwords (with 7 independent slots). +Because the child wallet has its own master key, it is necessary to known +the primary password and the child password to unlock the parent wallet +first and then the child wallet. + +## Documents + +* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf) + +""" +name = "keystoreada" +version = "1.4.1" +authors = ["Stephane.Carrez@gmail.com"] +licenses = "Apache-2.0" +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["keystoreada.gpr"] +tags = ["security", "storage", "nosql"] +website = "https://gitlab.com/stcarrez/ada-keystore" + +[[depends-on]] +utilada = "^2.6.0" + +[gpr-externals] +KEYSTORE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "36696f687038094c2e4e5a2488d4f8a2ae7ef77d" +url = "git+https://gitlab.com/stcarrez/ada-keystore.git" + From fab3867e375633fd9fec79eb49bbacf3a9e5b08f Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Tue, 17 Sep 2024 10:36:11 +0200 Subject: [PATCH 59/65] bar_codes 5.0.0 (#1225) Version 005. --- index/ba/bar_codes/bar_codes-5.0.0.toml | 61 +++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 index/ba/bar_codes/bar_codes-5.0.0.toml diff --git a/index/ba/bar_codes/bar_codes-5.0.0.toml b/index/ba/bar_codes/bar_codes-5.0.0.toml new file mode 100644 index 000000000..e04178c2a --- /dev/null +++ b/index/ba/bar_codes/bar_codes-5.0.0.toml @@ -0,0 +1,61 @@ +description = "Generate various types of bar codes (1D or 2D) on various media" +name = "bar_codes" +version = "5.0.0" +authors = ["Gautier de Montmollin"] +website = "https://ada-bar-codes.sourceforge.io/" +licenses = "MIT" +maintainers = ["fabien.chouteau@gmail.com"] +maintainers-logins = ["zertovitch", "Fabien-Chouteau"] +project-files = ["ada_bar_codes.gpr"] + +tags = ["bar", "code", "barcode", "bar-code", + "datamatrix", "data-matrix", + "qr", "qrcode", "qr-code", + "code128", "msi", "ean13", "upca", + "pbm", "pdf", "png", "svg"] + +executables = ["bar_codes_demo"] + +long-description = """ + QR + Code 128 + Data Matrix + +Some features: + +* 1D bar codes supported: Code 128, EAN-13, MSI, UPC-A +* 2D bar codes supported: Data Matrix, QR Codes +* Task safe +* Endian-neutral +* Multi-platform, but native code build +* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running) +* Unconditionally portable code: OS-, CPU-, compiler- independent code. +* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language +* Tests and demos included +* *Free*, open-source + +The creation of a bar code is as simple as this small procedure: + +```ada +with Ada.Text_IO, Bar_Codes, Bar_Codes_Media; + +procedure Small_Demo is + use Ada.Text_IO; + svg : File_Type; +begin + Create (svg, Out_File, "qr_code.svg"); + Put_Line + (svg, + Bar_Codes_Media.SVG_Bar_Code + (Bar_Codes.Code_QR_Low, 100.0, 100.0, "mm", "Hello")); + Close (svg); +end Small_Demo; +``` +""" + +[gpr-externals] +Build_Mode = ["Debug", "Fast"] + +[origin] +url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_005.zip" +hashes = ["sha512:c211b27c745a38409ecdf858277e0456fbb41692ee4534f4ae05ae75f75d37407f66a89d394a18f99c59a11f83fd4319f5cc41fb7416016a96b9576deb7dcac5"] From fb7f72b539add048c985e17700cd234746530ed6 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Fri, 20 Sep 2024 11:31:31 +0200 Subject: [PATCH 60/65] libgnatdoc, liblal_refactor 24.0.0 (#1227) --- index/li/libgnatdoc/libgnatdoc-24.0.0.toml | 24 +++++++++++++++++++ .../liblal_refactor-24.0.0.toml | 23 ++++++++++++++++++ 2 files changed, 47 insertions(+) create mode 100644 index/li/libgnatdoc/libgnatdoc-24.0.0.toml create mode 100644 index/li/liblal_refactor/liblal_refactor-24.0.0.toml diff --git a/index/li/libgnatdoc/libgnatdoc-24.0.0.toml b/index/li/libgnatdoc/libgnatdoc-24.0.0.toml new file mode 100644 index 000000000..32d5e96ef --- /dev/null +++ b/index/li/libgnatdoc/libgnatdoc-24.0.0.toml @@ -0,0 +1,24 @@ +name = "libgnatdoc" +description = "GNAT Documentation Generation Tool (as a library)" +version = "24.0.0" +tags = ["documentation", "tools"] + +authors = ["AdaCore"] +maintainers = ["Vadim Godunko ", "Maxim Reznik "] +maintainers-logins = ["godunko", "reznikmm", "chouteau"] +licenses = "GPL-3.0-only WITH GCC-exception-3.1" +website = "https://github.com/AdaCore/gnatdoc" + +project-files = ["gnat/libgnatdoc.gpr"] + +[configuration] +disabled = true + +[[depends-on]] +markdown = "^24" +libadalang = "^24" +vss = "^24" + +[origin] +url="https://github.com/adacore/gnatdoc/archive/v24.0.0/gnatdoc-24.0.0.zip" +hashes=['sha512:8cc57c734dc1337ac7ac2256285afdfac591ed55fa2834e53893e2476780d05569f92a72a34efeda6294dc40f950b7f1ca21c3dc1c262d3e434ca978b02924be'] diff --git a/index/li/liblal_refactor/liblal_refactor-24.0.0.toml b/index/li/liblal_refactor/liblal_refactor-24.0.0.toml new file mode 100644 index 000000000..5f15063b4 --- /dev/null +++ b/index/li/liblal_refactor/liblal_refactor-24.0.0.toml @@ -0,0 +1,23 @@ +name = "liblal_refactor" +description = "Source code refactoring utilities for the Ada " +version = "24.0.0" +tags = ["refactoring", "tools"] + +authors = ["AdaCore"] +maintainers = ["Fabien Chouteau "] +maintainers-logins = ["chouteau"] +licenses = "Apache-2.0 WITH LLVM-exception" +website = "https://github.com/AdaCore/lal-refactor" + +project-files = ["gnat/lal_refactor.gpr"] + +[configuration] +disabled = true + +[[depends-on]] +libadalang_tools = "^24" +vss = "^24" + +[origin] +url="https://github.com/AdaCore/lal-refactor/archive/v24.0.0/lal_refactor-24.0.0.zip" +hashes=['sha512:7c01b75047dcbccc7a2b3099c4e63ce9cfa22b881b4dbbc609467cfa1ff4de0d5aa5cb5de6cd8b39fba0fe95f86b34fabc17fce2b8cf3082a75a6463fa6a3a89'] From 0f5b1dc1979391391a0a395f5a33341aed5daa62 Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Mon, 23 Sep 2024 20:14:59 +0200 Subject: [PATCH 61/65] ulid 20240921.0.0 (#1228) New stuff: - UUID 8-4-4-4-12 output like "01920161-d64d-5a3e-589e-c45df155547b" - Conversion from text representations to a 128-bit number --- index/ul/ulid/ulid-20240921.0.0.toml | 35 ++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 index/ul/ulid/ulid-20240921.0.0.toml diff --git a/index/ul/ulid/ulid-20240921.0.0.toml b/index/ul/ulid/ulid-20240921.0.0.toml new file mode 100644 index 000000000..3811d042b --- /dev/null +++ b/index/ul/ulid/ulid-20240921.0.0.toml @@ -0,0 +1,35 @@ +name = "ulid" +description = "Universally Unique Lexicographically Sortable Identifier" +long-description = ''' +image + +In a nutshell, a ULID code (Universally Unique Lexicographically Sortable Identifier) is +a combination of a 48-bit time stamp (most significant part, with a millisecond accuracy), +and a 80-bit random number (least significant part), totalling 128 bits, that is 16 bytes (octets). + +The ULID code generation is sort of UUID (Universally Unique Identifier) system, also know as GUID (Globally Unique Identifier). +The characteristic of ULID numbers is that they can be compared and sorted by their timestamps. + +The package ULID provides a `Generate` function using the method described above, plus a `Generate_Monotonic` function that enables the production of a monotonically increasing sequence of ULID numbers within the same millisecond. + +The preferred (canonical) representation of a ULID is a certain version of the Base32 encoding (example of output: 01J80P3NJDN0Y5YX7D05421X0G). +The ULID package also provides a function `Encode_as_8_4_4_4_12` that outputs a text representation in the usual UUID 8-4-4-4-12 format (like: 01920161-d64d-5a3e-589e-c45df155547b). +Both formats are also recognized by the `Decode` function. +''' +version = "20240921.0.0" + +authors = ["Gautier de Montmollin"] +maintainers = ["gdemont@hotmail.com"] +maintainers-logins = ["zertovitch"] +licenses = "MIT" +website = "https://github.com/zertovitch/ulid" +tags = ["ulid", "uuid", "guid", "identifier", "timestamp"] +project-files = ["ulid.gpr"] +executables = ["ulid_test"] + +[[depends-on]] +gnat = "(>=11 & <2000) | >=2021" + +[origin] +url = "https://sourceforge.net/projects/ulid-ada/files/ulid-2024-09-21.zip" +hashes = ["sha512:b7822a403e879c6363551e2f13e6f44a9f78253ab1ec33138070213bca2fc0177c793968566d125845806acc6971ffff5408daafa454eb195a054534e1308dd3"] From 09ca77095dcd5f1cf20fdbbbd096065bc438584c Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 23 Sep 2024 20:16:28 +0200 Subject: [PATCH 62/65] serverfaces, serverfaces_unit 1.6.1 (#1229) --- index/se/serverfaces/serverfaces-1.6.1.toml | 49 +++++++++++++++++++ .../serverfaces_unit-1.6.1.toml | 49 +++++++++++++++++++ 2 files changed, 98 insertions(+) create mode 100644 index/se/serverfaces/serverfaces-1.6.1.toml create mode 100644 index/se/serverfaces_unit/serverfaces_unit-1.6.1.toml diff --git a/index/se/serverfaces/serverfaces-1.6.1.toml b/index/se/serverfaces/serverfaces-1.6.1.toml new file mode 100644 index 000000000..8316ff56e --- /dev/null +++ b/index/se/serverfaces/serverfaces-1.6.1.toml @@ -0,0 +1,49 @@ +description = "Web Server Faces JSR 252, JSR 314 and JSR 344" +tags = ["web", "servlet", "http", "json"] +name = "serverfaces" +version = "1.6.1" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +project-files = ["asf.gpr"] +website = "https://gitlab.com/stcarrez/ada-asf" +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-asf/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-asf/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-asf/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-asf/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-asf/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-asf/summary) +[![Documentation Status](https://readthedocs.org/projects/ada-asf/badge/?version=latest)](https://ada-asf.readthedocs.io/en/latest/?badge=latest) + +Ada Servlet allows to create web applications using the same pattern +as the Java Servlet (See JSR 154, JSR 315). + +The Ada Servlet library is used by the [Ada Server Faces](https://github.com/stcarrez/ada-asf) +framework and [Ada Web Application](https://github.com/stcarrez/ada-awa) +to provide server web requests. + +# Documentation + +* [Ada Server Faces Programmer's Guide](https://ada-asf.readthedocs.io/en/latest/) [PDF](https://gitlab.com/stcarrez/ada-asf/blob/master/docs/asf-book.pdf) + +""" + +[[depends-on]] +security = "^1.5.0" +servletada = "^1.7.0" +utilada = "^2.6.0" + +[gpr-externals] +ASF_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +ASF_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[environment] +DYNAMO_BUNDLE_PATH.prepend = "${CRATE_ROOT}/bundles" + +[origin] +commit = "272ec8846cc89eb69256fe7b148b7036634310d0" +url = "git+https://gitlab.com/stcarrez/ada-asf.git" + diff --git a/index/se/serverfaces_unit/serverfaces_unit-1.6.1.toml b/index/se/serverfaces_unit/serverfaces_unit-1.6.1.toml new file mode 100644 index 000000000..4b2158a52 --- /dev/null +++ b/index/se/serverfaces_unit/serverfaces_unit-1.6.1.toml @@ -0,0 +1,49 @@ +description = "Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)" +tags = ["web", "servlet", "http", "framework", "facelet", "jsf", "testing"] +name = "serverfaces_unit" +version = "1.6.1" +licenses = "Apache-2.0" +authors = ["Stephane.Carrez@gmail.com"] +maintainers = ["Stephane.Carrez@gmail.com"] +maintainers-logins = ["stcarrez"] +website = "https://gitlab.com/stcarrez/ada-asf" +project-files = ["asf_unit.gpr"] +long-description = """ + +[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-asf/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-asf/summary) +[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-asf/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-asf/xunits) +[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-asf/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-asf/summary) +[![Documentation Status](https://readthedocs.org/projects/ada-asf/badge/?version=latest)](https://ada-asf.readthedocs.io/en/latest/?badge=latest) + +Ada Server Faces allows to create web applications using the same pattern +as the Java Server Faces (See JSR 252, JSR 314 and JSR 344). + +This library provides a unit test framework that helps in building unit tests +on top of Ada Server Faces. + +# Documentation + +* [Ada Server Faces Programmer's Guide](https://ada-asf.readthedocs.io/en/latest/) [PDF](https://gitlab.com/stcarrez/ada-asf/blob/master/docs/asf-book.pdf) + +""" + +[[depends-on]] +security = "^1.5.0" +serverfaces = "^1.6.0" +servletada = "^1.7.0" +utilada = "^2.6.0" +utilada_unit = "^2.6.0" +servletada_unit = "^1.7.0" + +[gpr-externals] +ASF_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] +ASF_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + +[configuration] +disabled = true + +[origin] +commit = "272ec8846cc89eb69256fe7b148b7036634310d0" +subdir = "./asfunit/" +url = "git+https://gitlab.com/stcarrez/ada-asf.git" + From ac5833212f84cfcca2c6992e301e506c706c3852 Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Tue, 24 Sep 2024 21:46:11 +0300 Subject: [PATCH 63/65] gtkada 24.0.1 (#1233) --- index/gt/gtkada/gtkada-24.0.1.toml | 41 ++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 index/gt/gtkada/gtkada-24.0.1.toml diff --git a/index/gt/gtkada/gtkada-24.0.1.toml b/index/gt/gtkada/gtkada-24.0.1.toml new file mode 100644 index 000000000..927eaa4c5 --- /dev/null +++ b/index/gt/gtkada/gtkada-24.0.1.toml @@ -0,0 +1,41 @@ +description = "An Ada graphical toolkit based on Gtk+" +long-description = "This crate requires Gtk3+ >= 3.24.24" +website = "https://github.com/adacore/gtkada" +name = "gtkada" +version = "24.0.1" +authors = ["AdaCore"] +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +maintainers = ["chouteau@adacore.com", "reznikmm@gmail.com"] +maintainers-logins = ["Fabien-Chouteau", "reznikmm"] +project-files = ["src/gtkada.gpr"] +tags = ["gtk", "gui"] + +[configuration] +disabled = true + +# Prepend PATH with pkg-config directory to stabilize GitHub CI +[[actions]] +type = "post-fetch" +command = ["bash", "-c", "PATH=${DISTRIB_ROOT}/mingw64/bin:${PATH} ./configure"] + +# Generate gtkada-intl.adb to be able to build with gtkada.gpr +[[actions]] +type = "post-fetch" +command = ["make", "src/gtkada-intl.adb"] + +[[depends-on]] +make = "*" +pkg_config = "*" +libgtk3 = ">=3.24.24" + +[gpr-externals] +LIBRARY_TYPE = ["static", "static-pic", "relocatable"] + +# Update PATH on Windows to help deps find .DLL files +[environment.'case(os)'.windows.PATH] +append = "${CRATE_ROOT}/src/obj/gtkada/relocatable" + +[origin] +url="https://github.com/AdaCore/gtkada/archive/v24.0.1/gtkada-24.0.1.zip" +hashes=["sha512:8de57f739051f29efb64c6f1c75f7b7f46fe64b73b0f4165b6e838646dac5a868eeb20ee016129ac6088c188fa77c6777d08f1117efe152c95858fac82caf595"] + From 8fa2461d60d9071eb584e15f6127f42c6d9186ab Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Fri, 27 Sep 2024 17:50:52 +0200 Subject: [PATCH 64/65] Reinstate macos test on master (#1235) --- .github/workflows/build-native-master.yml | 2 +- index/li/libhello/libhello-1.0.1.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-native-master.yml b/.github/workflows/build-native-master.yml index 28aa49498..1e4af0f8f 100644 --- a/.github/workflows/build-native-master.yml +++ b/.github/workflows/build-native-master.yml @@ -30,7 +30,7 @@ jobs: fail-fast: false matrix: os: - # - macos-12 # TODO: To be diagnosed + - macos-12 - ubuntu-latest - windows-latest diff --git a/index/li/libhello/libhello-1.0.1.toml b/index/li/libhello/libhello-1.0.1.toml index e076a1777..f2794c086 100644 --- a/index/li/libhello/libhello-1.0.1.toml +++ b/index/li/libhello/libhello-1.0.1.toml @@ -15,4 +15,4 @@ url = "git+https://github.com/alire-project/libhello.git" # We use this crate as a trigger to conveniently test minor changes to # metaprocesses of the CI of the repository itself. -# Last touch: 2024-08-13 19:01 CET +# Last touch: 2024-09-27 17:22 CET From 7ea3418af638243ecf758cfa3c549593659a7a9b Mon Sep 17 00:00:00 2001 From: Fraser Wilson <53253609+blancolioni@users.noreply.github.com> Date: Mon, 30 Sep 2024 10:40:53 +0200 Subject: [PATCH 65/65] wl_lib 0.1.4 (#1236) --- index/wl/wl_lib/wl_lib-0.1.4.toml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 index/wl/wl_lib/wl_lib-0.1.4.toml diff --git a/index/wl/wl_lib/wl_lib-0.1.4.toml b/index/wl/wl_lib/wl_lib-0.1.4.toml new file mode 100644 index 000000000..acafd0d39 --- /dev/null +++ b/index/wl/wl_lib/wl_lib-0.1.4.toml @@ -0,0 +1,15 @@ +name = "wl_lib" +description = "Handy library packages" +version = "0.1.4" +licenses= "GPL-3.0-or-later" + +authors = ["Fraser Wilson"] +maintainers = ["Fraser Wilson "] +maintainers-logins = ["blancolioni"] +tags = ["miscellanea", "utility"] +website = "https://github.com/blancolioni/wl_lib" + +[origin] +commit = "6c80af58120924dad621e7c24ff23e1c45f80ddf" +url = "git+https://github.com/blancolioni/wl_lib.git" +