adacontrol_1.20r7-3_i386.deb


Advertisement

Description

adacontrol - Ada rules controller

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename adacontrol_1.20r7-3_i386.deb
Package name adacontrol
Package version 1.20r7
Package release 3
Package architecture i386
Package type deb
Category devel devel::lang:ada implemented-in::ada interface::commandline role::program scope::utility use::checking works-with::software:source
Homepage http://www.adalog.fr/en/adacontrol.html
License -
Maintainer Ludovic Brenta <lbrenta@debian.org>
Download size 1.64 MB
Installed size 6.67 MB

Alternatives

Package Version Architecture Repository
adacontrol_1.20r7-3_amd64.deb 1.20r7 amd64 Debian Main
adacontrol - - -

Requires

Name Value
libasis2018 -
libc6 >= 2.4
libgcc1 >= 1:4.2
libgnat-8 >= 8.3.0
libgnatcoll17 >= 18
libgnatvsn8 >= 8.3.0-6
libgpr18 -
libxmlada-dom5 -
libxmlada-input5 -
libxmlada-sax5 -
libxmlada-schema5 -
libxmlada-unicode5 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package adacontrol_1.20r7-3_i386.deb
Source Package adacontrol

Install Howto

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

Files

Path
/usr/bin/adactl
/usr/bin/adactl_fix
/usr/bin/pfni
/usr/bin/ptree
/usr/share/adacontrol/SQALE.aru
/usr/share/adacontrol/gnatcheck.aru
/usr/share/adacontrol/nasa.aru
/usr/share/adacontrol/no_83_unit_name.aru
/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/changelog.Debian.gz
/usr/share/doc/adacontrol/changelog.gz
/usr/share/doc/adacontrol/copyright
/usr/share/gprconfig/adacontrol.xml
/usr/share/gps/plug-ins/adacontrol.xml
/usr/share/gps/plug-ins/adactl-ask.gif
/usr/share/gps/plug-ins/adactl-ask.svg
/usr/share/gps/plug-ins/adactl-file.gif
/usr/share/gps/plug-ins/adactl-file.svg
/usr/share/gps/plug-ins/adactl.py
/usr/share/gps/plug-ins/pfni.py
/usr/share/gps/plug-ins/pfni.xml
/usr/share/gps/plug-ins/zadactl.xml
/usr/share/man/man1/adactl.1.gz
/usr/share/man/man1/adactl_fix.1.gz
/usr/share/man/man1/pfni.1.gz
/usr/share/man/man1/ptree.1.gz

Changelog

2019-04-11 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.20r7-3) unstable; urgency=medium
* Ignore tests, but let them produce a log as suggested in #926747.
2019-04-04 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.20r7-2) unstable; urgency=medium
* Disable tests, lowering the severity of #924835.
2019-01-13 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.20r7-1) unstable; urgency=medium
* New upstream release.
* Debhelper 12.
* Standards-Version: 4.3.0.
* Disable broken fix_tfw_gpr test.
* Only include dpkg minimal snippet, only during -arch builds.
* Condition tests with both DEB_BUILD_{PROFILES,OPTIONS}.
* In run time tests, update ADTTMP to AUTOPKGTEST_TMP.
* Add upstream/metadata.
2018-07-27 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.19r10-4) unstable; urgency=medium
* Reupload to unstable.
* Standards-Version: 4.1.5. Rules-Requires-Root: no.
2018-06-23 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.19r10-3) experimental; urgency=medium
* Rebuild with gnat-8, libgnatcoll17-dev, libasis2017-dev.
* Standards-version 4.1.4.
* Patch the tests to use gnatgcc instead of gcc.
* Remove overrides for pedantic lintian messages.
2018-01-02 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.19r10-2) unstable; urgency=medium
* Remove remaining calls to Build-Depends-Arch during -indep builds.
2018-01-02 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.19r10-1) unstable; urgency=medium
* New upstream release.
Applied patches: fix-texinfo, put_ldflags_before_ldlibs.
New patches: bashism, build_adactl_fix, test-report-error, test_version,
reproducible-no-last-update.
* Handle new executable adactl_fix.
* Debhelper: 11. Simplify doc installation.
* Standards-Version: 4.1.3.
* Build-Depends: split common, -arch and -indep,
drop obsolete dpkg-dev minimal version,
add dos2unix now required by build-time tests.
* Add new option to adactl manpage. Fix some typos.
* Handle DEB_BUILD_OPTIONS=nocheck.
* Remove trailing whitespaces in this changelog.
* Lintian override for minor unfixable issues.
2017-08-11 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.18r9-2) unstable; urgency=medium
* Rebuild with libraries updated for gcc-7.
* disable-*-test.diff: temporary disable two failing tests.
* Adapt install and clean of info files to --no-split option.
* Update Homepage, Vcs-Mtn, texlive-generic package name.
* Drop explicit rules targets confusing dh. Fix gcc version parsing.
* Standards-Version: 4.0.1 (no changes).
2017-06-27 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.18r9-1) unstable; urgency=medium
* New upstream release. Now depends on libgnatcoll.
Repackage without preformatted documentation.
* Switch to debhelper 10.
* Standards-Version 4.0.0. Handle DEB_BUILD_OPTIONS=nodoc.
* Pdflatex now produce a reproductible output without faketime.
* Allow -doc package to satisfy Multi-Arch foreign dependencies.
* Upstream now rebuilds all docs in its own Makefile.
2016-08-02 - Nicolas Boulenguez <nicolas@debian.org>
adacontrol (1.17r3.1-4) unstable; urgency=medium
* no-E-binder-option-to-avoid-666106.diff closes: 833026.
* Update watch file to version 4 and new ustream URL.
* test-allow-sh-noglob.diff allows the tests to run twice in a row.

See Also

Package Description
adanaxisgpl-data_1.2.5.dfsg.1-6_all.deb Action game in four spatial dimensions
adanaxisgpl_1.2.5.dfsg.1-6+b2_i386.deb Action game in four spatial dimensions
adapta-gtk-theme_3.95.0.11-1_all.deb Adaptive Gtk+ theme
adapta-kde_20180828-2_all.deb Port of the popular Gtk theme Adapta for Plasma 5 desktop
adapterremoval-examples_2.2.3-1_all.deb rapid adapter trimming, identification, and read merging (example data)
adapterremoval_2.2.3-1_i386.deb rapid adapter trimming, identification, and read merging of gene sequences
adb_8.1.0+r23-5_i386.deb Android Debug Bridge
adcli_0.8.2-1+b1_i386.deb Tool for performing actions on an Active Directory domain
addresses-goodies-for-gnustep_0.4.8-3+b1_i386.deb Personal Address Manager for GNUstep (Goodies)
addressmanager.app_0.4.8-3+b1_i386.deb Personal Address Manager for GNUstep
adduser_3.118_all.deb add and remove users and groups
adequate_0.15.2_all.deb Debian package quality testing tool
adjtimex_1.29-10_i386.deb kernel time variables configuration utility
adlibtracker2_2.4.24-1_i386.deb userfriendly tracker aimed for the OPL3 FM-chip
adlint_3.2.14-4_all.deb open source and free source code static analyzer
Advertisement
Advertisement