César Sagaert
500f7aeb2d
* bigints 0.1.0-dev (via `alr publish`) * Rename bigints-0.1.0-dev.toml to bigints-0.1.0.toml * add tags --------- Co-authored-by: César Sagaert <sagaert@adacore.com> Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es> Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
21 lines
583 B
TOML
21 lines
583 B
TOML
name = "bigints"
|
|
description = "Experimental SPARK Constant Time Big Integer library"
|
|
version = "0.1.0"
|
|
|
|
authors = ["Cesar SAGAERT"]
|
|
maintainers = ["Cesar SAGAERT <sagaert@adacore.com>"]
|
|
maintainers-logins = ["AldanTanneo"]
|
|
licenses = "MIT"
|
|
website = "https://github.com/AldanTanneo/bigints"
|
|
tags = ["spark", "cryptography", "prime-field", "integers"]
|
|
|
|
[build-switches]
|
|
"*".ada_version = "Ada2022"
|
|
development.optimization = ["-O3"]
|
|
release.runtime_checks = "none"
|
|
|
|
[origin]
|
|
commit = "f5a14868e8a0e2cf8e273c592c11b8de02e81164"
|
|
url = "git+https://github.com/AldanTanneo/bigints.git"
|
|
|