Ubuntu
sollya package

sollya 8.0+ds-2build3 source package in Ubuntu

Changelog

sollya (8.0+ds-2build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 15:47:19 +1100

Upload details

Uploaded by:
William Grant
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc

Downloads

File Size SHA-256 Checksum
sollya_8.0+ds.orig.tar.xz 1.5 MiB 49a5e17a98b3139609132c21d09f3b68eb492292534d0b3470791f106fba41ad
sollya_8.0+ds-2build3.debian.tar.xz 24.4 KiB fdd1d3e88e7fa6db506fd3f56173c8377399f5a7c8154b497dae3cd6a0b5df3e
sollya_8.0+ds-2build3.dsc 2.3 KiB 252cc95c55e23566ed14a92084c55e91b20924c5120a7f1609804fb2d18748c6

Available diffs

View changes file

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.

libsollya8: 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.

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