From fc4f7b8a08fefb2401562e6fedf3150f0a1d9c16 Mon Sep 17 00:00:00 2001 From: "Vinzent \"Jellix\" Saranen" Date: Wed, 14 Oct 2020 13:24:41 +0200 Subject: [PATCH] SPAT v1.2.1 release (#173) Identical to v1.2.0, except for the version number and the added alire.toml Co-authored-by: Alejandro R Mosteo --- index/sp/spat/spat-1.2.1.toml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/sp/spat/spat-1.2.1.toml diff --git a/index/sp/spat/spat-1.2.1.toml b/index/sp/spat/spat-1.2.1.toml new file mode 100644 index 00000000..87b772b6 --- /dev/null +++ b/index/sp/spat/spat-1.2.1.toml @@ -0,0 +1,22 @@ +description = "SPAT - SPARK Proof Analysis Tool" +long-description = "SPAT - SPARK Proof Analysis Tools\nHelper tool to obtain timing information about gnatprove runs (SPARK tools).\n" +name = "spat" +version = "1.2.1" +authors = ["Vinzent \"Jellix\" Saranen"] +website = "https://github.heisenbug.eu/spat" +executables = ["run_spat"] +licenses = ["WTFPL"] +maintainers = ["vinzent@heisenbug.eu"] +maintainers-logins = ["Jellix"] +project-files = ["spat.gpr"] +tags = ["spark"] + +[[depends-on]] +si_units = "^0.1.0" +[depends-on."case(toolchain)".system] +gnatcoll = ">=19 & <2000" + +[origin] +commit = "a25eb494136dcddad52b831e8c058b383d93e677" +url = "git+https://github.com/HeisenbugLtd/spat.git" +