pyrox.dev / nixpkgs
lol
fork atom

Merge pull request #30708 from maximedenes/fix-quickchick

coqPackages.QuickChick: remove support for coq 8.7

John Wiegley 79aa7200 daf53c9a

options
unified split
Changed files
-5
pkgs
development
coq-modules
QuickChick
default.nix
-5
pkgs/development/coq-modules/QuickChick/default.nix 
···

       
20

       
20

       
 

       
      sha256 = "06kwnrfndnr6w8bmaa2s0i0rkqyv081zj55z3vcyn0wr6x6mlsz9";


     

       
21

       
21

       
 

       
    };


     

       
22

       
22

       
 

       



     

       
23

       

       
-

       
    "8.7" = {


     

       
24

       

       
-

       
      version = "20170616";


     

       
25

       

       
-

       
      rev = "366ee3f8e599b5cab438a63a09713f44ac544c5a";


     

       
26

       

       
-

       
      sha256 = "06kwnrfndnr6w8bmaa2s0i0rkqyv081zj55z3vcyn0wr6x6mlsz9";


     

       
27

       

       
-

       
    };


     

       
28

       
23

       
 

       
  }."${coq.coq-version}"


     

       
29

       
24

       
 

       
; in


     

       
30

       
25