libgmpada5-dev_0.0.20131223-3+b1_amd64.deb


Advertisement

Description

libgmpada5-dev - Ada binding to the GNU MultiPrecision library: development

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libgmpada5-dev
Package version 0.0.20131223
Package release 3+b1
Package architecture amd64
Package type deb
Installed size 736 B
Download size 113.23 KB
Official Mirror ftp.br.debian.org
GMPAda allows programmers to use the GNU MultiPrecision library
within the Ada language: unbounded integers, rationals and
floats. Experimental support for mpfr's better float rounding is
provided.
Install this package if you want to write programs that
use libgmpada.

Alternatives

Package Version Architecture Repository
libgmpada5-dev_0.0.20131223-3_i386.deb 0.0.20131223 i386 Debian Main
libgmpada5-dev - - -

Requires

Name Value
gnat -
gnat-4.9 -
libgmp-dev -
libgmpada3 = 0.0.20131223-3+b1
libmpfr-dev -

Download

Type URL
Binary Package libgmpada5-dev_0.0.20131223-3+b1_amd64.deb
Source Package libgmpada

Install Howto

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

Files

Path
/usr/lib/x86_64-linux-gnu/libgmpada.a
/usr/lib/x86_64-linux-gnu/libgmpada.so
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp-binding.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp-constants.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-aux.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_floats.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_integers.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_rationals.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-generic_text_io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-random_numbers.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-text_io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-wide_text_io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-wide_wide_text_io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision.ali
/usr/share/ada/adainclude/gmpada.gpr
/usr/share/ada/adainclude/gmpada/gmp-binding.adb
/usr/share/ada/adainclude/gmpada/gmp-binding.ads
/usr/share/ada/adainclude/gmpada/gmp-constants.ads
/usr/share/ada/adainclude/gmpada/gmp.ads
/usr/share/ada/adainclude/gmpada/gmp_macros.c
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-aux.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-aux.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_floats.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_floats.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_integers.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_integers.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_rationals.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_rationals.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-generic_text_io.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-generic_text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-random_numbers.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-random_numbers.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-wide_text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-wide_wide_text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision.ads
/usr/share/doc/libgmpada5-dev/README.Debian
/usr/share/doc/libgmpada5-dev/README.gz
/usr/share/doc/libgmpada5-dev/TODO
/usr/share/doc/libgmpada5-dev/changelog.Debian.amd64.gz
/usr/share/doc/libgmpada5-dev/changelog.Debian.gz
/usr/share/doc/libgmpada5-dev/changelog.gz
/usr/share/doc/libgmpada5-dev/copyright
/usr/share/doc/libgmpada5-dev/examples/demo.adb
/usr/share/doc/libgmpada5-dev/examples/demo.gpr

Changelog

2014-11-09 - Nicolas Boulenguez <nicolas@debian.org>
libgmpada (0.0.20131223-3) unstable; urgency=medium
* Pass CC to make, circumventing wrong autodetection. Closes: #768706.
2014-05-02 - Nicolas Boulenguez <nicolas@debian.org>
libgmpada (0.0.20131223-2) unstable; urgency=medium
* Migrate to gnat-4.9.
Rename library and -dev package according to Ada policy.
* move armored upstream signature to upstream/.
* rules: run-tests target obsoleted by sadt from devscripts.
2013-12-23 - Nicolas Boulenguez <nicolas@debian.org>
libgmpada (0.0.20131223-1) unstable; urgency=medium
* New upstream release.
* Standards-Version: 3.9.4 (no changes).
* watch, upstream-signing-key.pgp added.
2013-08-24 - Nicolas Boulenguez <nicolas@debian.org>
libgmpada (0.0.20121109-3) unstable; urgency=low
* tests: valid test names may not contain underscores.
* rules: updated run-tests target.
* remove any /usr/share/doc/pkg symlink, they cause maintenance problems.
2013-03-10 - Nicolas Boulenguez <nicolas@debian.org>
libgmpada (0.0.20121109-2) unstable; urgency=low
* tests/link_with_shared: avoid gnatmake printing on stderr.
Closes: #702634, #703310.
rules: run-tests target updated to emulate recent autopkgtest.
* source/options: deleted, so that dpkg uses the default compression.
* README.debian: why lintian hardening-no-fortify-functions may be ignored.
* control: Build-Depends: gnat-4.6 >= 4.6.4, so that gnatlink handles
--as-needed linker flag properly. Closes: #702632.
* control: Standards-Version: 3.9.4.
* Updated copyrights.
2012-11-08 - Nicolas Boulenguez <nicolas@debian.org>
libgmpada (0.0.20121109-1) unstable; urgency=low
* New upstream release (no patches needed anymore).
* control: libgmpada3-dev -> libgmpada4-dev, with Breaks/Replaces,
due to debian-ada-policy.
XS-Testsuite: autopkgtest (Closes: #692663).
Maintainer, DM-Upload-Allowed: I am a DD.
Build-Depends: gprbuild is not needed anymore
* copyright: GPL2+ -> GPL3+.
* watch: gz -> bzip2.
2012-07-07 - Nicolas Boulenguez <nicolas.boulenguez@free.fr>
libgmpada (0.0.20120331-2) unstable; urgency=low
* Inherit hardening CPPFLAGS.
2012-04-04 - Nicolas Boulenguez <nicolas.boulenguez@free.fr>
libgmpada (0.0.20120331-1) unstable; urgency=low
* New upstream release (neither ALI nor SO changes).
* watch: search for bz2 tarballs too.
* control: -dbg does not Pre-Depends: ${misc:Pre-Depends} for multiarch.
-dev Depends: libmpfr-dev and libgmp-dev (Closes: #667481).
* ada_libraries, control, rules: use dh_ada_library.
2012-03-18 - Nicolas Boulenguez <nicolas.boulenguez@free.fr>
libgmpada (0.0.20120318-1) unstable; urgency=low
* New upstream release (only build system changes).
* README.Debian: replaced with a short reference to policy.
* control: debhelper 9, Standards-Version 3.9.3 (no changes)
* rules: simplified flags transmission
* tests: create obj dir to conform to new upstream.
2012-02-09 - Nicolas Boulenguez <nicolas.boulenguez@free.fr>
libgmpada (0.0.20110925-3) unstable; urgency=low
* control: remove dependencies on ada-compiler virtual package.

See Also

Package Description
libgmpxx4ldbl_6.0.0+dfsg-6_amd64.deb Multiprecision arithmetic library (C++ bindings)
libgmsh-dev_2.8.5+dfsg-1.1+b1_amd64.deb Three-dimensional finite element mesh generator. Development files
libgmsh2_2.8.5+dfsg-1.1+b1_amd64.deb Three-dimensional finite element mesh generator. Shared library
libgmt-dev_4.5.12-1_amd64.deb Generic Mapping Tools Library
libgmt4_4.5.12-1_amd64.deb Generic Mapping Tools Library
libgmtk-dev_1.0.9-1_amd64.deb gnome-mplayer toolkit (development files)
libgmtk1-data_1.0.9-1_all.deb gnome-mplayer toolkit (common files)
libgmtk1_1.0.9-1_amd64.deb gnome-mplayer toolkit (shared library)
libgnat-4.9_4.9.2-1_amd64.deb runtime for applications compiled with GNAT (shared library)
libgnatcoll-doc_1.6gpl2014-6_all.deb GNATColl, general purpose Ada library (documentation)
libgnatcoll-gmp1.6-dev_1.6gpl2014-6_amd64.deb GNATColl, general purpose Ada library (GMP)
libgnatcoll-gmp1.6_1.6gpl2014-6_amd64.deb GNATColl, general purpose Ada library (GMP runtime)
libgnatcoll-gtk1.6-dev_1.6gpl2014-6_amd64.deb GNATColl, general purpose Ada library (GTKAda)
libgnatcoll-gtk1.6_1.6gpl2014-6_amd64.deb GNATColl, general purpose Ada library (GTKAda runtime)
libgnatcoll-iconv1.6-dev_1.6gpl2014-6_amd64.deb GNATColl, general purpose Ada library (iconv)
Advertisement
Advertisement