pkgs/development/ocaml-modules/psmt2-frontend/default.nix

   1 { lib, fetchFromGitHub, buildDunePackage, menhir }:
   2
   3 buildDunePackage rec {
   4   version = "0.4.0";
   5   pname = "psmt2-frontend";
   6
   7   src = fetchFromGitHub {
   8     owner = "ACoquereau";
   9     repo = pname;
  10     rev = version;
  11     sha256 = "sha256-cYY9x7QZjH7pdJyHMqfMXgHZ3/zJLp/6ntY6OSIo6Vs=";
  12   };
  13
  14   useDune2 = true;
  15
  16   minimumOCamlVersion = "4.03";
  17
  18   strictDeps = true;
  19
  20   nativeBuildInputs = [ menhir ];
  21
  22   meta = {
  23     description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language";
  24     license = lib.licenses.asl20;
  25     maintainers = [ lib.maintainers.vbgl ];
  26     inherit (src.meta) homepage;
  27   };
  28
  29 }