Difference between revisions of "ASIS"
(Debian import) |
|||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
{{Entry | {{Entry | ||
− | |Name= | + | |Name=ASIS |
− | |Short description=Ada Semantic Interface Specification | + | |Short description=Ada Semantic Interface Specification |
|Full description=ASIS (Ada Semantic Interface Specification) lets you develop | |Full description=ASIS (Ada Semantic Interface Specification) lets you develop | ||
applications to walk through the sources of your Ada programs and | applications to walk through the sources of your Ada programs and | ||
examine the semantic constructs. | examine the semantic constructs. | ||
− | + | |Homepage URL=http://docs.adacore.com/asis-docs/html/asis_ug/asis_ug/introduction.html#introduction | |
− | |||
− | |||
− | |Homepage URL=http:// | ||
− | |||
− | |||
− | |||
|Computer languages=Ada | |Computer languages=Ada | ||
− | | | + | |Documentation note=http://docs.adacore.com/asis-docs/html/asis_ug/asis_ug.html |
+ | |Accepts cryptocurrency donations=No | ||
+ | |Version identifier=2014 | ||
+ | |Version date=2014/04/10 | ||
+ | |Version status=stable | ||
+ | |Version download=http://http.debian.net/debian/pool/main/a/asis/asis_2014.orig.tar.xz | ||
+ | |Last review by=Bendikker | ||
+ | |Last review date=2018/02/28 | ||
+ | |Submitted date=2015-07-17 | ||
|Is GNU=No | |Is GNU=No | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Project license | {{Project license | ||
Line 32: | Line 24: | ||
|License verified date=2014-10-21 | |License verified date=2014-10-21 | ||
|License note=License: gpl-3+ | |License note=License: gpl-3+ | ||
+ | }} | ||
+ | {{Person | ||
+ | |Real name=Ludovic Brenta | ||
+ | |Role=Maintainer Debian | ||
+ | |Email=lbrenta@debian.org | ||
}} | }} | ||
{{Resource | {{Resource | ||
− | |Resource kind= | + | |Resource audience=Home |
− | |Resource URL= | + | |Resource kind=Homepage |
+ | |Resource URL=http://libre.adacore.com/tools/ | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Debian (Ref) (R) | ||
+ | |Resource URL=https://tracker.debian.org/pkg/asis | ||
+ | }} | ||
+ | {{Software category}} | ||
+ | {{Featured}} | ||
+ | {{Import | ||
+ | |Date=2015-07-17 | ||
+ | |Source=Debian | ||
+ | |Source link=http://packages.debian.org/sid/asis | ||
}} | }} |
Latest revision as of 06:32, 7 March 2018
ASIS
http://docs.adacore.com/asis-docs/html/asis_ug/asis_ug/introduction.html#introduction
Ada Semantic Interface Specification
ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs.
Licensing
License
Verified by
Verified on
Notes
License
Verified by
Debian: Ludovic Brenta <lbrenta@debian.org>
Verified on
21 October 2014
Notes
License: gpl-3+
Leaders and contributors
Contact(s) | Role |
---|---|
Ludovic Brenta | Maintainer Debian |
Resources and communication
Audience | Resource type | URI |
---|---|---|
Home | Homepage | http://libre.adacore.com/tools/ |
Debian (Ref) (R) | https://tracker.debian.org/pkg/asis |
Software prerequisites
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.
The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.