1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
Source: asis
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Uploaders: Xavier Grave <xavier.grave@ipno.in2p3.fr>,
Nicolas Boulenguez <nicolas@debian.org>
Section: libdevel
Priority: extra
Standards-Version: 3.9.6
Build-Depends: dpkg-dev (>= 1.16.1), debhelper (>= 9),
# The ASIS library by itself only requires gnatvsn.
gnat, gnat-4.9, libgnatvsn4.9-dev, libgnatprj4.9-dev,
libgnatcoll1.6-dev,
libxmlada5-dev,
dh-ada-library
Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.asis
Vcs-Mtn: www.ada-france.org org.debian.asis
Homepage: http://libre.adacore.com/libre/tools
XS-Testsuite: autopkgtest
Package: libasis2014-dev
Replaces: libasis2013-dev
Conflicts: libasis2013-dev
Architecture: any
Depends: ${ada:Depends}, ${misc:Depends}
Suggests: asis-doc, libasis-dbg
Description: Ada Semantic Interface Specification (ASIS) headers and libraries
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
.
This package lets you build ASIS applications with GNAT.
Package: asis-programs
Architecture: any
Section: devel
Depends: gnat, gnat-4.9, ${shlibs:Depends}, ${misc:Depends}
Recommends: libaunit3.7.1-dev
Description: Ada Semantic Interface Specification (ASIS) example programs
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
.
* asistant is an interactive command-line tool to explore the ASIS parse tree
of a program.
* gnatcheck verifies the conformance of source text to coding conventions
* gnatelim finds out unused subprograms and eliminates them.
* gnatmetric calculates metrics such as code complexity.
* gnatpp is a pretty-printer which reformats Ada source text according to
a default or user-specified style guide.
* gnatstub generates an empty but compilable body for a given specification.
* gnattest creates AUnit test skeletons and harness for a project
(gnattest requires the libaunit development package to be installed)
Package: libasis2014
Architecture: any
Section: libs
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: gnat, gnat-4.9, ${shlibs:Depends}, ${misc:Depends}
Description: Ada Semantic Interface Specification (ASIS) runtime library
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
.
This package contains the libraries necessary to execute ASIS programs.
Package: libasis-dbg
Architecture: any
Multi-Arch: same
Section: debug
Depends: ${ada:Depends}, ${misc:Depends}
Recommends: ${ada:Recommends}
Suggests: ${ada:Suggests}
Description: Ada Semantic Interface Specification (ASIS) runtime library - debugging symbols
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
.
This package contains the symbols necessary to debug ASIS programs using gdb.
Package: asis-doc
Architecture: all
Section: doc
Depends: ${misc:Depends}
Suggests: gnat
Description: Ada Semantic Interface Specification (ASIS) documentation
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
.
This package contains the tutorial, news and examples, but not the
extensive manuals until their license has been clarified.
|
