/usr/bin/adactl /usr/bin/pfni /usr/bin/ptree /usr/share/adacontrol/gnatcheck.aru /usr/share/adacontrol/nasa.aru /usr/share/adacontrol/nasa.hdr /usr/share/adacontrol/no_annex_c.aru /usr/share/adacontrol/no_annex_d.aru /usr/share/adacontrol/no_annex_e.aru /usr/share/adacontrol/no_annex_f.aru /usr/share/adacontrol/no_annex_g.aru /usr/share/adacontrol/no_annex_h.aru /usr/share/adacontrol/no_gnat_attribute.aru /usr/share/adacontrol/no_io.aru /usr/share/adacontrol/no_obsolescent_features.aru /usr/share/adacontrol/no_standard_entity.aru /usr/share/adacontrol/no_standard_unit.aru /usr/share/adacontrol/no_system_entity.aru /usr/share/adacontrol/ravenscar.aru /usr/share/adacontrol/reserved_2005.aru /usr/share/adacontrol/verif.aru /usr/share/doc/adacontrol/HISTORY.gz /usr/share/doc/adacontrol/adacontrol_pm.html /usr/share/doc/adacontrol/adacontrol_pm.pdf.gz /usr/share/doc/adacontrol/adacontrol_ug.html /usr/share/doc/adacontrol/adacontrol_ug.pdf.gz /usr/share/doc/adacontrol/changelog.Debian.gz /usr/share/doc/adacontrol/copyright /usr/share/doc/adacontrol/support.txt /usr/share/gps/plug-ins/adactl.gif /usr/share/gps/plug-ins/adactl.py /usr/share/gps/plug-ins/adactl_ask.gif /usr/share/gps/plug-ins/pfni.py /usr/share/gps/plug-ins/pfni.xml /usr/share/gps/plug-ins/zadactl.xml /usr/share/info/adacontrol_pm.info.gz /usr/share/info/adacontrol_ug.info-1.gz /usr/share/info/adacontrol_ug.info-2.gz /usr/share/info/adacontrol_ug.info.gz /usr/share/man/man1/adactl.1.gz /usr/share/man/man1/pfni.1.gz /usr/share/man/man1/ptree.1.gz