public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #23423 from ttuegel/fricas

Browse Source 
fricas: 1.2.2 -> 1.3.1
This commit is contained in:
Thomas Tuegel 2017-03-03 09:49:47 -06:00 committed by GitHub
commit 494dc2af2e
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/applications/science/math/fricas/default.nix
View File

@ -1,11 +1,15 @@
{ stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }: { stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
stdenv.mkDerivation rec { let
name = "fricas-1.2.2"; version = "1.3.1";
name = "fricas-" + version;
in
stdenv.mkDerivation {
inherit name;
src = fetchurl { src = fetchurl {
url = "http://sourceforge.net/projects/fricas/files/fricas/1.2.2/${name}-full.tar.bz2"; url = "http://sourceforge.net/projects/fricas/files/fricas/${version}/${name}-full.tar.bz2";
sha256 = "87db64a1fd4211f3b776793acea931b4271d2e7a28396414c7d7397d833defe1"; sha256 = "0c2wgj1c3mh5f8msx1ckxpnhm0dyq7dqf1wk6aiyysh8xn57cjkx";
}; };
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ]; buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];