Compare commits

..

56 Commits

Author SHA1 Message Date
onox 9f31ecd1c2 ZipDCF 2.0.2 (#244) 2021-02-04 12:39:00 +01:00
Alejandro R Mosteo 936c3c2f60 Dotenv 1.0.0 (devel) (#240)
* Add Dotenv 1.0.0

* Update dotenv-1.0.0.toml

Co-authored-by: Quentin Dauprat <heziode@protonmail.com>
2021-02-03 12:15:58 +01:00
onox cf03c2243b DCF 2.0.2 (#241)
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-02-03 12:14:39 +01:00
Fabien Chouteau 74085a10c3 .github/workflows/main.yml: replace alr list (#243) 2021-02-03 11:39:22 +01:00
Fabien Chouteau 2652375178 minisamd51_example 0.1.1 (devel) (#238) 2021-01-14 18:05:00 +01:00
onox 5715312939 Add libwayland (#234) 2021-01-14 15:15:04 +01:00
Fabien Chouteau 32de724037 stable -> devel ports (plus SPDX format) (#232)
* Convert licenses to SPDX expressions

* bbqueue 0.1.0 (#216)

* bbqueue 0.1.0

* Update bbqueue-0.1.0.toml

* startup_gen 21.0.0 (#227)

* ada_lua 0.1.0 (#230)

* ada_lua-0.1.0.toml: fix website field (#231)

* Convert licenses to SPDX expressions (cont.)

* win32ada 21.0.0 (#233)

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-01-14 07:59:29 +01:00
Alejandro R Mosteo 0e42c88f19 Fix littlefs license expression (#236) 2021-01-14 07:58:01 +01:00
Alejandro R Mosteo fec54162ed Fix main workflow to use proper alr for base branch (#235)
* Use proper alr for the base branch

* Fix: set up compiler before devel alr
2021-01-13 18:09:53 +01:00
Fabien Chouteau 697f096eb0 Convert licenses to SPDX expressions (#226) 2021-01-13 14:12:03 +01:00
Alejandro R Mosteo cdf2956f68 littlefs 0.1.0 (devel) (#224) 2021-01-04 18:00:32 +01:00
onox 47cd6ff995 Add gtk3 for arch distribution to libgtk3 (#218) 2020-12-23 12:39:41 +01:00
onox a500e6bb7f Add sdl2 for arch distribution to libsdl2 (#217) 2020-12-23 12:29:08 +01:00
onox 46ee6a8f6b Add pkgconf for arch distribution to pkg_config (#215)
Arch Linux provides only core/pkgconf to provide pkg-config.
2020-12-22 18:55:17 +01:00
Alejandro R. Mosteo bc46138268 build-crate.yml: fix quotes 2020-12-22 18:44:58 +01:00
Alejandro R. Mosteo 32515c25d2 Bump index version 2020-12-21 19:17:17 +01:00
Alejandro R. Mosteo 4dc9e13f65 Update workflow to use proper devel/stable alr 2020-12-21 19:00:03 +01:00
Alejandro R Mosteo 08b1bb0e7b rclada 0.1.0 (#209) 2020-12-18 17:27:36 +01:00
Fabien Chouteau 574503dfeb cortex_m and microbit_bsp updates (#212) 2020-12-17 10:21:59 +01:00
Fabien Chouteau 80ffc18ecc Atomic 0.2.0 (#214) 2020-12-17 09:02:53 +01:00
Fabien Chouteau 68bb1a3c56 atomic 0.1.0 (#213) 2020-12-04 08:21:38 +01:00
Roderick Chapman 06d6bb7ee2 Add files via upload (#211) 2020-12-01 10:21:58 +01:00
Fabien Chouteau 9307ef9c4f SPDX 0.2.0 (#210) 2020-11-24 11:59:02 +01:00
Alejandro R Mosteo 2710ed3da7 Move from dev to ce2020 Ada toolchain action (#208)
`dev` contains obsolete nodejs modules and causes the workflow to fail.
2020-11-18 11:15:19 +01:00
Alejandro R Mosteo e786d63c1c Update Author check workflow to use stable alr (#207) 2020-11-18 08:23:25 +01:00
Vadim Godunko 4d13e62af7 VSS 21.0.0 (#206)
Initial version of VSS crate
2020-11-17 17:08:05 +01:00
Jeremy Grosser ad73364ad1 tiny_text 1.0.0 (#204) 2020-11-16 16:52:56 +01:00
Pierre-Marie de Rodat 0e871b8c53 lal_highlight 21.0.0 (#198)
* Add tags to libadalang

* lal_highlight: new crate, release 21.0.0
2020-11-12 12:33:43 +01:00
Alejandro R Mosteo 5611e7b7ec Iterators 0.1.0 (#205)
* Second fix for spurious alire.toml detection

* Iterators 0.1.0
2020-11-12 11:59:50 +01:00
Alejandro R Mosteo e7719b1b9c Second fix for spurious alire.toml detection (#203) 2020-11-12 07:39:44 +01:00
Alejandro R Mosteo 59ba4b0335 Fix spurious detection of alire.toml during build test (#201)
The detection is correct in the sense that the file is at ./alire/alire.toml,
but it is not an old manifest but the proper manifest of the alire repo. This
is an unexpected and unwanted interaction that should go away once the check
for old manifests is removed. For now, it's simpler to just do the tests in a
clean folder.
2020-11-09 13:43:28 +01:00
Fabien Chouteau 33ab89d7d7 AWS 21.0.0 (#197) 2020-11-05 12:22:06 +01:00
Fabien Chouteau f96cb81895 SPDX license expression validator v0.1.0 (#196) 2020-10-23 17:12:38 +02:00
Fabien Chouteau 021528cc1c GTKAda 21.0.0 (#189)
* GTKAda 21.0.0

* Fix gtkada on msys2 and update eagle_lander

* pkg_config on msys2: use mingw pkg-config
2020-10-21 21:13:01 +02:00
Fabien Chouteau 6c0fe66fe7 GNATcoll db change GitHub release URL (#195) 2020-10-21 16:01:39 +02:00
Fabien Chouteau aec6dc3b60 GNATcoll bindings change GitHub release URL (#194) 2020-10-21 16:01:13 +02:00
Fabien Chouteau 9e8c0e3504 gnatcoll change GitHub release URL (#193) 2020-10-21 14:49:59 +02:00
Fabien Chouteau 6c66c1085d libgpr change GitHub release URL (#192) 2020-10-21 14:49:34 +02:00
Fabien Chouteau fba23832c9 XMLAda change GitHub release URL (#191)
The downloaded archive will be xmlada-21.0.0.zip instead of v21.0.0.zip
2020-10-21 13:53:47 +02:00
Pierre-Marie de Rodat 08b52744fe libadalang & langkit_support 21.0.0 (#188) 2020-10-20 15:18:50 +02:00
Fabien Chouteau dc39422528 VirtAPU 0.2.0 (#190) 2020-10-20 07:31:01 +02:00
Vinzent "Jellix" Saranen 1b78c01d37 Industrial Control Widget Library (AICWL) 3.24.1 (#179)
* Add AICWL to index.

* * Fixed wrong location of crate file.

* * Use gtkada, not libgtkada (not sure if that makes a difference at this point).

* Dependency on gtkada^17

This seems to be the latest version (at least with GNAT CE 2020).

* Update aicwl-3.24.0.toml

Require "at least" gtkada 17, instead of "exactly" 17.

* * Release repository restructured.
* License fixed (it actually has the linking exception, so it's GMGPL, not GPL.)
* Added patch level version number.

* * Improved upon alire.toml:
  * Compilation of all examples and test programs.
  * gpr-externals
  * Description(s)

* * Disabled building of (most) executables due to missing libraries.

* * Deleted crate version 3.24.0.

* Update aicwl-3.24.1.toml

Removed executables.
xpm2gtkada would be one to be build, but right now this requires simple components which is not packaged (yet).

* Update aicwl-3.24.1.toml
2020-10-19 17:43:55 +02:00
Vinzent "Jellix" Saranen 4197ed6252 SPAT v1.3.0 (#187)
* SPAT v1.3.0

* Update spat-1.3.0.toml

* Refined dependency on si_units version
2020-10-19 17:37:09 +02:00
Vinzent "Jellix" Saranen a98a63a8d6 SI_Units v0.2.0 (#186)
* SI_Units v0.2.0

* Update si_units-0.2.0.toml

Fixed wording.

* Update si_units-0.2.0.toml

- Removed `executables` (tests and examples are not supposed to be there)
- Removed project file for building the test executable from `project-files`.
2020-10-19 13:41:28 +02:00
Fabien Chouteau 64aa625448 AUnit and templates-parser 21.0.0 (#184) 2020-10-19 13:39:29 +02:00
Fabien Chouteau e8d35d8560 GNATcoll DB 21.0.0 (#183) 2020-10-19 09:02:33 +02:00
Fabien Chouteau 7f8da2c224 GNATcoll bindings 21.0.0 (#182)
* Add GNATcoll bindings 21.0.0

For the same reason as GNATcoll, this patch removes the 2019 release of
gmp and iconv.

* Add externals for GNATcoll bindings
2020-10-16 20:20:20 +02:00
Alejandro R Mosteo 7fc0e55647 minirest 0.1, curl external (#178)
* minirest-0.1, curl-external

* Make the distribution case explicit

With workaround for outdated js toml parser
2020-10-16 16:50:46 +02:00
Fabien Chouteau e66421f00f GNATColl Core 21.0.0 (#181)
This patch removes 2019 and 2018 releases. The rational is that those
releases follow the GNAT Community versioning (i.e. 20XX) and this is
not compatible with the versions from the GitHub repo (i.e. XX).  Since
we want to use the GitHub sources from now on, if we don't remove the
GNAT Community releases they will be the latest forever (in terms of
semver comparison).

This is against our policy that no releases should be removed from the
index. However we are doing this before the first release of Alire and
to avoid a mess of version handling for everyone (e.g. depends-on
gnatcoll=">=19 & <2000").

This patch also removes the external gnatcoll as there is now a GMGPL
source version.
2020-10-16 16:46:49 +02:00
Fabien Chouteau 1043f4e678 Add libgpr 21.0.0 (#180) 2020-10-16 13:26:34 +02:00
Fabien Chouteau 783a233b4c XMLAda 21.0.0 (#177) 2020-10-15 23:33:03 +02:00
Alejandro R Mosteo b3caa8bff8 aaa 0.2.1 (#176)
Version required by minirest and alire
2020-10-15 23:31:37 +02:00
Alejandro R Mosteo 126e62a832 Add files via upload (#162) 2020-10-15 16:49:09 +02:00
Maxim Reznik b9d7241e59 Add jupyter_kernel (#169) 2020-10-14 13:35:43 +02:00
Vinzent "Jellix" Saranen fc4f7b8a08 SPAT v1.2.1 release (#173)
Identical to v1.2.0, except for the version number and the added alire.toml

Co-authored-by: Alejandro R Mosteo <alejandro@mosteo.com>
2020-10-14 13:24:41 +02:00
Vinzent "Jellix" Saranen 6146d32bbe SI Units v0.1.2 (Alire integration). (#172)
* SI_Units v0.1.2 (Alire integration).

* Fixed alire.toml, and changed scenario variable name (and subsequently version number), as suggested.
2020-10-14 11:14:51 +02:00
247 changed files with 1694 additions and 357 deletions
+16 -5
View File
@@ -19,6 +19,7 @@ jobs:
- ubuntu-latest
- windows-latest
tag:
- arch-rolling
- centos-latest-community-latest
- community-current
- debian-stable
@@ -27,6 +28,8 @@ jobs:
exclude: # inclusions don't allow to add arrays of values to a scenario
- os: ubuntu-latest
tag: ""
- os: macos-latest
tag: arch-rolling
- os: macos-latest
tag: centos-latest-community-latest
- os: macos-latest
@@ -35,6 +38,8 @@ jobs:
tag: debian-stable
- os: macos-latest
tag: ubuntu-lts
- os: windows-latest
tag: arch-rolling
- os: windows-latest
tag: centos-latest-community-latest
- os: windows-latest
@@ -56,18 +61,23 @@ jobs:
- name: Set up GNAT toolchain (FSF)
if: matrix.os == 'ubuntu-latest'
uses: ada-actions/toolchain@dev
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: matrix.os != 'ubuntu-latest'
uses: ada-actions/toolchain@dev
uses: ada-actions/toolchain@ce2020
with:
distrib: community
- name: Set up `alr`
uses: mosteo/setup-alire@exp
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest-stable
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest-devel
- name: Test crate (Linux)
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -75,10 +85,11 @@ jobs:
with:
image: alire/gnat:${{matrix.tag}}
command: scripts/gh-build-crate.sh
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
- name: Set up msys2 (Windows)
if: matrix.os == 'windows-latest'
run: ./alire/bin/alr --non-interactive version
run: ./alire_install/bin/alr --non-interactive version
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
+20 -2
View File
@@ -5,11 +5,29 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: alire-project/check-author@master
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
- uses: alire-project/setup-alire@dev
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest-stable
- name: Set up GNAT for devel `alr`
if: contains(github.base_ref, 'devel-')
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest-devel
- run: alr index --list
- run: alr index --add=. --name=local_index
- run: alr index --update-all
- run: alr list
- run: alr search --crates
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Alex's Ada Assortment (of miscellaneous utilities)"
name = "aaa"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
licenses = ["LGPL 3.0"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+26
View File
@@ -0,0 +1,26 @@
name = "aaa"
version = "0.2.1"
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.
"""
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 = "103f0d1954aa1181542baa939bae44ca98bff05f"
url = "git+https://github.com/mosteo/aaa.git"
+1 -1
View File
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
maintainers-logins = [
"NicolaiRuckel", "medsec"
]
licenses = ["GPL 3.0"]
licenses = "GPL-3.0-only"
project-files = ["ada_fuse.gpr"]
[gpr-externals]
+1 -1
View File
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
maintainers-logins = [
"NicolaiRuckel", "medsec"
]
licenses = ["GPL 3.0"]
licenses = "GPL-3.0-only"
project-files = ["ada_fuse.gpr"]
[gpr-externals]
+17
View File
@@ -0,0 +1,17 @@
name = "ada_lua"
description = "An Ada binding for lua"
version = "0.1.0"
authors = ["Nicolas Roche <roche@adacore.com>"]
maintainers = ["Nicolas Roche <roche@adacore.com>"]
maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
website = "https://github.com/adacore/ada-lua"
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["lua", "binding", "script"]
[[depends-on]]
liblua = "~5.3"
[origin]
commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
url = "git+https://github.com/AdaCore/ada-lua.git"
+1 -1
View File
@@ -3,7 +3,7 @@ name = "ada_pretty"
version = "1.0.0"
website = "https://github.com/reznikmm/ada-pretty/"
authors = ["Maxim Reznik"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/ada_pretty.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "TOML parser for Ada "
name = "ada_toml"
version = "0.1.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["pmderodat@kawie.fr"]
maintainers-logins = ["pmderodat"]
project-files = ["ada_toml.gpr"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
name = "ada_voxel_space_demo"
version = "1.0.0"
executables = ["main"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ada_voxel_space_demo.gpr"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
name = "ada_voxel_space_demo"
version = "1.0.1"
executables = ["main"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ada_voxel_space_demo.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "adayaml"
version = "0.2.0"
website = "https://ada.yaml.io/"
authors = ["Felix Krause"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["yaml.gpr", "yaml-utils.gpr"]
+1 -1
View File
@@ -4,7 +4,7 @@ version = "0.3.0"
website = "https://ada.yaml.io/"
authors = ["Felix Krause"]
executables = ["yaml-server"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["yaml.gpr", "yaml-utils.gpr", "yaml-annotation_processor.gpr", "yaml-server.gpr"]
@@ -13,7 +13,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
name = "adl_middleware"
version = "0.1.0"
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Ada Database Objects (Core library)"
name = "ado"
version = "2.0.0"
licenses = ["Apache 2.0"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/ado.gpr"]
@@ -1,7 +1,7 @@
description = "Ada Database Objects (PostgreSQL)"
name = "ado_postgresql"
version = "2.0.0"
licenses = ["Apache 2.0"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/postgresql/ado_postgresql.gpr"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Ada Database Objects (SQLite)"
name = "ado_sqlite"
version = "2.0.0"
licenses = ["Apache 2.0"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/sqlite/ado_sqlite.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Ada General Purpose Library with a robotics flavor"
name = "agpl"
version = "1.0.0"
authors = ["alejandro@mosteo.com"]
licenses = ["LGPL 3.0"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+74
View File
@@ -0,0 +1,74 @@
description = "Ada Industrial Control Widgets Library"
long-description = """
This crate provides a library for designing high-quality industrial control
widgets for Ada applications. The software is based on
[GtkAda](https://docs.adacore.com/live/wave/gtkada/html/gtkada_rm/index.html),
Ada bindings to [Gtk+](https://www.gtk.org/), and
[cairo](https://www.cairographics.org/manual/index.html).
The key features of the library are:
* Widgets composed of transparent layers drawn by cairo
* Fully scalable graphics
* Support of time controlled refresh policy for real-time and heavy-duty applications
* Caching graphical operations
* Stream I/O support for serialization and deserialization
* Ready-to-use gauge, meter, oscilloscope widgets
* Editor widget for WYSIWYG design of complex dashboards
For further information, visit the
[AICWL website](http://www.dmitry-kazakov.de/ada/aicwl.htm).
Maintainer's note:
This Alire crate is packaged in a rather minimalistic way to keep dependencies
on external libraries at a minimum. The crate's definition covers the core
functionality of AICWL, though, so it should be sufficient for most needs.
For example, the original distribution has references to
[Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) which are
not strictly necessary for the core functionality of the library.
"""
name = "aicwl"
version = "3.24.1"
authors = ["Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>"]
website = "http://www.dmitry-kazakov.de/ada/aicwl.htm"
# GMGPLaccording to website (http://www.dmitry-kazakov.de/ada/aicwl.htm)
# LGPL according to sourceforge (https://sf.net/projects/aicwl)
licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
maintainers = ["Vinzent \"Jellix\" Saranen <vinzent@heisenbug.eu>"]
maintainers-logins = ["Jellix"]
project-files = ["sources/aicwl.gpr", # The library itself
"sources/aicwl-editor.gpr" # UI editor component
# Examples and tests omitted here
]
tags = ["widgets", "gauge", "graphics", "ui", "gtk"]
[gpr-externals]
Legacy = ["Ada95", "Ada2005", "Ada2012"] # defaults to "Ada2012"
Development = ["Debug", "Release", "Profile"] # defaults to "Debug"
# Target_OS = ["Windows", "Windows_NT", "Linux", "UNIX", "OSX", "FreeBSD", "auto"]
# arch = ["x86_64", "i686", "armhf", "aarch64", "auto"]
#
# Note: Arch and Target_OS are determined automatically from Project'Target, so
# no need to have them set explicitely.
#
# Object_Dir = [".", "nested"]
#
# Note: Object_Dir works as follows: If it's ".", it will remain so, if it's
# "nested", Object_Dir will become roughly obj/{OS}/{arch}/{Development},
# e.g. "obj/linux/x86_64/debug", all other cases result in Object_Dir
# being unchanged.
# Hence we should leave it as is (the default is "."), trusting Alire to
# set an appropriate one.
[[depends-on]]
gtkada = ">=17"
[origin]
commit = "73939c9ed0be13a994728d1c362b945e5d131f19"
url = "git+https://github.com/HeisenbugLtd/aicwl.git"
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Generator of JUnit-compatible XML reports"
name = "ajunitgen"
version = "1.0.0"
authors = ["Alejandro R. Mosteo"]
licenses = ["LGPL 3.0"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -3,7 +3,7 @@ version = "1.0.1"
description = "Generator of JUnit-compatible XML reports"
authors = [ "Alejandro R. Mosteo", ]
licenses = [ "LGPL 3.0", ]
licenses = "LGPL-3.0-only"
maintainers = [ "alejandro@mosteo.com", ]
maintainers-logins = [ "mosteo", ]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "anagram"
version = "1.0.0"
website = "https://github.com/reznikmm/anagram"
authors = ["Maxim Reznik"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/anagram.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ long-description = "# ANSI-Ada\n\n[![Alire indexed](https://img.shields.io/badge
name = "ansiada"
version = "0.1.0"
executables = ["ansi-demo"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["ansi.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Standalone, portable package for producing dynamically PDF docume
name = "apdf"
version = "5.0.0"
authors = ["Gautier de Montmollin"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_gnat.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "asis"
version = "2017.0.0"
website = "https://www.adacore.com/download/more"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
licenses = "GPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["asis.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "asis"
version = "2018.0.0"
website = "https://www.adacore.com/download/more"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
licenses = "GPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["asis.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "asis"
version = "2019.0.0"
website = "https://www.adacore.com/download/more"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
licenses = "GPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["asis.gpr"]
+15
View File
@@ -0,0 +1,15 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.1.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"]
[origin]
commit = "1951459d24343b55dc814d257447756a18b149cd"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+15
View File
@@ -0,0 +1,15 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.2.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"]
[origin]
commit = "e5c679bd6e2a11ea4bc37ad56e4b33907bd11ce2"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+17
View File
@@ -0,0 +1,17 @@
description = "Ada unit test framework"
name = "aunit"
version = "21.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[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/v21.0.0.zip"
hashes=['sha512:d6561681375167650aa357b9263a9c810093be8fc4d3fabfd1811dffa81d2b84b7065812bd4ba5a86988b1dc30549e9d72a06c64c5c91646929b96cbec5d4fe8']
+45
View File
@@ -0,0 +1,45 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "21.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["install_dir/share/gpr/aws.gpr"]
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
# Since the AWS project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch action.
[[actions]]
type = "post-fetch"
command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false",
"LAL=false", "XMLADA=false", "prefix=install_dir"]
[[depends-on]]
make = "*"
xmlada = "~21.0.0"
gnat = ">=9"
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable"]
PRJ_BUILD = ["Debug", "Release"]
PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals]
PRJ_LAL="Disabled"
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TARGET = "x86_64-linux-gnu"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
[origin]
url= "https://github.com/AdaCore/aws/releases/download/v21.0.0/aws-21.0.0.zip"
hashes=["sha512:57fddf8f59e39a08822ae2d0640ade3e3e3e9a7c76c06007c7df5a07e3b59cc7c9be001bfaeb10d64db924f343688f6a72deba175315d4d02d913c307070a635"]
-17
View File
@@ -1,17 +0,0 @@
description = "Ada Web Server"
name = "aws"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
hint = "Available through GNAT CE bundles"
kind = "hint"
[external.available."case(toolchain)"]
system = false
[[external]]
kind = "system"
origin = ["libaws3.3.2.2-dev"]
[external.available."case(toolchain)"]
user = false
+1 -1
View File
@@ -1,7 +1,7 @@
description = "XMPP client library in Ada"
name = "axmpp"
version = "1.0.0"
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
authors = ["Alexander Basov", "Vadim Godunko"]
website = "https://github.com/coopht/axmpp"
maintainers = ["Alexander Basov <coopht@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Generate various types of bar codes on different output formats"
name = "bar_codes"
version = "2.0.0"
authors = ["Gautier de Montmollin"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["bar_codes_gnat.gpr"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Collection of formally verified building blocks"
name = "basalt"
version = "0.1.0"
licenses = ["AGPL 3.0"]
licenses = "AGPL-3.0-only"
maintainers = ["kliemann@componolit.com"]
maintainers-logins = ["jklmnn"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Collection of formally verified building blocks"
name = "basalt"
version = "0.2.0"
licenses = ["AGPL 3.0"]
licenses = "AGPL-3.0-only"
maintainers = ["kliemann@componolit.com"]
maintainers-logins = ["jklmnn"]
+22
View File
@@ -0,0 +1,22 @@
name = "bbqueue"
description = "DMA friendly lock-free BipBuffer"
version = "0.1.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 = "*"
gnat = ">=10"
[origin]
commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Convenience subprograms to interact with C strings"
name = "c_strings"
version = "1.0.0"
authors = ["Alejandro R. Mosteo"]
licenses = ["LGPL 3.0"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
long-description = "# cortex-m\nAda drivers for the peripherals of ARM Cortex-M micro-controllers (NVIC,\nSysTick, etc.)\n\nThis crate is a snapshot of the `Cortex-M` support in [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).\nAny bug report, issue, contribution must be adressed to the [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/) repo.\n"
name = "cortex_m"
version = "0.1.0"
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
+1 -1
View File
@@ -14,7 +14,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
name = "cortex_m"
version = "0.2.0"
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
+33
View File
@@ -0,0 +1,33 @@
description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
long-description = '''# cortex-m
Ada drivers for the peripherals of ARM Cortex-M micro-controllers
(NVIC,\nSysTick, etc.)
This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "cortex_m"
version = "0.3.0"
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
tags = ["embedded", "arm", "nostd"]
auto-gpr-with=false # User has to select only one project file
[[depends-on]]
hal = "^0.1.0"
[origin]
commit = "2ed1d3d3324385f9f2183cfb9f562bb215d7a509"
url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
+15
View File
@@ -0,0 +1,15 @@
name = "curl"
description = "Command-line tool for transferring data with URL syntax"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"..." = ["curl"]
[[external]]
kind = "version-output"
version-command = ["curl", "--version"]
version-regexp = '^curl ([\d\.?]+).*'
+17
View File
@@ -0,0 +1,17 @@
name = "dcf"
description = "Ada 2012 library for document container files, a Zip-based format"
long-description = "An Ada 2012 library for document container files, a Zip-based archive format standardized in ISO/IEC 21320-1:2015"
version = "2.0.2"
website = "https://github.com/onox/dcf-ada"
licenses = "MIT"
tags = ["zip", "document", "container"]
authors = ["onox", "Gautier de Montmollin"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[origin]
hashes = [
"sha512:9ba2652fb7ac8b2768a8c3f9b56a0f643572411f56c29b1bed3f426042750657d3edfe5fc203176f9a3a6ef1e4c82a6b883c102f5f810209afdccb303d48258f",
]
url = "https://github.com/onox/dcf-ada/releases/download/v2.0.2/dcf-2.0.2.tgz"
+15
View File
@@ -0,0 +1,15 @@
name = "dotenv"
description = "Loads environment variables from .env for Ada projects."
version = "1.0.0"
authors = ["Heziode"]
maintainers = ["Heziode <heziode@protonmail.com>"]
maintainers-logins = ["Heziode"]
licenses = "BSD-2-Clause"
website = "https://github.com/Heziode/ada-dotenv"
tags = ["dotenv", "env", "environment", "variables", "config", "settings"]
[origin]
commit = "a19c7797b88954d90e3b11bc003eca0d262f3a39"
url = "git+https://github.com/Heziode/ada-dotenv.git"
@@ -1,14 +1,14 @@
description = "Apollo 11 lunar lander simulator"
name = "eagle_lander"
version = "1.2.0"
licenses = ["GPL 3.0"]
licenses = "GPL-3.0-only"
maintainers = ["fabien.choutea@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["eagle_lander.gpr"]
tags = ["simulator", "game", "gtk"]
[[depends-on]]
gtkada = "^17"
gtkada = "^21"
[origin]
url = "https://github.com/Fabien-Chouteau/eagle-lander/releases/download/v1.2/eagle_lander-1.2.zip"
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Expression Language Library (JSR245)"
name = "elada"
version = "1.7.0"
licenses = ["Apache 2.0"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/elada.gpr"]
@@ -13,7 +13,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
name = "embedded_components"
version = "0.1.0"
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
@@ -2,7 +2,7 @@ description = "Produce Excel spreadsheets"
name = "excel_writer"
version = "17.0.1"
authors = ["Gautier de Montmollin"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo", "zertovitch"]
project-files = ["excel_out_gnat.gpr"]
+1 -1
View File
@@ -5,7 +5,7 @@ name = "geste"
version = "1.0.0"
website = "https://github.com/Fabien-Chouteau/GESTE"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["geste.gpr"]
+1 -1
View File
@@ -5,7 +5,7 @@ name = "geste"
version = "1.1.0"
website = "https://github.com/Fabien-Chouteau/GESTE"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["geste.gpr"]
@@ -3,7 +3,7 @@ name = "geste_examples"
version = "1.0.0"
website = "https://github.com/Fabien-Chouteau/GESTE-examples"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["platformer/platformer.gpr", "RPG/RPG.gpr", "racing/racing.gpr"]
@@ -3,7 +3,7 @@ name = "geste_examples"
version = "1.0.1"
website = "https://github.com/Fabien-Chouteau/GESTE-examples"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["platformer/platformer.gpr", "RPG/RPG.gpr", "racing/racing.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Decoding a broad variety of image formats"
name = "gid"
version = "9.0.0"
authors = ["Gautier de Montmollin"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["gid.gpr"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "OpenGL Utility Toolkit"
name = "glut"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "GNAT is a compiler for the Ada programming language"
name = "gnat"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
-34
View File
@@ -1,34 +0,0 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
version = "2018.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
[[depends-on]]
gnat = "^2018"
[gpr-externals]
BUILD = ["DEBUG", "PROD"]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
LIBRARY_TYPE = "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"
[origin]
url = "https://community.download.adacore.com/v1/213105933eb2deb4d08f6b5beab518ad6c70fbac?filename="
archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"]
-34
View File
@@ -1,34 +0,0 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gnatcoll.gpr"]
[[depends-on]]
gnat = "^2019"
[gpr-externals]
BUILD = ["DEBUG", "PROD"]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
LIBRARY_TYPE = "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"
[origin]
url = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename="
archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz"
hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"]
+34
View File
@@ -0,0 +1,34 @@
name = "gnatcoll"
version = "21.0.0"
description = "GNAT Components Collection - Core packages"
website = "https://github.com/adacore/gnatcoll-core"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[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 = "21.0.0"
[[depends-on]]
libgpr = "~21.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0/gnatcoll-core-21.0.0.zip"
hashes=['sha512:6c0439a39495070c58af1eecd04b450d3f7fae8dfca21ce2200035893467c07b04ec037aeef84b5b1499fe683b9cadeb5425e7373b9d6204d1ed1deb5616d291']
-11
View File
@@ -1,11 +0,0 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgnatcoll16.1.0-dev", "libgnatcoll17-dev", "libgnatcoll18-dev"]
@@ -1,28 +0,0 @@
description = "GNAT Components Collection - Bindings to GMP"
name = "gnatcoll_gmp"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
[[depends-on]]
gnat = ">=9.0"
gnatcoll = "^2019"
libgmp = "^6.1"
[gpr-externals]
GNATCOLL_VERSION = ""
BUILD = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
GNATCOLL_VERSION = "2019"
LIBRARY_TYPE = "static-pic"
[origin]
url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -0,0 +1,22 @@
name = "gnatcoll_gmp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libgmp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,38 +0,0 @@
description = "GNAT Components Collection - Bindings to libiconv"
name = "gnatcoll_iconv"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
[[depends-on]]
gnat = ">=9.0"
gnatcoll = "^2019"
[gpr-externals]
GNATCOLL_ICONV_OPT = ""
GNATCOLL_VERSION = ""
BUILD = ["DEBUG", "PROD"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
GNATCOLL_ICONV_OPT = ""
GNATCOLL_VERSION = "2019"
LIBRARY_TYPE = "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"
[origin]
url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -0,0 +1,29 @@
name = "gnatcoll_iconv"
version = "21.0.0"
description = "GNAT Components Collection - iconv binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
[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 = "~21.0.0"
[depends-on."case(os)".windows]
libiconv = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,22 @@
name = "gnatcoll_lzma"
version = "21.0.0"
description = "GNAT Components Collection - lzma binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
liblzma = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,22 @@
name = "gnatcoll_omp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["omp/gnatcoll_omp.gpr"]
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libgomp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,23 @@
name = "gnatcoll_postgres"
version = "21.0.0"
description = "GNAT Components Collection - postgres"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_sql = "~21.0.0"
postgresql = "*"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,30 @@
name = "gnatcoll_python"
version = "21.0.0"
description = "GNAT Components Collection - python2 binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["python/gnatcoll_python.gpr"]
tags = ["gnatcoll", "bindings", "python", "python2"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[environment.'case(distribution)']
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python2.7/" }
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python2.7/" }
[available.'case(distribution)']
'debian|ubuntu|msys2' = true
'...' = false
[[depends-on]]
gnatcoll = "~21.0.0"
libpython2dev = "^2"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,30 @@
name = "gnatcoll_python3"
version = "21.0.0"
description = "GNAT Components Collection - python3 binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["python3/gnatcoll_python.gpr"]
tags = ["gnatcoll", "bindings", "python", "python3"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[environment.'case(distribution)']
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python3.7/:${DISTRIB_ROOT}/usr/include/python3.8/"}
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python3.8/" }
[available.'case(distribution)']
'debian|ubuntu|msys2' = true
'...' = false
[[depends-on]]
gnatcoll = "~21.0.0"
libpython3dev = "^3"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,22 @@
name = "gnatcoll_readline"
version = "21.0.0"
description = "GNAT Components Collection - readline binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["readline/gnatcoll_readline.gpr"]
tags = ["gnatcoll", "bindings", "readline", "cli"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libreadline = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,21 @@
name = "gnatcoll_sql"
version = "21.0.0"
description = "GNAT Components Collection - sql"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,22 @@
name = "gnatcoll_sqlite"
version = "21.0.0"
description = "GNAT Components Collection - sqlite"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_sql = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,25 @@
name = "gnatcoll_syslog"
version = "21.0.0"
description = "GNAT Components Collection - syslog binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["syslog/gnatcoll_syslog.gpr"]
tags = ["gnatcoll", "bindings", "syslog", "logging"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[available.'case(os)']
'windows' = false
'...' = true
[[depends-on]]
gnatcoll = "~21.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,24 @@
name = "gnatcoll_xref"
version = "21.0.0"
description = "GNAT Components Collection - xref"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["xref/gnatcoll_xref.gpr"]
tags = ["gnatcoll", "database", "xref", "ali"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_iconv = "~21.0.0"
gnatcoll_sql = "~21.0.0"
gnatcoll_sqlite = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,22 @@
name = "gnatcoll_zlib"
version = "21.0.0"
description = "GNAT Components Collection - zlib binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only 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"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
zlib = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
+45
View File
@@ -0,0 +1,45 @@
description = "An Ada graphical toolkit based on Gtk+"
website = "https://github.com/adacore/gtkada"
name = "gtkada"
version = "21.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["install_dir/lib/gnat/gtkada.gpr"]
tags = ["gtk", "gui"]
# Add msys in the OS list in config.sub
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
[[actions]]
type = "post-fetch"
command = ["bash", "configure", "--with-GL=no"]
# Since the GTKAda project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch action.
[[actions]]
type = "post-fetch"
command = ["make", "all", "install", "prefix=install_dir"]
[[depends-on]]
make = "*"
pkg_config = "*"
libgtk3 = "^3"
[depends-on.'case(os)'.windows]
winpthreads = "*"
[gpr-externals]
LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
[environment.'case(distribution)']
msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
[origin]
url="https://github.com/AdaCore/gtkada/archive/v21.0.0/gtkada-21.0.0.zip"
hashes=["sha512:3c1373c0a1168ae875398a0b5a1941234f6620ac114088980b83558c984c4566b87796fb4098de371af206ca6a4ae0fb4c6390119c5606a9f6a5b142916ce8d8"]
-13
View File
@@ -1,13 +0,0 @@
description = "Ada binding for the GTK+ GUI"
name = "gtkada"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
available."case(toolchain)".user = false
[external.origin."case(distribution)"]
debian = ["libgtkada18-dev"]
ubuntu = ["libgtkada16.1.0-dev", "libgtkada19-dev"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Hardware Abstraction Layer (HAL)"
long-description = "\n# hal\nHardware Abstraction Layer: interfaces definitions to abstract access to common\nhardware devices and protocols\n\nThis crate is a snapshot of the `hal` in [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).\nAny bug report, issue, contribution must be adressed to the [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/) repo.\n"
name = "hal"
version = "0.1.0"
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["hal.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "hangman"
version = "1.0.0"
authors = ["Jon Hollan, Mark Hoffman, & Brandon Ball"]
executables = ["hangmain"]
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "\"Hello, world!\" demonstration project"
name = "hello"
version = "1.0.0"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "\"Hello, world!\" demonstration project"
name = "hello"
version = "1.0.1"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Ada wrapper for the fast Stachniss' Hungarian solver"
name = "hungarian"
version = "1.0.0"
authors = ["alejandro@mosteo.com"]
licenses = ["LGPL 3.0"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1 +1 @@
version = "0.4"
version = "0.5"
+20
View File
@@ -0,0 +1,20 @@
name = "iterators"
description = "Functional iterators a la Rust"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
website = "https://github.com/mosteo/iterators"
licenses = "LGPL-3.0-only"
tags = ["iterators", "functional"]
[[depends-on]]
aaa = "~0.2.1"
gnat = ">=10"
[origin]
commit = "b3abe21ddb9a35e5bdbff6a1656dc8dcbb79a6fc"
url = "git+https://github.com/mosteo/iterators.git"
@@ -12,7 +12,7 @@ name = "jupyter_kernel"
version = "1.0.0"
website = "https://github.com/reznikmm/jupyter/"
authors = ["Max Reznik"]
licenses = ["BSD 3-Clauses"]
licenses = "BSD-3-Clause"
maintainers = ["Max Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/jupyter_ada_kernel.gpr", "gnat/jupyter_ada_driver.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "jwt"
version = "1.0.0"
website = "https://github.com/reznikmm/jwt"
authors = ["Maxim Reznik"]
licenses = ["MIT"]
licenses = "MIT"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/jwt.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/je
name = "keystoreada"
version = "1.1.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = ["Apache 2.0"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/keystoreada.gpr"]
@@ -0,0 +1,23 @@
name = "lal_highlight"
description = "Simple code highlighters based on Libadalang"
version = "21.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"]
project-files = ["highlight.gpr"]
executables = ["highlight", "ada2web"]
[origin]
url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/highlight-21.0.0.tar.gz"
archive-name = "highlight-21.0.0.tar.gz"
hashes = ["sha512:357f237b90559b05bab454b6dafda2949d663b87db2704f2c23cc3e3d3400a8a60609382a7f5489419b19b2a38195e25cfa030e7cf4a7887df1566222014ef98"]
[[depends-on]]
gnatcoll_iconv = "^21"
[[depends-on]]
libadalang = "^21"
@@ -0,0 +1,22 @@
name = "langkit_support"
description = "Runtime support library for Langkit-generated libraries"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <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/v21.0.0/langkit_support-21.0.0.tar.gz"
archive-name = "langkit_support-21.0.0.tar.gz"
hashes = ["sha512:b52319d5b7fac6b8866b618105edc4c4a4a98d785a61b6e8c3096921b117bea9629854ebdcd956eb005604cdc78686cd4577d27121cdb41339ee73bb4222168b"]
[[depends-on]]
gnatcoll = "^21"
[[depends-on]]
gnatcoll_iconv = "^21"
@@ -0,0 +1,24 @@
name = "libadalang"
description = "Ada semantic analysis library"
version = "21.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/v21.0.0/libadalang-21.0.0.tar.gz"
archive-name = "libadalang-21.0.0.tar.gz"
hashes = ["sha512:955d25549416658815862829499b7f02008990922a32102afacefc760e835c8b054129c60e41dbcc6035d7e917c9450c71cc5edf79f3707b8073e5245800c110"]
[[depends-on]]
gnatcoll = "^21"
[[depends-on]]
gnatcoll_gmp = "^21"
[[depends-on]]
gnatcoll_iconv = "^21"
[[depends-on]]
langkit_support = "^21"
+1 -1
View File
@@ -1,6 +1,6 @@
description = "Oracle Instant Client"
name = "libclntsh"
licenses = []
website = "https://www.oracle.com/database/technologies/instant-client/downloads.html"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
@@ -1,6 +1,6 @@
description = "Firebird DB client library"
name = "libfbclient"
licenses = []
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
+1 -1
View File
@@ -1,6 +1,6 @@
name = "libfuse"
description = "Interface for userspace programs to export a filesystem"
licenses = ["LGPL 2.1"]
licenses = "LGPL-2.1-only"
maintainers = ["nicolai.ruckel@uni-weimar.de"]
maintainers-logins = ["NicolaiRuckel"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "Portable library for OpenGL, window and input"
name = "libglfw3"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "The GNU Multiple Precision Arithmetic Library"
name = "libgmp"
licenses = ["LGPL 3.0"]
licenses = "LGPL-3.0-only"
maintainers = ["derodat@adacore.com", "chouteau@adacore.com"]
maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "GNU TLS library"
name = "libgnutls"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+11
View File
@@ -0,0 +1,11 @@
description = "GNU OpenMP library"
name = "libgomp"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgomp1"]
msys2=["mingw-w64-x86_64-gcc"]
+23
View File
@@ -0,0 +1,23 @@
name = "libgpr"
version = "21.0.0"
description = "GNAT Project File Library"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gpr/gpr.gpr"]
[[actions.'case(os)'.macos]]
type = "post-fetch"
command = ["sed", "-i", "", "s/st_mtim/st_mtimespec/", "gpr/src/gpr_imports.c"]
[gpr-externals]
GPR_BUILD = ["debug", "production", "coverage", "profiling"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
xmlada = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gprbuild/archive/v21.0.0/gprbuild-21.0.0.zip"
hashes=['sha512:49263e36e5431356f60630129c8fbebf7dcdca7083fd47b2ee1a4fa80e84cb09748f2d8bc660b68850ad62634b9c8ba57b287b4934d0c908becd1a52b8b7e1fc']
@@ -1,6 +1,6 @@
description = "Drawing of ASCII graphs"
name = "libgraph_easy_perl"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "The GNU Scientific Library (GSL)"
name = "libgsl"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+12
View File
@@ -0,0 +1,12 @@
description = "GObject-based multi-platform GUI toolkit (v3)"
name = "libgtk3"
licenses = "LGPL-3.0-only"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgtk-3-dev"]
arch = ["gtk3"]
msys2 = ["mingw-w64-x86_64-gtk3"]

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