* Update Debian/Ubuntu system packages
* Fixed gnatcoll 2019 dependency on GNAT
Depending on non CE GNAT is faultly because libgpr is not available in that
case.
* Added 'SI_Units' library.
* Added 'SI_Units' library.
* * Deleted old file.
And here I thought, git mv takes care of that...
* * Deleted old file.
And here I thought, git mv takes care of that...
* SPAT v1.0.0
* Update spat.toml
* Trying to fix dependencies.
* Next try.
* Hmm...
* * Saatana: Updated release to v2.0.2, and project website.
* * Reverted removal of 2.0.0 release
The policy is to never remove older releases.
Added a notes entry to clarify why 2.0.0 is deprecated.
* + Added dependency on GNAT CE 2020
* Add crate for Ada LZMA library thin binding
* Add crate for Ada Utility Library version 2.0.0
The library is split in several parts so that we can avoid
depending on LZMA, Curl and XML/Ada. Still missing the HTTP
support with AWS.
* Update to use the git archive with a hash
Use better descriptions for the projects
Avoid copying the Alire GNAT projects and use them in-place
* Update to use the git archive with a hash and the GNAT alire project in-place
* Fix the index version
* Integrate new version 2.1.0, add tags and long description
* Update to add tags, descriptions and new version 2.1.0
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
* Added "security" library (Heisenbug)
* A collection of formally verified cryptographic algorithms
* Update security.heisenbug.toml
* Fixing: "Tag string not valid"
* SHA256 doesn't seem to be supported?
Try SHA512 instead...
* + Update to v1.0.1
* * Rename to comply with naming convention
* Moved file to proper directory after rename
* - Removed file from old (wrong) location
* - Removed 1.0.0 from version list
1.0.0 is broken, anyway.
* * Fixed typo
For some reason, I put test-phelix as executable name whereas it should have been test_phelix.
* * Heisenbug's Security library has been renamed to Saatana.
Alejandro R Mosteo
Vinzent "Jellix" Saranen
Maxim Reznik
Alejandro R Mosteo
Glen Cornell
Fabien Chouteau
JK
Stephane Carrez
Fabien Chouteau