adacontrol-doc - Ada rules controller (documentation)

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe i386
Package name adacontrol-doc
Package version 1.19r10
Package release 2
Package architecture all
Package type deb
Installed size 1.75 KB
Download size 1.17 MB
Official Mirror
AdaControl verifies that Ada software meets the requirements of a
number of parameterizable rules.  It is not intended to supplement
checks made by the compiler, but rather to search for particular
violations of good-practice rules, or to check that some rules are
obeyed project-wide.
This package contains the documentation.


Package Version Architecture Repository
adacontrol-doc_1.19r10-2_all.deb 1.19r10 all Ubuntu Universe
adacontrol-doc - - -


Name Value
adacontrol << 1.17r3.1-2


Type URL
Binary Package adacontrol-doc_1.19r10-2_all.deb
Source Package adacontrol

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install adacontrol-doc deb package:
    # sudo apt-get install adacontrol-doc




See adacontrol_1.19r10-2_i386.deb changelog.

See Also

Package Description
adacontrol_1.19r10-2_i386.deb Ada rules controller
adanaxisgpl-data_1.2.5.dfsg.1-6_all.deb Action game in four spatial dimensions
adanaxisgpl_1.2.5.dfsg.1-6_i386.deb Action game in four spatial dimensions
adapt_1.5-0ubuntu1_all.deb adapt package from one version of Ubuntu to another
adapterremoval-examples_2.2.2-1_all.deb rapid adapter trimming, identification, and read merging (example data)
adapterremoval_2.2.2-1_i386.deb rapid adapter trimming, identification, and read merging of gene sequences
adb_7.0.0+r33-2_i386.deb Android Debug Bridge
adcli_0.8.2-1_i386.deb Tool for performing actions on an Active Directory domain
add-apt-key_1.0-0.5_all.deb Command line tool to add GPG keys to the APT keyring
addresses-goodies-for-gnustep_0.4.8-3_i386.deb Personal Address Manager for GNUstep (Goodies)
addressmanager.app_0.4.8-3_i386.deb Personal Address Manager for GNUstep
adequate_0.15.1ubuntu5_all.deb Debian package quality testing tool
adjtimex_1.29-9_i386.deb kernel time variables configuration utility
adlibtracker2_2.4.23-1_i386.deb userfriendly tracker aimed for the OPL3 FM-chip
adlint_3.2.14-2_all.deb open source and free source code static analyzer