11 stdenv.mkDerivation rec {
16 url = "https://www.sollya.org/releases/sollya-${version}/sollya-${version}.tar.gz";
17 sha256 = "sha256-WNc0+aL8jmczwR+W0t+aslvvJNccQBIw4p8KEzmoEZI=";
20 buildInputs = [ gmp mpfr mpfi libxml2 fplll ];
25 description = "A tool environment for safe floating-point code development";
26 homepage = "https://www.sollya.org/";
27 license = licenses.cecill-c;
28 platforms = platforms.unix;
29 maintainers = with maintainers; [ wegank ];