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 = "7.0";
14
15 src = fetchurl {
16 url = "https://www.sollya.org/releases/sollya-${version}/sollya-${version}.tar.gz";
17 sha256 = "0amrxg7567yy5xqpgchxggjpfr11xyl27vy29c7vlh7v8a17nj1h";
18 };
19
20 buildInputs = [ gmp mpfr mpfi libxml2 fplll ];
21
22 meta = with lib; {
23 description = "A tool environment for safe floating-point code development";
24 homepage = "https://www.sollya.org/";
25 license = licenses.cecill-c;
26 platforms = platforms.linux;
27 maintainers = with maintainers; [ eduardosm ];
28 };
29}