About

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.

Description

Ada rules controller

Relations

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.

Package Contents

This package is indexed.

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