libasis2014 - Ada Semantic Interface Specification (ASIS) runtime library

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libasis2014
Package version 2014
Package release 4
Package architecture amd64
Package type deb
Installed size 1.83 KB
Download size 594.52 KB
Official Mirror
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
This package contains the libraries necessary to execute ASIS programs.


Package Version Architecture Repository
libasis2014_2014-4_i386.deb 2014 i386 Debian Main
libasis2014 - - -


Name Value
gnat -
gnat-4.9 -
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libgnat-4.9 >= 4.9.1-3
libgnatvsn4.9 >= 4.9.1-3
multiarch-support -


Type URL
Binary Package libasis2014_2014-4_amd64.deb
Source Package asis

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libasis2014 deb package:
    # sudo apt-get install libasis2014




2014-10-21 - Ludovic Brenta <>
asis (2014-4) unstable; urgency=medium
* debian/patches/report_unexpected_gnat_version.diff: delete; caused
ASIS to report a "wrong" version of GNAT if Gnatvsn.Gnat_Version_String
returned a string lacking a "(" in it.
* debian/patches/weak_version_check.diff: new.  Do not check the version
string of the compiler embedded in the tree files against
Gnatvsn.Gnat_Version_String.  Checking only the tree version number
(Tree_IO.ASIS_Version_Number, in libgnatvsn) is sufficient.
Closes: #765467.
2014-10-06 - Nicolas Boulenguez <>
asis (2014-3) unstable; urgency=medium
* Extra priority: asis-programs depends on gnatcoll, asis-dev on gnatvsn-dev.
2014-10-04 - Nicolas Boulenguez <>
asis (2014-2) unstable; urgency=medium
* control: fix typo and version: asis-programs Recommends: libaunit-dev.
2014-10-04 - Nicolas Boulenguez <>
asis (2014-1) unstable; urgency=medium
[Nicolas Boulenguez]
* Repackage without GFDL documentations.
* copyright: upstream license change from GPL 2 -> 3.
* Depend on gnatcoll, xmlada and gnatprj to build most executables.
* Manual pages: update doc references, remove authors (see man-pages(7)).
* Replace confusing and buggy get-orig-source with detailed README.source.
* Priority: -dev extra because Depends: libgnatvsn-dev.
* Avoid a GCC version check (redundant ant triggers #759038.
* Move -dbg to priority extra to please lintian.
* Standards-Version: 3.9.6 (no changes).
[Ludovic Brenta]
* New upstream release.  Package renamings per Debian Policy for Ada:
libasis2013{,-dev} -> libasis2014{,-dev}
* debian/patches/remove_ada_tree_predicate.diff: refresh.
* debian/rules (gnat2xsd): removed upstream, do not build anymore.
2014-05-01 - Nicolas Boulenguez <>
asis (2013-1) unstable; urgency=low
[Nicolas Boulenguez]
* New upstream version. Relies on gnat-4.9. Gnatsync removed.
Per policy, 3 package renamings, no Replaces/Conflicts.
Bug #642980 is closed in gnat-4.8, work-around removed.
remove_ada_tree_predicate.diff: predicate misused, 4.9 detects it.
* control: -dev Suggests asis-doc, not libasis-doc.
* rules: get-orig-source may be called outside the source directory.
Remove run times assertions and style checking.
Run-tests target obsoleted by sadt from devscripts.
* Standards-Version: 3.9.5 (no changes).
[Ludovic Brenta]
* Do not build gnatcheck anymore as it requires gnatcoll which is not
yet packaged.
2013-09-14 - Nicolas Boulenguez <>
asis (2010-6) unstable; urgency=low
* Switch to dpkg-source 3.0 (quilt) format.
* Uploaders += myself, removed obsolete DM-Upload-Allowed for Xavier.
* Rely on dpkg-dev and dh-ada-library for (hardening) flags.
Actually set library_kind when building tools.
Let gnatmake decide if recompilation is needed.
Do not set ALI files read-only (dh_fixperms handles this now).
* Switch to debhelper 9. Readers now handle compressed pdf.
Install README only once (in asis-doc).
* Switch to dh-ada-library. -dbg is now Multi-Arch: same.
* rules, *.gpr: consistent naming for persistent obj directories.
* Lintian: GFDL is mentioned in the patch removing it. Closes: #708779.
-dbg->lib dependency is generated in ada:Depends, not forgotten.
* copyright: adapt to the machine-readable format 1.0.
* Minimal link-with-shared test.
* Doc-base registration. Use texi2any instead of texi2html. Ignore texiplus.
* control: Standards-Version: 3.9.4. VCS-*. Homepage. Commented watch file.
* Replace - with \- in manpages.
* patches: refreshed without timestamps.
* Avoid duplicate installed README files. Avoid duplicate cleaning recipes.

See Also

Package Description
libasm-dev_0.159-4.2_amd64.deb libasm development libraries and header files
libasm1_0.159-4.2_amd64.deb library with a programmable assembler interface
libasm2-java-doc_2.2.3-6_all.deb Documentation for ASM, the Java(TM) bytecode manipulation framework
libasm2-java_2.2.3-6_all.deb Java bytecode manipulation framework
libasm3-java-doc_3.3.2-2_all.deb Documentation for ASM, the Java(TM) bytecode manipulation framework
libasm3-java_3.3.2-2_all.deb Java bytecode manipulation framework
libasm4-java-doc_5.0.3-1_all.deb Documentation for ASM, the Java(TM) bytecode manipulation framework
libasm4-java_5.0.3-1_all.deb Java bytecode manipulation framework
libasn1-8-heimdal_1.6~rc2+dfsg-9+deb8u1_amd64.deb Heimdal Kerberos - ASN.1 library
libasound2-data_1.0.28-1_all.deb Configuration files and profiles for ALSA drivers
libasound2-dev_1.0.28-1_amd64.deb shared library for ALSA applications -- development files
libasound2-doc_1.0.28-1_all.deb documentation for user-space ALSA application programming
libasound2-plugin-equal_0.6-6_amd64.deb equalizer plugin for ALSA
libasound2-plugins_1.0.28-1+b1_amd64.deb ALSA library additional plugins
libasound2_1.0.28-1_amd64.deb shared library for ALSA applications