From 4197ed6252d6e087647a0ca7ed9756e65f2ef88b Mon Sep 17 00:00:00 2001 From: "Vinzent \"Jellix\" Saranen" Date: Mon, 19 Oct 2020 17:37:09 +0200 Subject: [PATCH] SPAT v1.3.0 (#187) * SPAT v1.3.0 * Update spat-1.3.0.toml * Refined dependency on si_units version --- index/sp/spat/spat-1.3.0.toml | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/sp/spat/spat-1.3.0.toml diff --git a/index/sp/spat/spat-1.3.0.toml b/index/sp/spat/spat-1.3.0.toml new file mode 100644 index 00000000..6285a757 --- /dev/null +++ b/index/sp/spat/spat-1.3.0.toml @@ -0,0 +1,28 @@ +description = "SPAT - SPARK Proof Analysis Tool" +long-description = """ +SPAT - SPARK Proof Analysis Tools + +Helper tool to obtain, analyse, sort, and filter timing information about +`gnatprove` runs (`SPARK` tools). +""" +name = "spat" +version = "1.3.0" +authors = ["Vinzent \"Jellix\" Saranen"] +website = "https://github.heisenbug.eu/spat" +licenses = ["WTFPL"] +tags = ["spark"] + +maintainers = ["vinzent@heisenbug.eu"] +maintainers-logins = ["Jellix"] +project-files = ["spat.gpr"] +executables = ["run_spat"] + +[[depends-on]] +si_units = "~0.2" +[depends-on."case(toolchain)".system] +gnatcoll = ">=19" + +[origin] +commit = "4ad4ab14447ac8cbbedcb8d47f026a66a73551d7" +url = "git+https://github.com/HeisenbugLtd/spat.git" +