web analytics

Edit

UID: libgnutls

Crate name:

GNU TLS library

Kind:
alire-lib

alire-lib

Category:

Dependencies:

spark_unbound, #, gnat

Info updated on:
2022-11-06T01:00:00+01:00
Summary:

Verified Ascii To Number conversion written in Ada/SPARK

Author:

by Manuel Hatzl

Website:

github.com/mhatzl/vaton

Ada Packages names:

github.com/mhatzl/vaton

License:

SPDX: MIT

Tags:

spark

File downloads:

crates.zip

crates.dmg

Details:

EEC GDPR compliant