Package Details: sollya 8.0-1

Git Clone URL: https://aur.archlinux.org/sollya.git (read-only, click to copy)
Package Base: sollya
Description: A tool environment and a library for safe floating-point code development
Upstream URL: https://gitlab.inria.fr/sollya/sollya/
Licenses: CeCILL-C
Submitter: marzoul
Maintainer: fsecilia
Last Packager: fsecilia
Votes: 2
Popularity: 0.000000
First Submitted: 2013-08-21 21:02 (UTC)
Last Updated: 2025-11-07 17:44 (UTC)

Dependencies (6)

Required by (1)

Sources (1)

Latest Comments

fsecilia commented on 2025-11-07 21:25 (UTC)

Hey, folks.

I'm not at all familiar with this software, but I know I need to learn how to use it. Since I had to make it build anyway, I figured I may as well share. Now everyone gets to enjoy being frustrated by Sollya.

I'm only pretty sure it works.

marzoul commented on 2022-08-14 08:31 (UTC)

Hi, I do not wish to maintain this present package because I am not keeping up to date these days, and there is also the alternative package sollya-git. I will orphan this package in case anyone wants to adopt it.

lforg37 commented on 2020-07-12 17:57 (UTC) (edited on 2020-07-12 17:57 (UTC) by lforg37)

Hello,

the libfplll package has been renamed fplll. By changing it in the dependancies the package build correctly.

-depends=('gmp' 'mpfr' 'mpfi' 'libxml2' 'libfplll')

+depends=('gmp' 'mpfr' 'mpfi' 'libxml2' 'fplll')

tican commented on 2019-12-24 07:06 (UTC) (edited on 2019-12-24 07:06 (UTC) by tican)

Sollya 7.0 (released on September 21, 2018). Seems like all is ok:

-pkgver=6.0

+pkgver=7.0

-source=(http://gforge.inria.fr/frs/download.php/file/36270/sollya-6.0.tar.gz)

-md5sums=('302a23a6a67f06968e28f1a74a07c1f3')

+source=(http://gforge.inria.fr/frs/download.php/file/37749/sollya-7.0.tar.gz)

+md5sums=('7634380e998f9653f4c0bbc38994aac3')