[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
SPARK 2014 tools?
To
:
debian-ada@lists.debian.org
Subject
: SPARK 2014 tools?
From
: Jacob Sparre Andersen <
jacob@jacob-sparre.dk
>
Date
: Thu, 18 Aug 2016 08:15:14 +0200
Message-id
: <
[🔎]
671d58ee-5481-a452-e80f-17e33daf6090@jacob-sparre.dk
>
Has anybody looked into packaging the SPARK 2014 tools (gnatprove)? Are
there some serious stumbling blocks?
Greetings, Jacob -- "I've got _plenty_ of common sense!" "I just choose to ignore it."
Reply to:
debian-ada@lists.debian.org
Jacob Sparre Andersen (on-list)
Jacob Sparre Andersen (off-list)
Follow-Ups
:
Re: SPARK 2014 tools?
From:
Florian Schanda <florian@schanda.org.uk>
Prev by Date:
please fix liblog4ada
Next by Date:
Re: SPARK 2014 tools?
Previous by thread:
please fix liblog4ada
Next by thread:
Re: SPARK 2014 tools?
Index(es):
Date
Thread