tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib
2, stdenv
3, fetchurl
4, gmp
5, mpfr
6, mpfi
7, libxml2
8, fplll
9}:
10
11stdenv.mkDerivation rec {
12 pname = "sollya";
13 version = "8.0";
14
15 src = fetchurl {
16 url = "https://www.sollya.org/releases/sollya-${version}/sollya-${version}.tar.gz";
17 sha256 = "sha256-WNc0+aL8jmczwR+W0t+aslvvJNccQBIw4p8KEzmoEZI=";
18 };
19
20 buildInputs = [ gmp mpfr mpfi libxml2 fplll ];
21
22 doCheck = true;
23
24 meta = with lib; {
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 ];
30 };
31}