Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/alire-project/ada_spark_workflow

A demo of best practices for open-source Ada/SPARK development
https://github.com/alire-project/ada_spark_workflow

Cannot locate `Ada.Containers.Formal_Vectors`

mosteo opened this issue about 2 months ago

Assorted fixes so the crate builds again

mosteo opened this pull request about 2 months ago

Fix typos and change git alias by actual command in README.md

mgrojo opened this pull request 4 months ago

Update main.yml: fix some typos

mgrojo opened this pull request 4 months ago

Update README.md - fix hyphen

bracke opened this pull request 6 months ago

Aunit ^23.0.0 fails to install via github workflows.

vushu opened this issue 10 months ago

Move `gnatprove` dependency to nested crate

mosteo opened this issue about 1 year ago

Interpretation of SemVer spec

esthermations opened this issue over 2 years ago

Fix typos

esthermations opened this pull request over 2 years ago

Fix pin relative path

mosteo opened this pull request over 2 years ago

Test