lol
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

at master 37 lines 663 B view raw
1{ 2 lib, 3 stdenv, 4 fetchFromGitHub, 5 autoreconfHook, 6 gmp, 7 zlib, 8}: 9 10stdenv.mkDerivation (finalAttrs: { 11 version = "4.3.1"; 12 pname = "form"; 13 14 src = fetchFromGitHub { 15 owner = "form-dev"; 16 repo = "form"; 17 tag = "v${finalAttrs.version}"; 18 hash = "sha256-ZWpfPeTekHEALqXVF/nLkcNsrkt17AKm2B/uydUBfvo="; 19 }; 20 21 nativeBuildInputs = [ 22 autoreconfHook 23 ]; 24 25 buildInputs = [ 26 gmp 27 zlib 28 ]; 29 30 meta = with lib; { 31 description = "Symbolic manipulation of very big expressions"; 32 homepage = "https://www.nikhef.nl/~form/"; 33 license = licenses.gpl3; 34 maintainers = [ maintainers.veprbl ]; 35 platforms = platforms.unix; 36 }; 37})