Ubuntu
sollya package

sollya 6.0+ds-4 source package in Ubuntu

Changelog

sollya (6.0+ds-4) unstable; urgency=medium

  * Debianization:
    - debian/control:
      - debhelper, bump to 11:
        - d/sollya-doc.doc-base, adapt;
        - d/sollya.docs, remove;
      - Standards Version, bump to 4.1.3 (no change);
      - Depends field, bump to libfplll-dev 5.2 (no change).

 -- Jerome Benoit <email address hidden>  Sat, 30 Dec 2017 20:08:08 +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

Downloads

File Size SHA-256 Checksum
sollya_6.0+ds-4.dsc 3.0 KiB c046991c202d90b86787c729cc9859509446b6f2121a4a84d95644658cd08b0b
sollya_6.0+ds.orig.tar.xz 927.7 KiB 6708a541f4e989e4db98b8fe5201382bb4c499bd06bf888b2521fab0dc180d45
sollya_6.0+ds-4.debian.tar.xz 15.9 KiB f014fbd2afb7b4c9be5ff048c189f21189f26e2fc02c3afefe1a2e38c1270208

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.

libsollya6: library for safe floating-point code development -- lib

 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 dynamic library.

libsollya6-dbgsym: debug symbols for libsollya6
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.