Ubuntu
sollya package

sollya 7.0+ds-5 source package in Ubuntu

Changelog

sollya (7.0+ds-5) unstable; urgency=medium

  * Debianization:
    - d/control:
      - Homepage field, update;
      - debhelper, migrate to version 13 (discar d/compat);
      - Standards-Version, bump to version 4.6.0 (no change);
    - d/rules:
      - override_dh_missing target, provide;
    - d/copyright:
      - Upstream-Contact field, refresh;
      - Source field, update;
      - copyright year tuples, update;
    - d/patches:
      - d/p/upstream-source-lintian-spelling.patch, introduce;
      - d/p/debianization.patch, provide Forwarded field;
      - d/p/cross.patch, rename upstream-harden-configure_ac.patch;
    - d/libsollya7.symbols, Build-Depends-Package field, provide;
    - d/watch, migration to gitlab.inria.fr (remove u/signing-key.asc).

 -- Jerome Benoit <email address hidden>  Sat, 16 Oct 2021 14:03:19 +0000

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
sollya_7.0+ds-5.dsc 2.9 KiB 8dc62b75a7ea9236cab843e3c683e9ccd6f9fce8611b9a4da850ddcb018e3519
sollya_7.0+ds.orig.tar.bz2 1.3 MiB 00d587ed0102b0b4b2c1651b74526f8480f9a43c3e40264516f5065c2a73ecaf
sollya_7.0+ds-5.debian.tar.xz 21.7 KiB 8783eb540e158b219087ef2650cc4345e1899af8cc7010cd931672a7e2b8ce54

No changes file available.

Binary packages built by this source

libsollya-dev: library for safe floating-point code development -- libdev

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the static library, symbolic links, and headers needed
 for development.

libsollya7: No summary available for libsollya7 in ubuntu kinetic.

No description available for libsollya7 in ubuntu kinetic.

libsollya7-dbgsym: No summary available for libsollya7-dbgsym in ubuntu kinetic.

No description available for libsollya7-dbgsym in ubuntu kinetic.

sollya: library for safe floating-point code development -- tool

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the command-line tool sollya.

sollya-dbgsym: debug symbols for sollya
sollya-doc: library for safe floating-point code development -- doc

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the user manual.