diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2012-05-01 05:07:39 +0000 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2012-05-01 05:07:39 +0000 |
| commit | 304facbf3b763b18113d5f12e4b3c8c3866a2dea (patch) | |
| tree | cf8ca3a922fcda008f892e6d36fd79db5aa5f0a0 /pkgs/applications/science/logic/lci | |
| parent | 242e54dab61804d5e5e860af4ff9b88bdb1420f8 (diff) | |
| download | nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.tar nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.tar.gz nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.tar.bz2 nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.tar.lz nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.tar.xz nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.tar.zst nixlib-304facbf3b763b18113d5f12e4b3c8c3866a2dea.zip | |
Adding LCI lambda calculus interpreter
svn path=/nixpkgs/trunk/; revision=33962
Diffstat (limited to 'pkgs/applications/science/logic/lci')
| -rw-r--r-- | pkgs/applications/science/logic/lci/default.nix | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/lci/default.nix b/pkgs/applications/science/logic/lci/default.nix new file mode 100644 index 000000000000..e2aff9313e95 --- /dev/null +++ b/pkgs/applications/science/logic/lci/default.nix @@ -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; + }; +} |