sollya: revision

* sollya: revision for fplll
* sollya: update homepage

Closes #66263.

Signed-off-by: Rui Chen <rui@meetup.com>
Co-authored-by: chenrui <chenrui333@gmail.com>
Signed-off-by: FX Coudert <fxcoudert@gmail.com>
Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
master
Rui Chen 2020-12-04 19:19:09 -05:00 committed by BrewTestBot
parent 659b806353
commit 9385ac4d40
1 changed files with 2 additions and 1 deletions

View File

@ -1,8 +1,9 @@
class Sollya < Formula
desc "Library for safe floating-point code development"
homepage "https://sollya.gforge.inria.fr/"
homepage "https://www.sollya.org/"
url "https://gforge.inria.fr/frs/download.php/file/37749/sollya-7.0.tar.gz"
sha256 "30487b8242fb40ba0f4bc2ef23a8ef216477e57b1db277712fde1f53ceebb92a"
revision 1
bottle do
cellar :any