Package - gnat-13

Package:  gnat-13
apt-get install gnat-13
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/g/gcc-13/gnat-13_13.3.0-16_amd64.deb (Size: 25.8KiB)

PropertyValue
Packagegnat-13
Sourcegcc-13
Version13.3.0-16
Installed-Size83
MaintainerDebian GCC Maintainers
Architectureamd64
Providesgnat-13-540d70a4
Dependsgnat-13-x86-64-linux-gnu (= 13.3.0-16), gcc-13-base (= 13.3.0-16), gcc-13 (>= 13)
Suggestsgnat-13-doc, ada-reference-manual-2012, gnat-13-sjlj
Conflictsgnat-10, gnat-11, gnat-12, gnat-13, gnat-4.9, gnat-5, gnat-6, gnat-7, gnat-8, gnat-9
DescriptionGNU Ada compiler
Description-md58cebde0cd6b861927a7a457cacc8851f
Homepagehttp://gcc.gnu.org/
Sectiondevel
Priorityoptional
Filenamepool/main/g/gcc-13/gnat-13_13.3.0-16_amd64.deb
Size26412
MD5sum0723337bc7cb17a2e932739d4900046a
SHA256bf6012adf787d0a2f7bde1587b12fdd4c192b9f40556486cc7f4b602f0737280

Files in package

  • /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/gcc-13-base/ada/ChangeLog.gz
  • /usr/share/doc/gnat-13
  • /usr/share/lintian/overrides/gnat-13
  • /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/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