tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, buildDunePackage, fetchFromGitHub }:
2
3buildDunePackage rec {
4 pname = "minisat";
5 version = "0.4";
6
7 useDune2 = true;
8
9 minimumOCamlVersion = "4.05";
10
11 src = fetchFromGitHub {
12 owner = "c-cube";
13 repo = "ocaml-minisat";
14 rev = "v${version}";
15 sha256 = "009jncrvnl9synxx6jnm6gp0cs7zlj71z22zz7bs1750b0jrfm2r";
16 };
17
18 meta = {
19 homepage = "https://c-cube.github.io/ocaml-minisat/";
20 description = "Simple bindings to Minisat-C";
21 license = lib.licenses.bsd2;
22 maintainers = with lib.maintainers; [ mgttlinger ];
23 };
24}