blob: a438fa5102f3bdeb8782e81db131e9ed098a1bb3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{ stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
stdenv.mkDerivation rec {
name = "fricas-1.2.2";
src = fetchurl {
url = "http://sourceforge.net/projects/fricas/files/fricas/1.2.2/${name}-full.tar.bz2";
sha256 = "87db64a1fd4211f3b776793acea931b4271d2e7a28396414c7d7397d833defe1";
};
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];
dontStrip = true;
meta = {
description = "Fricas CAS";
homepage = http://fricas.sourceforge.net/;
maintainers = stdenv.lib.maintainers.sprock;
platforms = stdenv.lib.platforms.linux;
license = stdenv.lib.license.bsd3;
};
}
|