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