Package Details: sollya 7.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: None
Last Packager: marzoul
Votes: 2
Popularity: 0.000000
First Submitted: 2013-08-21 21:02 (UTC)
Last Updated: 2021-12-01 15:33 (UTC)

Dependencies (6)

Required by (1)

Sources (1)

Latest Comments

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')