gnat-13 (13.4.0-10ubuntu1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://ports.ubuntu.com
Codename
stonking
Component
universe
Source
gcc-13
Architecture
arm64
Section
universe/devel
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
83 B
Size expected
26.5 kB
Size actual
26.5 kB
Size match

Dependencies

Required package dependencies

  • gnat-13-aarch64-linux-gnu (= 13.4.0-10ubuntu1)
  • gcc-13-base (= 13.4.0-10ubuntu1)
  • gcc-13 (>= 13)

Suggested packages

Recommended additional packages

  • gnat-13-doc
  • ada-reference-manual-2012
  • gnat-13-sjlj

Description

GNU Ada compiler

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5d3247211…d4daf16c
SHA-1ba86abf5…004bf98b
SHA-256e919dae8…f89855fd
SHA-5127577e755…c24c5500

Contents

Files and directories included

.
usr
usr/bin
usr/share
usr/share/doc
usr/share/doc/gcc-13-base
usr/share/doc/gcc-13-base/ada
usr/share/doc/gcc-13-base/ada/ChangeLog.gz
usr/share/man
usr/share/man/man1
usr/bin/gnat
usr/bin/gnat-13
usr/bin/gnatbind
usr/bin/gnatbind-13
usr/bin/gnatchop
usr/bin/gnatchop-13
usr/bin/gnatclean
usr/bin/gnatclean-13
usr/bin/gnatgcc
usr/bin/gnathtml
usr/bin/gnathtml-13
usr/bin/gnatkr
usr/bin/gnatkr-13
usr/bin/gnatlink
usr/bin/gnatlink-13
usr/bin/gnatls
usr/bin/gnatls-13
usr/bin/gnatmake
usr/bin/gnatmake-13
usr/bin/gnatname
usr/bin/gnatname-13
usr/bin/gnatprep
usr/bin/gnatprep-13
usr/share/doc/gnat-13
usr/share/man/man1/aarch64-linux-gnu-gnatgcc.1.gz
usr/share/man/man1/gnat-13.1.gz
usr/share/man/man1/gnat.1.gz
usr/share/man/man1/gnatbind-13.1.gz
usr/share/man/man1/gnatbind.1.gz
usr/share/man/man1/gnatchop-13.1.gz
usr/share/man/man1/gnatchop.1.gz
usr/share/man/man1/gnatclean-13.1.gz
usr/share/man/man1/gnatclean.1.gz
usr/share/man/man1/gnatgcc.1.gz
usr/share/man/man1/gnathtml-13.1.gz
usr/share/man/man1/gnathtml.1.gz
usr/share/man/man1/gnatkr-13.1.gz
usr/share/man/man1/gnatkr.1.gz
usr/share/man/man1/gnatlink-13.1.gz
usr/share/man/man1/gnatlink.1.gz
usr/share/man/man1/gnatls-13.1.gz
usr/share/man/man1/gnatls.1.gz
usr/share/man/man1/gnatmake-13.1.gz
usr/share/man/man1/gnatmake.1.gz
usr/share/man/man1/gnatname-13.1.gz
usr/share/man/man1/gnatname.1.gz
usr/share/man/man1/gnatprep-13.1.gz
usr/share/man/man1/gnatprep.1.gz