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 05: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.



Download

http://http.debian.net/debian/pool/main/a/asis/asis_2014.orig.tar.xz




Categories





Licensing

License

Verified by

Verified on

Notes

License

GPLv3orlater

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. 


				

									

						Retrieved from "https://directory.fsf.org/wiki?title=ASIS&oldid=44666"