Difference between revisions of "ASIS"

From Free Software Directory
Jump to: navigation, search
(Debian import)
 
(Added version Debian Trisquel Manual)
Line 1: Line 1:
 
{{Entry
 
{{Entry
|Name=Asis
+
|Name=ASIS
|Short description=Ada Semantic Interface Specification (ASIS) documentation
+
|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
This package contains the tutorial, news and examples, but not
 
the extensive manuals until their license has been clarified.
 
|Homepage URL=http://libre.adacore.com/libre/tools
 
|User level=
 
|Component programs=
 
|VCS checkout command=
 
 
|Computer languages=Ada
 
|Computer languages=Ada
 +
|Documentation note=http://docs.adacore.com/asis-docs/html/asis_ug/asis_ug.html
 +
|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=BABA200
 +
|Last review date=2017/03/02
 +
|Submitted by=Debian import
 +
|Submitted date=2015-07-17
 
|Status=
 
|Status=
 
|Is GNU=No
 
|Is GNU=No
|Version identifier=2014-4
 
|Version download=http://ftp.debian.org/debian/pool/main/a/asis/asis_2014.orig.tar.xz
 
|Submitted by=Debian import
 
|Submitted date=2015-07-17
 
}}
 
{{Import
 
|Source=Debian
 
|Source link=http://packages.debian.org/sid/asis
 
|Source packages=asis 2014-4
 
|Date=2015-07-17
 
 
}}
 
}}
 
{{Project license
 
{{Project license
Line 32: Line 25:
 
|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 URL=
 
}}
 
}}
 
{{Resource
 
{{Resource
|Resource kind=Download
+
|Resource audience=Home
|Resource URL=https://libre.adacore.com/libre/download/
+
|Resource kind=Homepage
 +
|Resource URL=http://libre.adacore.com/tools/
 +
}}
 +
{{Resource
 +
|Resource audience=Debian
 +
|Resource kind=Homepage
 +
|Resource URL=https://tracker.debian.org/pkg/asis
 +
}}
 +
{{Resource
 +
|Resource audience=Trisquel
 +
|Resource kind=Homepage
 +
|Resource URL=http://packages.trisquel.info/belenos/asis-programs
 +
}}
 +
{{Software category}}
 +
{{Featured}}
 +
{{Import
 +
|Date=2015-07-17
 +
|Source=Debian
 +
|Source link=http://packages.debian.org/sid/asis
 
}}
 
}}

Revision as of 04:16, 2 March 2017


[edit]

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

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

AudienceResource typeURI
HomeHomepagehttp://libre.adacore.com/tools/
Debian (Ref) (R)https://tracker.debian.org/pkg/asis


Software prerequisites




Entry








"Maintainer Debian" is not in the list (Maintainer, Contributor, Developer, Sponsor, Unknown) of allowed values for the "Role" property.


"Home" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Debian" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Trisquel" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.






Date 2015-07-17
Source Debian
Source link http://packages.debian.org/sid/asis

[[Category:]]



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.