Compare commits
1 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
 Alejandro R. Mosteo
|
54ec032e00 |
@@ -13,7 +13,6 @@ jobs:
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
strategy:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-latest
|
||||
@@ -60,13 +59,9 @@ jobs:
|
||||
# changed files detectors (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
|
||||
- name: Update system repositories
|
||||
if: matrix.os == 'ubuntu-latest'
|
||||
run: sudo apt update
|
||||
|
||||
- name: Set up GNAT toolchain (FSF)
|
||||
if: matrix.os == 'ubuntu-latest'
|
||||
uses: ada-actions/toolchain@ce2021
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: fsf # faster install?
|
||||
|
||||
|
||||
@@ -14,7 +14,6 @@ jobs:
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
strategy:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-latest
|
||||
|
||||
@@ -1,46 +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 GNAT toolchain (FSF)
|
||||
# uses: ada-actions/toolchain@ce2020
|
||||
# with:
|
||||
# distrib: fsf # faster install?
|
||||
|
||||
- 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 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
|
||||
@@ -12,7 +12,7 @@ jobs:
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
uses: alire-project/setup-alire@latest-stable
|
||||
|
||||
- name: Set up GNAT for devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
@@ -22,9 +22,7 @@ jobs:
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
with:
|
||||
branch: master
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
|
||||
- run: alr index --list
|
||||
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "aaa"
|
||||
version = "0.2.5"
|
||||
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 = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
|
||||
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,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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"]
|
||||
@@ -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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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,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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "eeprom_i2c"
|
||||
description = "EEPROM I2C drivers library for embedded platforms"
|
||||
version = "3.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 = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
|
||||
url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "eeprom_i2c"
|
||||
description = "EEPROM I2C drivers library for embedded platforms"
|
||||
version = "3.2.0"
|
||||
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
|
||||
|
||||
[origin]
|
||||
commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
|
||||
url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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,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,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,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"]
|
||||
@@ -1,10 +1,9 @@
|
||||
name = "gnatcov"
|
||||
version = "21.0.1"
|
||||
|
||||
description = "Coverage Analysis Tool"
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["coverage", "analysis", "test"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
|
||||
@@ -1,10 +1,9 @@
|
||||
name = "gnatcov"
|
||||
version = "21.0.2"
|
||||
|
||||
description = "Coverage Analysis Tool"
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["coverage", "analysis", "test"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
|
||||
@@ -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"]
|
||||
@@ -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,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"]
|
||||
@@ -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,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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
@@ -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"
|
||||
|
||||
@@ -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"
|
||||
|
||||
@@ -1,26 +0,0 @@
|
||||
name = "lace_bullet"
|
||||
description = "Provides a thin Ada binding to the 'bullet' C++ project."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/bullet_thin.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_c_math = "~0.1"
|
||||
libbullet = "*"
|
||||
|
||||
[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
|
||||
append = "${DISTRIB_ROOT}/mingw64/include/bullet"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:2c009b790f92ee15fd63bde07bb3ba0747d3fd0d7465be28c12e22b9b3dc3475",
|
||||
"sha512:cec42c7241bca4ca854d5dbe93df5ad4615a4d5b092fc79ac1cac2caf691e6f223e50bf10434d51731e78f051c9a252306dbe2f4e267c61a5af8a7c7d7ea5dd6",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_bullet-0.1.0.tgz"
|
||||
|
||||
@@ -1,23 +0,0 @@
|
||||
name = "lace_c_math"
|
||||
description = "A binding to the C math code used by box2d & bullet bindings."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/c_math_thin.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_math = "~0.1"
|
||||
lace_swig = "~0.1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:e47df28c1422a9e75c430d0386c6f4ae89f049853e6cc902ec1fb8dfd7fe21be",
|
||||
"sha512:5188f8bafe18fd1b04ad2dd5f915d4974c07ff99987aca3b5161970a7c3e6231b4710f32adc4c70fbef015128b0feff7ef138c96b8dd46d346f5cdd0826359ef",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_c_math-0.1.0.tgz"
|
||||
|
||||
@@ -1,23 +0,0 @@
|
||||
name = "lace_collada"
|
||||
description = "A Collada parser."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/collada.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_math = "~0.1"
|
||||
lace_xml = "~0.1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:99d5bbb7863743b5f6a31576b80c15325d110d1a12ccfaf024565f77271d6481",
|
||||
"sha512:03fcc505057e6d4f299f5da67e9d47ea9abe2481cbd269a07222eb697eba08942a5714eb69573794b533d943696fb83828e9aeced09001eb60ef11286b29499c",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_collada-0.1.0.tgz"
|
||||
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "lace_gel"
|
||||
description = "A 2D/3D game engine library (GEL)."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/gel.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_opengl = "~0.1"
|
||||
lace_physics = "~0.1"
|
||||
sdlada = "2.5.4-1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:2c333035042e866b241199160dea3895d21558308eaee523150644e62cae6cfa",
|
||||
"sha512:570ae6fe2f8889ac745263f5f5b582ba534b65e9ec40fc167c02e5ba3c0fa7a83ce54c06259f0ec43d6a122f569bf9aec1c79dff7a917732a39f21eaa5f1c1a2",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel-0.1.0.tgz"
|
||||
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "lace_gel_animation_demo"
|
||||
description = "A demo of GEL's human animation."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
executables = ["launch_human_rig_demo"]
|
||||
|
||||
project-files = ["human_rig_demo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_gel = "~0.1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:55b7e3bc98923a759ae9745f3e2b8f3fe67009795ff4f2e232bd1d35709b6de1",
|
||||
"sha512:57a73b273bfada9e4a442b977741c5cedfff4117d91254496e9df54d16298877e25467f4c6b22458146438697ab4a51d10bd2fbf85b42a9e147043b6fe535851",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel_animation_demo-0.1.0.tgz"
|
||||
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "lace_gel_full_demo"
|
||||
description = "A demo of most of GEL's features."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
executables = ["launch_full_demo"]
|
||||
|
||||
project-files = ["full_demo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_gel = "~0.1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:4610c5882117d0c041c95801a3e62220a8ce7be58104ea87493dd7a73541adae",
|
||||
"sha512:35462a04b3dea65f352f2459d556d04a918b899261e1c09cd5edea860ff6eafd006886627f61d7c1b1d124bd9ce56010f7d4ffeed2997557454648bcf1f3f8c0",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel_full_demo-0.1.0.tgz"
|
||||
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "lace_math"
|
||||
description = "Provides an Ada package family covering pure and applied mathematics."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
long-description = "\nContains:\n\n - Pure\n - Arithmetic (covers quantity)\n - Algebra (covers structure)\n - Geometry (covers space)\n - Analysis (covers change)\n\n - Applied\n - Statistics\n - Computational\n\n"
|
||||
|
||||
project-files = ["library/math.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_shared = "~0.1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:3ab6719722b53ff7b42f01be6bbd46c46a53bc57d308bba060d06ba631a78cbc",
|
||||
"sha512:4e49a173f9db9dabac1344f09e3310637b8b2c2b6cecf0f18a946271a5b39169465ab6e1f2bc71e05b27e2a7edc3fd7c6e71bd29088853cb41abbec0686e98d3",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_math-0.1.0.tgz"
|
||||
|
||||
@@ -1,29 +0,0 @@
|
||||
name = "lace_opengl"
|
||||
description = "Provides an openGL engine."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/opengl.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_collada = "~0.1"
|
||||
libfreetype = "^2"
|
||||
|
||||
[depends-on."case(os)"."windows"]
|
||||
libmesa = "*"
|
||||
|
||||
[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
|
||||
append = "${DISTRIB_ROOT}/mingw64/include/freetype2"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:672a64157d9d310dad6c7811062f2a2b19d8fcfb28d99c9f1a125a700eba23c2",
|
||||
"sha512:57e152f18ba80988d166f61052ada919a2b703bb2c17a10cdf0a7d449fd9083d352c19ce5e2fc60ccd67023425bb5ee2de585da4a3af22ab247cf629b367d260",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_opengl-0.1.0.tgz"
|
||||
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "lace_physics"
|
||||
description = "Provides 2D/3D rigid body dynamics simulation."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/physics.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace = "~0.1"
|
||||
lace_bullet = "~0.1"
|
||||
lace_box2d = "~0.1"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:d1cb6621da314df578ad27c2c4ecfef1685191192f373da30c1acd9ed60fe4c9",
|
||||
"sha512:44017b6e684204c65e7393cb5e06963ad21ba4be077dcc0f9c0332d06b1c861cdc2a2d926c23063f6e7ce1f5058b28fa30a04802fca6bd9521b1b5ba11aca511",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_physics-0.1.0.tgz"
|
||||
|
||||
@@ -1,17 +0,0 @@
|
||||
name = "lace_shared"
|
||||
description = "Default settings for GPR files in the Lace project."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:bc8f153419f9d5e558ff92de6e1a1ec7b07cf35fb3e9371b5f9a2b1794009b01",
|
||||
"sha512:d121830a9e22923dd4e79ff27eb21be266d7c78605544dab297576ea1922249bbb594363a9ee34b2fe26f75625f54d33315b46ed090a524f90a0dbc46b67a810",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_shared-0.1.0.tgz"
|
||||
|
||||
@@ -1,19 +0,0 @@
|
||||
name = "lace_swig"
|
||||
description = "Provides packages required by bindings produced by the 'swig4ada' tool."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/swig.gpr"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:ddbc016d405eb85410bfd156b16e3bd421754e2ee7f3ca2b73d167ed884ebe22",
|
||||
"sha512:2f49c187816cb567136d3612692c2e726d539e9d3c59372905945a5ef07424f0670307271d3c9727eb1298ea84fda56b833ba8196e7aac247e8361e176ce017c",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_swig-0.1.0.tgz"
|
||||
|
||||
@@ -1,23 +0,0 @@
|
||||
name = "lace_xml"
|
||||
description = "Provides simple XML read/write support."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Rod Kay"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
licenses = "ISC"
|
||||
|
||||
project-files = ["library/xml.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
lace_shared = "~0.1"
|
||||
libexpat = "*"
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:b6aa904a368c5e56323203633b139613569ec31f780a66ee9af2e350b6d2de7d",
|
||||
"sha512:bbec9447d5acc2831b2626fd13eda605b4e035cf445c8f9b235d4a2aba146b1df1bc1f88a0169f27aa0026050e1d4cbc7949d83bf93ed74259627a6d7f3b8816",
|
||||
]
|
||||
url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_xml-0.1.0.tgz"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "langkit_support"
|
||||
description = "Runtime support library for Langkit-generated libraries"
|
||||
version = "22.0.0"
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
maintainers-logins = ["pmderodat"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
website = "https://github.com/AdaCore/langkit"
|
||||
|
||||
[gpr-set-externals."case(toolchain)".system]
|
||||
LIBRARY_TYPE = "relocatable"
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/langkit/releases/download/v22.0.0/langkit_support-22.0.0.tar.gz"
|
||||
archive-name = "langkit_support-22.0.0.tar.gz"
|
||||
hashes = ["sha512:d43df3a95d87cdbdfbe94dd353fbc7dc746f27e6d71576cfbeca5f3972d37832dd406b5945623da2e93b18133baf6c6bf12d1b7a14fd2e403d2c6f2f41cb6b3b"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "^22"
|
||||
[[depends-on]]
|
||||
gnatcoll_iconv = "^22"
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "libadalang"
|
||||
description = "Ada semantic analysis library"
|
||||
version = "22.0.0"
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
maintainers-logins = ["pmderodat"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
website = "https://github.com/AdaCore/libadalang"
|
||||
tags = ["libadalang", "static-analysis"]
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/libadalang/releases/download/v22.0.0/libadalang-22.0.0.tar.gz"
|
||||
archive-name = "libadalang-22.0.0.tar.gz"
|
||||
hashes = ["sha512:5f365aa471ed22cd30f3273ab8aa253cb5f1d6be23dd48eb29e6d776e07729412e75d9820447eb7626dce16fcde4f05cf40811cd7b96722e9c0c5a0315861210"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "^22"
|
||||
[[depends-on]]
|
||||
gnatcoll_gmp = "^22"
|
||||
[[depends-on]]
|
||||
gnatcoll_iconv = "^22"
|
||||
[[depends-on]]
|
||||
langkit_support = "^22"
|
||||
@@ -1,28 +0,0 @@
|
||||
name = "libadalang_tools"
|
||||
description = "Ada semantic analysis library extension and tools"
|
||||
version = "22.0.0"
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>", "Max Reznik <reznik@adacore.com>"]
|
||||
maintainers-logins = ["pmderodat", "reznikmm"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
website = "https://github.com/AdaCore/libadalang-tools"
|
||||
tags = ["libadalang", "static-analysis", "metric", "formatting", "generator"]
|
||||
project-files = ["src/lal_tools.gpr", "src/build.gpr"]
|
||||
executables = ["gnatmetric", "gnatpp", "gnatstub", "gnattest"]
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/libadalang-tools/archive/refs/tags/v22.0.0.tar.gz"
|
||||
archive-name = "v22.0.0.tar.gz"
|
||||
hashes = ["sha512:c9028428379e68644dee140b76c6806b15561484bdc77a8c85c88c1ae4de512b6252f41b415fe767c5c7ae533fba1583e075620bd222a7be240d6cd1130d25bd"]
|
||||
|
||||
[[depends-on]]
|
||||
libadalang = "22.0.0"
|
||||
|
||||
[[actions.'case(os)'.windows]]
|
||||
type = "post-fetch"
|
||||
command = ["cmd.exe", "/c", "del /Q valgrind"]
|
||||
|
||||
[[actions.'case(os)'.'...']]
|
||||
type = "post-fetch"
|
||||
command = ["rm", "-rf", "valgrind"]
|
||||
@@ -1,14 +0,0 @@
|
||||
description = "Basic Linear Algebra Subprograms"
|
||||
name = "libblas"
|
||||
licenses = "custom-blas-2017"
|
||||
|
||||
authors = ["Simon Wright"]
|
||||
maintainers = ["Simon Wright <simon@pushface.org>"]
|
||||
maintainers-logins = ["simonjwright"]
|
||||
|
||||
[[external]]
|
||||
kind="system"
|
||||
[external.origin."case(distribution)"]
|
||||
"macos" = []
|
||||
"debian|ubuntu" = ["libblas-dev"]
|
||||
"msys2" = ["mingw-w64-x86_64-lapack"]
|
||||
@@ -1,17 +0,0 @@
|
||||
name = "libbullet"
|
||||
description = "Bullet physics library."
|
||||
website = "https://pybullet.org"
|
||||
tags = ["physics", "game", "simulation", "robotics"]
|
||||
licenses = "Zlib"
|
||||
|
||||
authors = ["Erwin Coumans"]
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
|
||||
[external.origin.'case(distribution)']
|
||||
'debian|ubuntu' = ["libbullet-dev"]
|
||||
arch = ["bullet"]
|
||||
msys2 = ["mingw-w64-x86_64-bullet"]
|
||||
@@ -1,16 +0,0 @@
|
||||
name = "libegl"
|
||||
description = "EGL and GL Vendor-Neutral Dispatch library."
|
||||
website = "https://gitlab.freedesktop.org/glvnd/libglvnd"
|
||||
tags = ["egl", "glvnd", "mesa"]
|
||||
licenses = "MIT AND custom-MIT-like"
|
||||
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>", "onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["charlie5", "onox"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
|
||||
[external.origin.'case(distribution)']
|
||||
'debian|ubuntu' = ["libegl-dev"]
|
||||
arch = ["libglvnd"]
|
||||
msys2 = ["mingw-w64-x86_64-mesa"]
|
||||
@@ -1,13 +0,0 @@
|
||||
description = "Expat is a stream-oriented XML 1.0 parser library"
|
||||
name = "libexpat"
|
||||
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
|
||||
[external.origin."case(distribution)"]
|
||||
"debian|ubuntu" = ["libexpat1-dev"]
|
||||
arch = ["expat"]
|
||||
msys2 = ["mingw-w64-x86_64-expat"]
|
||||
@@ -1,11 +0,0 @@
|
||||
description = "FTDI USB driver with bitbang mode"
|
||||
name = "libftdi1"
|
||||
licenses = "LGPL-2.0-or-later"
|
||||
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
[external.origin."case(distribution)"]
|
||||
"debian|ubuntu" = ["libftdi1-dev"]
|
||||
@@ -1,14 +0,0 @@
|
||||
description = "Linear Algebra Package"
|
||||
name = "liblapack"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Simon Wright"]
|
||||
maintainers = ["Simon Wright <simon@pushface.org>"]
|
||||
maintainers-logins = ["simonjwright"]
|
||||
|
||||
[[external]]
|
||||
kind="system"
|
||||
[external.origin."case(distribution)"]
|
||||
"macos" = []
|
||||
"debian|ubuntu" = ["liblapack-dev"]
|
||||
"msys2" = ["mingw-w64-x86_64-lapack"]
|
||||
@@ -1,16 +0,0 @@
|
||||
name = "libmesa"
|
||||
description = "Mesa openGL library."
|
||||
website = "https://mesa3d.org/"
|
||||
tags = ["graphics", "opengl", "opencl", "vulkan"]
|
||||
licenses = "MIT"
|
||||
|
||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
||||
maintainers-logins = ["charlie5"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
|
||||
[external.origin.'case(distribution)']
|
||||
'debian|ubuntu' = ["libgl1-mesa-dri"]
|
||||
arch = ["mesa"]
|
||||
msys2 = ["mingw-w64-x86_64-mesa"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "libsimpleio"
|
||||
description = "Linux Simple I/O Library bindings for GNAT Ada"
|
||||
version = "1.20010.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["libsimpleio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
|
||||
"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux' = true
|
||||
"..." = false
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:5239944839ab69e76c33dd444f9a91e8182f0b9631d8fcdfbe16790b8c3548d9",
|
||||
"sha512:9106e6cb0159411336657bcd3d20a16956c05b82a8ded016a6375bf21161159bac812bade405bec0c4585e594e24e2460d10c981e4e2600958199a45a09e018b",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/libsimpleio-1.20010.1.tbz2"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "libsimpleio"
|
||||
description = "Linux Simple I/O Library bindings for GNAT Ada"
|
||||
version = "1.20220.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["libsimpleio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
|
||||
"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux' = true
|
||||
"..." = false
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:7948719ddee5ac076bd31e01537a08a4c95b771af46e328f852153c116036e87",
|
||||
"sha512:cab62e6feae28e9519ce5f2af0cc6b0778bbf8407a0f4834d7714214a6c03fc51b5b63715d613a26410cdbe3a731b3b4c47ac75c31dba76f34dfc184d2f0292b",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/libsimpleio-1.20220.1.tbz2"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "libsimpleio"
|
||||
description = "Linux Simple I/O Library bindings for GNAT Ada"
|
||||
version = "1.20222.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["libsimpleio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
|
||||
"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux' = true
|
||||
"..." = false
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:160c1fe0b202a529b9093bfeaaba65403b9bf93061c42f9542356c9c0e8b0677",
|
||||
"sha512:c1f40d9ce81f8480a73885c441d46d0c077ece327818b7beee50f2a5cb4c9fd435008c1f99db829facbfebf6e9aa9eefad29609c0e0b64c4a604c021127d33a8",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/libsimpleio-1.20222.1.tbz2"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "libsimpleio"
|
||||
description = "Linux Simple I/O Library bindings for GNAT Ada"
|
||||
version = "1.20223.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["libsimpleio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
|
||||
"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux' = true
|
||||
"..." = false
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:74e686884f2083eca80ebbd85967ebc5315f017294bde359b726c9bcc32032a9",
|
||||
"sha512:e57b86760f570375450d8a966f90691791811dda6c328e0416235913c49bcdd475157a674d146c4c783bf0831e873999bfca287fe916de65a3aebacbf75fa51e",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/libsimpleio-1.20223.1.tbz2"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "lvgl_ada"
|
||||
description = "Bindings for the LVGL embedded GUI framework"
|
||||
version = "0.2.0"
|
||||
licenses = "MIT"
|
||||
maintainers = ["fabien.chouteau@gmail.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
website = "https://github.com/Fabien-Chouteau/lvgl-ada"
|
||||
tags = ["embedded", "gui", "lvgl", "no-std"]
|
||||
|
||||
[configuration.variables]
|
||||
Pixel_Bit_Depth = {type = "Enum", values = ["Pix_1bit", "Pix_8bit", "Pix_16bit", "Pix_32bit"]}
|
||||
Horizontal_Resolution = {type = "Integer", first = 1, last = 1000000}
|
||||
Vertical_Resolution = {type = "Integer", first = 1, last = 1000000}
|
||||
Density_Per_Inch = {type = "Integer", first = 1, last = 1000000}
|
||||
Color_16_SWAP = {type = "Boolean", default = false}
|
||||
Use_Builtin_Allocator = {type = "Boolean", default = true}
|
||||
Builtin_Allocator_Size = {type = "Integer", first = 1, last = 1000000, default = 65536}
|
||||
Log_Level = {type = "Enum", values = ["Trace", "Info", "Warn", "Error"], default = "Warn"}
|
||||
Log_With_Printf = {type = "Boolean", default = false}
|
||||
Theme_Live_Update = {type = "Boolean", default = false}
|
||||
Virtual_Display_Buffer_Size = {type = "Integer", first = 1, last = 1000000, default = 10240}
|
||||
Double_Buffering = {type = "Boolean", default = false}
|
||||
|
||||
[origin]
|
||||
commit = "ccf8da85aeafa38f4ae669b61298237424dc7e55"
|
||||
url = "git+https://github.com/Fabien-Chouteau/lvgl-ada.git"
|
||||
|
||||
@@ -1,48 +0,0 @@
|
||||
name = "mcp2221"
|
||||
description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
|
||||
version = "1.20220.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["mcp2221.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux|windows' = true
|
||||
"..." = false
|
||||
|
||||
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libhidapi = "*"
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libusb = "~1.0"
|
||||
|
||||
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
|
||||
|
||||
[[actions."case(os)".linux]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
|
||||
|
||||
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
|
||||
|
||||
[[actions."case(os)".windows]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:af01ab3406c53ddb317ffef3ed510aec2f0cdbd3a8435d37004c0d1bb6d14422",
|
||||
"sha512:4bb16b3cfce2e0bf88c8827281251ed64ae4edac24f02347406c8360cf4e7baaaf0623dda95d1eda87fdb93c1eed1baabe5c1553654d8b73a56140c7e2ae5c55",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/mcp2221-1.20220.1.tbz2"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "openssl"
|
||||
description = "The Open Source toolkit for SSL and TLS"
|
||||
website = "https://www.openssl.org"
|
||||
licenses = "OpenSSL"
|
||||
tags = ["openssl", "cryptography", "security", "ssl", "tls"]
|
||||
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
[external.origin."case(distribution)"]
|
||||
"debian|ubuntu" = ["libssl-dev"]
|
||||
"arch" = ["openssl"]
|
||||
"msys2" = ["mingw-w64-x86_64-openssl"]
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "parse_args"
|
||||
description = "An Ada 2012 package to parse command line arguments and options"
|
||||
version = "0.9.0"
|
||||
website = "https://github.com/jhumphry/parse_args"
|
||||
licenses = "ISC"
|
||||
tags = ["cli", "command-line"]
|
||||
|
||||
authors = ["James Humphry"]
|
||||
maintainers = ["James Humphry <alire@binecho.co.uk>"]
|
||||
maintainers-logins = ["jhumphry"]
|
||||
|
||||
[origin]
|
||||
commit = "635f9e4f5318dccd535ca889d744b1053ab2362e"
|
||||
url = "git+https://github.com/jhumphry/parse_args.git"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "pbkdf2"
|
||||
description = "PBKDF2 implemented in Ada"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/AntonMeep/pbkdf2"
|
||||
licenses = "ISC"
|
||||
tags = ["cryptography", "security", "pbkdf2"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[origin]
|
||||
commit = "221f0002f733dff3b3a00efc779d42e0517c6b44"
|
||||
url = "git+https://github.com/AntonMeep/pbkdf2.git"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "pbkdf2"
|
||||
description = "PBKDF2 implemented in Ada"
|
||||
version = "2.0.0"
|
||||
website = "https://github.com/AntonMeep/pbkdf2"
|
||||
licenses = "ISC"
|
||||
tags = ["cryptography", "security", "pbkdf2"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[depends-on]]
|
||||
hmac = "^1.0.0"
|
||||
sha1 = "^1.0.1"
|
||||
sha2 = "^1.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "6a708d74b68a5ec600bbc65c84e9b2f628303d96"
|
||||
url = "git+https://github.com/AntonMeep/pbkdf2.git"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "pbkdf2"
|
||||
description = "PBKDF2 implemented in Ada"
|
||||
version = "3.0.0"
|
||||
website = "https://github.com/AntonMeep/pbkdf2"
|
||||
licenses = "ISC"
|
||||
tags = ["cryptography", "security", "pbkdf2"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[depends-on]]
|
||||
hmac = "^2.0.0"
|
||||
sha1 = "^2.0.0"
|
||||
sha2 = "^2.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "67518be3704968c2f9cb61794f341355d3397d7d"
|
||||
url = "git+https://github.com/AntonMeep/pbkdf2.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "1.0.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "~1.0"
|
||||
|
||||
[configuration.values]
|
||||
rp2040_hal.Flash_Chip = "w25qxx"
|
||||
|
||||
[origin]
|
||||
commit = "589cd7d300a6aae236799943165eb93fee3eec1c"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "1.1.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "^1"
|
||||
|
||||
[configuration.values]
|
||||
rp2040_hal.Flash_Chip = "w25qxx"
|
||||
|
||||
[origin]
|
||||
commit = "fdbf56f252e2304dbac5a4b9c924a751550ccd0d"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "1.3.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "^1.3"
|
||||
|
||||
[configuration.values]
|
||||
rp2040_hal.Flash_Chip = "w25qxx"
|
||||
|
||||
[origin]
|
||||
commit = "4ff67b6d89e6346894388bdf69bbb069569a3b3d"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "1.4.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "^1.4"
|
||||
|
||||
[configuration.values]
|
||||
rp2040_hal.Flash_Chip = "w25qxx"
|
||||
|
||||
[origin]
|
||||
commit = "28d9437c51eb0d2d5a0b0e9715ab4d943f33a373"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "1.5.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "^1.5"
|
||||
|
||||
[configuration.values]
|
||||
rp2040_hal.Flash_Chip = "w25qxx"
|
||||
|
||||
[origin]
|
||||
commit = "22a7257552168a489f514bc4da65cbc641985b60"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -1,34 +0,0 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "1.0.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adc_continuous/adc_continuous.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr",
|
||||
"usb_echo/usb_echo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "~1.0"
|
||||
|
||||
[origin]
|
||||
commit = "f04cbe5e1c64ec0a0267e6375f29bbd9fd5799b0"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -1,34 +0,0 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "1.1.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adc_continuous/adc_continuous.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr",
|
||||
"usb_echo/usb_echo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "^1"
|
||||
|
||||
[origin]
|
||||
commit = "d2761e5dcb4e1566d3d192ca56f64d30252cf9d2"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -1,36 +0,0 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "1.3.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adc_continuous/adc_continuous.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_assemble/pio_assemble.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr",
|
||||
"usb_echo/usb_echo.gpr",
|
||||
"ws2812_demo/ws2812_demo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "^1.3"
|
||||
|
||||
[origin]
|
||||
commit = "40af5946a47e7823bbb8c61a135aab34b09fa6fd"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -1,37 +0,0 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "1.4.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adc_continuous/adc_continuous.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"multicore/multicore.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_assemble/pio_assemble.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr",
|
||||
"usb_echo/usb_echo.gpr",
|
||||
"ws2812_demo/ws2812_demo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "^1.4"
|
||||
|
||||
[origin]
|
||||
commit = "339bffa1f645422115f572639645b25d94f9ffc6"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -1,39 +0,0 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "1.5.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adc_continuous/adc_continuous.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"multicore/multicore.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_assemble/pio_assemble.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr",
|
||||
"uart_interrupt/uart_interrupt.gpr",
|
||||
"usb_echo/usb_echo.gpr",
|
||||
"ws2812_demo/ws2812_demo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "^1.5"
|
||||
chests = "~0.1.1"
|
||||
|
||||
[origin]
|
||||
commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -10,7 +10,7 @@ tags = ["pygamer", "adafruit", "game", "console", "simulator"]
|
||||
project-files = ["pygamer_simulator.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
asfml = "2.5.1"
|
||||
asfml = "~2.5"
|
||||
hal = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "qoi"
|
||||
description = "Ada/SPARK implementation of the Quite Ok Image format"
|
||||
version = "0.1.0"
|
||||
licenses = "MIT"
|
||||
|
||||
authors = ["Fabien Chouteau", "Joffrey Huguet"]
|
||||
maintainers= ["Fabien-Chouteau <chouteau@adacore.com>", "Joffrey Huguet <huguet@adacore.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau", "joffreyhuguet"]
|
||||
website = "https://github.com/Fabien-Chouteau/qoi-spark"
|
||||
tags = ["image", "encoding", "qoi"]
|
||||
|
||||
[[depends-on]]
|
||||
gnat = ">=11.2"
|
||||
|
||||
[origin]
|
||||
commit = "25d61809e0e520abec78afd94bfae8a8140414c3"
|
||||
url = "git+https://github.com/Fabien-Chouteau/qoi-spark.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "rejuvenation"
|
||||
description = "Analysis and manipulation of Ada code based on concrete patterns"
|
||||
version = "0.1.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/TNO/Renaissance-Ada"
|
||||
tags = ["analysis", "manipulation", "transformation"]
|
||||
|
||||
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 = "b2cd1695ec5fffba91266b662f7692272c4301f6"
|
||||
url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user