tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 stdlib,
6 version ? null,
7}:
8
9mkCoqDerivation {
10 pname = "atbr";
11 inherit version;
12 defaultVersion =
13 let
14 inherit (lib.versions) range;
15 in
16 lib.switch coq.coq-version [
17 {
18 case = range "8.20" "8.20";
19 out = "8.20.0";
20 }
21 ] null;
22 release = {
23 "8.20.0".sha256 = "sha256-Okhtq6Gnq4HA3tEZJvf8JBnmk3OKdm6hC1qINmoShmo=";
24 };
25 releaseRev = v: "v${v}";
26
27 propagatedBuildInputs = [ stdlib ];
28
29 mlPlugin = true;
30
31 meta = {
32 description = "Coq library and tactic for deciding Kleene algebras";
33 license = lib.licenses.lgpl3Plus;
34 };
35}