From 039d1a70b2c57ef37f583fda0e511f259afcc6f5 Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Fri, 3 Jan 2025 11:05:58 +0200 Subject: [PATCH] raiden 1.0.0 (via `alr publish --submit`) --- index/ra/raiden/raiden-1.0.0.toml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 index/ra/raiden/raiden-1.0.0.toml diff --git a/index/ra/raiden/raiden-1.0.0.toml b/index/ra/raiden/raiden-1.0.0.toml new file mode 100644 index 00000000..8b0f524a --- /dev/null +++ b/index/ra/raiden/raiden-1.0.0.toml @@ -0,0 +1,26 @@ +name = "raiden" +description = "An Ada implemenetation of a block cipher called Raiden." +version = "1.0.0" + +authors = ["Max Reznik"] +maintainers = ["Max Reznik "] +maintainers-logins = ["reznikmm"] +licenses = "MIT OR Apache-2.0 WITH LLVM-exception" +website = "https://github.com/reznikmm/raiden" +tags = ["cryptography", "security", "cipher"] +project-files = ["gnat/raiden.gpr"] + +[configuration] +output_dir = "gnat" +generate_ada = false +generate_c = false + +[build-switches] +development.style_checks = ["-gnaty"] +development.contracts = "Yes" + + +[origin] +commit = "0852925be11ecf7fa89568d3d681ea896c165e05" +url = "git+https://github.com/reznikmm/raiden.git" +