pkgs/development/coq-modules/parsec/default.nix

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   ceres,
   6   ExtLib,
   7   version ? null,
   8 }:
   9
  10 mkCoqDerivation {
  11
  12   pname = "parsec";
  13   repo = "coq-parsec";
  14   owner = "liyishuai";
  15
  16   propagatedBuildInputs = [
  17     ceres
  18     ExtLib
  19   ];
  20   releaseRev = (v: "v${v}");
  21
  22   inherit version;
  23   defaultVersion =
  24     with lib.versions;
  25     lib.switch coq.version [
  26       {
  27         case = range "8.14" "8.20";
  28         out = "0.2.0";
  29       }
  30       {
  31         case = range "8.14" "8.20";
  32         out = "0.1.2";
  33       }
  34       {
  35         case = range "8.12" "8.16";
  36         out = "0.1.1";
  37       }
  38       {
  39         case = range "8.12" "8.13";
  40         out = "0.1.0";
  41       }
  42     ] null;
  43   release."0.2.0".sha256 = "sha256-hM6LVFQ2VQ42QeHu8Ex+oz1VvJUr+g8/nZN+bYHEljQ=";
  44   release."0.1.2".sha256 = "sha256-QN0h1CsX86DQBDsluXLtNUvMh3r60/0iDSbYam67AhA=";
  45   release."0.1.1".sha256 = "sha256:1c0l18s68pzd4c8i3jimh2yz0pqm4g38pca4bm7fr18r8xmqf189";
  46   release."0.1.0".sha256 = "sha256:01avfcqirz2b9wjzi9iywbhz9szybpnnj3672dgkfsimyg9jgnsr";
  47
  48   useDuneifVersion = v: lib.versions.isGe "0.2.0" v || v == "dev";
  49
  50   meta = with lib; {
  51     description = "Library for serialization to S-expressions";
  52     license = licenses.bsd3;
  53     maintainers = with maintainers; [ Zimmi48 ];
  54   };
  55 }