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

   1 { lib, mkCoqDerivation, coq, ceres, coq-ext-lib, version ? null }:
   2
   3 mkCoqDerivation {
   4
   5   pname = "parsec";
   6   repo = "coq-parsec";
   7   owner = "liyishuai";
   8
   9   propagatedBuildInputs = [ ceres coq-ext-lib ];
  10   releaseRev = (v: "v${v}");
  11
  12   inherit version;
  13   defaultVersion = with lib.versions; lib.switch coq.version [
  14     { case = range "8.14" "8.18"; out = "0.1.2"; }
  15     { case = range "8.12" "8.16"; out = "0.1.1"; }
  16     { case = range "8.12" "8.13"; out = "0.1.0"; }
  17   ] null;
  18   release."0.1.2".sha256 = "sha256-QN0h1CsX86DQBDsluXLtNUvMh3r60/0iDSbYam67AhA=";
  19   release."0.1.1".sha256 = "sha256:1c0l18s68pzd4c8i3jimh2yz0pqm4g38pca4bm7fr18r8xmqf189";
  20   release."0.1.0".sha256 = "sha256:01avfcqirz2b9wjzi9iywbhz9szybpnnj3672dgkfsimyg9jgnsr";
  21
  22   meta = with lib; {
  23     description = "Library for serialization to S-expressions";
  24     license = licenses.bsd3;
  25     maintainers = with maintainers; [ Zimmi48 ];
  26   };
  27 }