tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7mkCoqDerivation {
8 pname = "Ordinal";
9 owner = "snu-sf";
10 inherit version;
11 defaultVersion =
12 with lib.versions;
13 lib.switch coq.version [
14 {
15 case = range "8.12" "8.20";
16 out = "0.5.4";
17 }
18 ] null;
19 release = {
20 "0.5.4".sha256 = "sha256-PaEC71FzJzHVGYpf3J1jvb/JsJzzMio0L5d5dPwiXuc=";
21 "0.5.3".sha256 = "sha256-Myxwy749ZCBpqia6bf91cMTyJn0nRzXskD7Ue8kc37c=";
22 "0.5.2".sha256 = "sha256-jf16EyLAnKm+42K+gTTHVFJqeOVQfIY2ozbxIs5x5DE=";
23 "0.5.1".sha256 = "sha256-ThJ+jXmtkAd3jElpQZqfzqqc3EfoKY0eMpTHnbrracY=";
24 "0.5.0".sha256 = "sha256-Jq0LnR7TgRVcPqh8Ha6tIIK3KfRUgmzA9EhxeySgPnM=";
25 };
26 releaseRev = v: "v${v}";
27 installPhase = ''
28 make -f Makefile.coq COQMF_COQLIB=$out/lib/coq/${coq.coq-version}/ install
29 '';
30 meta = {
31 homepage = "https://github.com/snu-sf/Ordinal";
32 description = "Ordinal Numbers in Coq";
33 license = lib.licenses.mit;
34 maintainers = with lib.maintainers; [ damhiya ];
35 };
36}