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

   1 { lib, mkCoqDerivation, coq, version ? null }:
   2
   3 with lib; mkCoqDerivation {
   4   pname = "equations";
   5   owner = "mattam82";
   6   repo = "Coq-Equations";
   7   inherit version;
   8   defaultVersion = switch coq.coq-version [
   9     { case = "8.13"; out = "1.2.4+coq8.13"; }
  10     { case = "8.12"; out = "1.2.4+coq8.12"; }
  11     { case = "8.11"; out = "1.2.4+coq8.11"; }
  12     { case = "8.10"; out = "1.2.1+coq8.10-2"; }
  13     { case = "8.9";  out = "1.2.1+coq8.9"; }
  14     { case = "8.8";  out = "1.2+coq8.8"; }
  15     { case = "8.7";  out = "1.0+coq8.7"; }
  16     { case = "8.6";  out = "1.0+coq8.6"; }
  17   ] null;
  18
  19     release."1.0+coq8.6".version      = "1.0";
  20     release."1.0+coq8.6".rev          = "v1.0";
  21     release."1.0+coq8.6".sha256       = "19ylw9v9g35607w4hm86j7mmkghh07hmkc1ls5bqlz3dizh5q4pj";
  22     release."1.0+coq8.7".version      = "1.0";
  23     release."1.0+coq8.7".rev          = "v1.0-8.7";
  24     release."1.0+coq8.7".sha256       = "1bavg4zl1xn0jqrdq8iw7xqzdvdf39ligj9saz5m9c507zri952h";
  25     release."1.2+coq8.8".version      = "1.2";
  26     release."1.2+coq8.8".rev          = "v1.2-8.8";
  27     release."1.2+coq8.8".sha256       = "06452fyzalz7zcjjp73qb7d6xvmqb6skljkivf8pfm55fsc8s7kx";
  28     release."1.2.1+coq8.9".version    = "1.2.1";
  29     release."1.2.1+coq8.9".rev        = "v1.2.1-8.9";
  30     release."1.2.1+coq8.9".sha256     = "0d8ddj6nc6p0k25cd8fs17cq427zhzbc3v9pk2wd2fnvk70nlfij";
  31     release."1.2.1+coq8.10-2".version = "1.2.1";
  32     release."1.2.1+coq8.10-2".rev     = "v1.2.1-8.10-2";
  33     release."1.2.1+coq8.10-2".sha256  = "0j3z4l5nrbyi9zbbyqkc6kassjanwld2188mwmrbqspaypm2ys68";
  34     release."1.2.3+coq8.11".version   = "1.2.3";
  35     release."1.2.3+coq8.11".rev       = "v1.2.3-8.11";
  36     release."1.2.3+coq8.11".sha256    = "1srxz1rws8jsh7402g2x2vcqgjbbsr64dxxj5d2zs48pmhb20csf";
  37     release."1.2.3+coq8.12".version   = "1.2.3";
  38     release."1.2.3+coq8.12".rev       = "v1.2.3-8.12";
  39     release."1.2.3+coq8.12".sha256    = "1y0jkvzyz5ssv5vby41p1i8zs7nsdc8g3pzyq73ih9jz8h252643";
  40     release."1.2.4+coq8.11".rev       = "v1.2.4-8.11";
  41     release."1.2.4+coq8.11".sha256    = "01fihyav8jbjinycgjc16adpa0zy5hcav5mlkf4s9zvqxka21i52";
  42     release."1.2.4+coq8.12".rev       = "v1.2.4-8.12";
  43     release."1.2.4+coq8.12".sha256    = "1n0w8is464qcq8mk2mv7amaf0khbjz5mpc9phf0rhpjm0lb22cb3";
  44     release."1.2.4+coq8.13".rev       = "v1.2.4-8.13";
  45     release."1.2.4+coq8.13".sha256    = "0i014lshsdflzw6h0qxra9d2f0q82vffxv2f29awbb9ad0p4rq4q";
  46
  47   mlPlugin = true;
  48   preBuild = "coq_makefile -f _CoqProject -o Makefile";
  49
  50   meta = {
  51     homepage = "https://mattam82.github.io/Coq-Equations/";
  52     description = "A plugin for Coq to add dependent pattern-matching";
  53     maintainers = with maintainers; [ jwiegley ];
  54   };
  55 }