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     hash = "sha256-cYY9x7QZjH7pdJyHMqfMXgHZ3/zJLp/6ntY6OSIo6Vs=";
  12   };
  13
  14   minimalOCamlVersion = "4.03";
  15
  16   nativeBuildInputs = [ menhir ];
  17
  18   meta = {
  19     description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language";
  20     license = lib.licenses.asl20;
  21     maintainers = [ lib.maintainers.vbgl ];
  22     inherit (src.meta) homepage;
  23   };
  24
  25 }