Skip to content

Commit

Permalink
raiden 1.0.0 (#1349)
Browse files Browse the repository at this point in the history
  • Loading branch information
reznikmm authored Jan 5, 2025
1 parent fd38638 commit 00fe8d8
Showing 1 changed file with 26 additions and 0 deletions.
26 changes: 26 additions & 0 deletions index/ra/raiden/raiden-1.0.0.toml
Original file line number Diff line number Diff line change
@@ -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 <[email protected]>"]
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"

0 comments on commit 00fe8d8

Please sign in to comment.