···

       
828
       
 
       


     

       
829
       
 
       
  idris-mode = melpaBuild rec {

     

       
830
       
 
       
    pname   = "idris-mode";

     

       
831
       
-
       
    version = "0.9.18";

     

       
832
       
 
       
    src = fetchFromGitHub {

     

       
833
       
 
       
      owner  = "idris-hackers";

     

       
834
       
 
       
      repo   = "idris-mode";

     

       
835
       
 
       
      rev    = version;

     

       
836
       
-
       
      sha256 = "11dw2ydlqhqx569wrp56w11rhgvm6mb6mzq2cwsv2vfyjvvawyxg";

     

       
837
       
 
       
    };

     

       
0
       
 
       

     

       
838
       
 
       
    meta = { license = gpl3Plus; };

     

       
839
       
 
       
  };

     

       
840
       
 
       


     
···

       
1102
       
 
       
    src     = projectile.src;

     

       
1103
       
 
       
    fileSpecs = [ "persp-projectile.el" ];

     

       
1104
       
 
       
    packageRequires = [ perspective projectile ];

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
1105
       
 
       
    meta = { license = gpl3Plus; };

     

       
1106
       
 
       
  };

     

       
1107
       
 
       


     

···

       
828
       
 
       


     

       
829
       
 
       
  idris-mode = melpaBuild rec {

     

       
830
       
 
       
    pname   = "idris-mode";

     

       
831
       
+
       
    version = "0.9.19";

     

       
832
       
 
       
    src = fetchFromGitHub {

     

       
833
       
 
       
      owner  = "idris-hackers";

     

       
834
       
 
       
      repo   = "idris-mode";

     

       
835
       
 
       
      rev    = version;

     

       
836
       
+
       
      sha256 = "0iwgbaq2797k1f7ql86i2pjfa67cha4s2v0mgmrd0qcgqkxsdq92";

     

       
837
       
 
       
    };

     

       
838
       
+
       
    packageRequires = [ prop-menu ];

     

       
839
       
 
       
    meta = { license = gpl3Plus; };

     

       
840
       
 
       
  };

     

       
841
       
 
       


     
···

       
1103
       
 
       
    src     = projectile.src;

     

       
1104
       
 
       
    fileSpecs = [ "persp-projectile.el" ];

     

       
1105
       
 
       
    packageRequires = [ perspective projectile ];

     

       
1106
       
+
       
    meta = { license = gpl3Plus; };

     

       
1107
       
+
       
  };

     

       
1108
       
+
       


     

       
1109
       
+
       
  prop-menu = melpaBuild rec {

     

       
1110
       
+
       
    pname   = "prop-menu";

     

       
1111
       
+
       
    version = "0.1.2";

     

       
1112
       
+
       
    src = fetchFromGitHub {

     

       
1113
       
+
       
      owner  = "david-christiansen";

     

       
1114
       
+
       
      repo   = "${pname}-el";

     

       
1115
       
+
       
      rev    = version;

     

       
1116
       
+
       
      sha256 = "18ap2liz5r5a8ja2zz9182fnfm47jnsbyblpq859zks356k37iwc";

     

       
1117
       
+
       
    };

     

       
1118
       
 
       
    meta = { license = gpl3Plus; };

     

       
1119
       
 
       
  };

     

       
1120