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 <alejandro@mosteo.com>
2020-10-14 13:24:41 +02:00
parent 6146d32bbe
commit fc4f7b8a08
1 changed files with 22 additions and 0 deletions
@@ -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"
+