asis packages - Repology

Versions Packages Information History Related Badges Report

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:
Homepage:
- http://libre.adacore.com/tools⁴⁶

Debian Oldstable
^{oldstable/main}

asis

2015 (2015-1)

Maintainers:
Category:
- devel
Package-related links:
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Debian Stable
^stable/main

asis

2018 (2018-2)

Maintainers:
Category:
- devel
Package-related links:
Homepage:
- https://www.adacore.com/community⁴⁶

Debian Testing
^testing/main

asis

2019 (2019-5)

Maintainers:
Category:
- devel
Package-related links:
Homepage:
- https://www.adacore.com/community⁴⁶

Debian Unstable
^main

asis

2019 (2019-5)

Maintainers:
Category:
- devel
Package-related links:
Homepage:
- https://www.adacore.com/community⁴⁶

Deepin
^main

asis

2018 (2018-2)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

Devuan 1.0 (Jessie)
^jessie/main

asis

2014 (2014-4)

Maintainers:
Category:
- devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Devuan 2.0 (ASCII)
^ascii/main

asis

2015 (2015-1)

Maintainers:
Category:
- devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Devuan 3.0 (Beowulf)
^beowulf/main

asis

2018 (2018-2)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

Devuan 4.0 (Chimaera)
^{chimaera/main}

asis

2019 (2019-5)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

Devuan Unstable
^{unstable/main}

asis

2019 (2019-5)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

lang/asis

2016 (2016_1)

Summary:
GNAT implementation of Ada Semantic Interface Specification
Maintainer:
- ports@freebsd.org
Category:
- lang
Package-related links:
Homepage:
- http://www.sigada.org/wg/asiswg/⁴⁶

lang/asis

2016 (2016_1)

Summary:
GNAT implementation of Ada Semantic Interface Specification
Maintainer:
- ports@freebsd.org
Category:
- lang
Package-related links:
Homepage:
- http://www.sigada.org/wg/asiswg/⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71⁴⁶

Kali Linux Rolling
^main

asis

2019 (2019-2)

Maintainers:
Category:
- devel
Package-related links:
- Git repository
Homepage:
- https://www.adacore.com/community⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10⁴⁶

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/⁴⁶
Download(s):
- http://mirrors.cdn.adacore.com/art/57399029c7a447658e0aff71⁴⁶

Pardus 17
^main

asis

2015 (2015-1)

Maintainers:
Category:
- devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Pardus 19
^main

asis

2018 (2018-2)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

Parrot
^main

asis

2019 (2019-2)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

asis

2018 (2018-2)

Maintainers:
Category:
- misc
Homepage:
- https://www.adacore.com/community⁴⁶

asis

2019 (2019-5)

Maintainers:
Category:
- misc
Homepage:
- https://www.adacore.com/community⁴⁶

Raspbian Oldstable
^main

asis

2015 (2015-1)

Maintainers:
Category:
- devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Raspbian Stable
^main

asis

2018 (2018-2)

Maintainers:
Category:
- libdevel
Homepage:
- https://www.adacore.com/community⁴⁶

Raspbian Testing
^main

asis

2019 (2019-5)

Maintainers:
Category:
- devel
Homepage:
- https://www.adacore.com/community⁴⁶

asis

2019

Summary:
Ada Semantic Interface Specification (GNAT)
Maintainer:
- draco@marino.st
Category:
- lang
Package-related links:
Homepage:
- http://www.sigada.org/wg/asiswg/⁴⁶
Download(s):
- http://downloads.dragonlace.net/src/asis-2019-20190517-18AB5-src.tar.gz⁴⁶

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:
Category:
- universe/devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Trisquel 8.0
^flidas/main

asis

2014 (2014-4)

Maintainers:
Category:
- universe/devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Trisquel 9.0
^etiona/main

asis

2017 (2017-2)

Maintainers:
Category:
- universe/devel
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Ubuntu 12.04
^{precise/universe}

asis

2010 (2010-3)

Maintainers:
- lbrenta@debian.org
- xavier.grave@ipno.in2p3.fr
Category:
- universe/devel
Package-related links:

Ubuntu 14.04
^{trusty/universe}

asis

2010 (2010-6)

Maintainers:
Category:
- universe/devel
Package-related links:
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Ubuntu 16.04
^{xenial/universe}

asis

2014 (2014-4)

Maintainers:
Category:
- universe/devel
Package-related links:
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Ubuntu 18.04
^{bionic/universe}

asis

2017 (2017-2)

Maintainers:
Category:
- universe/devel
Package-related links:
Homepage:
- http://libre.adacore.com/libre/tools⁴⁶

Ubuntu 20.04
^{focal/universe}

asis

2019 (2019-2)

Maintainers:
Category:
- universe/devel
Package-related links:
Homepage:
- https://www.adacore.com/community⁴⁶

Ubuntu 20.10
^{groovy/universe}

asis

2019 (2019-2)

Maintainers:
Category:
- universe/devel
Package-related links:
Homepage:
- https://www.adacore.com/community⁴⁶