https://github.com/annexi-strayline/ASAP

The ANNEXI-STRAYLINE AURA Public Repository
https://github.com/annexi-strayline/ASAP

Last synced: 14 days ago
JSON representation

The ANNEXI-STRAYLINE AURA Public Repository

• Host: GitHub
• URL: https://github.com/annexi-strayline/ASAP
• Owner: annexi-strayline
• License: bsd-3-clause
• Created: 2021-09-04T17:05:45.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-07-07T14:19:56.000Z (4 months ago)
• Last Synced: 2024-07-31T20:32:02.439Z (3 months ago)
• Size: 21.5 KB
• Stars: 6
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-ada - asap - A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder. (Frameworks / Components)

README

        
# ASAP

The ANNEXI-STRAYLINE AURA Public Repository

## AURA Configuration for using this repository

Replace _X with the appropriate number for your project.

```ada

package AURA.Respository_X with Pure is

    Format         : constant Repository_Format := git;

    Location       : constant String            := "https://github.com/annexi-strayline/ASAP.git";

    Tracking_Branch: constant String            := "stable-1.0.x.y";

end AURA.Repository_X;

```