pyrox.dev
lol
1{ lib, fetchFromGitHub, buildDunePackage, menhir }:
2
3buildDunePackage 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}