web analytics

Edit

UID: basalt

Crate name:

Collection of formally verified building blocks

Kind:

alire-lib

alire-lib

Category:

Dependencies:

Info updated on:

2022-11-06T01:00:00+01:00

Summary:

'Hello, world!' demonstration project

Author:

by Alejandro R. Mosteo

Website:

github.com/alire-project/hello

Ada Packages names:

github.com/alire-project/hello

License:

SPDX: MIT

Tags:

File downloads:

crates.zip

crates.dmg

Details:

EEC GDPR compliant