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: http://sollya.gforge.inria.fr/
Licenses: CeCILL-C
Submitter: marzoul
Maintainer: marzoul
Last Packager: marzoul
Votes: 1
Popularity: 0.000000
First Submitted: 2013-08-21 21:02
Last Updated: 2019-12-26 18:13

Dependencies (6)

Required by (1)

Sources (1)

Latest Comments

tican commented on 2019-12-24 07:06

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

miktore commented on 2014-04-30 12:05

Thank you for the incredible work, I really needed most of those packages for my research.