Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
asis
42
package(s) known
AUR
asis
2020 (2020-1)
Summary:
Allows Ada programs access to the syntactic and semantic structure of source code.
Maintainer:
charlie5@aur
License:
GPL
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://libre.adacore.com/tools
4
6
Debian Oldstable
oldstable/main
asis
2015 (2015-1)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://libre.adacore.com/libre/tools
4
6
Debian Stable
stable/main
asis
2018 (2018-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://www.adacore.com/community
4
6
Debian Testing
testing/main
asis
2019 (2019-5)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://www.adacore.com/community
4
6
Debian Unstable
main
asis
2019 (2019-5)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://www.adacore.com/community
4
6
Deepin
main
asis
2018 (2018-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
Devuan 1.0 (Jessie)
jessie/main
asis
2014 (2014-4)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Devuan 2.0 (ASCII)
ascii/main
asis
2015 (2015-1)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Devuan 3.0 (Beowulf)
beowulf/main
asis
2018 (2018-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
Devuan 4.0 (Chimaera)
chimaera/main
asis
2019 (2019-5)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
Devuan Unstable
unstable/main
asis
2019 (2019-5)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
DPorts
lang/asis
2016 (2016_1)
Summary:
GNAT implementation of Ada Semantic Interface Specification
Maintainer:
ports@freebsd.org
Category:
lang
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://www.sigada.org/wg/asiswg/
4
6
FreeBSD Ports
lang/asis
2016 (2016_1)
Summary:
GNAT implementation of Ada Semantic Interface Specification
Maintainer:
ports@freebsd.org
Category:
lang
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://www.sigada.org/wg/asiswg/
4
6
Funtoo 1.4
lang-kit
dev-ada/asis
2019
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Homepage:
http://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10
4
6
Funtoo 1.4
lang-kit
dev-ada/asis
2018
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Homepage:
http://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8
4
6
Funtoo 1.4
lang-kit
dev-ada/asis
2016
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Homepage:
http://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71
4
6
Gentoo
dev-ada/asis
2019 (2019-r1)
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Package-related links:
Package details
View ebuild
Homepage:
http://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10
4
6
Gentoo
dev-ada/asis
2016 (2016-r1)
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Package-related links:
Package details
View ebuild
Homepage:
http://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71
4
6
Kali Linux Rolling
main
asis
2019 (2019-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Package-related links:
Git repository
Homepage:
https://www.adacore.com/community
4
6
LiGurOS 20.7
nokit
dev-ada/asis
2019 (2019-r1)
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Package-related links:
Git directory
View ebuild
Homepage:
https://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10
4
6
LiGurOS 20.7
nokit
dev-ada/asis
2016 (2016-r1)
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Package-related links:
Git directory
View ebuild
Homepage:
https://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71
4
6
LiGurOS 21.1
nokit
dev-ada/asis
2019 (2019-r1)
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Package-related links:
Git directory
View ebuild
Homepage:
https://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10
4
6
LiGurOS 21.1
nokit
dev-ada/asis
2016 (2016-r1)
Summary:
To develop tools for Ada software
Maintainer:
ada@gentoo.org
Category:
dev-ada
License:
GPL-3
Package-related links:
Git directory
View ebuild
Homepage:
https://libre.adacore.com/
4
6
Download(s):
http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71
4
6
Pardus 17
main
asis
2015 (2015-1)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Pardus 19
main
asis
2018 (2018-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
Parrot
main
asis
2019 (2019-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
PureOS Amber
asis
2018 (2018-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
misc
Homepage:
https://www.adacore.com/community
4
6
PureOS landing
asis
2019 (2019-5)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
misc
Homepage:
https://www.adacore.com/community
4
6
Raspbian Oldstable
main
asis
2015 (2015-1)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Raspbian Stable
main
asis
2018 (2018-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
libdevel
Homepage:
https://www.adacore.com/community
4
6
Raspbian Testing
main
asis
2019 (2019-5)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
devel
Homepage:
https://www.adacore.com/community
4
6
Ravenports
asis
2019
Summary:
Ada Semantic Interface Specification (GNAT)
Maintainer:
draco@marino.st
Category:
lang
Package-related links:
Ravenports Catalog entry
Port directory in Ravensource
Port buildsheet
Homepage:
http://www.sigada.org/wg/asiswg/
4
6
Download(s):
http://downloads.dragonlace.net/src/asis-2019-20190517-18AB5-src.tar.gz
4
6
Trisquel 6.0
toutatis/main
asis
2010 (2010-3)
Maintainers:
lbrenta@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Trisquel 7.0
belenos/main
asis
2010 (2010-6)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Trisquel 8.0
flidas/main
asis
2014 (2014-4)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Trisquel 9.0
etiona/main
asis
2017 (2017-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Homepage:
http://libre.adacore.com/libre/tools
4
6
Ubuntu 12.04
precise/universe
asis
2010 (2010-3)
Maintainers:
lbrenta@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Package-related links:
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Ubuntu 14.04
trusty/universe
asis
2010 (2010-6)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://libre.adacore.com/libre/tools
4
6
Ubuntu 16.04
xenial/universe
asis
2014 (2014-4)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://libre.adacore.com/libre/tools
4
6
Ubuntu 18.04
bionic/universe
asis
2017 (2017-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@ipno.in2p3.fr
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://libre.adacore.com/libre/tools
4
6
Ubuntu 20.04
focal/universe
asis
2019 (2019-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
https://www.adacore.com/community
4
6
Ubuntu 20.10
groovy/universe
asis
2019 (2019-2)
Maintainers:
lbrenta@debian.org
nicolas@debian.org
xavier.grave@csnsm.in2p3.fr
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
https://www.adacore.com/community
4
6