pyrox.dev
1{ lib, mkCoqDerivation, coq, version ? null }:
2with lib;
3
4mkCoqDerivation rec {
5 pname = "itauto";
6 owner = "fbesson";
7 domain = "gitlab.inria.fr";
8
9 release."8.13+no".sha256 = "sha256-gXoxtLcHPoyjJkt7WqvzfCMCQlh6kL2KtCGe3N6RC/A=";
10 inherit version;
11 defaultVersion = with versions; switch coq.coq-version [
12 { case = isEq "8.13"; out = "8.13+no"; }
13 ] null;
14
15 mlPlugin = true;
16 extraBuildInputs = (with coq.ocamlPackages; [ ocamlbuild ]);
17 enableParallelBuilding = false;
18
19 meta = {
20 description = "A reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support";
21 maintainers = with maintainers; [ siraben ];
22 license = licenses.gpl3Plus;
23 };
24}