This package is 10.3 MB.
It is available at http://ftp.debian.org/debian/pool/main/g/gnat-gps/gnat-gps_6.1.1-1_amd64.deb
.
View its full control file here:
debian/control.
integrated development environment for C and Ada
This package depends on:
gnat-gps-common (= 6.1.1-1), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libgcc1 (>= 1:3.0), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.28.0), libgnat-6 (>= 6.1.1-10), libgnatcoll-gtk1.7, libgnatcoll-iconv1.7, libgnatcoll-python1.7, libgnatcoll-sqlite1.7, libgnatcoll1.7, libgnatprj6 (>= 6.1.1-10), libgnatvsn6 (>= 6.1.1-10), libgtk-3-0 (>= 3.3.16), libgtkada3.8.3, libpango-1.0-0 (>= 1.14.0), libtemplates-parser11.10.1, libxmlada-dom4.5.2015, libxmlada-input-sources4.5.2015, libxmlada-sax4.5.2015, libxmlada-unicode4.5.2015, gprbuild, python-gi, libgnatcoll-sqlite-bin.
This package recommends:
gnat (>= 4.9), gdb-minimal (>= 6.8), gnat-gps-doc (= 6.1.1-1), python-jedi, python-pep8.
This package does not suggest any other package.
This package does not conflict with any other package.
gnat-gps 6.1.1-1 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
preinst
|
text/x-shellscript | N/A | N/A | 356 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/gnatdoc
|
application/x-sharedlib | root:root | 0o755 | 7.6 MB |
/usr/bin/gnat-gps
|
application/x-sharedlib | root:root | 0o755 | 31.7 MB |
/usr/bin/gnatspark
|
application/x-sharedlib | root:root | 0o755 | 102.1 KB |
/usr/bin/gps_cli
|
application/x-sharedlib | root:root | 0o755 | 7.5 MB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/gnat-programming-studio.desktop
|
text/plain | root:root | 0o644 | 225 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/gnat-gps/
|
root:root | 0o755 | ||
/usr/share/doc/gnat-gps/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 9.7 KB |
/usr/share/doc/gnat-gps/changelog.gz
|
application/gzip | root:root | 0o644 | 95 bytes |
/usr/share/doc/gnat-gps/copyright
|
text/plain | root:root | 0o644 | 20.0 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/gnatdoc.1.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/man/man1/gnat-gps.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/gnatspark.1.gz
|
application/gzip | root:root | 0o644 | 711 bytes |
/usr/share/man/man1/gps_cli.1.gz
|
application/gzip | root:root | 0o644 | 671 bytes |