Test ran at 2024-03-27 12:27:02.610292+00:00 SOLUTION: saatana=2.0.2: SPARK/Ada Algorithms Targeting Advanced Network Applications Origin: source archive v2.0.2.tar.gz at https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz with hash sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41 Properties: Description: SPARK/Ada Algorithms Targeting Advanced Network Applications Executable: test_phelix License: WTFPL Long_Description: Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications A collection of cryptographic algorithms, proven for correctness in SPARK. Currently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html) Maintainer: vinzent@heisenbug.eu Maintainers_Logins: Jellix Name: saatana Project_File: saatana.gpr Tag: cryptography Tag: spark Version: 2.0.2 Website: https://github.heisenbug.eu/Saatana Dependencies (direct): gnat^2020 Dependencies (external): gnat^2020 (direct,hinted) Dependencies (graph): saatana=2.0.2 --> gnat^2020 Dependencies cannot be met LOG: