pkgs/applications/science/logic/lci/default.nix

   1 {lib, stdenv, fetchurl, readline}:
   2 stdenv.mkDerivation rec {
   3   version = "0.6";
   4   pname = "lci";
   5   src = fetchurl {
   6     url = "mirror://sourceforge/lci/${pname}-${version}.tar.gz";
   7     sha256="204f1ca5e2f56247d71ab320246811c220ed511bf08c9cb7f305cf180a93948e";
   8   };
   9   buildInputs = [readline];
  10   meta = {
  11     description = "Lambda calculus interpreter";
  12     mainProgram = "lci";
  13     maintainers = with lib.maintainers; [raskin];
  14     platforms = with lib.platforms; linux;
  15     license = lib.licenses.gpl3;
  16   };
  17 }