This package is 1.4 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/adacontrol/adacontrol_1.19r10-2_amd64.deb
.
View its full control file here:
debian/control
.
Ada rules controller
This package depends on:
libasis2017, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgnat-7 (>= 7.2.0-18ubuntu2), libgnatcoll16.1.0, libgnatvsn7 (>= 7.2.0-18ubuntu2), libgpr16.1.2016, libxmlada-dom4.6, libxmlada-input4.6, libxmlada-sax4.6.2016, libxmlada-schema4.6.2016, libxmlada-unicode4.6.2016
.
This package does not recommend any other package.
This package suggests:
adacontrol-doc
.
This package does not conflict with any other package.
adacontrol 1.19r10-2 is in ubuntu - bionic / universe. This package's architecture is: amd64.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/adactl
|
application/x-sharedlib | root:root | 0o755 | 4.1 MB |
/usr/bin/adactl_fix
|
application/x-sharedlib | root:root | 0o755 | 170.4 KB |
/usr/bin/pfni
|
application/x-sharedlib | root:root | 0o755 | 402.5 KB |
/usr/bin/ptree
|
application/x-sharedlib | root:root | 0o755 | 402.5 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/adacontrol/
|
root:root | 0o755 | ||
/usr/share/adacontrol/gnatcheck.aru
|
text/plain | root:root | 0o644 | 9.8 KB |
/usr/share/adacontrol/nasa.aru
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/adacontrol/no_83_unit_name.aru
|
text/plain | root:root | 0o644 | 250 bytes |
/usr/share/adacontrol/no_annex_c.aru
|
text/plain | root:root | 0o644 | 384 bytes |
/usr/share/adacontrol/no_annex_d.aru
|
text/plain | root:root | 0o644 | 466 bytes |
/usr/share/adacontrol/no_annex_e.aru
|
text/plain | root:root | 0o644 | 278 bytes |
/usr/share/adacontrol/no_annex_f.aru
|
text/plain | root:root | 0o644 | 240 bytes |
/usr/share/adacontrol/no_annex_g.aru
|
text/plain | root:root | 0o644 | 573 bytes |
/usr/share/adacontrol/no_annex_h.aru
|
text/plain | root:root | 0o644 | 126 bytes |
/usr/share/adacontrol/no_gnat_attribute.aru
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/adacontrol/no_io.aru
|
text/plain | root:root | 0o644 | 235 bytes |
/usr/share/adacontrol/no_obsolescent_features.aru
|
text/plain | root:root | 0o644 | 971 bytes |
/usr/share/adacontrol/no_standard_entity.aru
|
text/plain | root:root | 0o644 | 821 bytes |
/usr/share/adacontrol/no_standard_unit.aru
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/adacontrol/no_system_entity.aru
|
text/plain | root:root | 0o644 | 972 bytes |
/usr/share/adacontrol/ravenscar.aru
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/adacontrol/reserved_2005.aru
|
text/plain | root:root | 0o644 | 249 bytes |
/usr/share/adacontrol/SQALE.aru
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/adacontrol/verif.aru
|
text/plain | root:root | 0o644 | 599 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/adacontrol/
|
root:root | 0o755 | ||
/usr/share/doc/adacontrol/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/adacontrol/copyright
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/gprconfig/
|
root:root | 0o755 | ||
/usr/share/gprconfig/adacontrol.xml
|
text/xml | root:root | 0o644 | 4.5 KB |
/usr/share/gps/
|
root:root | 0o755 | ||
/usr/share/gps/plug-ins/
|
root:root | 0o755 | ||
/usr/share/gps/plug-ins/adacontrol.xml
|
text/xml | root:root | 0o644 | 4.5 KB |
/usr/share/gps/plug-ins/adactl-ask.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/gps/plug-ins/adactl-ask.svg
|
image/svg+xml | root:root | 0o644 | 134.5 KB |
/usr/share/gps/plug-ins/adactl-file.gif
|
image/gif | root:root | 0o644 | 1.0 KB |
/usr/share/gps/plug-ins/adactl-file.svg
|
image/svg+xml | root:root | 0o644 | 133.0 KB |
/usr/share/gps/plug-ins/adactl.py
|
text/plain | root:root | 0o644 | 29.8 KB |
/usr/share/gps/plug-ins/pfni.py
|
text/plain | root:root | 0o644 | 518 bytes |
/usr/share/gps/plug-ins/pfni.xml
|
text/xml | root:root | 0o644 | 897 bytes |
/usr/share/gps/plug-ins/zadactl.xml
|
text/xml | root:root | 0o644 | 8.1 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/adactl.1.gz
|
application/gzip | root:root | 0o644 | 2.1 KB |
/usr/share/man/man1/adactl_fix.1.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/man/man1/pfni.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/ptree.1.gz
|
application/gzip | root:root | 0o644 | 861 bytes |