···

       
7
       
7
       
 
       


     

       
8
       
8
       
 
       
mkDerivation rec {

     

       
9
       
9
       
 
       
  pname = "cubical";

     

       
10
       
10
       
-
       
  version = "0.7";

     

       
10
       
10
       
+
       
  version = "0.8";

     

       
11
       
11
       
 
       


     

       
12
       
12
       
 
       
  src = fetchFromGitHub {

     

       
13
       
13
       
 
       
    repo = pname;

     

       
14
       
14
       
 
       
    owner = "agda";

     

       
15
       
15
       
 
       
    rev = "v${version}";

     

       
16
       
16
       
-
       
    hash = "sha256-oLpKRWfQqb6CIscC2XM0ia9HJ8edJFHoPeql3kfvyrA=";

     

       
16
       
16
       
+
       
    hash = "sha256-KwwN2g2naEo4/rKTz2L/0Guh5LxymEYP53XQzJ6eMjM=";

     

       
17
       
17
       
 
       
  };

     

       
18
       
18
       
 
       


     

       
19
       
19
       
 
       
  # The cubical library has several `Everything.agda` files, which are