libgmpada3_0.0.20131223-3+b1_amd64.deb


Advertisement

Description

libgmpada3 - Ada binding to the GNU MultiPrecision library: shared library

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libgmpada3
Package version 0.0.20131223
Package release 3+b1
Package architecture amd64
Package type deb
Installed size 198 B
Download size 45.52 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.
This package contains the runtime shared library.

Alternatives

Package Version Architecture Repository
libgmpada3_0.0.20131223-3_i386.deb 0.0.20131223 i386 Debian Main
libgmpada3 - - -

Requires

Name Value
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libgmp10 -
libgnat-4.9 >= 4.9.1-4
libmpfr4 >= 3.1.2
multiarch-support -

Download

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

Install Howto

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

Files

Path
/usr/lib/x86_64-linux-gnu/libgmpada.so.3
/usr/share/doc/libgmpada3/changelog.Debian.amd64.gz
/usr/share/doc/libgmpada3/changelog.Debian.gz
/usr/share/doc/libgmpada3/changelog.gz
/usr/share/doc/libgmpada3/copyright
/usr/share/lintian/overrides/libgmpada3

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
libgmpada5-dev_0.0.20131223-3+b1_amd64.deb Ada binding to the GNU MultiPrecision library: development
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)
Advertisement
Advertisement