Compare commits

..

1 Commits

Author SHA1 Message Date
Fabien Chouteau 7ed3ffa614 libgpr-21.0.0: incompatibility with GNAT Community 2021 2021-08-31 15:40:07 +02:00
251 changed files with 87 additions and 6228 deletions
+12 -17
View File
@@ -14,15 +14,15 @@ jobs:
strategy: strategy:
matrix: matrix:
os: os:
- macos-latest - macos-latest
- ubuntu-latest - ubuntu-latest
- windows-latest - windows-latest
tag: tag:
- arch-rolling - arch-rolling
- centos-latest-community-latest - centos-latest-community-latest
- community-latest - community-current
- debian-stable - debian-stable
- ubuntu-lts - ubuntu-lts
- "" - ""
exclude: # inclusions don't allow to add arrays of values to a scenario exclude: # inclusions don't allow to add arrays of values to a scenario
@@ -33,7 +33,7 @@ jobs:
- os: macos-latest - os: macos-latest
tag: centos-latest-community-latest tag: centos-latest-community-latest
- os: macos-latest - os: macos-latest
tag: community-latest tag: community-current
- os: macos-latest - os: macos-latest
tag: debian-stable tag: debian-stable
- os: macos-latest - os: macos-latest
@@ -43,7 +43,7 @@ jobs:
- os: windows-latest - os: windows-latest
tag: centos-latest-community-latest tag: centos-latest-community-latest
- os: windows-latest - os: windows-latest
tag: community-latest tag: community-current
- os: windows-latest - os: windows-latest
tag: debian-stable tag: debian-stable
- os: windows-latest - os: windows-latest
@@ -59,13 +59,9 @@ jobs:
# changed files detectors (in both scripts/gh-build-crate.sh and # changed files detectors (in both scripts/gh-build-crate.sh and
# check-author action). # check-author action).
- name: Update system repositories
if: matrix.os == 'ubuntu-latest'
run: sudo apt update
- name: Set up GNAT toolchain (FSF) - name: Set up GNAT toolchain (FSF)
if: matrix.os == 'ubuntu-latest' if: matrix.os == 'ubuntu-latest'
uses: ada-actions/toolchain@ce2021 uses: ada-actions/toolchain@ce2020
with: with:
distrib: fsf # faster install? distrib: fsf # faster install?
@@ -77,16 +73,11 @@ jobs:
- name: Set up stable `alr` - name: Set up stable `alr`
if: contains(github.base_ref, 'stable-') if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v1 uses: alire-project/setup-alire@latest-stable
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
- name: Set up devel `alr` - name: Set up devel `alr`
if: contains(github.base_ref, 'devel-') if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v1 uses: alire-project/setup-alire@latest-devel
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
branch: master
- name: Test crate (Linux) - name: Test crate (Linux)
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -96,6 +87,10 @@ jobs:
command: scripts/gh-build-crate.sh command: scripts/gh-build-crate.sh
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
- name: Set up msys2 (Windows)
if: matrix.os == 'windows-latest'
run: ./alire_install/bin/alr --non-interactive version
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work) - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest' if: matrix.os == 'windows-latest'
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
-67
View File
@@ -1,67 +0,0 @@
name: Toolchain
# Build the submitted crate with a native toolchain from Alire
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
build:
name: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- macos-latest
- ubuntu-latest
- windows-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
# need the full history or else grafted partial branches confuse the
# changed files detectors (in both scripts/gh-build-crate.sh and
# check-author action).
# For the devel branch we need a compiler available to build alr in
# setup-alire. We will be able to get rid of this once composite actions
# support conditional steps.
- name: Set up GNAT toolchain (FSF)
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
uses: ada-actions/toolchain@ce2020
with:
distrib: community
# By default, this sets up the newest indexed native toolchain
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v1
# By default, this sets up the newest indexed native toolchain
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v1
with:
branch: 'master'
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
- name: Test crate
run: scripts/gh-build-crate.sh
shell: bash
-53
View File
@@ -1,53 +0,0 @@
# Show differences between the submitted manifest and the previous
# release of the same crate, to enable easier catching of problems
name: Diff release
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
diff:
runs-on: ubuntu-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
# need the full history or else grafted partial branches confuse the
# changed files detector
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v1
with:
toolchain: --disable-assistant # We don't need the compiler
- name: Set up GNAT toolchain (FSF)
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
uses: ada-actions/toolchain@ce2020
with:
distrib: community
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v1
with:
toolchain: --disable-assistant # We don't need the compiler
branch: master
- name: Diff releases
run: scripts/diff-release.sh || true # No deal breaker if failed
shell: bash
-27
View File
@@ -1,27 +0,0 @@
name = "aaa"
version = "0.2.3"
description = "Alex's Ada Assortment (of miscellaneous utilities)"
long-description = """
Alex's Ada Assortment of Utilities
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String vectors.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
"""
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["miscellanea", "utility"]
website = "https://github.com/mosteo/aaa"
[origin]
commit = "12201a008c07e6ef0e4f21d327c941bed97d7166"
url = "git+https://github.com/mosteo/aaa.git"
-27
View File
@@ -1,27 +0,0 @@
name = "aaa"
version = "0.2.4"
description = "Alex's Ada Assortment (of miscellaneous utilities)"
long-description = """
Alex's Ada Assortment of Utilities
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
"""
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["miscellanea", "utility"]
website = "https://github.com/mosteo/aaa"
[origin]
commit = "19e75e3e16c493df35913b8acc486b5d047875bf"
url = "git+https://github.com/mosteo/aaa.git"
@@ -1,27 +0,0 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "22.0.0"
website = "https://github.com/AdaCore/ada_language_server"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/lsp_server.gpr"]
tags = ["lsp", "vscode"]
[gpr-set-externals]
LIBRARY_TYPE = "static"
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
libadalang = "22.0.0"
vss = "22.0.0"
libadalang_tools = "22.0.0"
spawn = "22.0.0"
[origin]
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v22.0.0.tar.gz"
archive-name = "als-22.0.0.tar.gz"
hashes = ["sha512:ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c"]
+1 -1
View File
@@ -1,4 +1,4 @@
description = "TOML parser for Ada" description = "TOML parser for Ada "
name = "ada_toml" name = "ada_toml"
version = "0.1.0" version = "0.1.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"] authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
+1 -1
View File
@@ -1,4 +1,4 @@
description = "TOML parser for Ada" description = "TOML parser for Ada "
name = "ada_toml" name = "ada_toml"
version = "0.2.0" version = "0.2.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"] authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-110
View File
@@ -1,110 +0,0 @@
description = "TOML parser for Ada"
name = "ada_toml"
version = "0.3.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
licenses = "BSD-3-Clause"
maintainers = ["pmderodat@kawie.fr"]
maintainers-logins = ["pmderodat"]
project-files = ["ada_toml.gpr"]
long-description = """
ada-toml: TOML parser for Ada
=============================
`ada-toml` is a pure Ada library for parsing and creating
[TOML](https://github.com/toml-lang/toml#toml) documents. It conforms to the
[version 1.0.0](https://toml.io/en/v1.0.0) of the format standard.
Quick tutorial
--------------
All basic types and subprograms are in the `TOML` package. All "nodes" in a
TOML documents are materialized using the `TOML.TOML_Value` type. Since TOML
values make up a tree, this type has reference semantics. This means that
modifying a TOML node does not modify the corresponding `TOML_Value` value
itself, but rather the TOML value that is referenced.
Parsing a TOML file is as easy as using the `TOML.File_IO.Load_File` function:
```ada
declare
Result : constant TOML.Read_Result :=
TOML.File_IO.Load_File ("config.toml");
begin
if Result.Success then
Ada.Text_IO.Put_Line ("config.toml loaded with success!");
else
Ada.Text_IO.Put_Line ("error while loading config.toml:");
Ada.Text_IO.Put_Line
(Ada.Strings.Unbounded.To_String (Result.Message));
end if;
end;
```
Each TOML value has kind, defining which data it contains (a boolean, an
integer, a string, a table, ...). To each kind, one or several primitives are
associated to let one process the underlying data:
```ada
case Result.Kind is
when TOML.TOML_Boolean =>
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Boolean'Image);
when TOML.TOML_Integer =>
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Integer'Image);
when TOML.TOML_String =>
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_String);
when TOML.TOML_Array =>
Ada.Text_IO.Put_Line ("Array of " & Result.Length & " elements");
when others =>
null;
end case;
```
There are also primitives to build TOML values:
```ada
declare
Bool : constant TOML.TOML_Value := TOML.Create_Boolean (False);
Int : constant TOML.TOML_Value := TOML.Create_Integer (10);
Str : constant TOML.TOML_Value := TOML.Create_String ("Hello, world");
Table : constant TOML.TOML_Value := TOML.Create_Table;
begin
Table.Set ("bool_field", Bool);
Table.Set ("int_field", Int);
Table.Set ("str_field", Str);
end;
```
And finally one can turn a tree of TOML nodes back in text form:
```ada
Ada.Text_IO.Put_Line ("TOML document:");
Ada.Text_IO.Put_Line (Table.Dump_As_String);
```
Contributing
------------
The development of `ada-toml` happens on
[GitHub](https://github.com/pmderodat/ada-toml). Everyone is welcome to
contribute to this project: please read our [contribution
rules](https://github.com/pmderodat/ada-toml/tree/master/CONTRIBUTING.rst) if
you consider doing so.
"""
[gpr-externals]
ADA_TOML_BUILD_MODE = ["dev", "prod"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals]
ADA_TOML_BUILD_MODE = "prod"
[origin]
url = "https://github.com/pmderodat/ada-toml/archive/v0.3.tar.gz"
hashes = ["sha512:862d230bf28c393243b01425b259a2fd5d1cf33d3da521eea5f5533691efb46cd3fa335941bcd768b5da635896737b5ee51cbd593d84df58785db6d4c836afd2"]
-18
View File
@@ -1,18 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.0.0"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[origin]
commit = "159c2547f3a059d83a183ca70b75fee572f7fbaf"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-19
View File
@@ -1,19 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.0.1"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[origin]
commit = "a31a416c1f09e59ab1d1ab0b132aca225c66be48"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.1.0"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "974b587bf8ec5c41eaaeedf9d4d7837685e05910"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.2.0"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "f8238a936790440248d7ef34914851fdde3ae5a5"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
@@ -1,30 +0,0 @@
description = "Middleware layer of the Ada Drivers Library project"
long-description = '''# adl_middleware
Middleware layer of the Ada Drivers Library project.
This crate is a snapshot of the `middleware` of [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "adl_middleware"
version = "0.1.1"
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["adl_middleware.gpr"]
tags = ["embedded", "nostd", "fat", "bitmap"]
[[depends-on]]
hal = "^0.1.0"
[origin]
commit = "67cf6a092008a918709d7855ab69e32fe2b6065b"
url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
-42
View File
@@ -1,42 +0,0 @@
description = "An Ada Lexical Analyzer Generator"
name = "aflex"
version = "1.5.2021"
licenses = "Unlicense"
authors = ["John Self"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
tags = ["parser", "generator", "grammar"]
website = "https://github.com/Ada-France/aflex"
executables = ["aflex"]
long-description = """
Aflex is a lexical analyzer generating tool similar to the Unix tool lex.
The first implementation was written by John Self of the Arcadia project
at the University of California, Irvine. The last version that was released
appeared to be the aflex 1.4a released in 1994.
Aflex was used and improved by P2Ada, the Pascal to Ada translator.
This version of Aflex is derived from the P2Ada aflex implementation
released in August 2010.
This version brings a number of improvements:
- Aflex generates the spec and body files as separate files so that
there is no need to use gnatchop to split the DFA and IO files.
- Aflex uses the lex file name to generate the package name and
it supports child package with the `%unit` directive.
"""
[gpr-externals]
AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "33198b8fef131732d44279e7dd7fb24535cdb18f"
url = "git+https://github.com/Ada-France/aflex.git"
-18
View File
@@ -1,18 +0,0 @@
description = "Portable package for producing dynamically PDF documents"
name = "apdf"
version = "5.0.3"
authors = ["Gautier de Montmollin"]
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_gnat_w_gid.gpr"]
[gpr-externals]
PDF_Build_Mode = ["Debug", "Fast"]
[[depends-on]]
gid = ">=9.0.0"
[origin]
url = "https://sourceforge.net/projects/apdf/files/apdf_005_r3.zip"
hashes = ["sha512:dbe27598986b1744b024803348350e48b9fe14a14b4137796b3bf12fc98e400b45fd16dc3902a5ffbfa407552131bec072c287444889d5984ade6ba6d2d981cf"]
-85
View File
@@ -1,85 +0,0 @@
description = "Advanced Resource Embedder"
name = "are"
version = "1.2.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["are.gpr"]
tags = ["resource", "embedder", "generator"]
website = "https://gitlab.com/stcarrez/resource-embedder"
executables = ["are"]
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
files that contain the original files.
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
```
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
```
Complex resource integrations are best described with and XML and are generated with:
```
are --lang=Ada -o src --rule=package.xml --name-access .
```
For Ada, it generates the following package declaration with the `Get_Content` function
that gives access to the files. The Ada body contains the content of each embedded file.
```Ada
package Config is
function Get_Content (Name : in String)
return access constant String;
end Config;
```
"""
[available.'case(os)']
linux = true
windows = true
macos = true
'...' = false
[[depends-on]]
xmlada = "~21.0.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
[gpr-set-externals]
BUILD = "distrib"
ARE_SWITCH = "NO_CALLBACK"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
UTIL_OS = "linux32"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
UTIL_OS = "linux64"
[gpr-set-externals."case(os)".macos]
UTIL_OS = "macos64"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
UTIL_OS = "win32"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
UTIL_OS = "win64"
[configuration]
disabled = true
[origin]
commit = "16239a8b9653f085a542d7b4838110675d80dc73"
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
-19
View File
@@ -1,19 +0,0 @@
name = "asfml"
description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
version = "2.5.2"
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
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.5"
[origin]
commit = "b775db19d2c33e6172da96267cafc1a1e7567bb3"
url = "git+https://github.com/mgrojo/ASFML.git"
-18
View File
@@ -1,18 +0,0 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.4.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
[origin]
commit = "df6d4993568ed5e2fed3d8ed09c0bc69ac295e40"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-18
View File
@@ -1,18 +0,0 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.4.1"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
[origin]
commit = "14bb7db33dff4b6f1219967a809d0f787cae33cb"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-18
View File
@@ -1,18 +0,0 @@
description = "Basic Ada packages for audio applications"
long-description = """
# Audio Base
This crate contains basic Ada packages for audio applications.
"""
name = "audio_base"
version = "1.0.0"
website="https://github.com/Ada-Audio/audio_base"
licenses = "MIT"
authors=["Gustavo A. Hoffmann"]
maintainers = ["gusthoff@gusthoff.com"]
maintainers-logins = ["gusthoff"]
project-files = ["audio_base.gpr"]
tags = ["audio", "riff"]
[origin]
commit = "8646d0adc2be09c57dd16952a329c4342e5ddb3b"
url = "git+https://github.com/Ada-Audio/audio_base.git"
@@ -1,21 +0,0 @@
description = "Ada Wavefile Library"
long-description = """
# Ada Wavefile Library
This crate contains Ada packages for wavefile I/O.
"""
name = "audio_wavefiles"
version = "2.0.0"
website="https://github.com/Ada-Audio/audio_wavefiles"
licenses = "MIT"
authors=["Gustavo A. Hoffmann"]
maintainers = ["gusthoff@gusthoff.com"]
maintainers-logins = ["gusthoff"]
project-files = ["audio_wavefiles.gpr"]
tags = ["audio", "riff", "wavefiles"]
[[depends-on]]
audio_base = "^1.0"
[origin]
commit = "8e1162c5b9dc604a835f60be6a78e8f9d3c85052"
url = "git+https://github.com/Ada-Audio/audio_wavefiles.git"
-20
View File
@@ -1,20 +0,0 @@
description = "Ada unit test framework"
name = "aunit"
version = "22.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[configuration]
disabled = true
[gpr-externals]
AUNIT_BUILD_MODE = ["Devel", "Install"]
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
[origin]
url="https://github.com/AdaCore/aunit/archive/v22.0.0/aunit-22.0.0.zip"
hashes=["sha512:cbd7a80ad1e335d53d3a4834d48c9dd2df153bb1110a787a88003443de3ab2839534910103ce0b3ff98dca83e86e97e2bca48d4182acd2af5705ec723f84b66b"]
-15
View File
@@ -1,15 +0,0 @@
name = "avltrees"
description = "Threaded AVL trees library for Ada"
version = "0.1.0"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "LGPL-3.0-or-later"
website = "https://github.com/lkujaw/avltrees"
tags = ["ada1987", "data-structures"]
[origin]
commit = "81b318c6c9ba2ee500d0acc92a122bb8fe58f5ff"
url = "git+https://github.com/lkujaw/avltrees.git"
-42
View File
@@ -1,42 +0,0 @@
description = "An Ada LARL(1) parser generator"
name = "ayacc"
version = "1.3.0"
licenses = "Unlicense"
authors = ["David Taback", "Deepak Tolani"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
executables = ["ayacc"]
tags = ["parser", "generator", "grammar"]
website = "https://github.com/Ada-France/ayacc"
long-description = """
Ayacc is an Ada parser generator in the style of yacc(1).
The first implementation was written by David Taback and Deepak Tolani
at the University of California, Irvine. The last version that was released
appeared to be the Ayacc 1.1 released in 1994.
Ayacc was used and improved by P2Ada, the Pascal to Ada translator.
This version of Ayacc is derived from the P2Ada ayacc implementation
released in August 2010.
This version brings a number of improvements:
- Ayacc now uses more standard options to configure the code generation
- The parser was improved to configure the parser stack size and
support Ada child packages.
- The grammar supports the %unit directive to control the Ada child packages.
- Several options provide a better control of the generated code.
"""
[gpr-externals]
AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "9b8bf854e79f5e769a82f98f54ad638a14eb6dc7"
url = "git+https://github.com/Ada-France/ayacc.git"
-19
View File
@@ -1,19 +0,0 @@
name = "b2ssum"
description = "BLAKE2s file hash utility"
version = "0.1.3"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/blake2s"
tags = ["ada1995", "hash", "blake2", "blake2s"]
project-files = ["b2ssum.gpr"]
executables = ["b2ssum"]
[[depends-on]]
blake2s = "~0.1.3"
[origin]
commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
url = "git+https://github.com/lkujaw/blake2s.git"
-15
View File
@@ -1,15 +0,0 @@
name = "base64"
description = "Base64 encoding/decoding routines"
version = "1.0.0"
website = "https://github.com/AntonMeep/base64"
licenses = "ISC"
tags = ["base64"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[origin]
commit = "d91cd4d298152dc64752e3f14f6ef9baf2e11664"
url = "git+https://github.com/AntonMeep/base64.git"
-15
View File
@@ -1,15 +0,0 @@
name = "base64"
description = "Base64 encoding/decoding routines"
version = "1.0.1"
website = "https://github.com/AntonMeep/base64"
licenses = "ISC"
tags = ["base64"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[origin]
commit = "41f0c5dfb95d999e0140b9a575ca3c2ae8c26fe1"
url = "git+https://github.com/AntonMeep/base64.git"
@@ -1,33 +0,0 @@
name = "bb_pico_bsp"
description = "Ada BSP for the Keyboard Featherwing + RPI PICO"
version = "0.1.0"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["embedded", "pico", "handheld", "featherwing"]
website = "https://github.com/Fabien-Chouteau/bb_pico_bsp"
licenses = "MIT"
[[depends-on]]
pico_bsp = "^1.0.0"
embedded_components = "~0.1.0"
lvgl_ada = "~0.2.0"
[configuration.values]
lvgl_ada.Pixel_Bit_Depth = "Pix_16bit"
lvgl_ada.Color_16_SWAP = true
lvgl_ada.Horizontal_Resolution = 320
lvgl_ada.Vertical_Resolution = 240
lvgl_ada.Theme_Live_Update = true
lvgl_ada.Double_Buffering = true
lvgl_ada.Density_Per_Inch = 50
lvgl_ada.Virtual_Display_Buffer_Size = 30720
[gpr-set-externals]
EMBEDDED_COMPONENTS_COMPILE_CHECKS="disabled"
[origin]
commit = "76f9999eba98bf8b1088fc18b6e23325fd8adc75"
url = "git+https://github.com/Fabien-Chouteau/bb_pico_bsp.git"
-22
View File
@@ -1,22 +0,0 @@
name = "bbqueue"
description = "DMA friendly lock-free BipBuffer"
version = "0.3.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
long-description = """An Ada/SPARK proved implementation of James Munns'
BBQueue (https://github.com/jamesmunns/bbqueue)"""
[[depends-on]]
atomic = "~0.4"
gnat = ">=10"
[origin]
commit = "a47e12a4d59b65de1f68b63bebaa6993dbe78105"
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
-14
View File
@@ -1,14 +0,0 @@
name = "blake2s"
description = "SPARK83 implementation of the BLAKE2s hash function"
version = "0.1.3"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/blake2s"
tags = ["ada1987", "spark", "hash", "blake2", "blake2s"]
[origin]
commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
url = "git+https://github.com/lkujaw/blake2s.git"
-15
View File
@@ -1,15 +0,0 @@
name = "brackelib"
description = "Library which contains various utility packages."
long-description = "Ada library which contains various utility packages. Currently only a few implementations of abstract data types."
version = "0.0.2"
licenses = "CC0-1.0"
website = "https://github.com/bracke/brackelib"
tags = ["utility", "adt","stack", "queue"]
authors = ["Bent Bracke"]
maintainers = ["Bent Bracke <bent@bracke.dk>"]
maintainers-logins = ["bracke"]
[origin]
commit = "e08b60411a7469999cf69419780c76237aaa4d35"
url = "git+https://github.com/bracke/brackelib.git"
-16
View File
@@ -1,16 +0,0 @@
name = "chests"
description = "Chests are bounded containers"
version = "0.1.0"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
website = "https://github.com/JeremyGrosser/chests"
tags = ["containers", "bounded", "nostd", "embedded"]
[origin]
commit = "45e5b47db75e6f01ca0fab31af7d7c82a7c15e6e"
url = "git+https://github.com/JeremyGrosser/chests.git"
-16
View File
@@ -1,16 +0,0 @@
name = "chests"
description = "Chests are bounded containers"
version = "0.1.1"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
website = "https://github.com/JeremyGrosser/chests"
tags = ["containers", "bounded", "nostd", "embedded"]
[origin]
commit = "9f7aa6f0a7abe88fb7fc2c91a44a42d29effd62c"
url = "git+https://github.com/JeremyGrosser/chests.git"
-31
View File
@@ -1,31 +0,0 @@
name = "clic"
description = "Command Line Interface Components"
version = "0.1.0"
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
licenses = "MIT"
tags = ["cli", "command-line", "user-input", "tty"]
website = "https://github.com/alire-project/clic"
long-description = """
Command Line Interface Components:
- "git like" subcommand handling
- TTY color and formatting
- User input queries
"""
# TODO: uncomment for alr 1.1.0
# [configuration]
# disabled = true # CLIC is an Alire dependency using git submodule, so we can't
# # use the crate configuration here.
[[depends-on]]
aaa = "~0.2.3"
simple_logging = "^1.2.0"
ansiada = "~0.1.0"
[origin]
commit = "ac734659560ffa98346c4ddc97d8966471d70374"
url = "git+https://github.com/alire-project/clic.git"
-30
View File
@@ -1,30 +0,0 @@
name = "clic"
description = "Command Line Interface Components"
version = "0.1.1"
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
licenses = "MIT"
tags = ["cli", "command-line", "user-input", "tty"]
website = "https://github.com/alire-project/clic"
long-description = """
Command Line Interface Components:
- "git like" subcommand handling
- TTY color and formatting
- User input queries
"""
# TODO: uncomment for alr 1.1.0
# [configuration]
# disabled = true # CLIC is an Alire dependency using git submodule, so we can't
# # use the crate configuration here.
[[depends-on]]
aaa = "~0.2.3"
simple_logging = "^1.2.0"
ansiada = "~0.1.0"
[origin]
commit = "32a93777a3e1796534e07c59966075a3d6f4f503"
url = "git+https://github.com/alire-project/clic.git"
-31
View File
@@ -1,31 +0,0 @@
name = "clic"
description = "Command Line Interface Components"
version = "0.2.0"
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["cli", "command-line", "user-input", "tty"]
website = "https://github.com/alire-project/clic"
long-description = """
Command Line Interface Components:
- "git like" subcommand handling
- TTY color and formatting
- User input queries
- User configuration
"""
[configuration]
disabled = true # CLIC is an Alire dependency using git submodule, so we can't
# use the crate configuration here.
[[depends-on]]
aaa = "~0.2.4"
simple_logging = "^1.2.0"
ansiada = "~0.1.0"
ada_toml = "~0.2.0"
[origin]
commit = "5a1f32326013784113a336a1aded509270dacc76"
url = "git+https://github.com/alire-project/clic.git"
@@ -1,18 +0,0 @@
name = "dependency_graph_extractor"
description = "Extract dependency information from Ada projects"
version = "0.1.0"
licenses = "BSD-3-Clause"
website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
tags = ["extract", "dependency", "analysis", "graph", "graphml"]
authors = ["Pierre van de Laar"]
maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
maintainers-logins = ["pjljvandelaar"]
[[depends-on]]
libadalang = "^22.0.0"
[origin]
commit = "71bc61cd13d542edf4732643f208273d435c33a9"
url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
@@ -1,74 +0,0 @@
name = "dir_iterators"
description = "Ways of moving around directory trees"
version = "0.0.3"
website = "https://github.com/pyjarrett/dir_iterators"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["dir", "files", "walk"]
long-description = '''
[![Build Status](https://github.com/pyjarrett/dir_iterators/actions/workflows/build.yml/badge.svg)](https://github.com/pyjarrett/dir_iterators/actions)
[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/dir_iterators.json)](https://alire.ada.dev/crates/dir_iterators.html)
## Iterator-based directory walks
Provides convenient ways to walk directories based on Ada 2012 user-defined
iterators.
Inspired by [walkdir for Rust](https://github.com/BurntSushi/walkdir).
## Walking a directory tree recursively
```ada
with Ada.Directories;
with Ada.Text_IO;
with Dir_Iterators.Recursive;
-- ...
Dir_Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk
:= Dir_Iterators.Recursive.Walk (Dir);
for Dir_Entry of Dir_Walk loop
Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
end loop;
```
## Walking a directory tree recursively with a filter
Use a filter to prune directories and files from the walk.
```ada
with Ada.Directories;
with Ada.Text_IO;
with Dir_Iterators.Recursive;
package AD renames Ada.Directories;
-- ...
procedure Foo (Include_Dot_Files : Boolean; Dir_Root : String) is
function Filter (E : Ada.Directories.Directory_Entry_Type) return Boolean is
Name : constant String := Ada.Directories.Simple_Name(E);
begin
return Include_Dot_Files
or else (not (Name'Length > 1 and then Name(1) = '.'));
end Filter;
Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk :=
Dir_Iterators.Recursive.Walk (Dir_Root, Filter'Access);
begin
for Dir_Entry of Walk loop
Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
end loop;
end Foo;
```
'''
[origin]
commit = "9a345982c4680cea101a4295da1ead5610526a3d"
url = "git+https://github.com/pyjarrett/dir_iterators.git"
-18
View File
@@ -1,18 +0,0 @@
name = "edc_client"
description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
version = "1.3.3"
licenses = "BSD-3-Clause"
authors = ["Holger Rodriguez"]
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
maintainers-logins = ["hgrodriguez"]
tags = ["embedded", "rp2040"]
website = "https://github.com/hgrodriguez/edc-client"
[[depends-on]] # Added by alr
hal = "~0.1.0" # Added by alr
[origin]
commit = "cb659e252a0ea7a23f7c6789113d4bfefff295f0"
url = "git+https://github.com/hgrodriguez/edc-client.git"
-18
View File
@@ -1,18 +0,0 @@
name = "edc_client"
description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
version = "1.4.0"
licenses = "BSD-3-Clause"
authors = ["Holger Rodriguez"]
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
maintainers-logins = ["hgrodriguez"]
tags = ["embedded", "rp2040"]
website = "https://github.com/hgrodriguez/edc_client"
[[depends-on]] # Added by alr
hal = "~0.1.0" # Added by alr
[origin]
commit = "604711851d356014b653e2f50218ebcfe50f05a0"
url = "git+https://github.com/hgrodriguez/edc_client.git"
-20
View File
@@ -1,20 +0,0 @@
name = "eeprom_i2c"
description = "EEPROM I2C drivers library for embedded platforms"
version = "2.0.1"
licenses = "BSD-3-Clause"
authors = ["Holger Rodriguez"]
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
maintainers-logins = ["hgrodriguez"]
tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
website = "https://github.com/hgrodriguez/eeprom_i2c"
[[depends-on]] # Added by alr
hal = "~0.1.0" # Added by alr
[[depends-on]] # Added by alr
gnat_arm_elf = "^11.2.3" # Added by alr
[origin]
commit = "c01692bc92bc536cf35918e4aa2ed8ba7cec7ab3"
url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-17
View File
@@ -1,17 +0,0 @@
name = "emojis"
description = "A library to replace names between colons with emojis"
version = "1.0.0"
website = "https://github.com/onox/emojis"
licenses = "Apache-2.0"
tags = ["emoji", "string", "text", "unicode"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[configuration]
disabled = true
[origin]
commit = "e9d5c4ef79b45a8be73c6e98dceb70c291d1fbed"
url = "git+https://github.com/onox/emojis.git"
-15
View File
@@ -1,15 +0,0 @@
name = "endianness"
description = "Convenience subprograms to convert between Big- and Little-endianness"
version = "1.0.0"
website = "https://github.com/AntonMeep/endianness"
licenses = "ISC"
tags = ["spark", "endianness", "system"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[origin]
commit = "0fdb81cde626f68c726eaac5c1211a65e6a06a33"
url = "git+https://github.com/AntonMeep/endianness.git"
-19
View File
@@ -1,19 +0,0 @@
name = "epoll"
description = "Linux epoll binding"
version = "0.1.1"
licenses = "BSD-3-Clause"
tags = ["linux", "epoll", "net"]
website = "https://github.com/JeremyGrosser/epoll-ada"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
[available.'case(os)']
linux = true
'...' = false
[origin]
commit = "5475faed094db88b70de29afe74e204dff87447c"
url = "git+https://github.com/JeremyGrosser/epoll-ada.git"
-24
View File
@@ -1,24 +0,0 @@
name = "evdev"
description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
version = "2.0.0"
website = "https://github.com/onox/evdev-ada"
licenses = "Apache-2.0"
tags = ["evdev", "force-feedback"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
project-files = ["evdev.gpr", "evdev_info.gpr"]
executables = ["evdev-ada"]
[configuration]
disabled = true
[available.'case(os)']
linux = true
'...' = false
[origin]
commit = "78c027582c31314663a4b1ddac9d3e12a3639404"
url = "git+https://github.com/onox/evdev-ada.git"
@@ -1,18 +0,0 @@
name = "fastpbkdf2_ada"
description = "Binding and an Ada wrapper to fastpbkdf2"
version = "1.0.0"
website = "https://github.com/AntonMeep/fastpbkdf2_ada"
licenses = "ISC"
tags = ["pbkdf2", "cryptography"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[[depends-on]]
openssl = "~1.1.1"
[origin]
commit = "c46be9fde5330e96e4ae7e52a77ada60b7f89fe6"
url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
@@ -1,18 +0,0 @@
name = "fastpbkdf2_ada"
description = "Binding and an Ada wrapper to fastpbkdf2"
version = "2.0.0"
website = "https://github.com/AntonMeep/fastpbkdf2_ada"
licenses = "ISC"
tags = ["pbkdf2", "cryptography"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[[depends-on]]
openssl = "~1.1.1"
[origin]
commit = "ef1c2f3ad47ef550709434f65ff49395f486fd19"
url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
-27
View File
@@ -1,27 +0,0 @@
name = "felix"
description = "X/Open Native Language System (NLS) for Ada"
version = "0.2.0"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/felix"
tags = ["ada1995", "i18n", "nls",
"localization", "localisation", "l10n"]
[[depends-on]]
[depends-on.'case(os)'.windows]
msys2_runtime = ">=3.0"
[gpr-set-externals.'case(os)']
'windows' = { SYSTEM_API = "WIN32" }
'...' = { SYSTEM_API = "POSIX" }
[environment.'case(distribution)']
'msys2' = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/" }
[origin]
commit = "7409bde64df3467f6d8b6aceb96eba2aac920014"
url = "git+https://github.com/lkujaw/felix.git"
@@ -1,26 +0,0 @@
name = "get_password"
description = "Read a string without echo, in password-like style"
version = "1.0.0-rc"
long-description = "This is a small Ada library that provides a procedure Get_Password that reads a string from the terminal replacing each character with a *. The input can be terminated both by the user pressing end-of-line or when the buffer is filled. Currently it works only on POSIX-based system. This version was checked with Spark"
licenses = "MIT"
website = "https://gitlab.com/my-ada-library/get_password"
authors = ["Riccardo Bernardini"]
maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
maintainers-logins = ["fintatarta"]
tags = ["password", "echo", "textio"]
[gpr-set-externals.'case(os)']
linux = { OS_FOR_GPR = "posix" }
windows = { OS_FOR_GPR = "windows" }
macos = { OS_FOR_GPR = "posix" }
[available.'case(os)']
linux = true
windows = false
macos = false
[origin]
commit = "0999eb5b4890649c73fc0327ef7514de4fb73df7"
url = "git+https://gitlab.com/my-ada-library/get_password.git"
-15
View File
@@ -1,15 +0,0 @@
description = "Decoding a broad variety of image formats"
name = "gid"
version = "10.0.0"
authors = ["Gautier de Montmollin"]
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["gid.gpr"]
[gpr-externals]
GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast", "Small", "Smallest", "Profiling"]
[origin]
url = "https://sourceforge.net/projects/gen-img-dec/files/gid_010.zip"
hashes = ["sha512:ea4b473fc5020e8cd2248aa02e65a5d9d606994392130d5bd024e93e6c1de402e9a54f59adf0dbfa9c80163f1b61f300e3dce7d7e5544006073646e3c5dc00c3"]
@@ -1,6 +1,6 @@
name = "gnat_arm_elf" name = "gnat_arm_elf"
version = "10.3.1" version = "10.3-1"
provides = ["gnat=10.3.1"] provides = ["gnat=10.3-1"]
description = "The GNAT Ada compiler - ARM cross-compiler" description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"] maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"] maintainers-logins = ["Fabien-Chouteau"]
@@ -1,27 +0,0 @@
name = "gnat_arm_elf"
version = "10.3.2"
provides = ["gnat=10.3.2"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-linux64-10.3.0-2.tar.gz"
hashes = ["sha256:ff53fd8aa25f5f7bfbc139ea25244f2d04a9d3513b3de499f06c2d9e0a26ebf0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-darwin-10.3.0-2.tar.gz"
hashes = ["sha256:f3daf3dcbef8416a45c2910597608214b44b45a9f75e8f8059f409839eff0e1f"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-windows64-10.3.0-2.tar.gz"
hashes = ["sha256:add183ea21cae95b3ca12de442d69c418d3f007d972238621f13103f12233967"]
@@ -1,27 +0,0 @@
name = "gnat_arm_elf"
version = "11.2.1"
provides = ["gnat=11.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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-linux64-11.2.0-1.tar.gz"
hashes = ["sha256:68f7c5d3e009c156d6c3d274c5da9fd369b1e85743c9bdfe4548e2c376efcebd"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-darwin-11.2.0-1.tar.gz"
hashes = ["sha256:9343d45fe3eaa5d7d1cfcf03166c64303adb5524fa03634bb1cada61787a2226"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-windows64-11.2.0-1.tar.gz"
hashes = ["sha256:b2d3b1d266b5e13e97809462a6169d690591e81a1b1885e9501f4e1a99c34421"]
@@ -1,27 +0,0 @@
name = "gnat_arm_elf"
version = "11.2.2"
provides = ["gnat=11.2.2"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-linux64-11.2.0-2.tar.gz"
hashes = ["sha256:c3c48e322cf14ff1d145392dc4722d9471dae41c5a3845b093130f5a0e373f07"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-darwin-11.2.0-2.tar.gz"
hashes = ["sha256:48dbf3535ff6c5ba63eacf16f0603b7797dac23d94db0cde380577ab0f66030e"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-windows64-11.2.0-2.tar.gz"
hashes = ["sha256:9bb39396ab4b1214a484a3802c9cc800440e6c7d93df325d3416a0306505fd48"]
@@ -1,27 +0,0 @@
name = "gnat_arm_elf"
version = "11.2.3"
provides = ["gnat=11.2.3"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-linux64-11.2.0-3.tar.gz"
hashes = ["sha256:811265cb750f3e1fd96a3dac48cdd190fe06b3fe7feb5bc4f2a44e97296b13fa"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-darwin-11.2.0-3.tar.gz"
hashes = ["sha256:ab1035b1649e259cae17bde628a85a4bcaf3f8819adafee0edb76697810b50ee"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-windows64-11.2.0-3.tar.gz"
hashes = ["sha256:432ce2fbbeb544e85a3b656fa6dcab16a9c7d9187f36e22461039d082d59296e"]
@@ -1,27 +0,0 @@
name = "gnat_arm_elf"
version = "11.2.4"
provides = ["gnat=11.2.4"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-linux64-11.2.0-4.tar.gz"
hashes = ["sha256:ba16d45c9d4a055e759e79692642cc50b537cd87de99dc6a845c92d8fe7380a3"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:839811c83a395d8c8ef9ffdf5c230089ded61c9dedc5615e0960cb438c6dd0fc"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:65724f2cd3c1174df8dd1499ae13a5eb4367008e61c3ba0d9cc642a78f9818cf"]
@@ -1,27 +0,0 @@
name = "gnat_avr_elf"
version = "11.2.4"
provides = ["gnat=11.2.4"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-linux64-11.2.0-4.tar.gz"
hashes = ["sha256:aa9d26936210036ae062f74232b17ce46a4a4518411960e223dd9c877869eea9"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:13b466e3cab5c8332d99e7e0054df8b2d9ce6eaf500638fc3ef5cbd5a65790ad"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:c1a028004606fa01032026d91c66acc0215dad281af95095996827e81220145d"]
@@ -1,6 +1,5 @@
name = "gnat_native" name = "gnat_native"
version = "10.3.1" version = "10.3-1"
provides = ["gnat=10.3.1"]
description = "The GNAT Ada compiler - Native" description = "The GNAT Ada compiler - Native"
maintainers = ["chouteau@adacore.com"] maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"] maintainers-logins = ["Fabien-Chouteau"]
@@ -8,6 +7,8 @@ licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false auto-gpr-with = false
provides = ["gnat=10.3-1"]
[configuration] [configuration]
disabled = true disabled = true
@@ -1,27 +0,0 @@
name = "gnat_native"
version = "10.3.2"
provides = ["gnat=10.3.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]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-windows64-10.3.0-2.tar.gz"
hashes = ["sha256:b187d9541ce60bbf46d979c638351a501450df1597389cb97e7e996f6aa84d09"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-darwin-10.3.0-2.tar.gz"
hashes = ["sha256:e112fd3fe78aab5825164830f20f0e2a99557cf2645ad3202da0e2798ec108d3"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-linux-10.3.0-2.tar.gz"
hashes = ["sha256:d7078088b5ff812e828048c5a50417a7c63724c7181a37ff39cd49e25c154fc6"]
@@ -1,27 +0,0 @@
name = "gnat_native"
version = "11.2.1"
provides = ["gnat=11.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]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-windows64-11.2.0-1.tar.gz"
hashes = ["sha256:3ed9e2d781e395dcc74544f691fbc15176f853a20d926b7409356c58a89e44ed"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-darwin-11.2.0-1.tar.gz"
hashes = ["sha256:25e76394ceeadda9a3a689e80e0e22492fc76a3b3d53a54bf90b8b1bdcbc3c7d"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-linux-11.2.0-1.tar.gz"
hashes = ["sha256:216754299ee9d79a4a1935c29800308007fb1304bfd4833980e0b4a67b2924bb"]
@@ -1,27 +0,0 @@
name = "gnat_native"
version = "11.2.2"
provides = ["gnat=11.2.2"]
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]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-windows64-11.2.0-2.tar.gz"
hashes = ["sha256:b741ebbc9c2559106e453cd3a180cf5a442e956d68c1812c0d21eedf782bd38a"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-darwin-11.2.0-2.tar.gz"
hashes = ["sha256:207b1d85d34cb39cf317bb142cdf519f5eb2d6a83981ae985e210bcec6e69c1f"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-linux-11.2.0-2.tar.gz"
hashes = ["sha256:f1b33dee2865ccd237bda784025962f6331c9b3dfc87ec2b1f798f12641df69d"]
@@ -1,27 +0,0 @@
name = "gnat_native"
version = "11.2.3"
provides = ["gnat=11.2.3"]
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]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-windows64-11.2.0-3.tar.gz"
hashes = ["sha256:9ac3889918afe98b53ae101d290d940998b72d7a0f0a3ade52b3fc6efb5d3d89"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-darwin-11.2.0-3.tar.gz"
hashes = ["sha256:f008a8a75922f77ec896f881f51359af9c16380db202dfd6ffd48b999e8cb45d"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-linux-11.2.0-3.tar.gz"
hashes = ["sha256:d255cfb3263d0a0664850b3fb15d16d400bdb386d460d80e763839308ccdf10a"]
@@ -1,27 +0,0 @@
name = "gnat_native"
version = "11.2.4"
provides = ["gnat=11.2.4"]
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]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:2f9c5d6de6d1c26bb1cee3438dcdf0277d231bfd7129d441b5e7253558da340e"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:9800548db56698e9150252b9382a39953c4a8129d715367c6f787bee48ff1eef"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-linux-11.2.0-4.tar.gz"
hashes = ["sha256:2f37a10bd215a679b6a4af393b56b2a4fb6ccbedd293a34764e36fea635c58b0"]
@@ -1,6 +1,6 @@
name = "gnat_riscv64_elf" name = "gnat_riscv64_elf"
version = "10.3.1" version = "10.3-1"
provides = ["gnat=10.3.1"] provides = ["gnat=10.3-1"]
description = "The GNAT Ada compiler - RISC-V cross-compiler" description = "The GNAT Ada compiler - RISC-V cross-compiler"
maintainers = ["chouteau@adacore.com"] maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"] maintainers-logins = ["Fabien-Chouteau"]
@@ -1,27 +0,0 @@
name = "gnat_riscv64_elf"
version = "10.3.2"
provides = ["gnat=10.3.2"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-linux64-10.3.0-2.tar.gz"
hashes = ["sha256:15ce9c58f2871336d944f20d39b230a92da2e21bc9e60b59e693327ba463a83a"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-darwin-10.3.0-2.tar.gz"
hashes = ["sha256:02b8746589190112a9aa5798f3c38831c423baac26451240432a357a7324ddc1"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-windows64-10.3.0-2.tar.gz"
hashes = ["sha256:f7f96169b92c5aacc415aa105e4baf40dbd49a0ba75eed0a97e3586bdf2aa5da"]
@@ -1,27 +0,0 @@
name = "gnat_riscv64_elf"
version = "11.2.1"
provides = ["gnat=11.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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-linux64-11.2.0-1.tar.gz"
hashes = ["sha256:71151d7902b127f5f68d206f6134d1c18d203f8269e11970cab28e0ff5ff801e"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-darwin-11.2.0-1.tar.gz"
hashes = ["sha256:359f6d99dc55b01432dc8fa8190ba8bfe7f2e6a78b458cca45fa41bbcd04a9c7"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-windows64-11.2.0-1.tar.gz"
hashes = ["sha256:a04a8bd99ac1ec576aba2a69b6608fd78d805c737de59c30f570bd5dd5a82a97"]
@@ -1,27 +0,0 @@
name = "gnat_riscv64_elf"
version = "11.2.2"
provides = ["gnat=11.2.2"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-linux64-11.2.0-2.tar.gz"
hashes = ["sha256:5d0c03e8df93c716476d423bbdc4c1150a370f769be30c3e6a1d909197cb6b1d"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-darwin-11.2.0-2.tar.gz"
hashes = ["sha256:b2cba6792286e082194d8759d652c2cf51b5c715a52f90bb8c311b34c4e4e084"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-windows64-11.2.0-2.tar.gz"
hashes = ["sha256:37b33190b9db1ac9cf6b608b50bc176d314895105ef5f626b0efb6846360c40a"]
@@ -1,27 +0,0 @@
name = "gnat_riscv64_elf"
version = "11.2.3"
provides = ["gnat=11.2.3"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-linux64-11.2.0-3.tar.gz"
hashes = ["sha256:591103c4d3bba69ed86e0f3b99c48eab268bc3a817201d3717e68d1d65db03f6"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-darwin-11.2.0-3.tar.gz"
hashes = ["sha256:09cc51a67b542d035a31c86be1eade2f6a2a665d00f366cef2d71956d9879bcd"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-windows64-11.2.0-3.tar.gz"
hashes = ["sha256:3f0c25f24f0a54acd2877e4e76aa4ea7b4c4ffc27d973d5447e0d91a79bf46bf"]
@@ -1,27 +0,0 @@
name = "gnat_riscv64_elf"
version = "11.2.4"
provides = ["gnat=11.2.4"]
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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-linux64-11.2.0-4.tar.gz"
hashes = ["sha256:f4a370b52e490ce7ed1e27be5ea70d1e75cc14f70439fa0f2207ea691c9d95dc"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:69c6306ef68d50eb8c55677e8f2179920a33562b193f7a5c7bb2877b17f3fd7d"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:b21d71cae05dd13309684fc0d6d60d1e440265fe1682ee70789e734037550c27"]
-36
View File
@@ -1,36 +0,0 @@
name = "gnatcoll"
version = "22.0.0"
description = "GNAT Components Collection - Core packages"
website = "https://github.com/adacore/gnatcoll-core"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gnatcoll.gpr"]
tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[gpr-set-externals]
GNATCOLL_VERSION = "22.0.0"
[[depends-on]]
libgpr = "~22.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-core/archive/v22.0.0/gnatcoll-core-22.0.0.zip"
hashes=['sha512:620c2f23bc047b82e659c7282d6306bc9c8b09e7ec428a9e39722802164ca2962628e5d91a33a00921707033d121bd7a179fffd4a439a0b48df21869b35e82d9']
@@ -1,25 +0,0 @@
name = "gnatcoll_gmp"
version = "22.0.0"
description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
libgmp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,32 +0,0 @@
name = "gnatcoll_iconv"
version = "22.0.0"
description = "GNAT Components Collection - iconv binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
# environement variable as not being set. So we use a harmless linker option to
# have a non-empty GNATCOLL_ICONV_OPT.
[gpr-set-externals."case(os)".linux]
GNATCOLL_ICONV_OPT = "-v"
[[depends-on]]
gnatcoll = "~22.0.0"
[depends-on."case(os)".windows]
libiconv = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,25 +0,0 @@
name = "gnatcoll_lzma"
version = "22.0.0"
description = "GNAT Components Collection - lzma binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lzma/gnatcoll_lzma.gpr"]
tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
liblzma = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,25 +0,0 @@
name = "gnatcoll_omp"
version = "22.0.0"
description = "GNAT Components Collection - OpenMP binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["omp/gnatcoll_omp.gpr"]
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
libgomp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,26 +0,0 @@
name = "gnatcoll_postgres"
version = "22.0.0"
description = "GNAT Components Collection - postgres"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["postgres/gnatcoll_postgres.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
gnatcoll_sql = "~22.0.0"
postgresql = "*"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -1,25 +0,0 @@
name = "gnatcoll_readline"
version = "22.0.0"
description = "GNAT Components Collection - readline binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["readline/gnatcoll_readline.gpr"]
tags = ["gnatcoll", "bindings", "readline", "cli"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
libreadline = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,24 +0,0 @@
name = "gnatcoll_sql"
version = "22.0.0"
description = "GNAT Components Collection - sql"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sql/gnatcoll_sql.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -1,25 +0,0 @@
name = "gnatcoll_sqlite"
version = "22.0.0"
description = "GNAT Components Collection - sqlite"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sqlite/gnatcoll_sqlite.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
gnatcoll_sql = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -1,28 +0,0 @@
name = "gnatcoll_syslog"
version = "22.0.0"
description = "GNAT Components Collection - syslog binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["syslog/gnatcoll_syslog.gpr"]
tags = ["gnatcoll", "bindings", "syslog", "logging"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[available.'case(os)']
'windows' = false
'...' = true
[[depends-on]]
gnatcoll = "~22.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,27 +0,0 @@
name = "gnatcoll_xref"
version = "22.0.0"
description = "GNAT Components Collection - xref"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["xref/gnatcoll_xref.gpr"]
tags = ["gnatcoll", "database", "xref", "ali"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
gnatcoll_iconv = "~22.0.0"
gnatcoll_sql = "~22.0.0"
gnatcoll_sqlite = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -1,25 +0,0 @@
name = "gnatcoll_zlib"
version = "22.0.0"
description = "GNAT Components Collection - zlib binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["zlib/gnatcoll_zlib.gpr"]
tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
zlib = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -1,16 +1,14 @@
name = "gnatcov" name = "gnatcov"
version = "21.0.1" version = "21.0-1"
description = "Coverage Analysis Tool" description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"] maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"] maintainers-logins = ["Fabien-Chouteau"]
tags = ["coverage", "analysis", "test"]
auto-gpr-with = false auto-gpr-with = false
[environment] [environment]
PATH.prepend = "${CRATE_ROOT}/bin" PATH.prepend = "${CRATE_ROOT}/bin"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[origin."case(os)".linux."case(word-size)".bits-64] [origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz" url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
-25
View File
@@ -1,25 +0,0 @@
name = "gnatcov"
version = "21.0.2"
description = "Coverage Analysis Tool"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["coverage", "analysis", "test"]
auto-gpr-with = false
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-linux-21.0-2.tar.gz"
hashes = ["sha256:7f9c225e36ba277c35ac2fd053190a8a1c36f47cdb3e8b68d74178d7c903dcb3"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-darwin-21.0-2.tar.gz"
hashes = ["sha256:b02987db79b51f5c815d5550b8688337c7706105cd713179d2a7a5657a78fcaa"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-windows64-21.0-2.tar.gz"
hashes = ["sha256:154a9bab22cc5656d6d282a0a998c74dd2ebc9a3aff38b9c7a765950db5321d6"]
-28
View File
@@ -1,28 +0,0 @@
name = "gnatcov"
version = "22.0.1"
description = "Coverage Analysis Tool"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["coverage", "analysis", "test"]
auto-gpr-with = false
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[configuration]
disabled = true
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-linux-22.0-1.tar.gz"
hashes = ["sha256:eae687f0fb100524933ae37123a1de5ec26e5fca7fe2355cf2b267c9ccc0989a"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-darwin-22.0-1.tar.gz"
hashes = ["sha256:a69a9af451dbeaa1ab8c9d8c430ea25ae9e05b7595073c38e1576241f0630371"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-windows64-22.0-1.tar.gz"
hashes = ["sha256:29e99b2faf507bf5919e7f60fa052694666de9326bd89a06eea18bad590a0448"]
-26
View File
@@ -1,26 +0,0 @@
name = "gnatprove"
version = "11.2.3"
description = "Automatic formal verification of SPARK code"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
hashes = ["sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
hashes = ["sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
hashes = ["sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"]
@@ -1,5 +1,5 @@
name = "gprbuild" name = "gprbuild"
version = "21.0.1" version = "21.0.0-1"
description = "The GPRBuild Ada/multilanguage build tool" description = "The GPRBuild Ada/multilanguage build tool"
maintainers = ["chouteau@adacore.com"] maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"] maintainers-logins = ["Fabien-Chouteau"]
-22
View File
@@ -1,22 +0,0 @@
name = "gprbuild"
version = "21.0.2"
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"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-linux-21.0.0-2.tar.gz"
hashes = ["sha256:6675f899832a17fdcf4e09ada8844cc519cd5070dca3c9c6b28a7eac6085114e"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-darwin-21.0.0-2.tar.gz"
hashes = ["sha256:4f77240c83373412c62f55bda8cbf1136b53e9706dabcaab6c400b52cbadeaf3"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-windows64-21.0.0-2.tar.gz"
hashes = ["sha256:9ac7bb44268e0f8d4dcf1666e9ba1aa3d93309f22bd010d352a17575c25fd5d6"]
-25
View File
@@ -1,25 +0,0 @@
name = "gprbuild"
version = "22.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(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz"
hashes = ["sha256:24dfc1b54655edd4f85589e7e7dbd0bee24d087f25d5b0f13d3224fe7acf85b8"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-darwin-22.0.0-1.tar.gz"
hashes = ["sha256:b1220e2b24ce8fdb28344ed9c79c81c1fd2e7e3b05839d35167ceda54050def3"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-windows64-22.0.0-1.tar.gz"
hashes = ["sha256:c842bbc58b28ad0f1c1f7ba147d59e2c9fc4b8f74355ac734831bc779159b47e"]
-27
View File
@@ -1,27 +0,0 @@
description = "Hardware Abstraction Layer (HAL)"
long-description = '''# hal
Hardware Abstraction Layer: interfaces definitions to abstract access to common
hardware devices and protocols
This crate is a snapshot of the `hal` in [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "hal"
version = "0.3.0"
licenses = "BSD-3-Clause"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["hal.gpr"]
tags = ["embedded", "hal", "nostd"]
[origin]
commit = "095ae5140d55ba5bc3905295d1029e79e1f11d43"
url = "git+https://github.com/Fabien-Chouteau/hal.git"
+1 -1
View File
@@ -1,4 +1,4 @@
description = '"Hello, world!" demonstration project' description = "\"Hello, world!\" demonstration project"
name = "hello" name = "hello"
version = "1.0.1" version = "1.0.1"
-19
View File
@@ -1,19 +0,0 @@
name = "hmac"
description = "HMAC implemented in Ada"
version = "1.0.0"
website = "https://github.com/AntonMeep/hmac"
licenses = "ISC"
tags = ["cryptography", "security", "hmac"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[[depends-on]]
sha1 = "^1.0.0"
sha2 = "^1.1.0"
[origin]
commit = "d88a7b576bb62ad7d5c6375424107f132879b34b"
url = "git+https://github.com/AntonMeep/hmac.git"
-19
View File
@@ -1,19 +0,0 @@
name = "hmac"
description = "HMAC implemented in Ada"
version = "2.0.0"
website = "https://github.com/AntonMeep/hmac"
licenses = "ISC"
tags = ["cryptography", "security", "hmac"]
authors = ["Anton Fediushin"]
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
maintainers-logins = ["AntonMeep"]
[[depends-on]]
sha1 = "^2.0.0"
sha2 = "^2.0.0"
[origin]
commit = "d8046c212cc27744710cfa075462ac4ff766f1c6"
url = "git+https://github.com/AntonMeep/hmac.git"
-13
View File
@@ -1,13 +0,0 @@
description = "A standalone, portable Ada package for configuration files"
name = "ini_files"
version = "10.0.0"
licenses = "MIT"
authors = ["Rolf Ebert", "Gautier de Montmollin"]
website = "https://sourceforge.net/p/ini-files/"
maintainers = ["rolf.ebert.gcc@gmx.de", "gdemont@hotmail.com"]
maintainers-logins = ["RREE", "zertovitch"]
project-files = ["ini_files.gpr"]
[origin]
url = "https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-10.zip"
hashes = ["sha512:6f2bab21ce53d8b4448d30c0fc1b0bd4ec070120f6343ff176dbec338530e8d7948e14fd8e991b26f108f60cd7dc44531a537c8ca087c66ffca4d9993de32f60"]
@@ -1,23 +0,0 @@
name = "itsybitsy_bsp"
description = "Board support package for Arduino ItsyBitsy"
version = "0.0.3"
licenses = "BSD-3-Clause"
authors = ["Holger Rodriguez"]
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
maintainers-logins = ["hgrodriguez"]
tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
website = "https://pico-doc.synack.me/"
[[depends-on]] # Added by alr
hal = "~0.1" # Added by alr
[[depends-on]] # Added by alr
rp2040_hal = "^1" # Added by alr
[configuration.values]
rp2040_hal.Flash_Chip = "w25qxx"
[origin]
commit = "233852ed7994c73082aa996fd50ce878cdfae5f9"
url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
@@ -1,20 +0,0 @@
name = "itsybitsy_bsp"
description = "Board support package for Arduino ItsyBitsy"
version = "0.0.4"
licenses = "BSD-3-Clause"
authors = ["Holger Rodriguez"]
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
maintainers-logins = ["hgrodriguez"]
tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
website = "https://pico-doc.synack.me/"
[[depends-on]] # Added by alr
hal = "~0.1" # Added by alr
[[depends-on]] # Added by alr
rp2040_hal = "^1" # Added by alr
[origin]
commit = "7d01d9d21b36f10312c11a5b9d682feee85645de"
url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
@@ -1,20 +0,0 @@
name = "itsybitsy_rp2040_bsp"
description = "Board support package for Arduino ItsyBitsy RP2040"
version = "0.1.0"
licenses = "BSD-3-Clause"
authors = ["Holger Rodriguez"]
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
maintainers-logins = ["hgrodriguez"]
tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
website = "https://github.com/hgrodriguez/itsybitsy_rp2040_bsp"
[[depends-on]] # Added by alr
hal = "~0.1" # Added by alr
[[depends-on]] # Added by alr
rp2040_hal = "^1" # Added by alr
[origin]
commit = "857ffafeeeb3419cf492e591b6e577394f94db9e"
url = "git+https://github.com/hgrodriguez/itsybitsy_rp2040_bsp.git"
-24
View File
@@ -1,24 +0,0 @@
name = "json"
description = "An Ada 2012 library for parsing JSON"
version = "5.0.1"
website = "https://github.com/onox/json-ada"
licenses = "Apache-2.0"
tags = ["json"]
executables = ["pretty_print"]
project-files = ["json.gpr", "json_pretty_print.gpr"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[configuration]
disabled = true
[origin]
hashes = [
"sha256:31d0299f39e7e432d152159fec7381c38616faf67ebbac0025e8e9f27b626114",
"sha512:1d485dd979c009a38ee5ed9b0544c52ff0c512021b4a37057c96e1c8757ccbf641e76edc75f9cb9e58bc9b422d7cb2b202635897792051800e941d3460e3f50e",
]
url = "https://github.com/onox/json-ada/releases/download/v5.0.1/json-5.0.1.tgz"
-24
View File
@@ -1,24 +0,0 @@
name = "lace"
description = "Contains a set of low level re-usable Ada components."
version = "0.1.0"
authors = ["Rod Kay"]
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
maintainers-logins = ["charlie5"]
licenses = "ISC"
long-description = "\nContains:\n\n - lace.Events : Provides a 'subject/oberver' 'event/response' facility.\n - lace.Any : Provides an interface to allow heterogenous containers.\n - lace.fast_Pool : Provides a generic which allows fast allocation/deallocation.\n - lace.Text : Provides a DSA friendly set of text operations.\n\n"
project-files = ["library/lace.gpr"]
[[depends-on]]
lace_shared = "~0.1"
[origin]
hashes = [
"sha256:347e46279842554aea4cf2a2113ced3ec417b371140a4e821f7ccbf52600bd91",
"sha512:d1f6ad687497403df1efa7112513869273d1670505eab95b274616632a56d4b750c8fb8e7c6b6ff488823ffe3ec1438ec2152695c2dddcbc04468c30d3ed1539",
]
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace-0.1.0.tgz"
-22
View File
@@ -1,22 +0,0 @@
name = "lace_box2d"
description = "Provides a thin Ada binding to the 'box2d' C++ project."
version = "0.1.0"
authors = ["Rod Kay"]
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
maintainers-logins = ["charlie5"]
licenses = "ISC"
project-files = ["library/box2d_thin.gpr"]
[[depends-on]]
lace_c_math = "~0.1"
[origin]
hashes = [
"sha256:fecf3d54be600eca17eadd1b49ad5c16bf98f07bf5f21738c106c5d22a8cc863",
"sha512:4dee47dbb76f612e130c39d0c4dd0c10b281118bc3d87451beab4f8abcde85730dbb02873fddd8a82ac1290a0a8ed3ef0844edba77af33616625532726c029da",
]
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_box2d-0.1.0.tgz"

Some files were not shown because too many files have changed in this diff Show More