tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 fetchurl,
4 buildDunePackage,
5 minisat,
6}:
7
8buildDunePackage (finalAttrs: {
9 pname = "ocaml-sat-solvers";
10 version = "0.8";
11
12 minimalOCamlVersion = "4.05";
13
14 src = fetchurl {
15 url = "https://github.com/tcsprojects/ocaml-sat-solvers/releases/download/v${finalAttrs.version}/ocaml-sat-solvers-${finalAttrs.version}.tbz";
16 hash = "sha256-1eXzuY6rrrjdEG/XnkJe4o9zAcUvfTVFO1+ZIzcgpOU=";
17 };
18
19 propagatedBuildInputs = [ minisat ];
20
21 meta = {
22 homepage = "https://github.com/tcsprojects/ocaml-sat-solvers";
23 description = "SAT Solvers For OCaml";
24 license = lib.licenses.bsd3;
25 maintainers = with lib.maintainers; [ mgttlinger ];
26 };
27})