tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 pname = "coqtail-math";
10 owner = "coq-community";
11 inherit version;
12 defaultVersion =
13 with lib.versions;
14 lib.switch coq.coq-version [
15 {
16 case = range "8.11" "8.15";
17 out = "8.14";
18 }
19 {
20 case = range "8.11" "8.13";
21 out = "20201124";
22 }
23 ] null;
24
25 release."8.14".sha256 = "sha256:1k8f8idjnx0mf4z479vcx55iz42rjxrbplbznv80m2famxakq03c";
26 release."20201124".rev = "5c22c3d7dcd8cf4c47cf84a281780f5915488e9e";
27 release."20201124".sha256 = "sha256-wd+Lh7dpAD4zfpyKuztDmSFEZo5ZiFrR8ti2jUCVvoQ=";
28 mlPlugin = true;
29 meta = with lib; {
30 license = licenses.lgpl3Only;
31 maintainers = [ maintainers.siraben ];
32 };
33}