Adding LCI lambda calculus interpreter
svn path=/nixpkgs/trunk/; revision=33962
This commit is contained in:
parent
242e54dab6
commit
304facbf3b
16
pkgs/applications/science/logic/lci/default.nix
Normal file
16
pkgs/applications/science/logic/lci/default.nix
Normal file
@ -0,0 +1,16 @@
|
|||||||
|
{stdenv, fetchurl, readline}:
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
version = "0.6";
|
||||||
|
name = "lci-${version}";
|
||||||
|
src = fetchurl {
|
||||||
|
url = "mirror://sourceforge/lci/${name}.tar.gz";
|
||||||
|
sha256="204f1ca5e2f56247d71ab320246811c220ed511bf08c9cb7f305cf180a93948e";
|
||||||
|
};
|
||||||
|
buildInputs = [readline];
|
||||||
|
meta = {
|
||||||
|
description = ''Lambda calculus interpreter'';
|
||||||
|
maintainers = with stdenv.lib.maintainers; [raskin];
|
||||||
|
platforms = with stdenv.lib.platforms; linux;
|
||||||
|
license = with stdenv.lib.licenses; gpl3;
|
||||||
|
};
|
||||||
|
}
|
@ -7054,6 +7054,8 @@ let
|
|||||||
fftw = fftwSinglePrec;
|
fftw = fftwSinglePrec;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
lci = callPackage ../applications/science/logic/lci {};
|
||||||
|
|
||||||
ldcpp = callPackage ../applications/networking/p2p/ldcpp {
|
ldcpp = callPackage ../applications/networking/p2p/ldcpp {
|
||||||
inherit (gnome) libglade;
|
inherit (gnome) libglade;
|
||||||
};
|
};
|
||||||
|
Loading…
Reference in New Issue
Block a user